×

Noncritical holomorphic functions on Stein manifolds. (English) Zbl 1064.32021

This paper on the geometry and topology of Stein manifolds by one of the foremost experts on several complex variables and its geometric aspects is one of the best articles on geometric function theory in recent years, and crowns the author’s many years of work on the homotopy principle for complex submanifolds of Euclidean spaces (so-called Stein manifolds).
According to the paper the author’s main motivation is to generalize to Stein manifolds of higher dimension the following classical theorem of R. C. Gunning and R. Narasimhan [Math. Ann. 174, 103–108 (1967; Zbl 0179.11402)], and to address the long open question whether a parallelizable Stein manifold of dimension \(n>1\) holomorphically immerses in \({\mathbb C}^n\). The result of Gunning and Narasimhan is that on an open Riemann surface (i.e., on a one-dimensional Stein manifold) there is a global holomorphic numerical function with nowhere zero differential, i.e., a noncritical global holomorphic function. Such a function immerses the Riemann surface in \({\mathbb C}\), and is also a submersion.
The cases of submersions and immersions in higher dimensions have different natures. Immersions with positive codimension also have different character than in zero codimension (which could be directly useful in connection with the above mentioned open question). The author in this monumental paper studies the case of holomorphic submersions based in part on the homotopy principle that he himself has developed in recent years after the pattern of the homotopy principle of Gromov and Eliashberg, and in part on many novel approaches introduced here.
The main theorems in the Introduction are the following.
Theorem I. Every Stein manifold admits a holomorphic function without critical points. More precisely, an \(n\)-dimensional Stein manifold admits \([\frac12(n+1)]\) holomorphic functions with pointwise independent differentials, and this number is maximal for certain \(n\)-dimensional Stein manifolds for all \(n\).
Theorem II. (The homotopy principle for holomorphic submersions.) If \(X\) is a Stein manifold of dimension \(n\), \(TX\) its holomorphic tangent bundle, and \(1\leq q<n\), then every continuous surjective map \(TX\to X\times{\mathbb C}^q\) of complex vector bundles is homotopic through maps of the same type to one that is the differential of a holomorphic submersion.
The author’s main results fill in the paper § 2, which runs to nearly \(13\) pages and lists \(12\) theorems that are grouped and can be discussed as follows.
(1) Functions with prescribed critical locus. – Here the main result is that the critical locus can be arbitrarily prescribed including multiplicities, and extension and approximation hold simultaneously, e.g., a noncritical function on a closed complex submanifold can be extended to a global noncritical function. Noncritical functions can serve as local coordinates near any given point, and a noncritical function can separate two given points.
(2) Foliations by complex hypersurfaces. – Here the level sets of noncritical functions are put to use.
(3) Holomorphic submersions and foliations. – Here the first theorem says, in particular, that on a Stein manifold a continuous global coframe of positive corank can be deformed through coframes of the same type to a coframe that is the differential of a holomorphic submersion. Moreover extension and approximation hold simultaneously for such homotopies of coframes.
(4) Existence of homotopies to integrable subbundles. – Here it is shown, in particular, that on a Stein manifold every trivial subbundle \(E\) of positive rank of the tangent bundle that therein has a trivial direct complement is homotopic to an integrable holomorphic subbundle Ker\(\,df\), where \(f\) is a holomorphic submersion to complex Euclidean space. If \(E\) is holomorphic, then the homotopy may be chosen through holomorphic subbundles.
(5) An example. – Here the author presents and discusses an example of Forster that shows that some of the author’s results are sharp. The example is the complement in the projective plane \({\mathbb CP}^2\) of the null cone \(x^2+y^2+z^2=0\) (and its products with itself and possibly with one copy of \({\mathbb C}\)). What is special about this example is that it has the homotopy type of the real projective plane, and thus its characteristic cohomology classes such as its Chern classes are easily computed, and they yield obstructions having certain ranks of trivial subbundles in the tangent or cotangent bundles.
(6) Remarks on parallelizable Stein manifolds. – Here the author gathers some references and makes some comments on parallelizable Stein manifolds, e.g., he poses in particular the question whether every complex hypersurface of \({\mathbb C}^{n+1}\) holomorphically immerses in \({\mathbb C}^n\), as they are parallelizable by an earlier result of the author.
(7) Comparison with smooth immersions and submersions. – In the smooth setting a powerful theory was already in place developed mainly by Smale and Hirsch for immersions, and by Phillips and Gromov for submersions. The author builds on the convex integration lemma of Gromov.
(8) Outline of proofs of the main theorems. – Here the author describes his new approach and powerful new techniques. Some of the proofs are very sophisticated versions of the classical exhaust, patch and approximate methods of Stein theory. The author proves a number of approximation and extension theorems in the course of which one useful main ingredient is the Andersén and Lempert theory of holomorphic automorphisms of \({\mathbb C}^n\), \(n\geq2\), as further developed by Rosay and the author in several papers. One application of this is to push critical points outside a compact set away from the compact set.
The patching/splitting idea pertains to biholomorphisms that are near to the identity, and is with respect to composition over a Cartan pair of compact sets.
The author also utilizes the convex integration lemma of Gromov.
In the exhaustion phases the author makes use of the classical bumping method of Grauert as presented, e.g., by Henkin and Leiterer in their proof of the Oka principle of Grauert without induction on the dimension of the ground manifold. (This proof had an earlier application to the homotopy principle in a paper of Gromov.) This involves the analysis of pasting on handles as one moves past a critical point of a Morse plurisubharmonic exhaustion function.
This paper is clearly a masterpiece and its careful study should be rewarding to the reader.
It may be remarked that the reviewer had the privilege to attend the author’s lecture on the topics of this paper at the Gunning and Kohn conference in 2002.
The language and presentation of the article are excellent and it makes pleasant reading. It also contains some great jokes, e.g., “For the general theory of foliations we refer to [God].” – on page 147 right above Cor. 2.3

MSC:

32Q28 Stein manifolds
32Q55 Topological aspects of complex manifolds
32L05 Holomorphic bundles and generalizations
32A10 Holomorphic functions of several complex variables
32E10 Stein spaces

Citations:

Zbl 0179.11402
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] [A]Andersén, E., Volume-preserving automorphisms ofC n .Complex Variables Theory Appl., 14 (1990), 223–235. · Zbl 0705.58008
[2] [AL]Andersén, E. &Lempert, L., On the group of holomorphic automorphisms ofC n .Invent. Math., 110 (1992), 371–388. · Zbl 0770.32015 · doi:10.1007/BF01231337
[3] [AF]Andreotti, A. &Frankel, T., The Lefschetz theorem on hyperplane sections.Ann. of Math. (2), 69 (1959), 713–717. · Zbl 0115.38405 · doi:10.2307/1970034
[4] [BN]Bell, S. R. &Narasimhan, R., Proper holomorphic mappings of complex spaces, inSeveral Complex Variables, Vol. VI, pp. 1–38, Encyclopaedia Math. Sci., 69, Springer-Verlag, Berlin, 1990.
[5] [DG]Docquier, F &Graubert, H., Levisches Problem und Rungescher Satz für Teilgebiete Steinscher Mannigfaltigkeiten.Math. Ann., 140 (1960), 94–123. · Zbl 0095.28004 · doi:10.1007/BF01360084
[6] [EM]Eliashberg, Y. &Mishachev, N.,Introduction to the h-Principle. Graduate Studies in Math., 48. Amer. Math. Soc., Providence, RI, 2002.
[7] [Fe]Feit, S. D.,k-mersions of manifolds.Acta Math., 122 (1969), 173–195. · Zbl 0179.52101 · doi:10.1007/BF02392010
[8] [Fo1]Forster, O., Some remarks on parallelizable Stein manifolds.Bull. Amer. Math. Soc., 73 (1967), 712–716. · Zbl 0163.32102 · doi:10.1090/S0002-9904-1967-11839-1
[9] [Fo2] –, Plongements des variétés de Stein.Comment. Math. Helv., 45 (1970), 170–184. · Zbl 0191.09402 · doi:10.1007/BF02567324
[10] [F1]Forstnerič, F., Approximation by automorphisms on smooth submanifolds ofC n .Math. Ann., 300 (1994), 719–738. · Zbl 0821.32028 · doi:10.1007/BF01450512
[11] [F2] –, Interpolation by holomorphic automorphisms and embeddings inC n .J. Geom. Anal., 9 (1999), 93–117. · Zbl 0963.32006
[12] [F3] –, The homotopy principle in complex analysis: A survey, inExplorations in Complex and Riemannian Geometry: A Volume Dedicated to Robert E. Greene (J. Bland, K.-T. Kim and S. G. Krantz, eds.), pp. 73–99. Contemporary Mathematics, 332. Amer. Math. Soc., Providence, RI, 2003.
[13] [FL]Forstnerič, F. &Løw, E., Global holomorphic equivalence of smooth submanifolds inC n .Indiana Univ. Math. J., 46 (1997), 133–153.
[14] [FLØ]Forstnerič, F., Løw, E. &Øvrelid, N., Solving thed- and \(\bar \partial \) -equations in thin tubes and applications to mappings.Michigan Math. J., 49 (2001), 369–416. · Zbl 1016.32018 · doi:10.1307/mmj/1008719779
[15] [FP1]Forstnerič, F. &Prezelj, J., Oka’s principle for holomorphic fiber bundles with sprays.Math. Ann., 317 (2000), 117–154. · Zbl 0964.32017 · doi:10.1007/s002080050361
[16] [FP2]–, Extending holomorphic sections from complex subvarieties.Math. Z., 236 (2001), 43–68. · Zbl 0968.32005 · doi:10.1007/PL00004826
[17] [FP3]–, Oka’s principle for holomorphic submersions with sprays.Math. Ann., 322 (2002), 633–666. · Zbl 1011.32006 · doi:10.1007/s002080100249
[18] [FR]Forstnerič, F. &Rosay, J.-P., Approximation of biholomorphic mappings by automorphisms ofC n .Invent. Math., 112 (1993), 323–349; Erratum inInvent. Math., 118 (1994), 573–574. · Zbl 0792.32011 · doi:10.1007/BF01232438
[19] [God]Godbillon, C.,Feuilletages. Études géométriques. Progr. Math., 98. Birkhäuser, Basel, 1991.
[20] [GG]Golubitsky, M. &Guillemin, V.,Stable Mappings and their Singularities. Graduate Texts in Math., 14. Springer-Verlag, New York-Heidelberg, 1973. · Zbl 0294.58004
[21] [Gra]Grauert, H., Analytische Faserungen über holomorph-vollständigen Räumen.Math. Ann., 135 (1958), 263–273. · Zbl 0081.07401 · doi:10.1007/BF01351803
[22] [Gro1]Gromov, M., Stable mappings of foliations into manifolds.Izv. Akad. Nauk SSSR Ser. Mat., 33 (1969), 707–734 (Russian).
[23] [Gro2]–, Convex integration of differential relations, I.Izv. Akad. Nauk SSSR Ser. Mat., 37 (1973), 329–343 (Russian); English translation inMath. USSR-Izv., 7 (1973), 329–343.
[24] [Gro3]–,Partial Differential Relations, Ergeb. Math. Grenzgeb. (3), 9. Springer-Verlag, Berlin, 1986. · Zbl 0651.53001
[25] [Gro4]–, Oka’s principle for holomorphic sections of elliptic bundles.J. Amer. Math. Soc., 2 (1989), 851–897. · Zbl 0686.32012
[26] [GN]Gunning, R. C. &Narasimhan, R., Immersion of open Riemann surfaces.Math. Ann., 174 (1967), 103–108. · Zbl 0179.11402 · doi:10.1007/BF01360812
[27] [GR]Gunning, R. C. &Rossi, H.,Analytic Functions of Several Complex Variables. Prentice-Hall, Englewood Cliffs, NJ, 1965. · Zbl 0141.08601
[28] [Ha1]Haefliger, A., Variétés feuilletés.Ann. Scuola Norm. Sup. Pisa (3), 16 (1962), 367–398
[29] [Ha2]–, Lectures on the theorem of Gromov, inProceedings of Liverpool Singularities Symposium, Vol. II (1969/1970), pp. 128–141. Lecture Notes in Math., 209, Springer-Verlag, Berlin, 1971.
[30] [HW1]Harvey, F. R. &Wells, R. O., Jr., Holomorphic approximation and hyperfunction theory on aC 1 totally real submanifold of a complex manifold.Math. Ann., 197 (1972), 287–318. · Zbl 0246.32019 · doi:10.1007/BF01428202
[31] [HW2]–, Zero sets of non-negative strictly plurisubharmonic functions.Math. Ann., 201 (1973), 165–170. · Zbl 0253.32009 · doi:10.1007/BF01359794
[32] [HL1]Henkin, G. M. &Leiterer, J.,Theory of Functions on Complex Manifolds. Akademie-Verlag, Berlin, 1984.
[33] [HL2]–,Andreotti-Grauert Theory by Integral Formulas. Progr. Math., 74 Birkhäuser Boston, Boston, 1988. · Zbl 0654.32001
[34] [HL3]–, The Oka-Grauert principle without induction over the base dimension.Math. Ann., 311 (1998), 71–93. · Zbl 0955.32019 · doi:10.1007/s002080050177
[35] [Hi1]Hirsch, M. W., Immersions of manifolds.Trans. Amer. Math. Soc., 93 (1959), 242–276. · Zbl 0113.17202 · doi:10.1090/S0002-9947-1959-0119214-4
[36] [Hi2]–, On imbedding differential manifolds in euclidean space.Ann. of Math. (2), 73 (1961), 566–571. · Zbl 0123.16701 · doi:10.2307/1970318
[37] [Hö1]Hörmander, L.,L 2 estimates and existence theorems for the \(\bar \partial \) operator.Acta Math., 113 (1965), 89–152. · Zbl 0158.11002 · doi:10.1007/BF02391775
[38] [Hö2]–,An Introduction to Complex Analysis in Several Variables, 3rd edition. North-Holland Math. Library, 7. North-Holland, Amsterdam, 1990. · Zbl 0685.32001
[39] [HöW]Hörmander, L. &Wermer, J., Uniform approximations on compact sets inC n .Math. Scand., 23 (1968), 5–21. · Zbl 0181.36201
[40] [Ko]Kolmogorov, A., On the representation of continuous functions of several variables by superpositions of continuous functions of a smaller number of variables.Dokl. Akad. Nauk SSSR (N.S.), 108 (1956), 179–182 (Russian). · Zbl 0070.28301
[41] [Ku]Kutzschebauch, F., Andersén-Lempert theory with parameters. Preprint, 2002.
[42] [LV]Lehto, O. &Virtanen, K. I.,Quasiconformal Mappings in the Plane, 2nd edition. Grundlehren Math. Wiss., 126. Springer-Verlag, New York-Heidelberg, 1973. · Zbl 0267.30016
[43] [MS]Milnor, J. W. &Stasheff, J. D.,Characteristic Classes. Ann. of Math. Stud., 76. Princeton Univ. Press, Princeton, NJ, 1974. · Zbl 0298.57008
[44] [N]Nishimura, Y., Examples of analytic immersions of two-dimensional Stein manifolds intoC 2.Math. Japon., 26 (1981), 81–83. · Zbl 0459.32001
[45] [Pf]Pfluger, A., Über die Konstruktion Riemannscher Flächen durch Verheftung.J. Indian Math. Soc. (N.S.), 24 (1960), 401–412. · Zbl 0112.05303
[46] [Ph1]Phillips, A., Submersions of open manifolds.Topology, 6 (1967), 171–206. · Zbl 0204.23701 · doi:10.1016/0040-9383(67)90034-1
[47] [Ph2]–, Foliations on open manifolds, I.Comment. Math. Helv., 43 (1968), 204–211. · Zbl 0157.30503 · doi:10.1007/BF02564390
[48] [Ph3]–, Foliations on open manifolds, II.Comment. Math. Helv., 44 (1969), 367–370. · Zbl 0179.52003 · doi:10.1007/BF02564536
[49] [Ph4]–, Smooth maps transverse to a foliation.Bull. Amer. Math. Soc., 76 (1970), 792–797. · Zbl 0198.28404 · doi:10.1090/S0002-9904-1970-12555-1
[50] [Ph5]–, Smooth maps of constant rank.Bull. Amer. Math. Soc., 80 (1974), 513–517. · Zbl 0295.57015 · doi:10.1090/S0002-9904-1974-13474-9
[51] [Ra]Ramspott, K. J., Stetige und holomorphe Schnitte in Bündeln mit homogener Faser.Math. Z., 89 (1965), 234–246. · Zbl 0163.32101 · doi:10.1007/BF02116867
[52] [RS]Range, R. M. &Siu, Y. T.,C k approximation by holomorphic functions and \(\bar \partial \) -closed forms onC k submanifolds of a complex manifold.Math. Ann., 210 (1974), 105–122. · Zbl 0283.32012 · doi:10.1007/BF01360034
[53] [Ro]Rosay, J. P., A counterexample related to Hartogs’ phenomenon (a question by E. Chirka).Michigan Math. J., 45 (1998), 529–535. · Zbl 0960.32020 · doi:10.1307/mmj/1030132298
[54] [Sm]Smale, S., The classification of immersions of spheres in Euclidean spaces.Ann. of Math. (2), 69 (1959), 327–344. · Zbl 0089.18201 · doi:10.2307/1970186
[55] [Sp]Spring, D.,Convex Integration Theory. Solutions to the h-Principle in Geometry and Topology. Monogr. Math., 92. Birkhäuser, Basel, 1998. · Zbl 0997.57500
[56] [Ste]Stein, K., Analytische Funktionen mehrerer komplexer Veränderlichen zu vorgegebenen Periodizitätsmoduln und das zweite Cousinsche Problem.Math. Ann., 123 (1951), 201–222. · Zbl 0042.08703 · doi:10.1007/BF02054949
[57] [Sto]Stout, E. L.,The Theory of Uniform Alglebras. Bogden & Quigley, Tarrytown-on-Hudson, NY, 1971.
[58] [Tho]Thom, R., Un lemme sur les applications différentiables.Bol. Soc. Mat. Mexicana (2), 1 (1956), 59–71. · Zbl 0075.32201
[59] [Th1]Thurston, W., The theory of foliations of codimension greater than one.Comment. Math. Helv., 49 (1974), 214–231. · Zbl 0295.57013 · doi:10.1007/BF02566730
[60] [Th2]–, Existence of codimension-one foliations.Ann. of Math. (2), 104 (1976), 249–268. · Zbl 0347.57014 · doi:10.2307/1971047
[61] [V]Varolin, D., The density property for complex manifolds and geometric structures.J. Geom. Anal., 11 (2001), 135–160. · Zbl 0994.32019
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.