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 survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.
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.
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.
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.
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 study the global geometry of the ten dimensional O'Grady irreducible symplectic variety. We determine its second Betti number, its Beauville form and its Fujiki constant.
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.
This paper is concerned with non-symplectic involutions of irreducible symplectic manifolds of $K3^{[n]}$-type. We will give a criterion for deformation equivalence and use this to give a lattice-theoretic description of all deformation types. While moduli spaces of $K3^{[n]}$-type manifolds with non-symplectic involutions are not necessarily Hausdorff, we will construct quasi-projective moduli spaces for a certain well-behaved class of such pairs.
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…
Let X be a projective irreducible symplectic manifold and L a non trivial nef divisor on X. Assume that the nef dimension of L is strictly less than the dimension of X. We prove that L is semiample
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 show that the Andre motive of an irreducible, symplectic variety, which is deformation equivalent to the Hilbert scheme of points on a K3 surface, is an object the category generated by its motive truncated in degree two.
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 $π$.
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.
Under some conditions on the deformation type, which we expect to be satisfied for arbitrary irreducible symplectic varieties, we describe which big and nef line bundles on irreducible symplectic varieties have base divisors. In particular, we show that such base divisors are always irreducible and reduced. This is applied to understand the behaviour of divisorial base components of big and nef line bundles under deformations and for K3$^{[n]}$-type and Kum$^n$-type.
We prove the standard conjectures for complex projective varieties that are deformations of the Hilbert scheme of points on a K3 surface. The proof involves Verbitsky's theory of hyperholomorphic sheaves and a study of the cohomology algebra of Hilbert schemes of K3 surfaces.
We study the monodromy operators on the betti cohomologies associated to a good degeneration of irreducible symplectic manifold and we show that the unipotency of the monodromy operator on the middle cohomology is at least the half of the dimension.
There is two group actions on the Fano scheme of lines such that the quotient becomes an irreducible symplectic manifold. We showed that both quotients are birational to the generalized Kummer variety or the 2-points Hilbert scheme of a K3 surface.
We survey recent results about the Torelli question for holomorphic-symplectic varieties. Following are the main topics. A Hodge theoretic Torelli theorem. A study of the subgroup W, of the isometry group of the weight 2 Hodge structure, generated by reflection with respect to exceptional divisors. A description of the birational Kahler cone as a fundamental domain for the W-action on the positive cone. A proof of a weak version of Morrison's movable cone conjecture. A description of the moduli spaces of polarized holomorphic symplectic varieties as monodromy quotients of period domains of typ…
Let X be an irreducible symplectic manifold and L a divisor on X. Assume that L is isotropic with respect to the Beauville-Bogomolov quadratic form. We define the rational Lagrangian locus and the movable locus on the universal deformation space of the pair (X, L). We prove that the rational Lagrangian locus is empty or coincide with the movable locus.
We study O'Grady examples of irreducible symplectic varieties: we establish that both of them can be deformed into lagrangian fibrations. We analyse in detail the topology of the six dimensional example: in particular we compute its Euler characteristic and determine its Beauville form.
Exploiting recent results on the ample cone of irreducible symplectic manifolds, we provide a different point of view for the computation of their monodromy groups. In particular, we give the final step in the computation of the monodromy group for generalised Kummer manifolds and we prove that the monodromy of O'Grady's ten dimensional manifold is smaller than what was expected.
Irreducible symplectic manifolds are one of the three building blocks of compact Kähler manifolds with numerically trivial canonical bundle by the Beauville-Bogomolov decomposition theorem. There are several singular analogues of irreducible symplectic manifolds, in particular in the context of compact Kähler orbifolds, and in the context of normal projective varieties with canonical singularities. In this paper we will collect their definitions, analyze their mutual relations and provide a list of known examples.
We determine the wall divisors on irreducible symplectic orbifolds which are deformation equivalent to a special type of examples, called Nikulin orbifolds. The Nikulin orbifolds are obtained as partial resolutions in codimension 2 of a quotient by a symplectic involution of a Hilbert scheme of 2 points on a K3 surface. This builds on the previous article arXiv:2009.04873 in which the theory of wall divisors was generalized to orbifold singularities.
We show that the moduli space of polarized irreducible symplectic manifolds of $K3^{[n]}$-type, of fixed polarization type, is not always connected. This can be derived as a consequence of Eyal Markman's characterization of polarized parallel-transport operators of $K3^{[n]}$-type.
We use Gromov-Witten theory to study rational curves in holomorphic symplectic varieties. We present a numerical criterion for the existence of uniruled divisors swept out by rational curves in the primitive curve class of a very general holomorphic symplectic variety of $K3^{[n]}$ type. We also classify all rational curves in the primitive curve class of the Fano variety of lines in a very general cubic $4$-fold, and prove the irreducibility of the corresponding moduli space. Our proofs rely on Gromov-Witten calculations by the first author, and in the Fano case on a geometric construction of…
In the context of irreducible holomorphic symplectic manifolds, we say that (anti)holomorphic (anti)symplectic involutions are brane involutions since their fixed point locus is a brane in the physicists' language, i.e. a submanifold which is either complex or lagrangian submanifold with respect to each of the three Kähler structures of the associated hyperkähler structure. Starting from a brane involution on a K3 or abelian surface, one can construct a natural brane involution on its moduli space of sheaves. We study these natural involutions and their relation with the Fourier--Mukai transfo…
We show that the graded Chow rings of two birational irreducible symplectic varieties are isomorphic. This lifts a result known for the cohomology algebras to the level of Chow rings, despite the non-injectivity the cycle class map. In the special case of general Mukai flops, we present an alternative approach based on explicit calculations.
We propose a generalization of Verbitsky's global Torelli theorem in the framework of compact Kähler irreducible holomorphically symplectic orbifolds by adapting Huybrechts' proof (arXiv:1106.5573). As intermediate step needed, we also provide a generalization of the twistor space and the projectivity criterion based on works of Campana (arXiv:math/0402243) and Huybrechts (arXiv:math/0106014) respectively.
Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral symmetric nondegenerate form, the Beauville form. We give precise conjectures for the structure of the cone of effective curves - and by duality - the cone of ample divisors. Formally they are completely analogous to the results known for K3 surfaces, and they are expressed entirely in terms of the integers represented by the Beauville form restricted to Pic(F…
Let Y be a hypersurface in a 2n-dimensional holomorphic symplectic manifold X. The restriction $σ|_Y$ of the holomorphic symplectic form induces a rank one foliation on Y. We investigate situations where this foliation has compact leaves; in such cases we obtain a space of leaves Y/F which has dimension 2n-2 and admits a holomorphic symplectic form.
We prove that all complex analytic subvarieties of a generic compact hyperkaehler manifold are even-dimensional. Moreover, these subvarieties are holomorphically symplectic.
