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.
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 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.
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 note we discuss the effect of the symplectic sum along spheres in symplectic four-manifolds on the Kodaira dimension of the underlying symplectic manifold. We find that the Kodaira dimension is non-decreasing. Moreover, we are able to obtain precise results on the structure of the manifold obtained from the blow down of an embedded symplectic -4-sphere.
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.
Suppose that A and B are symplectomorphic smooth affine varieties. If A is acylic of dimension 2 then B has the same log Kodaira dimension as A. If the dimension of A is 3, has log Kodaira dimension 2 and satisfies some other conditions then B cannot be of log general type. We also show that if A and B are symplectomorphic affine varieties of any dimension then any compactification of A by a projective variety is uniruled if and only if any such compactification of B is uniruled.
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.
In this note, we verify that the complex Kodaira dimension $κ^h$ equals the symplectic Kodaira dimension $κ^s$ for smooth 4-manifolds with complex and symplectic structures. We also calculate the Kodaira dimension for many Lefschetz fibrations.
As was recently pointed out by McMullen and Taubes [Math. Res. Lett. 6 (1999) 681-696], there are 4-manifolds for which the diffeomorphism group does not act transitively on the deformation classes of orientation-compatible symplectic structures. This note points out some other 4-manifolds with this property which arise as the orientation-reversed versions of certain complex surfaces constructed by Kodaira [J. Analyse Math. 19 (1967) 207-215]. While this construction is arguably simpler than that of McMullen and Taubes, its simplicity comes at a price: the examples exhibited herein all have la…
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.
In this paper we introduce the notion of relative Kodaira dimension for a symplectic 4-manifold M with a possibly disconnected embedded symplectic surface F. One notable feature is that the sphere components of F have to be discarded, which resembles the definition of Thurston norm of 3-manifolds. To define it we need to establish several homological properties of embedded symplectic surfaces. We also formulate the notion of relative minimal model, and prove the existence and the somewhat surprising uniqueness.
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.
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.
This is the second of a series of papers where we study the plurigenera, the Kodaira dimension and the Iitaka dimension on compact almost complex manifolds. By using the pseudoholomorphic pluricanonical map, we define the second version of Kodaira dimension as well as Iitaka dimension on compact almost complex manifolds. We show the almost complex structures with the top Kodaira dimension are integrable. For compact almost complex 4-manifolds with Kodaira dimension one, we obtain elliptic fibration like structural description. Some vanishing theorems in complex geometry are generalized to the …
The Kodaira-Thurston manifold is a quotient of a nilpotent Lie group by a cocompact lattice. We compute the family Gromov-Witten invariants which count pseudoholomorphic tori in the Kodaira-Thurston manifold. For a fixed symplectic form the Gromov-Witten invariant is trivial so we consider the twistor family of left-invariant symplectic forms which are orthogonal for some fixed metric on the Lie algebra. This family defines a loop in the space of symplectic forms. This is the first example of a genus one family Gromov-Witten computation for a non-Kähler manifold.
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 survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.
In the definition of irreducible holomorphic symplectic manifolds the condition of being simply connected can be replaced by vanishing irregularity. We discuss finite quotients X of complex tori where the space of reflexive 2-forms is generated by a holomorphic symplectic form, and their Lagrangian fibrations. Neither X nor the base can be smooth unless X is a 2-torus.
We prove that the integral Hodge conjecture holds for 1-cycles on irreducible holomorphic symplectic varieties of K3 type and of Generalized Kummer type. As an application, we give a new proof of the integral Hodge conjecture for cubic fourfolds.
Let X be a holomorphic symplectic fourfold such that b_2=23 and i a symplectic involution of X . The fixed locus F of i is a smooth symplectic submanifold of X; we show that F contains at least 12 isolated points and 1 smooth surface. We conjecture that F is made of 28 isolated fixed points and 1 K3 surface and we provide evidences for the conjecture in some examples, as the Hilbert scheme of a K3 surface, the Fano variety of a cubic in P^5 and the double cover of an EPW sextic.
We analyze the ample and moving cones of holomorphic symplectic manifolds, in light of recent advances in the minimal model program. As an application, we establish a numerical criterion for ampleness of divisors on fourfolds deformation-equivalent to punctual Hilbert schemes of K3 surfaces.
We investigate the stability of fibers of coisotropic fibrations on holomorphic symplectic manifolds and generalize Voisin's result on Lagrangian subvarieties to this framework. We present applications to the moduli space of holomorphic symplectic manifolds which are deformations equivalent to Hilbert schemes of points on a $K3$ surface or to generalized Kummer manifolds.
We study holomorphic symplectic manifolds which are fibred by abelian varieties. This structure is a higher dimensional analogue of an elliptic fibration on a K3 surface. We investigate when a holomorphic symplectic manifold is fibred in this way, and are led to several natural conjectures. We then study the geometry of these fibrations. The expectation is that this point of view will prove useful in understanding holomorphic symplectic manifolds, and possibly lead to a classification.
We construct quasi-projective moduli spaces of $K$-general lattice polarized irreducible holomorphic symplectic manifolds. Moreover, we study their Baily--Borel compactification and investigate a relation between one-dimensional boundary components and equivalence classes of rational Lagrangian fibrations defined on mirror manifolds.
We study the birational geometry of irreducible holomorphic symplectic varieties arising as varieties of lines of general cubic fourfolds containing a cubic scroll. We compute the ample and moving cones, and exhibit a birational automorphism of infinite order explaining the chamber decomposition of the moving cone.
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$.
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 study families of rational curves on certain irreducible holomorphic symplectic varieties. In particular, we prove that any ample linear system on a projective holomorphic symplectic variety of K3[n]-type contains a uniruled divisor. As an application we provide a generalization of the Beauville-Voisin result on the Chow group of 0-cycles on such varieties.
We prove the existence of a universal family over every component of the moduli space of marked irreducible holomorphic symplectic manifolds. The analogous result follows for the Teichmuller spaces.
We generalize Nikulin's and Dolgachev's lattice-theoretical mirror symmetry for K3 surfaces to lattice polarized higher dimensional irreducible holomorphic symplectic manifolds. In the case of fourfolds of $K3^{\left[2\right]}-$type we then describe mirror families of polarized fourfolds and we give an example with mirror non-symplectic involutions.
We determine the Mori cone of holomorphic symplectic varieties deformation equivalent to the punctual Hilbert scheme on a K3 surface. Our description is given in terms of Markman's extended Hodge lattice.
In this paper we analyse the birational geometry of O'Grady ten dimensional manifolds, giving a characterisation of Kaehler classes and lagrangian fibrations. Moreover, we study symplectic compactifications of intermediate jacobian fibrations of smooth cubic fourfolds.
Let X be a holomorphic symplectic manifold, of dimension divisible by 4, and s an antisymplectic involution of X . The fixed locus F of s is a Lagrangian submanifold of X ; we show that its Â-genus is 1. As an application, we determine all possibilities for the Chern numbers of F when X is a deformation of the Hilbert square of a K3 surface.
We give a necessary and sufficient condition for an automorphism of the Hilbert scheme of points on a K3 surface (non necessarily algebraic) to be induced by an automorphism of the surface. We prove furthermore that the group of birational transformations of a projective irreducible holomorphic symplectic manifold is finitely generated.
Moduli spaces of polarised (with fixed polarisation type) irreducible holomorphic symplectic manifolds deformation equivalent to Hilbert schemes of points on $K3$ surfaces are not connected in general and A. Apostolov counted the number of their components. We extend Apostolov's results to the case of manifolds deformation equivalent to generalised Kummer varieties.
We regard the pre-hyperkähler structure on the moduli space of framed flags of sheaves $\mathcal{F}(1,3,1)$ on the projective plane $\mathbb{P}^2$ via an adaptation of the ADHM construction of framed sheaves. Then, we study and categorize the degenerate points of the holomorphic pre-symplectic form presented in the moduli space.
We generalize Voisin's theorem on deformations of pairs of a symplectic manifold and a Lagrangian submanifold to the case of Lagrangian normal crossing subvarieties. Partial results are obtained for arbitrary Lagrangian subvarieties. We apply our results to the study of singular fibers of Lagrangian fibrations.
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 study the deformations of a holomorphic symplectic manifold $M$, not necessarily compact, over a formal ring. We show (under some additional, but mild, assumptions on $M$) that the coarse deformation space exists and is smooth, finite-dimensional and naturally embedded into $H^2(M)$. For a holomorphic symplectic manifold $M$ which satisfies $H^1(M,{\cal O}_M) = H^2(M,{\cal O}_M)=0$, the coarse moduli of formal deformations is isomorphic to $\Spec\C[[t_1, ..., t_n]]$, where $t_1$, ... $t_n$ are coordinates in $H^2(M)$. This revised version contains one minor improvement: exposition in Subsec…
We use twisted Fourier-Mukai transforms to study the relation between an abelian fibration on a holomorphic symplectic manifold and its dual fibration. Our reasoning leads to an equivalence between the derived category of coherent sheaves on one space and the derived category of twisted sheaves on the other space.
We propose a general framework governing the intersection properties of extremal rays of irreducible holomorphic symplectic manifolds under the Beauville-Bogomolov form. Our main thesis is that extremal rays associated to Lagrangian projective subspaces control the behavior of the cone of curves. We explore implications of this philosophy for examples like Hilbert schemes of points on K3 surfaces and generalized Kummer varieties. We also collect evidence supporting our conjectures in specific cases.
Let $Y$ be a smooth hypersurface in a projective irreducible holomorphic symplectic manifold $X$ of dimension $2n$. The characteristic foliation $F$ is the kernel of the symplectic form restricted to $Y$. Assume that $X$ is equipped with a Lagrangian fibration $π:X\to B$ and $Y=π^{-1}D$, where $D$ is a hypersurface in $B$. It is easy to see that the leaves of $F$ are contained in the fibers of $π$. We prove that a very general leaf is Zariski dense in a fiber of $π$.
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 …
Rational curves on Hilbert schemes of points on $K3$ surfaces and generalised Kummer manifolds are constructed by using Brill-Noether theory on nodal curves on the underlying surface. It turns out that all wall divisors can be obtained, up to isometry, as dual divisors to such rational curves. The locus covered by the rational curves is then described, thus exhibiting algebraically coisotropic subvarieties that deform to general small deformations of the manifold. This provides strong evidence for a conjecture by Voisin concerning the Chow ring of irreducible holomorphic symplectic manifolds. …
We apply the methods of C{ă}ld{ă}raru to construct a twisted Fourier-Mukai transform between a pair of holomorphic symplectic four-folds. More precisely, we obtain an equivalence between the derived category of coherent sheaves on a certain four-fold and the derived category of twisted sheaves on its `mirror' partner. As corollaries, we show that the two spaces are connected by a one-parameter family of deformations through Lagrangian fibrations, and we extend the original Fourier-Mukai transform to degenerations of abelian surfaces.
