We give a new proof that every holomorphic one-form on a smooth complex projective variety of general type must vanish at some point, first proven by Popa and Schnell using generic vanishing theorems for Hodge modules. Our proof relies on Simpson's results on the relation between rank one Higgs bundles and local systems of one-dimensional complex vectors spaces, and the structure of the cohomology jump loci in their moduli spaces.
We correct the proof and slightly strengthen a Kodaira-type vanishing theorem for singular varieties originally due to Jaffe and the first author. Specifically, we show that if $L$ is a nef and big line bundle on a projective variety of characteristic zero, the $i^{\text{th}}$ cohomology of $L^{-1}$ vanishes for $i$ in a range determined by the depth and dimension of the singular locus.
Based on the celebrated result on zeros of holomorphic 1-forms on complex varieties of general type by Popa and Schnell, we study holomorphic 1-forms on $n$-dimensional varieties of Kodaira dimension $n-1$. We show that a complex minimal smooth projective variety $X$ of Kodaira dimension $κ(X)=\dim X-1$ admits a holomorphic 1-form without zero if and only if there is a smooth morphism from $X$ to an elliptic curve. Furthermore, for a general smooth projective variety (not necessarily minimal) $X$ of Kodaira codimension one, we give a structure theorem for $X$ given that $X$ admits a holomorphi…
The paper studies the deformation theory of a holomorphic surjective map from a normal compact complex space to a compact Kaehler manifold and describes the component of the space of holomorphic maps, generalizing results in the projective case by Kebekus and the authors.
We show that every holomorphic one-form on a smooth complex projective variety of general type must vanish at some point. The proof uses generic vanishing theory for Hodge D-modules on abelian varieties.
We prove that the Kodaira dimension of the n-fold universal family of lattice-polarized holomorphic symplectic varieties with dominant and generically finite period map stabilizes to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarized symplectic varieties. In particular, we determine the exact transition point in the cases of Beauville-Donagi and Debarre-Voisin, where the Borcherds Phi_{12} form plays a crucial role.
It is in general unknown which topological complex vector bundles on a non-algebraic surface admit holomorphic structures. We solve this problem for primary Kodaira surfaces by using results of Kani on curves of genus two with elliptic differentials. Some of the corresponding moduli spaces will be smooth compact and holomorphically symplectic.
In this paper, we prove that the zero-locus of any global holomorphic log-one-form on a projective log-smooth pair $\left(X,D\right)$ of log-general type must be non-empty. Applying this result, we give an answer to the algebraic hyperbolicity part of Shafarevich's conjecture, with the generic fiber being Kawamata-log-terminal (klt) and of log-general type.
A Kodaira fibration is a compact, complex surface admitting a holomorphic submersion onto a complex curve, such that the fibers have nonconstant moduli. We consider Kodaira fibrations X with nontrivial invariant rational cohomology in degree 1, proving that if the dimension of the holomorphic invariants is 1 or 2, then X admits a branch covering over a product of curves inducing an isomorphism on rational cohomology in degree 1. We also study the class of Kodaira fibrations possessing a holomorphic section, and demonstrate that having a section imposes no restriction on possible monodromies.
A classical result in complex geometry says that the automorphism group of a manifold of general type is discrete. It is more generally true that there are only finitely many surjective morphisms between two fixed projective manifolds of general type. Rigidity of surjective morphisms, and the failure of a morphism to be rigid have been studied by a number of authors in the past. The main result of this paper states that surjective morphisms are always rigid, unless there is a clear geometric reason for it. More precisely, we can say the following. First, deformations of surjective morphisms be…
Moduli spaces of stably irreducible sheaves on Kodaira surfaces belong to the short list of examples of smooth and compact holomorphic symplectic manifolds, and it is not yet known how they fit into the classification of holomorphic symplectic manifolds by deformation type. This paper studies a natural Lagrangian fibration on these moduli spaces to determine that they are not Kähler or simply connected, ruling out most of the known deformation types of holomorphic symplectic manifolds.
Two conjectures relating the Kodaira dimension of a smooth projective variety and existence of number of nowhere vanishing 1-forms on the variety are proposed and verified in dimension 3.
The main purpose of this paper is to make $\bar{C}_{n,n-1}$, which is the main theorem of [Ka1] Y.Kawamata, Addition formula of logarithmic Kodaira dimensions for morphisms of relative dimension one, more accessible.
A generically generated vector bundle on a smooth projective variety yields a rational map to a Grassmannian, called Kodaira map. We answer a previous question, raised by the asymptotic behaviour of such maps, giving rise to a birational characterization of abelian varieties. In particular we prove that, under the conjectures of the Minimal Model Program, a smooth projective variety is birational to an abelian variety if and only if it has Kodaira dimension 0 and some symmetric power of its cotangent sheaf is generically generated by its global sections.
A Finsler metric, whose holomorphic curvature is bounded from above by a negative constant, is constructed on the moduli stack of canonically polarized manifolds including singularities. Demailly's version of Ahlfors' lemma yields hyperbolicity of the moduli stack.
We provide a characterization of complex tori using holomorphic symmetric differentials. With the same method we show that compact complex manifolds of Kodaira dimension 0 having some symmetric power of the cotangent bundle globally generated are quotients of parallelizable manifolds, therefore have an infinite fundamental group.
In this paper we prove that for a nonsingular projective variety of dimension at most 4 and with non-negative Kodaira dimension, the Kodaira dimension of coherent subsheaves of $Ω^p$ is bounded from above by the Kodaira dimension of the variety. This implies the finiteness of the fundamental group for such an $X$ provided that $X$ has vanishing Kodaira dimension and non-trivial holomorphic Euler characteristic.
An n-dimensional complex manifold M is said to be (holomorphically) dominable by $\CC^n$ if there is a map $F:\CC^n \ra M$ which is holomorphic such that the Jacobian determinant $\det(DF)$ is not identically zero. Such a map F is called a dominating map. In this paper, we attempt to classify algebraic surfaces X which are dominable by $\CC^2$ using a combination of techniques from algebraic topology, complex geometry and analysis. One of the key tools in the study of algebraic surfaces is the notion of Kodaira dimension (defined in section 2). By Kodaira's pioneering work and its extensions, …
We introduce an axiomatic definition for the Kodaira dimension and classify Thurston geometries in dimensions $\leq 5$ in terms of this Kodaira dimension. We show that the Kodaira dimension is monotone with respect to the partial order defined by maps of non-zero degree between 5-manifolds. We study the compatibility of our definition with traditional notions of Kodaira dimension, especially the highest possible Kodaira dimension. To this end, we establish a connection between the simplicial volume and the holomorphic Kodaira dimension, which in particular implies that any smooth Kähler 3-fold…
We give a Kodaira-type classification of general singular fibers of a holomorphic Lagrangian fibration in Fujiki's class $\mathcal C$. Our approach is based on the study of the characteristic vector field of the discriminantal hypersurface, which naturally arises from the defining equation of the hypersurface via the symplectic form. As an application, we show that the characteristic foliation of the discriminantal hypersurface has algebraic leaves which are either rational curves or smooth elliptic curves.
We prove that a holomorphic line bundle on a projective manifold is pseudo-effective if and only if its degree on any member of a covering family of curves is non-negative. This is a consequence of a duality statement between the cone of pseudo-effective divisors and the cone of ``movable curves'', which is obtained from a general theory of movable intersections and approximate Zariski decomposition for closed positive (1,1)-currents. As a corollary, a projective manifold has a pseudo-effective canonical bundle if and only if it is is not uniruled. We also prove that a 4-fold with a canonical …
Using the Kodaira dimension and the fundamental group of X, we succeed in classifying algebraic surfaces which are dominable by C^2 except for certain cases in which X is an algebraic surface of Kodaira dimension zero and the case when X is rational without any logarithmic 1-form. More specifically, in the case when X is compact (namely projective), we need to exclude only the case when X is birationally equivalent to a K3 surface (a simply connected compact complex surface which admits a globally non-vanishing holomorphic 2-form) that is neither elliptic nor Kummer. With the exceptions noted …
Applying the Second Main Theorem we deal with the algebraic degeneracy of entire holomorphic curves from the complex plane into a complex algebraic normal variety of positive log Kodaira dimension that admits a finite proper morphism to a semi-abelian variety. We will also discuss applications to the Kobayashi hyperbolicity problem.
The existence of a Kodaira fibration, i.e., of a fibration of a compact complex surface $S$ onto a complex curve $B$ which is a differentiable but not a holomorphic bundle, forces the geographical slope $ ν(S) = c_1^2 (S) / c_2 (S)$ to lie in the interval $(2,3)$. But up to now all the known examples had slope $ ν(S) \leq 2 + 1/3$. In this paper we consider a special class of surfaces admitting two such Kodaira fibrations, and we can construct many new examples, showing in particular that there are such fibrations attaining the slope $ ν(S) = 2 + 2/3$. We are able to explicitly describe the mo…
In this paper, we define a concept of a family of compact holomorphic Poisson manifolds on the basis of Kodaira-Spencer's deformation theory and deduce the integrability condition. We prove an analogue of their `Theorem of existence for complex analytic structures' under some analytic assumption, and establish an analogue of their `Theorem of completeness for complex analytic structures' in the context of holomorphic Poisson deformations.
In this paper, we study deformations of compact holomorphic Poisson submanifolds which extend Kodaira's series of papers on semi-regularity (deformations of compact complex submanifolds of codimension 1), deformations of compact complex submanifolds of arbitrary codimensions, and stability of compact complex submanifolds in the context of holomorphic Poisson deformations. We also study simultaneous deformations of holomorphic Poisson structures and holomorphic Poisson submanifolds on a fixed underlying compact complex manifold. In appendices, we present deformations of Poisson closed subscheme…
For any integer $k$ we construct an explicit example of a twistor space which contains a one--parameter family of jumping rational curves, where the normal bundle changes from $O(1)+O(1)$ to $O(k)+O(2-k)$. For $k>3$ the resulting anti--self--dual Ricci-flat manifold is a Zariski cone in the space of holomorphic sections of $O(k)$. In the case $k=2$ we recover the canonical example of Hitchin's folded hyper-Kahler manifold, where the jumping lines form a three--parameter family. We show that in this case there exist normalisable solutions to the Schrodinger equation which extend through the fol…
Refinements of the Yang-Mills stratifications of spaces of connections over a compact Riemann surface are investigated. The motivation for this study was the search for a complete set of relations between the standard generators for the cohomology of the moduli spaces of stable holomorphic bundles of rank n and degree d when n and d are coprime and n>2.
We prove a formula for the expected euler characteristic of excursion sets of random sections of powers of an ample bundle $(L,h)$, where $h$ is a Hermitian metric, over a Kähler manifold $(M,ω)$. We then prove that the critical radius of the Kodaira embedding $Φ_N:M\rightarrow \CP^n$ given by an orthonormal basis of $H^0(M,L^N)$ is bounded below when $N\rightarrow \infty$. This result also gives conditions about when the preceding formula is valid.
Let $(M,ω)$ be a symplectic 4-manifold of negative Kodaira dimension. Let $C$ be an $ω$-symplectic curve, $J$-holomorphic for some $J$ tamed by $ω$. Then $[C]^2$ is bounded below by a constant depending only on $ω$. Related bounded negativity problems for other structures are also briefly discussed. In particular, the symplectic result implies the bounded negativity conjecture for complex projective surfaces with Kodaira dimension $κ=-\infty$.
In this article we study how the birational geometry of a normal projective variety $X$ is influenced by a normal subvariety $A \subset X.$ One of the most basic examples in this context is provided by the following situation. Let $f:X\to Y$ be a surjective holomorphic map with connected fibers between compact connected complex manifolds. It is well known that given a general fiber $A$ of $f$ we have $$ κ(X)\le κ(A)+\dim Y. $$ This article grew out of the realization that this result should be true with $\dim Y$ replaced by the codimension $\cod_X A$ for a pair $(X,A)$ consisting of a normal s…
In an earlier work, we investigated some consequences of the existence of a Kähler metric of negative holomorphic sectional curvature on a projective manifold. In the present work, we extend our results to the case of semi-negative (i.e., non-positive) holomorphic sectional curvature. In doing so, we define a new invariant that records the largest codimension of maximal subspaces in the tangent spaces on which the holomorphic sectional curvature vanishes. Using this invariant, we establish lower bounds for the nef dimension and, under certain additional assumptions, for the Kodaira dimension o…
We study holomorphic 2-forms on projective (or compact Kaehler) threefolds not of general type and prove that in almost all cases the 2-form is created by some standard process. This means roughly that every 2-form is induced by a meromorphic map to a surface, a torus or a symplectic manifold. If the 2-form has only finitely many zeroes, more precise results hold. Finally we prove that compact Kaehler threefolds with negative Kodaira dimension are uniruled unles they are simple, i.e. there is no positive dimensional compact subvariety through the general point of the manifold (these simple thr…
In this note, we continue the investigation of a projective Kähler manifold $M$ of semi-negative holomorphic sectional curvature $H$. We introduce a new differential geometric numerical rank invariant which measures the number of linearly independent {\it truly flat} directions of $H$ in the tangent spaces. We prove that this invariant is bounded above by the nef dimension and bounded below by the numerical Kodaira dimension of $M$. We also prove a splitting theorem for $M$ in terms of the nef dimension and, under some additional hypotheses, in terms of the new rank invariant.
An old theorem of Weil and Kodaira says that for a compact Kähler manifold $X$ there is a closed logarithmic $1$-form with residue divisor $D$ if and only if $D$ is homologous to zero in $H_{2n-2}(X,\mathbb C)$. In the first part of this paper, we generalize the above theorem to general compact complex manifolds by showing that the necessary and sufficient condition in general is described by a holomorphic invariant called the $\mathcal Q$-flat class. Next, we prove that the holomorphic criterion is reduced to the topological one when $X$ has Property $(H)$. Since all Kähler manifolds have Pro…
Given a (meromorphic) fibration $f:X\to Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of $f^*K_Y$, where $K_Y$ is the canonical sheaf of $Y$. We define the Kodaira dimension of the orbifold base $(Y,f)$ by that of $L_f$ and call the fibration to be of general type if this dimension is the maximal $\dime Y$. We call $X$ special if it does not have a general type fibration with positive dimensional base and call $f$ special if its general fibers are. …
We derive the explicit form of the (g-2)(g-3)/2 linearly independent relations among the products of pairs in a basis of holomorphic abelian differentials in the case of canonical curves of genus g greater than 3. It turns out that Petri's relations remarkably match in determinantal conditions. We explicitly express the volume form on the moduli space M_g of canonical curves induced by the Siegel metric, in terms of the period Riemann matrix only. By the Kodaira-Spencer map, the relations lead to an expression of the induced Siegel metric on M_g, that corresponds to the square of the Bergman r…
The Index theorem for holomorphic line bundles on complex tori asserts that some cohomology groups of a line bundle vanish according to the signature of the associated hermitian form. In this article, this theorem is generalized to quasi-tori, i.e. connected complex abelian Lie groups which are not necessarily compact. In view of the Remmert-Morimoto decomposition of quasi-tori as well as the Künneth formula, it suffices to consider only Cousin-quasi-tori, i.e. quasi-tori which have no non-constant holomorphic functions. The Index theorem is generalized to holomorphic line bundles, both linear…
We show that if a compact Kahler manifold X admits a cohomologically hyperbolic surjective endomorphism then its Kodaira dimension is non-positive. This gives an affirmative answer to a conjecture of Guedj in the holomorphic case. The main part of the paper is to determine the geometric structure and the fundamental groups (up to finite index) for those X of dimension 3.
Associated with a smooth, $d$-closed $(1, 1)$-form $α$ of possibly non-rational De Rham cohomology class on a compact complex manifold $X$ is a sequence of asymptotically holomorphic complex line bundles $L_k$ on $X$ equipped with $(0, 1)$-connections $\bar\partial_k$ for which $\bar\partial_k^2\neq 0$. Their study was begun in the thesis of L. Laeng. We propose in this non-integrable context a substitute for Hörmander's familiar $L^2$-estimates of the $\bar\partial$-equation of the integrable case that is based on analysing the spectra of the Laplace-Beltrami operators $Δ_k"$ associated with …
In this paper we study the cohomology of the de Rham complex of sheaves of reflexive differential forms on a normal complex space. First, we prove that the complex is exact in degree one under suitable conditions on the underlying topological space, but that exactness in general depends on the complex structure. Second, we show exactness in high degrees for holomorphically contractible spaces under mild assumptions on the nature of singularities, e.g. klt singularities. Subsequently, the exactness of the de Rham complex of reflexive differential forms is related to the Lipman-Zariski conjectur…
A consequence of the results of Bers and Griffiths on the uniformization of complex algebraic varieties is that the universal cover of a family of Riemann surfaces, with base and fibers of finite hyperbolic type, is a contractible 2-dimensional domain that can be realized as the graph of a holomorphic motion of the unit disk. In this paper we determine which holomorphic motions give rise to these uniformizing domains and characterize which among them correspond to arithmetic families (i.e. families defined over number fields). Then we apply these results to characterize the arithmeticity of co…
Given a compact complex manifold X of dimension n, we define a bimeromorphic invariant $κ_+(X)$ as the maximum p for which there is a saturated line subsheaf L of the sheaf of holomorphic p forms whose Kodaira dimension $κ(L)$ equals p. We call X special if $κ_+(X)=0$. We give some evidence that this condition characterizes X to have identically vanishing Kobayashi pseudometric. We use the well-known construction of F. Campana to give, for each projective X a canonical fibration $f: X\to Y$ holomorphic outside a proper subvariety of Y and whose general fibers are special. We show that the inhe…
Based on a recent extension theorem for reflexive differential forms, that is, regular differential forms defined on the smooth locus of a possibly singular variety, we study the geometry and cohomology of sheaves of reflexive differentials. First, we generalise the extension theorem to holomorphic forms on locally algebraic complex spaces. We investigate the (non-)existence of reflexive pluri-differentials on singular rationally connected varieties, using a semistability analysis with respect to movable curve classes. The necessary foundational material concerning this stability notion is dev…
This is the first in a series of papers which analyze the problem of quantizing the theory coupling Kodaira-Spencer gravity (or BCOV theory) on Calabi-Yau manifolds using the formalism for perturbative QFT developed by the first author. In this paper, we focus on flat space $\mathbb{C}^d$ for $d$ odd. We prove that there exists a unique quantization of the theory coupling BCOV theory and holomorphic Chern-Simons theory with gauge group the supergroup $GL(N \mid N)$. We deduce a canonically defined quantization of BCOV theory on its own. We also discuss some conjectural links between BCOV theor…
Let $ι: \C^2 \hookrightarrow S$ be a compactification of the two dimensional complex space $\C^2$. By making use of Nevanlinna theoretic methods and the classification of compact complex surfaces K. Kodaira proved in 1971 (\cite{ko71}) that $S$ is a rational surface. Here we deal with a more general meromorphic map $f: \C^n \to X$ into a compact complex manifold $X$ of dimension $n$, whose differential $df$ has generically rank $n$. Let $ρ_f$ denote the order of $f$. We will prove that if $ρ_f<2$, then every global symmetric holomorphic tensor must vanish; in particular, {\it if $\dim X=2$ and…
