Approximation of Analytic Sets with Proper Projection by Algebraic Sets
Authors
Open AccessArticle
- First Online:
- Received:
- Revised:
- Accepted:
DOI: 10.1007/s00365-012-9156-0
Abstract
Let X be an analytic subset of U×C ^{ n } of pure dimension k such that the projection of X onto U is a proper mapping, where U⊂C ^{ k } is a Runge domain. We show that X can be approximated by algebraic sets. Next we present a constructive method for local approximation of analytic sets by algebraic ones.
Keywords
Analytic set Algebraic set Nash set Approximation Holomorphic chain Markov’s inequality NormalizationMathematics Subject Classification (2010)
32C25 41A10 32E30 14Q991 Introduction
The problem of polynomial approximation of holomorphic mappings has been thoroughly studied by several mathematicians (see a survey article [20] by N. Levenberg and the list of references therein).
In many cases, a holomorphic map f, for which approximations are looked for, is given implicitly; i.e., the graph of f (contained in some open set U⊂C ^{ m }) is defined by \(\operatorname{graph}(f)=\{F=0\}\), where F:U→C ^{ q } is another holomorphic map. This leads to a generalization of the above mentioned problem by asking whether analytic sets can be constructively approximated by algebraic sets. An important motivation for such a question comes from algebraic geometry, where computational methods have been rapidly developed in recent years (see the book [15] by G.-M. Greuel and G. Pfister and references therein). These methods could be transferred to analytic geometry if one could suitably approximate analytic sets by algebraic ones.
The aim of the present paper is to show that every purely k-dimensional analytic subset of U×C ^{ n } whose projection onto U is a proper mapping, where U is a Runge domain in C ^{ k }, can be approximated by purely k-dimensional algebraic sets (see Theorem 3.1). Here, by a Runge domain we mean a domain of holomorphy U⊂C ^{ k } such that every function \(f\in\mathcal {O}(U)\) can be uniformly approximated on every compact subset of U by polynomials in k complex variables (cf. [16], pp. 36, 52). The approximation is expressed in terms of the convergence of holomorphic chains; i.e., analytic sets are treated as holomorphic chains with components of multiplicity one (see Sect. 2.2). (In the considered context, the convergence of holomorphic chains could be equivalently replaced by the convergence of the currents of integration over analytic sets (see [12], pp. 141, 206–207).)
One of the direct consequences of Theorem 3.1 is the existence of local algebraic approximations for every purely dimensional analytic set. This is because, due to Noether normalization, for every point of such a set X there is a neighborhood U such that X∩U is with proper projection onto an open subset of some linear space of dimension dimX (see Corollary 3.7).
Proving Theorem 3.1, we considerably strengthen the results of [4, 5], where it is shown that purely k-dimensional analytic subsets of U×C ^{ n } with proper projection onto a Runge domain U⊂C ^{ k } can be approximated by complex Nash sets. The latter fact is the starting point for our considerations. More precisely, it allows us to reduce the proof of Theorem 3.1 to the case where the approximated object is a complex Nash set. The problem in the reduced case is solved by Proposition 3.2. This proposition states that algebraic approximation of such a set is possible under milder hypotheses than those of Theorem 3.1, and therefore it is of independent interest. (In particular, the assumption that the approximated Nash set is an analytic cover is not necessary here.)
In the last section, a constructive method for local approximation of analytic sets by algebraic ones is given. The method is based on three main tools. These are a theorem on constructive approximation of holomorphic maps whose domains are Markov’s sets by J.-P. Calvi and N. Levenberg [11] (see also [10]), (constructive) normalization of algebraic sets for which the reader is referred to a book [15] by G.-M. Greuel and G. Pfister, and constructive approximation of analytic sets by Nash ones as described in [5].
Let us finish the introduction by recalling that the number q of equations defining an analytic set X={x∈U:F _{1}(x)=⋯=F _{ q }(x)=0}, where U is an open subset of C ^{ m }, may be greater than the codimension of X in C ^{ m }. In particular, there exist analytic sets defined (even locally) only by such “overdetermined” systems of equations. (An example of an analytic set for which there does not exist a description such that the number of defining functions equals the codimension of the set is given in [3], pp. 58–59.) In such a case, algebraic sets of the form \(\{x\in U:\tilde{F}_{1}(x)=\cdots=\tilde{F}_{q}(x)=0\}\), where \(\tilde{F}_{i}\) is any polynomial approximating F _{ i }, are not good approximations for X because their dimension is usually smaller than required. For this reason, the problem of algebraic approximation of analytic sets is not a straightforward generalization of the problem of polynomial approximation of holomorphic maps, and new methods are necessary.
The organization of this paper is as follows. In Sect. 2, preliminary material is presented. Section 3 contains the proofs of Theorem 3.1 and Proposition 3.2. In the last section, we give a constructive procedure for local approximation of analytic sets and illustrate it by an example.
2 Preliminaries
2.1 Nash Sets
Let Ω be an open subset of C ^{ n }, and let f be a holomorphic function on Ω. We say that f is a Nash function at x _{0}∈Ω if there exist an open neighborhood U of x _{0} and a polynomial P:C ^{ n }×C→C, P≠0, such that P(x,f(x))=0 for x∈U. A holomorphic function defined on Ω is said to be a Nash function if it is a Nash function at every point of Ω. A holomorphic mapping defined on Ω with values in C ^{ N } is said to be a Nash mapping if each of its components is a Nash function.
The fact from [28] stated below explains the relation between Nash and algebraic sets.
Theorem 2.1
Let X be an irreducible Nash subset of an open set Ω⊂C ^{ n }. Then there exists an algebraic subset Y of C ^{ n } such that X is an analytic irreducible component of Y∩Ω. Conversely, every analytic irreducible component of Y∩Ω is an irreducible Nash subset of Ω.
2.2 Convergence of Closed Sets and Holomorphic Chains
Let U be an open subset in C ^{ m }. By a holomorphic chain in U, we mean the formal sum A=∑_{ j∈J } α _{ j } C _{ j }, where α _{ j }≠0 for j∈J are integers and {C _{ j }}_{ j∈J } is a locally finite family of pairwise distinct irreducible analytic subsets of U (see [29], cp. also [2, 12]). The set ⋃_{ j∈J } C _{ j } is called the support of A and is denoted by |A|, whereas the sets C _{ j } are called the components of A with multiplicities α _{ j }. The chain A is called positive if α _{ j }>0 for all j∈J. If all the components of A have the same dimension n, then A will be called an n-chain.
- (1l)
For every a∈Y there exists a sequence {a _{ ν }} such that a _{ ν }∈Y _{ ν } and a _{ ν }→a in the standard topology of C ^{ m }.
- (2l)
For every compact subset K of U such that K∩Y=∅, it holds that K∩Y _{ ν }=∅ for almost all ν.
- (1c)
|Z _{ ν }|→|Z|.
- (2c)
For each regular point a of |Z| and each submanifold T of U of dimension m−n transversal to |Z| at a such that \(\overline{T}\) is compact and \(|Z|\cap\overline{T}=\{a\}\), we have deg(Z _{ ν }⋅T)=deg(Z⋅T) for almost all ν.
2.3 Normalization of Algebraic Sets
Let us recall that every affine algebraic set, regarded as an analytic set, has an algebraic normalization (see [21], p. 471). Therefore (in view of the basic properties of normal spaces, see [21], pp. 337, 343), the following theorem, which will be useful in the proof of the main result, holds true.
Theorem 2.2
- (01)
Z, regarded as an analytic set, is locally irreducible.
- (02)
π|_{ Z }:Z→C ^{ m } is a proper map.
- (03)
\(\pi|_{Z\cap(\pi^{-1}(\tilde{Y}\setminus \operatorname{Sing}(\tilde{Y})))}:Z\cap(\pi^{-1}(\tilde{Y}\setminus \operatorname{Sing}(\tilde{Y})))\rightarrow\tilde{Y}\) is an injective map.
2.4 Runge Domains
The following lemma is a straightforward consequence of Theorem 2.7.3 and Lemma 2.7.4 from [16].
Lemma 2.3
Let Ω⊂C ^{ n } be a Runge domain. Then for every Ω _{0}⋐Ω, there exists a compact polynomial polyhedron P⊂Ω such that \(\varOmega_{0}\Subset \operatorname{Int}P\).
Theorem 2.7.3 from [16] immediately implies the following:
Claim 2.4
Let P be any polynomial polyhedron in C ^{ n }. Then \(\operatorname{Int}P\) is a Runge domain in C ^{ n }.
The following fact from [16] (Theorem 2.7.7, p. 55) will also be useful to us.
Theorem 2.5
Let f be a holomorphic function in a neighborhood of a polynomially convex compact set K⊂C ^{ n }. Then f can be uniformly approximated on K by polynomials in n complex variables.
3 Approximation of Analytic Sets
The following theorem is the first main result of this paper.
Theorem 3.1
Let U be a Runge domain in C ^{ k }, and let X be an analytic subset of U×C ^{ n } of pure dimension k with proper projection onto U. Then there is a sequence {X _{ ν }} of algebraic subsets of C ^{ k }×C ^{ n } of pure dimension k such that {X _{ ν }∩(U×C ^{ n })} converges to X in the sense of holomorphic chains.
The proof of Theorem 3.1 is based on two results. First, every purely dimensional analytic set with proper and surjective projection onto a Runge domain can be approximated by Nash sets (a precise statement will be recalled later). Second, every complex Nash set with proper projection onto a Runge domain can be approximated by algebraic sets as stated in the following:
Proposition 3.2
Let Y be a Nash subset of Ω×C of pure dimension k<m, with proper projection onto Ω, where Ω is a Runge domain in C ^{ m−1}. Then there is a sequence {Y _{ ν }} of algebraic subsets of C ^{ m−1}×C of pure dimension k such that {Y _{ ν }∩(Ω×C)} converges to Y in the sense of holomorphic chains.
Proof of Proposition 3.2
Let \(\hat{l}\) be a positive integer, and let \(\|\cdot\|_{\hat{l}}\) denote a norm in \(\mathbf{C}^{\hat {l}}\). Set \(B_{\hat{l}}(r)=\{x\in\mathbf{C}^{\hat{l}}:\|x\|_{\hat{l}}<r\}\). For any analytic subset X of an open subset of \(\mathbf{C}^{\hat{l}}\), let X _{(q)} denote the union of all q-dimensional irreducible components of X.
- (*)
There exists a sequence {Y _{ ν }} of purely k-dimensional algebraic subsets of C ^{ m−1}×C such that {Y _{ ν }∩(Ω _{0}×B _{1}(r))} converges to Y∩(Ω _{0}×B _{1}(r)) in the sense of chains.
Fix an open relatively compact subset Ω _{0} of Ω and a real number r>0. Let \(\tilde{\pi}:\mathbf{C}^{m-1}\times\mathbf{C}\rightarrow\mathbf{C}^{m-1}\) denote the natural projection.
Claim 3.3
There exists a purely k-dimensional algebraic subset \(\tilde{Y}\) of C ^{ m−1}×C such that Y∩(Ω _{0}×B _{1}(r)) is the union of some of the analytic irreducible components of \(\tilde{Y}\cap(\varOmega_{0}\times B_{1}(r))\). Moreover, the mapping \(\tilde{\pi}|_{\tilde{Y}}:\tilde{Y}\rightarrow\mathbf{C}^{m-1}\) may be assumed to be proper.
Proof of Claim 3.3
By Lemma 2.3, we can fix a compact polynomial polyhedron P⊂Ω such that Ω _{0}⋐Γ⋐Ω, where \(\varGamma=\operatorname{Int}P\). The complex manifold \(\operatorname{Reg}_{\mathbf{C}}(Y\cap(\varGamma\times\mathbf{C}))\) is a semi-algebraic subset of R ^{2m }, hence it has a finite number of connected components. Consequently, Y∩(Γ×C) has finitely many analytic irreducible components. Therefore, by Theorem 2.1 there exists a purely k-dimensional algebraic subset \(\tilde{Y}\) of C ^{ m−1}×C such that Y∩(Γ×C) is the union of some of the analytic irreducible components of \(\tilde{Y}\cap(\varGamma\times\mathbf{C})\). Then, clearly, Y∩(Ω _{0}×B _{1}(r)) is the union of some of the analytic irreducible components of \(\tilde{Y}\cap(\varOmega_{0}\times B_{1}(r))\).
- (a)
The projection of \(\varPhi(\tilde{Y})\subset\mathbf{C}^{m-1}\times\mathbf{C}\) onto C ^{ m−1} is a proper mapping.
- (b)
Φ(Ω _{0}×B _{1}(r))⊂Ω _{1}×B _{1}(s).
- (c)
Φ(Y)∩(Ω _{1}×B _{1}(s)) is a Nash subset of Ω _{1}×C whose projection onto Ω _{1} is a proper mapping.
- (d)
Φ(Y)∩(Ω _{1}×B _{1}(s)) is the union of some of the irreducible components of \(\varPhi(\tilde{Y})\cap(\varOmega_{1}\times B_{1}(s))\).
If there exists a sequence {Z _{ ν }} of purely k-dimensional algebraic subsets of C ^{ m−1}×C such that {Z _{ ν }∩(Ω _{1}×B _{1}(s))} converges to Φ(Y)∩(Ω _{1}×B _{1}(s)) in the sense of chains, then Y∩(Ω _{0}×B _{1}(r)) is approximated, in view of (b), by {Φ ^{−1}(Z _{ ν })∩(Ω _{0}×B _{1}(r))}. Moreover, (c) implies that Ω _{1} and Φ(Y)∩(Ω _{1}×B _{1}(s)) taken in place of Ω and Y, respectively, satisfy the hypotheses of Proposition 3.2. Since, in view of (a) and (d), \(\varPhi(\tilde{Y})\) is a purely k-dimensional algebraic subset of C ^{ m−1}×C with proper projection onto C ^{ m−1}, containing Φ(Y)∩(Ω _{1}×B _{1}(s)), the proof of the claim is completed provided there are Φ, Ω _{1}, and s satisfying (a), (b), (c), and (d).
Proof of Proposition 3.2 (continuation)
By Claim 3.3, we may assume that the mapping \(\tilde{\pi}|_{\tilde{Y}}\) is proper. Then the mapping \(\hat{\pi}|_{Z}:Z\rightarrow\mathbf{C}^{m-1}\) is proper as well, where \(\hat{\pi}=\tilde{\pi}\circ\pi\). This implies that both \(\tilde{E}\) and \(\tilde{F}\) are compact. Moreover, the mapping \((\hat{\pi},p)|_{Z}:Z\rightarrow\mathbf{C}^{m}\) is proper for every polynomial p:C ^{ m }×C ^{ n }→C.
- (0)
\(\{p_{\nu}|_{\tilde{E}}\}\) converges uniformly to the mapping (x _{1},…,x _{ m },y _{1},…,y _{ n })↦x _{ m }.
- (1)
\(\inf_{b\in\tilde{F}}|p_{\nu}(b)|>r\) for almost all ν.
Claim 3.4
There exists a sequence {p _{ ν }} of polynomials in m+n complex variables, satisfying (0) and (1).
Proof of Claim 3.4
First, by the fact that \(\tilde{E}\cap\tilde{F}=\emptyset\), there is an open subset U of C ^{ m }×C ^{ n } such that U=U _{1}∪U _{2}, where U _{1},U _{2} are open subsets of C ^{ m }×C ^{ n }, U _{1}∩U _{2}=∅, and \(\tilde{E}\subset U_{1},\tilde{F}\subset U_{2}\).
Second, abbreviate (x,y)=(x _{1},…,x _{ m },y _{1},…,y _{ n }) and note that the function f:U→C defined by f(x,y)=x _{ m } on U _{1} and f(x,y)=r+1 on U _{2} is holomorphic.
Lastly, since f is a holomorphic function in a neighborhood of a polynomially convex compact set \(\tilde{E}\cup\tilde{F}\), it is sufficient to apply Theorem 2.5 to obtain a sequence {p _{ ν }} of complex polynomials in m+n variables converging uniformly to f on \(\tilde{E}\cup\tilde{F}\). Clearly, every such sequence satisfies (0) and (1). □
Proof of Proposition 3.2 (end)
Every Y _{ ν } is a purely k-dimensional algebraic subset of C ^{ m } because the mapping \((\hat{\pi},p_{\nu}):\mathbf{C}^{m}\times\mathbf{C}^{n}\rightarrow\mathbf{C}^{m}\) is polynomial, its restriction \((\hat{\pi},p_{\nu})|_{Z}\) is proper, and Z is a purely k-dimensional algebraic subset of C ^{ m }×C ^{ n }. Hence it remains to check that {Y _{ ν }∩(Ω _{0}×B _{1}(r))} converges to Y∩(Ω _{0}×B _{1}(r)) in the sense of chains.
- (a)
\(Y\cap(\overline{C_{1}}+\partial C_{2})=\emptyset\) and \((\overline{\tilde{Y}\setminus Y})\cap\overline{(C_{1}+C_{2})}=\emptyset\).
- (b)
Every fiber of the projection of Y∩(C _{1}+C _{2}) onto C _{1} is 1-element.
- (c)
The generic fiber of the projection of Y _{ ν }∩(C _{1}+C _{2}) onto C _{1} is at least 2-element for infinitely many ν.
The existence of l⊂C ^{ m } (and C _{1}, C _{2}) as above is a direct consequence of the assumption that (2c) does not hold. Since the projection of \(\tilde{Y}\subset\mathbf{C}^{m-1}\times\mathbf{C}\) onto C ^{ m−1} is a proper mapping, the subspace l can be chosen in such a way that it is contained in C ^{ m−1}×{0}.
Thus {Y _{ ν }∩(Ω _{0}×B _{1}(r))} and Y∩(Ω _{0}×B _{1}(r)) satisfy (2c), and the proof of Proposition 3.2 is completed. □
Proof of Theorem 3.1
Let us first recall that for analytic covers, there exist Nash approximations:
Theorem 3.5
Let U be a connected Runge domain in C ^{ k }, and let X be an analytic subset of U×C ^{ n } of pure dimension k with proper projection onto U. Then for every open relatively compact subset V of U there is a sequence of Nash subsets of V×C ^{ n } of pure dimension k with proper projection onto V, converging to X∩(V×C ^{ n }) in the sense of holomorphic chains.
Papers [4, 5] contain detailed proofs of Theorem 3.5. Here let us just mention that this theorem is related to the problem of approximation of holomorphic maps between complex (algebraic) spaces, for which the reader is referred to [1, 9, 13, 14, 18, 19, 25–27].
Let us return to the proof of Theorem 3.1. Fix a Runge domain U in C ^{ k } and an analytic subset X of U×C ^{ n } of pure dimension k with proper projection onto U. Clearly, in order to prove Theorem 3.1, it is sufficient to check the following:
Claim 3.6
For every open V⋐U, there exists a sequence {X _{ ν }} of purely k-dimensional algebraic subsets of C ^{ k }×C ^{ n } such that {X _{ ν }∩(V×C ^{ n })} converges to X∩(V×C ^{ n }) in the sense of chains.
Let us prove the claim. Fix an open V⋐U. Since, without loss of generality, V can be replaced by a larger relatively compact Runge subdomain of U (cf. Sect. 2.4), we may assume that V is a Runge domain. By Theorem 3.5, there is a sequence {T _{ ν }} of purely k-dimensional Nash subsets of V×C ^{ n }, with proper projection onto V, converging to X∩(V×C ^{ n }) in the sense of chains. (Formally in Theorem 3.5, U is assumed to be connected, but this assumption can be easily omitted by treating every connected component of U separately.)
For every ν, by Proposition 3.2 applied with Y=T _{ ν }, Ω=V×C ^{ n−1}, and m=n+k, there is a sequence {Y _{ ν,μ }} of algebraic subsets of C ^{ k }×C ^{ n } of pure dimension k such that {Y _{ ν,μ }∩(V×C ^{ n })} converges to T _{ ν } in the sense of chains. Clearly, there is a function α:N→N such that {Y _{ ν,α(ν)}∩(V×C ^{ n })} converges to X∩(V×C ^{ n }). Thus the proofs of Claim 3.6 and Theorem 3.1 are completed. □
An immediate consequence of Theorem 3.1 is the following:
Corollary 3.7
Let X be a purely k-dimensional analytic subset of some open Ω⊂C ^{ m }. Then for every a∈X, there are an open neighborhood U of a in Ω and a sequence {X _{ ν }} of purely k-dimensional algebraic subsets of C ^{ m } such that {X _{ ν }∩U} converges to X∩U in the sense of holomorphic chains.
Proof
Every point of a purely k-dimensional analytic subset X of some open Ω⊂C ^{ m } has a neighborhood U⊂Ω such that, after a linear change of the coordinates, the projection of X∩U onto an open ball in C ^{ k }×{0}^{ m−k } is a proper mapping. Then, having applied Theorem 3.1, we obtain the corollary. □
4 Constructive Approximation of Analytic Sets
Let X be a purely k-dimensional analytic subset of an open set Ω⊂C ^{ m } such that 0∈X. Our aim is to construct a sequence {X _{ ν }} of purely k-dimensional algebraic subsets of C ^{ m } such that {X _{ ν }∩Ω _{0}} converges to X∩Ω _{0} in the sense of chains for some open neighborhood Ω _{0} of 0∈C ^{ m } and, moreover, every irreducible component E of X∩Ω _{0} is the limit of a sequence {E _{ ν }}, where E _{ ν } is an analytic irreducible component of X _{ ν }∩Ω _{0}. The construction is based on the proof of Theorem 3.1 and for that reason we need constructive versions of Theorem 2.5 and Theorem 2.2 involved in the proof (details below).
Before presenting the details, let us briefly sketch the idea of the construction of X _{ ν }. The first stage is to construct a purely k-dimensional algebraic subset \(\tilde{X}_{\nu}\) of C ^{ m } with the following properties. For some open connected neighborhood U _{0}⋐U of 0 (independent of ν), every irreducible component of X∩(U _{0}×C ^{ n }) is approximated by some analytic irreducible component of \(\tilde{X}_{\nu}\cap (U_{0}\times\mathbf{C}^{n})\). Moreover, \(\tilde{X}_{\nu}\subset\mathbf{C}^{k}\times\mathbf{C}^{n}\approx\mathbf{C}^{m}\) is with proper projection onto C ^{ k }. Steps 1–4 of the procedure (written below) are responsible for this first stage. (Note that \(\tilde{X}_{\nu}\cap(U_{0}\times\mathbf{C}^{n})\) may contain irreducible components not corresponding to any irreducible components of X∩(U _{0}×C ^{ n }), so in further steps \(\tilde{X}_{\nu}\) will have to be modified so that these additional components can be removed.)
Given \(\tilde{X}_{\nu}\), we follow the proof of Proposition 3.2 with Ω=U _{0}×C ^{ n−1} and Y taken to be the union of those analytic irreducible components of \(\tilde{X}_{\nu}\cap(U_{0}\times\mathbf{C}^{n})\) for which Y approximates X∩(U _{0}×C ^{ n }). More precisely, the situation is now simpler than in Proposition 3.2 because \(\tilde{X}_{\nu}\subset\mathbf{C}^{k}\times\mathbf{C}^{n}\) is with proper projection onto C ^{ k }. Consequently, no global coordinate changes are necessary. We just proceed by computing a purely k-dimensional algebraic subset Z _{ ν } of C ^{ k }×C ^{ n }×C ^{ d }, for some d∈N, such that Z _{ ν } is a locally irreducible analytic set, \(\pi|_{Z_{\nu}}\) is a proper map, and \(\pi(Z_{\nu})=\tilde{X}_{\nu}\), where π:C ^{ k }×C ^{ n }×C ^{ d }→C ^{ k }×C ^{ n } is the natural projection (Step 5).
By the proof of Proposition 3.2, we know that Z _{ ν }∩(U _{0}×C ^{ n }×C ^{ d })=E _{ ν }∪F _{ ν }, where E _{ ν },F _{ ν } are purely k-dimensional Nash sets such that π(E _{ ν }) approximates X∩(U _{0}×C ^{ n }) and E _{ ν },F _{ ν } are separated from each other. In the last step, we replace π by a polynomial map π _{ ν } such that X _{ ν }=π _{ ν }(Z _{ ν }) is an algebraic set approximating X as described in the first paragraph of this section (where Ω _{0}=U _{0}×C ^{ n }). To this end, π _{ ν } is chosen in such a way that π _{ ν }(E _{ ν }) is close to π(E _{ ν }), whereas π _{ ν }(Z _{ ν }∖E _{ ν })∩(U _{0}×B _{ n }(ν))=∅, where B _{ n }(ν) is the ball in C ^{ n } centered at zero with radius ν.
Let us present the details. For hints on how the approximation can be carried out in practice, see the paragraphs following the procedure below. Let X,p _{1},…,p _{ r } be as in the second paragraph of this section.
Construction of X _{ ν }
- 1.For every i∈{1,…,n}, compute the unitary polynomialwith nonzero discriminant such that π _{ i }(X)={(x,z _{ i })∈U×C _{ i }:q _{ i }(x,z _{ i })=0}, where \(\pi_{i}:U\times\mathbf{C}^{n}_{z_{1},\ldots,z_{n}}\rightarrow U\times\mathbf{C}_{z_{i}}\) is the natural projection.$$q_i=z_i^{n_i}+z_i^{n_i-1}a_{i,1}+\cdots +a_{i,n_i}\in\mathcal{O}(U)[z_i],$$
- 2.For every i∈{1,…,n}, compute the discriminant \(\varDelta_{i}\in\mathbf{C}[a_{i,1},\ldots,a_{i,n_{i}}]\) of q _{ i }. Next find functions \(F_{1},\ldots,F_{\hat{s}}\) holomorphic in some neighborhood of 0∈C ^{ k } such that for every i∈{1,…,n},where \(\beta_{i,1},\ldots,\beta_{i,\hat{s}}\) is a sequence of nonnegative integers; moreover, for every \(l\in\{1,\ldots,\hat{s}\}\), {F _{ l }=0} has no multiple irreducible components, and for every \(j,l\in\{1,\ldots,\hat{s}\}\) with j≠l, {F _{ j }=0} and {F _{ l }=0} have no common irreducible components.$$\varDelta_i\bigl(a_{i,1}(x),\ldots,a_{i,n_i}(x)\bigr)=F_1^{\beta_{i,1}}(x)\cdot\cdots \cdot F_{\hat{s}}^{\beta_{i,\hat{s}}}(x),$$
- 3.For every i∈{1,…,n}, j∈{1,…,n _{ i }}, introduce a new variable \(\tilde{z}_{i,j}\) and construct a nonzero polynomial \(P_{i,j,\nu}\in(\mathbf{C}[x])[\tilde{z}_{i,j}]\) of degree in \(\tilde{z}_{i,j}\) independent of ν, unitary in \(\tilde{z}_{i,j}\) such that there are Nash functions a _{ i,j,ν }, \(F_{1,\nu},\ldots, F_{\hat{s},\nu}\) approximating uniformly \(a_{i,j}, F_{1},\ldots, F_{\hat{s}}\) on an open neighborhood C _{0} of zero (independent of ν), andfor every x∈C _{0}. Such a construction is described in detail in [5] (p. 327).
- 4.For every i∈{1,…,n}, let \(\tilde{q}_{i}\) be the polynomial obtained by replacing every coefficient a _{ i,j } of q _{ i } (except for the coefficient 1 standing at \(z_{i}^{n_{i}}\)) by the variable \(\tilde{z}_{i,j}\) (appearing in P _{ i,j,ν }). Now let \(\tilde{X}_{\nu}\) be the image of the projection of the algebraic setonto \(\mathbf{C}^{k}_{x}\times\mathbf{C}^{n}_{z_{1}\ldots z_{n}}\). Hence the equations defining \(\tilde{X}_{\nu}\) can be obtained by eliminating \(\tilde{z}_{i,j}\)’s from the equations defining V _{ ν }.$$V_{\nu}=\{\tilde{q}_i=0, P_{i,j,\nu}=0, \mbox{ for }i=1,\ldots,n \mbox{ and } j=1,\ldots, n_i\}$$
- 5.
For some d∈N, compute a purely k-dimensional algebraic subset Z _{ ν } of C ^{ k }×C ^{ n }×C ^{ d } locally irreducible as an analytic set such that \(\pi|_{Z_{\nu}}\) is a proper map and \(\pi(Z_{\nu})=\tilde{X}_{\nu}\), where π:C ^{ k }×C ^{ n }×C ^{ d }→C ^{ k }×C ^{ n } is the natural projection. Let U _{0}⋐C _{0} be an open polydisc containing 0∈C ^{ k }, and let \(\overline{U_{0}}\) be its closure in C _{0}. Then \(Z_{\nu}\cap(\overline{U_{0}}\times\mathbf{C}^{n}\times\mathbf{C}^{d})=\tilde {E_{\nu}}\cup \tilde{F_{\nu}}\), where \(\tilde{E_{\nu}}, \tilde{F_{\nu}}\) are compact sets such that \(\tilde{E_{\nu}}\cap\tilde{F_{\nu}}=\emptyset\). Moreover, \(E_{\nu}={\tilde{E}_{\nu}}\cap(U_{0}\times\mathbf{C}^{n}\times\mathbf{C}^{d})\) is a purely k-dimensional Nash set such that π(E _{ ν }) approximates X∩(U _{0}×C ^{ n }).
- 6.Compute a polynomial map Q _{ ν }:C ^{ k }×C ^{ n }×C ^{ d }→C ^{ n } approximating uniformly the natural projection \(\check{\pi}:\mathbf{C}^{k}\times\mathbf{C}^{n}\times\mathbf{C}^{d}\rightarrow \mathbf{C}^{n}\) on \(\tilde{E_{\nu}}\) such thatNext compute \(X_{\nu}=(\acute{\pi}, Q_{\nu})(Z_{\nu})\), where \(\acute{\pi}:\mathbf{C}^{k}\times\mathbf{C}^{n}\times\mathbf{C}^{d}\rightarrow \mathbf{C}^{k}\) is the natural projection. □$$\inf_{x\in\tilde{F_{\nu}}}\bigl\|Q_{\nu}(x)\bigr\|_{\mathbf{C}^n}>\nu.$$
Before discussing how this construction could be carried out in practice, let us note that not every analytic function can constitute (a part of) input data. Only objects which can be encoded as finite sequences of symbols can be considered. A large class of sets for which approximation could be useful are algebraic (or Nash) sets described by polynomials of very high degrees. Then the task would be to find approximations of such sets described by polynomials of lower degrees. Also in many cases in which analytic sets are described by (compositions) of elementary analytic functions whose properties we know, the construction could be carried out quite fast.
In general, one could consider the model in which for every function f depending on the variables x _{1},…,x _{ k }, there is a finite procedure \(\operatorname{Expand}_{f}\) which for every tuple (n _{1},…,n _{ k })∈N ^{ k } returns the coefficient of the Taylor expansion of f around zero, standing at \(x_{1}^{n_{1}}\cdot\cdots\cdot x_{k}^{n_{k}}\). The input data corresponding to the function f consist of the procedure \(\operatorname{Expand}_{f}\), the size of the polydisc neighborhood U _{ f } of zero on which the Taylor expansion of f is convergent. Furthermore, |f| is assumed to be bounded on U _{ f }, and we know the bound M _{ f }.
Observe that having input data for two functions f,g, we can recover the corresponding data for f+g, f⋅g, and \(\frac{1}{f}\) (the latter if f(0)≠0). If we could test whether f is identically zero, then we could carry out all the first three steps of the construction in which transcendental objects appear. (Step 2 requires some further explanations given below. For the moment, let us only note that, clearly, under these assumptions we would also have procedures for expansions of functions appearing in the Weierstrass preparation theorem).
Unfortunately, given only \(\operatorname{Expand}_{f}\), U _{ f }, M _{ f }, it is not possible to test in a finite number of steps whether f=0. But for every ε>0, it is possible to check whether \(\sup_{U_{f}}|f|<\varepsilon\); hence, we can pick small ε>0 at the beginning and every time \(\sup_{U_{f}}|f|<\varepsilon\) assume that f=0. Of course, if f≠0, then the output may not be correct. If we have some extra information about X which allows us to exclude incorrect outputs X _{ ν }, then we can repeat the procedure with smaller ε. In such a general model, however, the existence of “badly conditioned” problems seems to be inevitable.
In Step 5, Z _{ ν } can be effectively obtained, for example, by computing the normalization of \(\tilde{X}_{\nu}\) (see [15] for the algorithm of normalization; the fact that the algebraic set Z _{ ν } normalizing \(\tilde{X}_{\nu}\) is a locally irreducible analytic set follows by the standard properties of normal spaces, see [21], pp. 337, 343, 471).
The fact that Step 6 is constructive is a direct consequence of the existence of an effective procedure for computing the polynomial map Q _{ ν }. Let K _{1},K _{2} be any closed bounded neighborhoods of \(\tilde{E_{\nu}}, \tilde{F_{\nu}}\), respectively, such that K _{1}∩K _{2}=∅. Observe that any polynomial map Q _{ ν } sufficiently close (on K _{1}∪K _{2}) to the holomorphic map f:K _{1}∪K _{2}→C ^{ n } given by \(f|_{K_{1}}=\check{\pi}|_{K_{1}}\) and \(f|_{K_{2}}=c\), where c∈C ^{ n }, \(\|c\|_{\mathbf{C}^{n}}>\nu\), is good for our purpose. Hence what we need is to construct K _{1}∪K _{2} and approximate f.
The union K _{1}∪K _{2} will be constructed in such a way that it satisfies Markov’s inequality. Then holomorphic functions defined on K _{1}∪K _{2} can be constructively approximated by polynomials (see [11]). More precisely, an approximating polynomial \(\tilde{g}\) (of a given degree) for a holomorphic function \(g\in\mathcal{O}(K)\), where K is a Markov’s set, can be taken to be the one minimizing the sum \(\sum_{c\in\tilde{K}}|g(c)-\tilde{g}(c)|^{2}\), where \(\tilde{K}\) is a suitably chosen finite subset of K. (The cardinality of \(\tilde{K}\) depends on the exponent in Markov’s inequality.) For details, the reader is referred to [11]. This method is related to the concept of using the Lagrange interpolating polynomials to approximate holomorphic functions (see [6–8, 24]).
Finally, let us consider the following:
Example
Take h _{1}(x,y)=x+2.2⋅10^{−3} y, f _{1}(x,y)=(h _{1}(x,y))^{2}, g _{1}(x,y)=(h _{1}(x,y))^{3} and a _{1}(x,y)=2f _{1}(x,y). Observe that f _{1},g _{1},a _{1} are so close to f,g,a respectively that \(\operatorname{dist}(\tilde{Y}_{1},\tilde {Y})<5\cdot10^{-6}\). Moreover, there exist g _{ z,1}, g _{ w,1} satisfying the equations, and from the proof of Theorem 3.1 of [5], it follows that \(\tilde{Y}_{1}\) has the required property.
Now we have to remove from T all the analytic irreducible components of \(\tilde{X}_{1}\cap T\) except the one which approximates X∩T. To do this, we shall construct an algebraic subset Z _{1} of some C ^{4}×C ^{ d } such that the projection \(\pi|_{Z_{1}}:Z_{1}\rightarrow\tilde{X}_{1}\) is a proper map (bijective when restricted to the pre-image of the regular part of \(\tilde{X}_{1}\)), \(\pi (Z_{1})=\tilde{X}_{1}\), and the analytic irreducible components of Z _{1}∩(T×C ^{ d }) are separated from each other.
Note that if \(z_{1}^{5}-2u_{0}^{2}=z_{2}^{5}-2u_{0}^{2}=0\) and z _{1}≠z _{2}, then \(|z_{1}-z_{2}|\geq2\sin(\frac{\pi}{5})\sqrt[5]{2|u_{0}|^{2}}\). Consequently, in view of the previous paragraph, for every (x,y,z,w)∈T, z≠0, the following hold. If (x,y,z,w)∈X′, then \(|\frac{(z-w)^{5}}{z^{5}}|\leq\frac{1}{6^{5}}\) hence \(|2\frac {(z-w)^{5}}{z^{5}}|\leq3\cdot 10^{-4}\), whereas if \((x,y,z,w)\in(\tilde{X}_{1}\cap T)\setminus X'\), then \(|\frac{(z-w)^{5}}{z^{5}}|\geq(2\sin(\frac{\pi}{5})-\frac{1}{6})^{5}\) hence \(|2\frac{(z-w)^{5}}{z^{5}}|\geq2\). Moreover, \(|\frac{(z-w)^{5}}{z^{5}}|\) is bounded from above on \(\tilde{X}_{1}\cap T\).
The last step is to find a polynomial map P:C ^{5}→C ^{4} such that P(Z _{1}) is an algebraic set approximating X′ on T with \(\operatorname{dist}(P(Z_{1})\cap T,X')<4.9\cdot10^{-4}\). It is clear that here one can take P(x,y,z,w,t)=(x−t,y,z,w).
Let us finish this example by the remark that s can be effectively computed by a computer algebra system. Moreover, for any fixed y∈K _{1},z∈K _{1.14}∖{0}, one can solve numerically the system p _{1}(x,y,z,w)=p _{2}(x,y,z,w)=0 and the system z ^{5}−2f _{1}(x,y)=w ^{5}+g _{1}(x,y)w−2f _{1}(x,y)=0 to observe that every solution of the first one which stays in T satisfies the inequality \(|z-w|\leq\frac{1}{6}\sqrt[5]{2|x+2.2\cdot10^{-3}y|^{2}}\) and approximates the corresponding solution of the latter one with the required precision.
Acknowledgements
I am grateful to Professor Marek Jarnicki for introducing me to the subject of polynomial approximation of holomorphic functions. I thank Professor Mirosław Baran and Dr. Leokadia Białas-Cież for information on Markov’s inequality. I also thank Dr. Marcin Dumnicki and Dr. Rafał Czyż for helpful discussions.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.