×

Approximation of biholomorphic mappings by automorphisms of \(\mathbb{C}^ n\). (English) Zbl 0792.32011

Let \(\Omega\) be open in \(\mathbb{C}^ n\) and \(\varphi_ t:\Omega \to\varphi_ t (\Omega) \subset \mathbb{C}^ n\), \(0 \leq t \leq 1\), a smooth family of biholomorhic mappings. The authors discuss at first the problem of sufficient (and necessary) conditions for an approximation of these mappings (uniformly on compact subsets of \(\Omega)\) by holomorphic automorphisms of \(\mathbb{C}^ n\). They recall (a generalized version of) a theorem of E. Andersén and L. Lempert [Invent. Math. 110, 371-388 (1992; Zbl 0770.32015)]: If every \(\varphi_ t (\Omega)\) is Runge in \(\mathbb{C}^ n\), then \(\varphi_ t\) can be approximated for every \(t \in[0,1]\) if and only if \(\varphi_ 0\) can be approximated. Conversely, if \(\Omega\) is a pseudoconvex Runge domain in \(\mathbb{C}^ n\) and the biholomorphic map \(\varphi:\Omega \to \varphi(\Omega) \subset \mathbb{C}^ n\) can be approximated by automorphisms of \(\mathbb{C}^ n\), then every compact subset \(K \subset \Omega\) has a neighborhood \(D\) and a smooth family \(\varphi_ t:D \to \varphi_ t (D) \subset \mathbb{C}^ n\) of biholomorphic mappings with \(\varphi_ 0=\text{id}_ D\), \(\varphi_ 1=\varphi\) and \(\varphi_ t(D)\) Runge in \(\mathbb{C}^ n\) for \(0 \leq t \leq 1\) (Theorem 1.1.).
Using the fact that every polynomially convex subset \(K\) of \(\Omega\) has a basis of Stein neighborhoods that are Runge in \(\mathbb{C}^ n\), the authors show that for \(K\) compact and \(\varphi_ 0=\text{id}\) the image \(\varphi_ t (K)\) is polynomially convex, \(0 \leq t \leq 1\), if and only if \(K\) has a neighborhood \(U \subset \Omega\) with \(\varphi_ t (U)\) Runge in \(\mathbb{C}^ n\) for \(t \in[0,1]\) (Theorem 2.1).
Now take two real-analytic submanifolds \(M_ 0\) and \(M_ 1\) of \(\mathbb{C}^ n\) and assume that they are diffeomorphic. When are \(M_ 0\) and \(M_ 1\) \(\mathbb{C}^ n\)-equivalent, i.e. when exists a biholomorphic map \(\varphi:\Omega \to \mathbb{C}^ n\) of a neighborhood \(\Omega\) of \(M_ 0\) with \(\varphi (M_ 0)=M_ 1\) such that \(\varphi\) can be approximated by automorphisms of \(\mathbb{C}^ n\)? In Section 3 the answer is given for a totally real and polynomially convex compact submanifold \(M_ 0\) in \(\mathbb{C}^ n\): \(M_ 0\) and \(M_ 1\) are \(\mathbb{C}^ n\)-equivalent if and only if they are isotopic in \(\mathbb{C}^ n\) through a family of totally real and polynomially convex submanifolds \(M_ t\) in \(\mathbb{C}^ n\), \(0 \leq t \leq 1\) (Theorem 3.1).
The authors give several applications of this theorem in Section 4. Two real-analytic embeddings \(f_ 0\), \(f_ 1:M \to \mathbb{C}^ n\) are called \(\mathbb{C}^ n\)-equivalent if there is a neighborhood \(U\) of \(f_ 0(M)\) and a biholomorphic map \(\psi:U \to \psi (U) \subset \mathbb{C}^ n\) with \(\psi \circ f_ 0=f_ 1\), where \(\psi\) can be uniformly approximated by automorphisms of \(\mathbb{C}^ n\). Assume now that \(M\) is a compact real- analytic surface. There is a following result: If \(f_ 0(M)\) and \(f_ 1(M)\) are totally real and polynomially convex in \(\mathbb{C}^ n (n \geq 3)\), then \(f_ 0\) and \(f_ 1\) are \(\mathbb{C}^ n\)-equivalent (Theorem 5.1). Using the “Jet Transversality Theorem” of Thom it is additionally shown that there is an isotopy of embeddings \(\tau_ t:M \to \mathbb{C}^ n\), \(0 \leq t \leq 1\), connecting \(f_ 0\) and \(f_ 1\) such that every \(\tau_ t(M)\) is totally real and polynomially convex in \(\mathbb{C}^ n\). The set of totally real embeddings \(f:M \to \mathbb{C}^ n\), \(n \geq 3\), where the image is polynomially convex is open and dense in the space of all embeddings of \(M\) into \(\mathbb{C}^ n\) with respect to the Withney \({\mathcal C}^ \infty\) topology (Theorem 5.2).
Finally the authors give necessary and sufficient conditions in topological terms for the existence of an approximation of a biholomorphic mapping \(\varphi:\Omega \to \mathbb{C}^ n\) by automorphisms of \(\mathbb{C}^ n\) in a neighborhood of a real-analytic, totally real, polynomially convex submanifold \(M \subset \Omega\) (Theorem 6.2).
They close their interesting paper with several examples and open problems.

MSC:

32E30 Holomorphic, polynomial and rational approximation, and interpolation in several complex variables; Runge pairs
32E20 Polynomial convexity, rational convexity, meromorphic convexity in several complex variables
32V40 Real submanifolds in complex manifolds

Citations:

Zbl 0770.32015
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Abhyankar, S.S., Moh, T.T.: Embeddings of the line in the plane. J. Reine Angew. Math.,276, 148–166 (1975) · Zbl 0332.14004
[2] Alexander, H.: The polynomial hull of a rectifiable curve in C n . Am. J. Math.110, 629–640 (1988) · Zbl 0659.32017 · doi:10.2307/2374644
[3] Andersén, E.: Volume preserving automorphisms of C n . Complex Variables14, 223–235 (1990) · Zbl 0705.58008
[4] Andersén, E., Lempert, L.: On the group of holomorphic automorphisms of C n . Invent. Math.110, 371–388 (1992) · Zbl 0770.32015 · doi:10.1007/BF01231337
[5] Bochner, S., Martin, W.T.: Several Complex Variables. Princeton: Princeton University Press 1948 · Zbl 0041.05205
[6] Bony, J.-M.: Principle du maximum, inegalité de Harnack... Ann. Inst. Fourier19, 277–304 (1969) · Zbl 0176.09703
[7] Chirka, E.M.: Complex Analytic Sets (Math. Appl. vol 46) Dordrecht: Kluwer 1989; Original in Russian, Moskva: Nauka 1985 · Zbl 0781.32011
[8] Dixon, P.G., Esterle, J.: Michael’s problem and the Poincaré-Fatou-Bieberbach phenomenon. Bull. Amer. Math. Soc., New. Ser.15, 127–187 (1986) · Zbl 0608.32008 · doi:10.1090/S0273-0979-1986-15463-7
[9] Kallin, E.: Polynomial convexity: the three spheres problem. In: Aeppli, A. et al. (eds.) Proc. Conf. Complex Analysis, Minneapolis 1964, pp. 301–304. Berlin Heidelberg New York: Springer 1965
[10] El Kasimi, A.: Approximation polynômiale dans les domaines étoilés de C n . Complex Variables10, 179–182 (1988) · Zbl 0627.32008
[11] Forstneric, F.: Stability of polynomial convexity of totally real sets. Proc. Am. Math. Soc.96, 489–494 (1986) · Zbl 0588.32016
[12] Golubitsky, M., Guillemin, V.: Stable Mappings and Their Singularities. (Grad. Texts Math., vol. 14) Berlin Heidelberg New York: Springer 1973 · Zbl 0294.58004
[13] Hirsch, M.: Differential Topology. (Grad. Texts Math., vol. 33) Berlin Heidelberg New York: Springer 1976
[14] Hörmander, L.: An Introduction to Complex Analysis in Several Variables, 3rd ed. Amsterdam: North Holland 1990 · Zbl 0685.32001
[15] Rosay, J.-P.: The polynomial hull of non-connected tube domains, and an example of E. Kallin. Bull. Lond. Math. Soc.21, 73–78 (1989) · Zbl 0634.32011 · doi:10.1112/blms/21.1.73
[16] Rosay, J.-P.: Straightening of arcs. (Preprint 1992)
[17] Rosay, J.-P., Rudin, W.: Holomorphic maps from C n to C n . Trans. Am. Math. Soc.310, 47–86 (1988) · Zbl 0708.58003
[18] Rosay, J.-P., Rudin, W.: Holomorphic embeddings of C in C n . In: Proc. Inst. Mittag-Leffler. Djursholm, 1987–88. Princeton: Princeton University Press 1993
[19] Steenrod, N.: The Topology of Fibre Bundles. Princeton: Princeton University Press 1951 · Zbl 0054.07103
[20] Stolzenberg, G.: Polynomially and rationally convex sets. Acta Math.109, 259–289 (1963) · Zbl 0122.08404 · doi:10.1007/BF02391815
[21] Stout, E.L.: The Theory of Uniform Algebras. Tarrytown on Hudson: Bogden and Quigley 1971 · Zbl 0286.46049
[22] Wells, R.O.: Compact real submanifolds of a complex manifold with nondegenerate holomorphic tangent bundles. Math. Ann.179, 123–129 (1969) · Zbl 0167.21604 · doi:10.1007/BF01350124
[23] Wermer, J.: The hull of a curve in C n . Ann. Math.68, 550–561 (1958) · Zbl 0084.33402 · doi:10.2307/1970155
[24] Wermer, J.: Banach Algebras and Several Complex Variables. Berlin Heidelberg New York: Springer 1976 · Zbl 0336.46055
[25] Forstneric, F.: Complements of Runge domains and polynomial hulls. Michigan Math J. (to appear) · Zbl 0811.32007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.