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.
The Beauville-Bogomolov lattice is computed for a simplest singular symplectic manifold of dimension 4, obtained as a partial desingularization of the quotient $S^{[2]}/ι$, where $S^{[2]}$ is the Hilbert square of a K3 surface $S$ and $ι$ is a symplectic involution on it. This result applies, in particular, to the singular symplectic manifolds of dimension 4, constructed by Markushevich-Tikhomirov as compactifications of families of Prym varieties of a linear system of curves on a K3 surface with an anti-symplectic involution.
We investigate Beauville's conjecture on the Chow ring of irreducible symplectic varieties. For special irreducible symplectic varieties we relate it to a conjecture on the existence of rational Lagrangian fibrations, which proves Beauville's conjecture in many new cases. We further apply the same techniques to reduce Beauville's conjecture to Picard rank two.
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. In this article we prove that a generic leaf of the characteristic foliation is dense in Y if Y has positive Beauville-Bogomolov-Fujiki square.
We explore the connection between $K3$ categories and 0-cycles on holomorphic symplectic varieties. In this paper, we focus on Kuznetsov's noncommutative $K3$ category associated to a nonsingular cubic 4-fold. By introducing a filtration on the $\mathrm{CH}_1$-group of a cubic 4-fold $Y$, we conjecture a sheaf/cycle correspondence for the associated $K3$ category $\mathcal{A}_Y$. This is a noncommutative analog of O'Grady's conjecture concerning derived categories of $K3$ surfaces. We study instances of our conjecture involving rational curves in cubic 4-folds, and verify the conjecture for sh…
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 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.
We generalize Fujiki relation of Beauville-Bogomolov quadratic form on a projective symplectic variety. As an application, we study a fibre space structure of a projective symplectic variety.
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.
Let X be a projective irreducible holomorphic symplectic manifold. The second integral cohomology of X is a lattice with respect to the Beauville-Bogomolov pairing. A divisor E on X is called a prime exceptional divisor, if E is reduced and irreducible and of negative Beauville-Bogomolov degree. Let E be a prime exceptional divisor on X. We first observe that associated to E is a monodromy involution of the integral cohomology of X, which acts on the second cohomology lattice as the reflection by the cohomology class of E (Theorem 1.1). We then specialize to the case that X is deformation equi…
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.
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 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.
We investigate the existence of Lagrangian fibrations on the generalized Kummer varieties of Beauville. For a principally polarized abelian surface A of Picard number one we find the following: The Kummer variety K^n(A) is birationally equivalent to another irreducible symplectic variety admitting a Lagrangian fibration, if and only if n is a perfect square. And this is the case if and only if K^n(A) carries a divisor with vanishing Beauville-Bogomolov square.
Let X be an irreducible symplectic manifold and L a nef line bundle on X which is isotropic with respect to the Beauville-Bogomolov quadratic form. It is known that a subgroup Aut(X,L) of an automorphism group of X which fix L is almost abelian. We give a formula of the rank of Aut(X,L) in terms of MBM divisors. We also prove that the nef cone of X cut out MBM classes, which is a generalization of Kovac's structure theorem of nef cones of K3 surfaces
Eisenbud Popescu and Walter have constructed certain special 4-dimensional sextic hypersurfaces as Lagrangian degeneracy loci. We prove that the natural double cover of a generic EPW-sextic is a deformation of the Hilbert square of a K3-surface and that the family of such varieties is locally complete for deformations that keep the hyperplane class of type (1,1) - thus we get an example similar to that (discovered by Beauville and Donagi) of the Fano variety of lines on a cubic 4-fold. Conversely suppose that X is an irreducible symplectic 4-fold numerically equivalent to the Hilbert square of…
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.
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 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 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.
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 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.
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 show that the irreducible holomorphic symplectic eightfold Z associated to a cubic fourfold Y not containing a plane is deformation-equivalent to the Hilbert scheme of four points on a K3 surface. We do this by constructing for a generic Pfaffian cubic Y a birational map Z ---> Hilb^4(X), where X is the K3 surface associated to Y by Beauville and Donagi. We interpret Z as a moduli space of complexes on X and observe that at some point of Z, hence on a Zariski open subset, the complex is just the ideal sheaf of four points.
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.
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.
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.
Let $X$ be a hyperkähler variety, and let $G$ be a group of finite order non-symplectic automorphisms of $X$. Beauville's conjectural splitting property predicts that each Chow group of $X$ should split in a finite number of pieces. The Bloch-Beilinson conjectures predict how $G$ should act on these pieces of the Chow groups: certain pieces should be invariant under $G$, while certain other pieces should not contain any non-trivial $G$-invariant cycle. We can prove this for two pieces of the Chow groups when $X$ is the Hilbert scheme of a $K3$ surface and $G$ consists of natural automorphisms.…
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.
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.
In this paper we partly extend the Beauville-Bogomolov decomposition theorem to the singular setting. We show that any complex projective variety of dimension at most five with canonical singularities and numerically trivial canonical class admits a finite cover, étale in codimension one, that decomposes as a product of an Abelian variety, and singular analogues of irreducible Calabi-Yau and irreducible holomorphic symplectic varieties.
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.
A conjecture of Beauville and Voisin states that for an irreducible symplectic variety X, any polynomial relation between classes of divisors and the Chern classes of X which holds in cohomology already holds in the Chow groups. We verify the conjecture for a very general double EPW sextic.
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.
In this paper, we study the algebraic symplectic geometry of the singular moduli spaces of Higgs bundles of degree $0$ and rank $n$ on a compact Riemann surface $X$ of genus $g$. In particular, we prove that such moduli spaces are symplectic singularities, in the sense of Beauville [Bea00], and admit a projective symplectic resolution if and only if $g=1$ or $(g, n)=(2,2)$. These results are an application of a recent paper by Bellamy and Schedler [BS16] via the so-called Isosingularity Theorem.
We show that Hilbert schemes of points on supersingular Enriques surface in characteristic 2 are simply connected, symplectic varieties but are not irreducible symplectic as the hodge number $h^{2,0} > 1$, even though a supersingular Enriques surface is an irreducible symplectic variety. These are the classes of varieties which appear only in characteristic 2 and they show that the hodge number formula for Göttsche-Soergel does not hold over characteristic 2. It also gives examples of varieties with trivial canonical class which are neither irreducible symplectic nor Calabi-Yau, thereby showin…
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 show that the moduli spaces of sheaves on a projective K3 surface are irreducible symplectic varieties, and that the same holds for the fibers of the Albanese map of moduli spaces of sheaves on an Abelian surface.
Given a projective irreducible symplectic manifold $M$ of dimension $2n$, a projective manifold $X$ and a surjective holomorphic map $f:M \to X$ with connected fibers of positive dimension, we prove that $X$ is biholomorphic to the projective space of dimension $n$. The proof is obtained by exploiting two geometric structures at general points of $X$: the affine structure arising from the action variables of the Lagrangian fibration $f$ and the structure defined by the variety of minimal rational tangents on the Fano manifold $X$.
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 introduce the notion of induced automorphisms in order to state a criterion to determine whether a given automorphism on a manifold of $K3^{[n]}$ type is, in fact, induced by an automorphism of a $K3$ surface and the manifold is a moduli space of stable objects on the $K3$. This criterion is applied to the classification of non-symplectic prime order automorphisms on manifolds of $K3^{[2]}$ type and we prove that almost all cases are covered. Variations of this notion and the above criterion are introduced and discussed for the other known deformation types of irreducible symplectic manifol…
We shall give an example of irreducible symplectic manifolds X and Y which are not bimeromorphic, but have the same periods in the second cohomologies. More explicitly, X and Y are generalized Kummer varieties of dim 4 for a general complex torus T of dim 2 and its dual torus T^*. A key result is an observation of Shioda for the periods of T and T^*. As a concluding remark, we shall discuss the difference between our case and Kummer surfaces.
The moduli space M_2 of rank four semistable symplectic vector bundles over a curve X of genus two is an irreducible projective variety of dimension ten. Its Picard group is generated by the determinantal line bundle Ξ. The base locus of the linear system |Ξ| consists of precisely those bundles without theta divisors, that is, admitting nonzero maps from every line bundle of degree -1 = 1-g over X. We show that this base locus consists of six distinct points, which are in canonical bijection with the Weierstrass points of the curve. We relate our construction of these bundles to another of Ray…