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 spaces. Our results extend those of Grauert (Holomorphe Funktionen mit Werten in komplexen Lieschen Gruppen, Math. Ann. 133, pp. 450-472 (1957)) and Forster and Ramspott (Analytische Modulgarben und Endromisbundel, Invent. Math. 2, pp. 145-170 (1966)).
A basic result in the theory of holomorphic functions of several complex variables is the following special case of the work of H. Cartan on the sheaf cohomology on Stein domains ([10], or see [14] or [16] for more modern treatments).
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 obtain two extension theorems for cohomology classes and holomorphic sections defined on analytic subvarieties, which are defined as the supports of the quotient sheaves of multiplier ideal sheaves of quasi-plurisubharmonic functions with arbitrary singularities. The first result gives a positive answer to a question posed by Cao-Demailly-Matsumura, and unifies a few well-known injectivity theorems. The second result generalizes and optimizes a general $L^2$ extension theorem obtained by Demailly.
The goal of this contribution is to investigate L${}^2$ extension properties for holomorphic sections of vector bundles satisfying weak semi-positivity properties. Using techniques borrowed from recent proofs of the Ohsawa-Takegoshi extension theorem, we obtain several new surjectivity results for the restriction morphism to a non necessarily reduced subvariety, provided the latter is defined as the zero variety of a multiplier ideal sheaf. These extension results come with precise L${}^2$ estimates and (probably) optimal curvature conditions.
In this paper, we obtain optimal $L^2$ extension of holomorphic sections of a holomorphic vector bundle from subvarieties in weakly pseudoconvex Kähler manifolds. Moreover, in the case of line bundle the Hermitian metric is allowed to be singular.
We study the holomorphic/meromorphic function theory and the fundamental group of Euclidean open neighborhoods of compact subvarieties in homogeneous spaces; building on results of Hironaka, Hartshorne, Napier and Ramachandran in the ample normal bundle case.
In this paper (a sequel to B. Drinovec Drnovsek and F. Forstneric, Holomorphic curves in complex spaces, Duke Math. J. 139 (2007), 203-253) we obtain existence and approximation results for closed complex subvarieties that are normalized by strongly pseudoconvex Stein domains. Our sufficient condition for the existence of such subvarieties in a complex manifold is expressed in terms of the Morse indices and the number of positive Levi eigenvalues of an exhaustion function on the manifold. Examples show that our condition cannot be weakened in general. Optimal results are obtained for subvariet…
Taubes established fundamental properties of $J-$holomorphic subvarieties in dimension 4 in \cite{T1}. In this paper, we further investigate properties of reducible $J-$holomorphic subvarieties. We offer an upper bound of the total genus of a subvariety when the class of the subvariety is $J-$nef. For a spherical class, it has particularly strong consequences. It is shown that, for any tamed $J$, each irreducible component is a smooth rational curve. We also completely classify configurations of maximal dimension. To prove these results we treat subvarieties as weighted graphs and introduce se…
We define the characteristic numbers of a holomorphic k-distribution of any dimension on $mathbb P^n$ and obtain relations between these numbers and the characteristic numbers of an invariant subvariety. As an application we bound the degree of a smooth invariant hypersurface.
Let $X$ be a compact normal complex space of dimension $n$, and $L$ be a holomorphic line bundle on $X$. Suppose $Σ=(Σ_1,\ldots,Σ_\ell)$ is an $\ell$-tuple of distinct irreducible proper analytic subsets of $X$, $τ=(τ_1,\ldots,τ_\ell)$ is an $\ell$-tuple of positive real numbers, and consider the space $H^0_0 (X, L^p)$ of global holomorphic sections of $L^p:=L^{\otimes p}$ that vanish to order at least $τ_{j}p$ along $Σ_{j}$, $1\leq j\leq\ell$. We find necessary and sufficient conditions which ensure that $\dim H^0_0(X,L^p)\sim p^n$, analogous to Ji-Shiffman's criterion for big line bundles. W…
The paper is related to the author's talk at the Hayama Symposium in Complex Analysis in December 2000. In section 1 we survey results on the Oka principle for sections of holomorphic submersions over Stein manifolds. In section 2 we apply these results to the lifting problem for holomorphic mappings from Stein manifolds, and in section 3 we apply them to the problem of removability of intersections of holomorphic maps from Stein manifolds with closed complex subvarieties of the target space.
We show that the complex Radon transform realizes an isomorphism between the space of residual $\bar\partial$-cohomologies of a locally complete intersection subvariety in a linearly concave domain of ${\C}P^n$ and the space of holomorphic solutions of the associated homogeneous system of differential equations withconstant coefficients in the dual domain in $({\C}P^n)^*$.
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 …
The Oeljeklaus-Toma (OT-) manifolds are complex manifolds constructed by Oeljeklaus and Toma from certain number fields, and generalizing the Inoue surfaces $S_m$. On each OT-manifold we construct a holomorphic line bundle with semipositive curvature form and trivial Chern class. Using this form, we prove that the OT-manifolds admitting a locally conformally Kahler structure have no non-trivial complex subvarieties. The proof is based on the Strong Approximation theorem for number fields, which implies that any leaf of the null-foliation of w is Zariski dense.
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…
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…
Let $\mathcal{F}$ be a singular codimension one holomorphic foliation on a compact complex manifold $X$ of dimension at least three such that its singular set has codimension at least two. In this paper, we determine Lehmann-Suwa residues of $\mathcal{F}$ as multiples of complex numbers by integration currents along irreducible complex subvarieties of $X$. We then prove a formula that determines the Baum-Bott residue of simple almost Liouvillian foliations of codimension one, in terms of Lehmann-Suwa residues, generalizing a result of Marco Brunella. As an application, we give sufficient condi…
We investigate certain envelopes of open sets in dual Banach spaces which are related to extending holomorphic functions. We give a variety of examples of absolutely convex sets showing that the extension is in many cases not possible. We also establish connections to the study of iterated weak* sequential closures of convex sets in the dual of separable spaces.
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…
Let $E$ be a closed set in the Riemann sphere $\widehat{\mathbb{C}}$. We consider a holomorphic motion $ϕ$ of $E$ over a complex manifold $M$, that is, a holomorphic family of injections on $E$ parametrized by $M$. It is known that if $M$ is the unit disk $Δ$ in the complex plane, then any holomorphic motion of $E$ over $Δ$ can be extended to a holomorphic motion of the Riemann sphere over $Δ$. In this paper, we consider conditions under which a holomorphic motion of $E$ over a non-simply connected Riemann surface $X$ can be extended to a holomorphic motion of $\widehat{\mathbb{C}}$ over $X$. …
The key to the proof of the Ohsawa-Takegoshi Extension Theorem is a certain $\bar{\partial}$-estimate. The purpose of this note is to show that the 'curvature term' that arises in the Kohn-Morrey-Hörmander inequality (or the Bochner-Kodaira technique) is sufficient to produce such an estimate. We exploit self boundedness of the gradients of the weight functions to change the weight with respect to which the adjoint is taken. The weights, on the other hand, are the usual ones used in this context.
In Part I of this paper we introduced the notion of the projective linking number Link(M,Z) of a compact oriented real submanifold M of dimension 2p-1 in complex projective n-space P^n with an algebraic subvariety Z of codimension p in P^n - M. It is shown here that a basic conjecture concerning the projective hull of real curves in P^2 implies the following result: M is the boundary of a positive holomorphic p-chain T of mass M(T) < K in P^n if and only if Link(M,Z) > -K p!deg(Z) for all algebraic subvarieties Z of codimension p in P^n - M. An analogous result is implied in any projective man…
Nirenberg and Spencer posed the question whether the germ of a compact complex submanifold in a complex manifold is determined by its infinitesimal neighborhood of finite order when the normal bundle is sufficiently positive. To study the problem for a larger class of submanifolds, including free rational curves, we reformulate the question in the setting of families of submanifolds and their infinitesimal neighborhoods. When the submanifolds have no nonzero vector fields, we prove that it is sufficient to consider only first-order neighborhoods to have an affirmative answer to the reformulate…
For the first obstruction to extending a holomorphic vector bundle from a submanifold of a complex manifold found by Griffiths we give an explicit formula in terms of the Atiyah class of the bundle.
Let $X=U/K$ be a compact Hermitian symmetric space, and let $\sE$ be a $U$-homogeneous Hermitian vector bundle on $X$. In a previous paper, we showed that the space of nearly holomorphic sections is well-adapted for harmonic analysis in $L^2(X,\sE)$ provided that non-trivial nearly holomorphic sections do exist. Here we investigate the problem of extending local nearly holomorphic sections to global ones and prove the existence of non-trivial nearly holomorphic sections. This extends the results on the $U$-type decomposition of $L^2(X,\sE)$ from our previous paper.
Let M be a compact, holomorphically symplectic Kahler manifold, and $η$ a (1,1)-current which is nef (a limit of Kahler forms). Assume that the cohomology class of $η$ is parabolic, that is, its top power vanishes. We prove that all Lelong sets of $η$ are coisotropic. When M is generic, this is used to show that all Lelong numbers of $η$ vanish. We prove that any hyperkahler manifold with Pic(M) of rank 1 has non-trivial coisotropic subvarieties, if a generator of Pic(M) is parabolic.
Moment-angle manifolds provide a wide class of examples of non-Kaehler compact complex manifolds. A complex moment-angle manifold Z is constructed via certain combinatorial data, called a complete simplicial fan. In the case of rational fans, the manifold Z is the total space of a holomorphic bundle over a toric variety with fibres compact complex tori. In general, a complex moment-angle manifold Z is equipped with a canonical holomorphic foliation F which is equivariant with respect to the (C*)^m-action. Examples of moment-angle manifolds include Hopf manifolds of Vaisman type, Calabi-Eckmann…
We study Nakai-Moishezon type question and Donaldson's "tamed to compatible" question for almost complex structures on rational four manifolds. By extending Taubes' subvarieties--current--form technique to $J-$nef genus $0$ classes, we give affirmative answers of these two questions for all tamed almost complex structures on $S^2$ bundles over $S^2$ as well as for many geometrically interesting tamed almost complex structures on other rational four manifolds, including the del Pezzo ones.
Extending Donaldson's HyperKähler Structure via Minimal Surfaces into $\mathrm{PSL}(2,\mathbb{C})$
University of Turin（都灵大学）；University of California Riverside（加州大学河滨分校）；Instituto de Ciencias Matemáticas (CSIC-UAM-UC3M-UCM)（数学科学研究所（西班牙高等科研理事会-马德里自治大学-马德里理工大学-马德里 Complutense 大学））；University of Pisa（比萨大学）
We consider an embedded $n$-dimensional compact complex manifold in $n+d$ dimensional complex manifolds. We are interested in the holomorphic classification of neighborhoods as part of Grauert's formal principle program. We will give conditions ensuring that a neighborhood of $C_n$ in $M_{n+d}$ is biholomorphic to a neighborhood of the zero section of its normal bundle. This extends Arnold's result about neighborhoods of a complex torus in a surface. We also prove the existence of a holomorphic foliation in $M_{n+d }$ having $C_n$ as a compact leaf, extending Ueda's theory to the high codimens…
Neretin and Segal independently defined a semigroup of annuli with boundary parametrizations, which is viewed as a complexification of the group of diffeomorphisms of the circle. By extending the parametrizations to quasisymmetries, we show that this semigroup is a quotient of the Teichmueller space of doubly-connected Riemann surfaces by a Z action. Furthermore, the semigroup can be given a complex structure in two distinct, natural ways. We show that these two complex structures are equivalent, and furthermore that multiplication is holomorphic. Finally, we show that the class of quasiconfor…
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…
