Suppose $U\subset\mathbb C^n$ is an open subset and $f\_1,\ldots,f\_k$ are analytic functions on it, generating the coherent ideal sheaf $\mathcal I$ which defines a closed complex subspace $Z\hookrightarrow U$ (analytic analogue of closed algebraic subscheme). I want to define the normal cone to $Z$ in $U$ (and the blow-up of $U$ along $Z$) in this setting as a complex space.


For normal cones, we can proceed in the algebraic category as follows: we can take the subscheme $\Gamma^\circ$ defined by $\lambda w\_i - f\_i(z\_1,\ldots,z\_n) = 0$ for $i=1,\ldots,k$ inside $U\times\mathbb C^k\times\mathbb C^\times$ (with $\lambda$ the coordinate on $\mathbb C^\times$, $z$'s the coordinates on $U$ and $w$'s the coordinates on $\mathbb C^k$) and take its (Zariski) closure in $U\times\mathbb C^k\times\mathbb C$ to obtain a scheme $\Gamma$. The scheme-theoretic fibre over $0\in\mathbb C$ of $\Gamma$ is then the normal cone (embedded in $U\times\mathbb C^k$). Alternately, avoiding the embedding, one defines $\text{Spec}\_{/U}\oplus\_{i\ge 0}\mathcal I^i/\mathcal I^{i+1}$ to be the
normal cone.


Now, this construction doesn't apriori make sense (at least not to me) in analytic geometry as we don't have an analogue of Zariski closure here. The definition based on $\oplus\_{i\ge 0}\mathcal I^i/\mathcal I^{i+1}$ also doesn't apriori seem to make sense in the analytic category as we need to realize this algebra as a quotient of a polynomial algebra over $\mathcal O\_U$ (or $\mathcal O\_Z$) by a finitely generated ideal and how to do this is not entirely obvious to me.


So, my question is: **Can we show that the normal cone algebra $\oplus\_{i\ge 0}\mathcal I^i/\mathcal I^{i+1}$ and the blow-up algebra $\oplus\_{i\ge 0}\mathcal I^i$ are finitely presented over $\mathcal O\_U$? (i.e., are locally isomorphic as graded $\mathcal O\_U$-algebras to $\mathcal O\_U[t\_1,\ldots,t\_m]/(F\_1,\ldots,F\_r)$ where $t\_i$ are indeterminates and $F\_j$ are homogeneous polynomials in the $t\_i$'s with coefficients being sections of $\mathcal O\_U$ and $m,r\ge 0$ are integers)**



Normal Cones for Complex Spaces
Proposition 1.17 in the paper Complex Analytic Cones by Axelsson and Magnusson in
Math Ann 273 pages 601-628 answers your question.


