Approximation of Analytic Sets with Proper Projection by Algebraic Sets
- First Online:
- Received:
- Revised:
- Accepted:
DOI: 10.1007/s00365-012-9156-0
- Cite this article as:
- Bilski, M. Constr Approx (2012) 35: 273. doi:10.1007/s00365-012-9156-0
- 4 Citations
- 311 Downloads
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
LetXbe an irreducible Nash subset of an open setΩ⊂C^{n}. Then there exists an algebraic subsetYofC^{n}such thatXis an analytic irreducible component ofY∩Ω. Conversely, every analytic irreducible component ofY∩Ω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 polyhedronP⊂Ωsuch that\(\varOmega_{0}\Subset \operatorname{Int}P\).
Theorem 2.7.3 from [16] immediately implies the following:
Claim 2.4
LetPbe any polynomial polyhedron inC^{n}. Then\(\operatorname{Int}P\)is a Runge domain inC^{n}.
The following fact from [16] (Theorem 2.7.7, p. 55) will also be useful to us.
Theorem 2.5
Letfbe a holomorphic function in a neighborhood of a polynomially convex compact setK⊂C^{n}. Thenfcan be uniformly approximated onKby polynomials inncomplex variables.
3 Approximation of Analytic Sets
The following theorem is the first main result of this paper.
Theorem 3.1
LetUbe a Runge domain inC^{k}, and letXbe an analytic subset ofU×C^{n}of pure dimensionkwith proper projection ontoU. Then there is a sequence {X_{ν}} of algebraic subsets ofC^{k}×C^{n}of pure dimensionksuch that {X_{ν}∩(U×C^{n})} converges toXin 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
LetYbe a Nash subset ofΩ×Cof pure dimensionk<m, with proper projection ontoΩ, whereΩis a Runge domain inC^{m−1}. Then there is a sequence {Y_{ν}} of algebraic subsets ofC^{m−1}×Cof pure dimensionksuch that {Y_{ν}∩(Ω×C)} converges toYin 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 purelyk-dimensional algebraic subset\(\tilde{Y}\)ofC^{m−1}×Csuch thatY∩(Ω_{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 inm+ncomplex 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
LetUbe a connected Runge domain inC^{k}, and letXbe an analytic subset ofU×C^{n}of pure dimensionkwith proper projection ontoU. Then for every open relatively compact subsetVofUthere is a sequence of Nash subsets ofV×C^{n}of pure dimensionkwith proper projection ontoV, converging toX∩(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, 26, 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 openV⋐U, there exists a sequence {X_{ν}} of purelyk-dimensional algebraic subsets ofC^{k}×C^{n}such that {X_{ν}∩(V×C^{n})} converges toX∩(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
LetXbe a purelyk-dimensional analytic subset of some openΩ⊂C^{m}. Then for everya∈X, there are an open neighborhoodUofainΩand a sequence {X_{ν}} of purelyk-dimensional algebraic subsets ofC^{m}such that {X_{ν}∩U} converges toX∩Uin 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 ν), and for 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, 7, 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.