This paper presents a proof of the generalized Oka-Grauert principle for 1-convex manifolds: Every continuous mapping from a 1-convex manifold X to a complex manifold Y which is already holomorphic on a neighborhood of the exceptional set is homotopic to a holomorphic one provided that either Y satisfies CAP or we are free to change the complex structure on X.
A complex manifold $X$ satisfies the Oka-Grauert property if the inclusion $\Cal O(S,X) \hookrightarrow \Cal C(S,X)$ is a weak equivalence for every Stein manifold $S$, where the spaces of holomorphic and continuous maps from $S$ to $X$ are given the compact-open topology. Gromov's Oka principle states that if $X$ has a spray, then it has the Oka-Grauert property. The purpose of this paper is to investigate the Oka-Grauert property using homotopical algebra. We embed the category of complex manifolds into the model category of simplicial sheaves on the site of Stein manifolds. Our main result …
In 1953 K. Oka IX solved in first and in a final form Levi's problem (Hartogs' inverse problem) for domains or Riemann domains over $\C^n$ of arbitrary dimension. Later on a number of the proofs were given; cf.\ e.g., Docquier-Grauert's paper in 1960, R. Narasimhan's paper in 1961/62, Gunning-Rossi's book, and Hörmander's book (in which the holomorphic separability is pre-assumed in the definition of Riemann domains and thus the assumption is stronger than the one in the present paper). Here we will give another direct elementary proof of Oka's Theorem, relying only on Grauert's finiteness the…
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…
The name of Oka principle, or Oka-Grauert principle, is traditionally used to refer to the holomorphic incarnation of the homotopy principle: on a Stein space, every problem that can be solved in the continuous category, can be solved in the holomorphic category as well. In this note, we begin the study of the same kind of questions on a Levi-flat manifold; more precisely, we try to obtain a classification of CR-bundles on a semiholomorphic foliation of type (n, 1). Our investigation should only be considered a preliminary exploration, as it deals only with some particular cases, either in ter…
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 …
The classical Grauert and Ramspott theorems constitute the foundation of the Oka principle on Stein spaces. In this paper we establish analogous results on the maximal ideal space $M(H^\infty)$ of the Banach algebra $H^\infty$ of bounded holomorphic functions on the open unit disk $\mathbb D\subset\mathbb C$. We illustrate our results by some examples and applications to the theory of operator-valued $H^\infty$ functions.
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…
This is a survey on the homotopy principle in complex analysis on Stein manifolds, also called the Oka principle in this context. We concentrate on the following topics: the Oka-Grauert principle (classification of holomorphic vector bundles); the homotopy principle for holomorphic mappings from Stein manifolds and, more generally, for sections of holomorphic submersions with sprays; question on removability of intersections of holomorphic mappings with complex subvarieties; embeddings and immersions of Stein manifolds in affine spaces of minimal dimension; embeddings of open Riemann surfaces …
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…
A new proof of Oka's lemma is given for smoothly bounded, pseudoconvex domains $D\subset\mathbb{C}^n$. The method of proof is then also applied to other convexity-like hypotheses on the boundary of $D$.
We prove that the classical Oka property of a complex manifold Y, concerning the existence and homotopy classification of holomorphic mappings from Stein manifolds to Y, is equivalent to a Runge approximation property for holomorphic maps from compact convex sets in Euclidean spaces to Y.
Let $G$ be a reductive complex Lie group acting holomorphically on Stein manifolds $X$ and $Y$. Let $p_X\colon X\to Q_X$ and $p_Y\colon Y\to Q_Y$ be the quotient mappings. Assume that we have a biholomorphism $Q:= Q_X\to Q_Y$ and an open cover $\{U_i\}$ of $Q$ and $G$-biholomorphisms $Φ_i\colon p_X^{-1}(U_i)\to p_Y^{-1}(U_i)$ inducing the identity on $U_i$. There is a sheaf of groups $\mathcal A$ on $Q$ such that the isomorphism classes of all possible $Y$ is the cohomology set $H^1(Q,\mathcal A)$. The main question we address is to what extent $H^1(Q,\mathcal A)$ contains only topological inf…
We construct holomorphically varying families of Fatou-Bieberbach domains with given centres in the complement of any compact polynomially convex subset $K$ of $\mathbb C^n$ for $n>1$. This provides a simple proof of the recent result of Yuta Kusakabe to the effect that the complement $\mathbb C^n\setminus K$ of any polynomially convex subset $K$ of $\mathbb C^n$ is an Oka manifold. The analogous result is obtained with $\mathbb C^n$ replaced by any Stein manifold with the density property.
In this paper we obtain a Carleman approximation theorem for maps from Stein manifolds to Oka manifolds. More precisely, we show that under suitable complex analytic conditions on a totally real set $ M $ of a Stein manifold $X$, every smooth map $ X \rightarrow Y $ to an Oka manifold $Y$ satisfying the Cauchy-Riemann equations along $ M $ up to order $ k $ can be $ \mathscr{C}^k $-Carleman approximated by holomorphic maps $ X \rightarrow Y $. Moreover, if $ K $ is a compact $ \mathscr{O}(X) $-convex set such that $ K \cup M $ is $ \mathscr{O}(X) $-convex, then we can $ \mathscr{C}^k $-Carlema…
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…
Periodic transport and Oka complements in \(\C^n\)
Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);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(中国科学院大学数学科学学院)
Let $n>1$ be an integer. We prove that holomorphic maps from Stein manifolds $X$ of dimension $<n$ to the complement $\mathbb{C}^n\setminus L$ of a compact convex set $L\subset\mathbb{C}^n$ satisfy the basic Oka property with approximation and interpolation. If $L$ is polynomially convex then the same holds when $2\dim X < n$. We also construct proper holomorphic maps, immersions and embeddings $X\to\mathbb{C}^n$ with additional control of the range, thereby extending classical results of Remmert, Bishop and Narasimhan.
A complex manifold Y satisfies the Convex Approximation Property (CAP) if every holomorphic map from a neighborhood of a compact convex set K in a complex Euclidean space C^n to Y can be approximated, uniformly on K, by entire maps from C^n to Y. If X is a reduced Stein space and Z is a stratified holomorphic fiber bundle over X all of whose fibers satisfy CAP, then sections of Z over X enjoy the Oka property with (jet) interpolation and approximation. Previously this has been proved by the author in the case when X is a Stein manifold without singularities (Ann. Math., 163 (2006), 689-707, ma…
Let $G$ be a reductive complex Lie group acting holomorphically on normal Stein spaces $X$ and $Y$, which are locally $G$-biholomorphic over a common categorical quotient $Q$. When is there a global $G$-biholomorphism $X\to Y$? If the actions of $G$ on $X$ and $Y$ are what we, with justification, call generic, we prove that the obstruction to solving this local-to-global problem is topological and provide sufficient conditions for it to vanish. Our main tool is the equivariant version of Grauert's Oka principle due to Heinzner and Kutzschebauch. We prove that $X$ and $Y$ are $G$-biholomorphic …
Let X be a Stein manifold and let Y be a complex manifold which admits a spray in the sense of Gromov (Oka's principle for holomorphic sections of elliptic bundles, J. Amer. Math. Soc. 2, pp. 851-897 (1989)). We prove that for every closed complex subvariety X_0 of X and for every continuous map f_0 from X to Y whose restriction to X_0 is holomorphic there exists a homotopy of maps f_t from X to Y whose restrictions to X_0 agree with f_0 and such that the map f_1 is holomorphic on X. We obtain analogous results for sections of holomorphic submersions with sprays over Stein manifolds or Stein s…
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 …
In this paper we find big Euclidean domains in complex manifolds. We consider open neighbourhoods of sets of the form $K\cup M$ in a complex manifold $X$, where $K$ is a compact $\mathscr O(U)$-convex set in an open Stein neighbourhood $U$ of $K$, $M$ is an embedded Stein submanifold of $X$, and $K\cap M$ is compact and $\mathscr O(M)$-convex. We prove a Docquier-Grauert type theorem concerning biholomorphic equivalence of neighbourhoods of such sets, and we give sufficient conditions for the existence of Stein neighbourhoods of $K\cup M$, biholomorphic to domains in $\mathbb C^n$ with $n=\dim…
A complex manifold $Y$ is said to have the interpolation property if a holomorphic map to $Y$ from a subvariety $S$ of a reduced Stein space $X$ has a holomorphic extension to $X$ if it has a continuous extension. Taking $S$ to be a contractible submanifold of $X=\mathbb{C}^n$ gives an ostensibly much weaker property called the convex interpolation property. By a deep theorem of Forstnerič, the two properties are equivalent. They (and about a dozen other nontrivially equivalent properties) define the class of Oka manifolds. This paper is the first attempt to develop Oka theory for singular tar…
We generalize to intersection of strictly $c$ -convex domains in Stein manifold, $ L^{r}-L^{s}$ and Lipschitz estimates for the solutions of the $ \bar \partial $ equation done by Ma and Vassiliadou for domains in $ {\mathbb{C}}^{n}.$ For this we use a Docquier-Grauert holomorphic retraction plus the raising steps method I introduce earlier. This gives results in the case of domains with low regularity, $ {\mathcal{C}}^{3},$ for their boundary.
Let π:Z\to X be a holomorphic submersion of a complex manifold Z onto a complex manifold X and D\Subset X a 1-convex domain with strongly pseudoconvex boundary. We prove that under certain conditions there always exists a spray of π-sections over \bar{D} which has prescribed core, it fixes the exceptional set E of D, and is dominating on \bar{D}\setminus E. Each section in this spray is of class C^k(\bar{D}) and holomorphic on D. As a consequence we obtain several approximation results for π-sections. In particular, we prove that π-sections which are of class C^k(\bar{D}) and holomorphic on D …
We study when there exists a dense holomorphic curve in a space of holomorphic maps from a Stein space. We first show that for any bounded convex domain $Ω\Subset\mathbb{C}^n$ and any connected complex manifold $Y$, the space $\mathcal{O}(Ω,Y)$ contains a dense holomorphic disc. Our second result states that $Y$ is an Oka manifold if and only if for any Stein space $X$ there exists a dense entire curve in every path component of $\mathcal{O}(X,Y)$. In the second half of this paper, we apply the above results to the theory of universal functions. It is proved that for any bounded convex domain …
The aim of this note is firstly to give a new brief proof of classical Bochner's Tube Theorem (1938) by making use of K. Oka's Boundary Distance Theorem (1942), showing directly that two points of the envelope of holomorphy of a tube can be connected by a line segment. We then apply the same idea to show that if an unramified domain $\mathfrak{D}:=A_1+iA_2 \to \mathbf{C}^n$ with unramified real domains $A_j \to \mathbf{R}^n$ is pseudoconvex, then the both $A_j$ are univalent and convex (a generalization of Kajiwara's theorem). From the viewpoint of this result we discuss a generalization by M.…
Suppose that Y is a complex manifold with the property that any holomorphic map from a compact convex set in a complex Euclidean space C^n (for any n) to Y is a uniform limit of entire maps from C^n to Y. We prove that a holomorphic map from a closed complex subvariety X_0 in a Stein manifold X to the manifold Y extends to a holomorphic map of X to Y provided that it extends to a continuous map. We then establish the equivalence of four Oka-type properties of a complex manifold. We also generalize a theorem of Siu and Demailly on the existence of open Stein neighborhoods of Stein subvarieties …
In this paper we survey recent developments in the classical theory of minimal surfaces in Euclidean spaces which have been obtained as applications of both classical and modern complex analytic methods; in particular, Oka theory, period dominating holomorphic sprays, gluing methods for holomorphic maps, and the Riemann-Hilbert boundary value problem. Emphasis is on results pertaining to the global theory of minimal surfaces, in particular, the Calabi-Yau problem, constructions of properly immersed and embedded minimal surfaces in $\mathbb{R}^n$ and in minimally convex domains of $\mathbb{R}^n…
Let D be a relatively compact strongly pseudoconvex domain in a Stein manifold, and let Y be a complex manifold. We prove that the set A(D,Y), consisting of all continuous maps from the closure of D to Y which are holomorphic in D, is a complex Banach manifold. When D is the unit disc in C (or any other topologically trivial strongly pseudoconvex domain in a Stein manifold), A(D,Y) is locally modeled on the Banach space A(D,C^n)=A(D)^n with n=dim Y. Analogous results hold for maps which are holomorphic in D and of class C^r up to the boundary for any positive integer r. We also establish the O…