We generalize our elliptic characterization of Oka manifolds to Oka maps. The generalized characterization can be considered as an affirmative answer to the relative version of Gromov's conjecture. As an application, we unify previously known Oka principles for submersions; namely the Gromov type Oka principle for subelliptic submersions and the Forstnerič type Oka principle for holomorphic fiber bundles with CAP fibers. We also establish the localization principle for Oka maps which gives new examples of Oka maps.
We study the Oka properties of complements of closed countable sets in $\mathbb{C}^{n}\ (n>1)$ which are not necessarily discrete. Our main result states that every tame closed countable set in $\mathbb{C}^{n}\ (n>1)$ with a discrete derived set has an Oka complement. As an application, we obtain non-elliptic Oka manifolds which negatively answer a long-standing question of Gromov. Moreover, we show that these examples are not even weakly subelliptic. It is also proved that every finite set in a Hopf manifold has an Oka complement and an Oka blowup.
We prove that Gromov's ellipticity condition $\mathrm{Ell}_1$ characterizes Oka manifolds. This characterization gives another proof of the fact that subellipticity implies the Oka property, and affirmative answers to Gromov's conjectures. As another application, we establish the localization principle for Oka manifolds, which gives new examples of Oka manifolds. In the appendix, it is also shown that the Oka property is not a bimeromorphic invariant.
We prove a homotopy theorem for sheaves. Its application shortens and simplifies the proof of many Oka principles such as Gromov's Oka principle for elliptic submersions.
The geometric notion of ellipticity for complex manifolds was introduced by Gromov in his seminal 1989 paper on the Oka principle, and is a sufficient condition for a manifold to be Oka. In the current paper we present contributions to three open questions involving elliptic and Oka manifolds. We show that quotients of C^n by discrete groups of affine transformations are elliptic. Combined with an example of Margulis, this yields new examples of elliptic manifolds with free fundamental groups and vanishing higher homotopy. Finally we show that every open Riemann surface embeds acyclically into…
Gromov, in his seminal 1989 paper on the Oka principle, introduced the notion of an elliptic manifold and proved that every continuous map from a Stein manifold to an elliptic manifold is homotopic to a holomorphic map. We show that a much stronger Oka principle holds in the special case of maps from certain open Riemann surfaces called circular domains into CxC*, namely that every continuous map is homotopic to a proper holomorphic embedding. An important ingredient is a generalisation to CxC* of recent results of Wold and Forstneric on the long-standing problem of properly embedding open Rie…
Given a holomorphic submersion of reduced complex spaces, we prove that the basic Oka property of the submersion implies the parametric Oka property. This generalizes the corresponding result for complex manifolds (F. Forstneric, Oka Manifolds, C. R. Acad. Sci. Paris, Ser. I, 347 (2009) 1017-1020). It follows that a stratified elliptic (or subelliptic) holomorphic submersion, or a stratified holomorphic fiber bundle whose fibers are Oka manifolds, enjoys the parametric Oka property. As an application we give a parametric version of the factorization theorem due to Ivarsson and Kutzschebauch (A…
Let $X$ be an elliptic curve and $\mathbb{P}$ the Riemann sphere. Since $X$ is compact, it is a deep theorem of Douady that the set $\mathcal{O}(X,\mathbb{P})$ consisting of holomorphic maps $X\to \mathbb{P}$ admits a complex structure. If $R_n$ denotes the set of maps of degree $n$, then Namba has shown for $n\geq2$ that $R_n$ is a $2n$-dimensional complex manifold. We study holomorphic flexibility properties of the spaces $R_2$ and $R_3$. Firstly, we show that $R_2$ is homogeneous and hence an Oka manifold. Secondly, we present our main theorem, that there is a $6$-sheeted branched covering …
Oka theory has its roots in the classical Oka principle in complex analysis. It has emerged as a subfield of complex geometry in its own right since the appearance of a seminal paper of M. Gromov in 1989. Following a brief review of Stein manifolds, we discuss the recently introduced category of Oka manifolds and Oka maps. We consider geometric sufficient conditions for being Oka, the most important of which is ellipticity, introduced by Gromov. We explain how Oka manifolds and maps naturally fit into an abstract homotopy-theoretic framework. We describe recent applications and some key open p…
In this paper we establish a basic version of the Oka principle for multivalued sections of ramified holomorphic maps h from a complex manifold Z onto a Stein manifold X. If the ramification locus of h projects into a closed complex subvariety X' of X and if h admits a fiber dominating spray over a small neighborhood of any point in X\X' then any multivalued continuous section of h which is holomorphic in a neighborhood of X' and unramified in X\X' can be homotopically deformed to a global holomorphic multivalued section. The corresponding results for sections of unramified submersions were es…
We give the following positive answer to Gromov's question (in "Oka's principle for holomorphic sections of elliptic bundles", J. Amer. Math. Soc. 2, 851-897 (1989), 3.4.(D), page 881). THEOREM: If every holomorphic map from a compact convex set in a complex Euclidean space C^n to a certain complex manifold Y is a uniform limit of entire maps of C^n to Y, then Y enjoys the parametric Oka property. In particular, for any reduced Stein space X the inclusion of the space of holomorphic maps of X to Y into the space of continuous maps is a weak homotopy equivalence. This shows that all Oka type pr…
We give a proof of the following theorem of M. Gromov (Oka's principle for holomorphic sections of elliptic bundles, J. Amer. Math. Soc., 2 (1989), 851-897). Let Z be a holomorphic fiber bundle over a Stein manifold. If the fiber of Z admits a dominating holomorphic spray then the inclusion of the space of global holomorphic sections of Z into the space of continuous sections is a weak homotopy equivalence. In the classical case when the fiber is a complex Lie group or a homogeneous space this was proved by H. Grauert (Math. Ann., 135 (1958), 263--273). For further results in this direction se…
We prove a theorem of M. Gromov (Oka's principle for holomorphic sections of elliptic bundles, J. Amer. Math. Soc. 2, 851-897, 1989) to the effect that sections of certain holomorphic submersions h from a complex manifold Z onto a Stein manifold X satisfy the Oka principle, meaning that the inclusion of the space of holomorphic sections into the space of continuous sections is a weak homotopy equivalence. The Oka principle holds if the submersion admits a fiber-dominating spray over a small neighborhood of any point in X. This extends a classical result of Grauert (Holomorphe Funktionen mit We…
Let X and Y be complex manifolds. One says that maps from X to Y satisfy the Oka principle if the inclusion of the space of holomorphic maps from X to Y into the space of continuous maps is a weak homotopy equivalence. In 1957 H. Grauert proved the Oka principle for maps from Stein manifolds to complex Lie groups and homogeneous spaces, as well as for sections of fiber bundles with homogeneous fibers over a Stein base. In 1989 M. Gromov extended Grauert's result to sections of submersions over a Stein base which admit dominating sprays over small open sets in the base; for proof see [F. Forstn…
We apply concepts and tools from abstract homotopy theory to complex analysis and geometry, continuing our development of the idea that the Oka Principle is about fibrancy in suitable model structures. We explicitly factor a holomorphic map between Stein manifolds through mapping cylinders in three different model structures and use these factorizations to prove implications between ostensibly different Oka properties of complex manifolds and holomorphic maps. We show that for Stein manifolds, several Oka properties coincide and are characterized by the geometric condition of ellipticity. Goin…
State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学科学重点实验室）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）
Oka theory has its roots in the classical Oka-Grauert principle whose main result is Grauert's classification of principal holomorphic fiber bundles over Stein spaces. Modern Oka theory concerns holomorphic maps from Stein manifolds and Stein spaces to Oka manifolds. It has emerged as a subfield of complex geometry in its own right since the appearance of a seminal paper of M. Gromov in 1989. In this expository paper we discuss Oka manifolds and Oka maps. We describe equivalent characterizations of Oka manifolds, the functorial properties of this class, and geometric sufficient conditions for …
Gromov, in his seminal 1989 paper on the Oka principle, proved that every continuous map from a Stein manifold into an elliptic manifold is homotopic to a holomorphic map. Previously we have shown that, given a continuous map $X \to \C\times\C^*$ from a finitely connected planar domain $X$ without isolated boundary points, a stronger Oka property holds, namely that the map is homotopic to a proper holomorphic embedding. Here we show that every continuous map from a finitely connected planar domain, possibly with punctures, into $\C\times\C^*$ is homotopic to a proper immersion that identifies …
The presented splitting lemma extends the techniques of Gromov and Forstnerič to glue local sections of a given analytic sheaf, a key step in the proof of all Oka principles. The novelty on which the proof depends is a lifting lemma for transition maps of coherent sheaves, which yields a reduction of the proof to the work of Forstnerič. As applications we get shortcuts in the proofs of Forster and Ramspott's Oka principle for admissible pairs and of the interpolation property of sections of elliptic submersions, an extension of Gromov's results obtained by Forstnerič and Prezelj.
The basic result of Oka theory, due to Gromov, states that every continuous map $f$ from a Stein manifold $S$ to an elliptic manifold $X$ can be deformed to a holomorphic map. It is natural to ask whether this can be done for all $f$ at once, in a way that depends continuously on $f$ and leaves $f$ fixed if it is holomorphic to begin with. In other words, is $\scrO(S,X)$ a deformation retract of $\scrC(S,X)$? We prove that it is if $S$ has a strictly plurisubharmonic Morse exhaustion with finitely many critical points; in particular, if $S$ is affine algebraic. The only property of $X$ used in…
