We construct examples of simply connected nonalgebraic symplectic fourfolds with a prescribed number of nonintersecting symplectic curves with positive self-intersections.
We classify the polarized symplectic automorphisms of Fano varieties of smooth cubic fourfolds (equipped with the Plücker polarization) and study the fixed loci.
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.
The present paper proves that finite symplectic groups of automorphisms of hyperkähler fourfolds deformation equivalent to the Hilbert scheme of two points on a $K3$ surface are contained in the simple group $Co_1$. Then we give an example of a symplectic automorphism of order 11 on the Fano scheme of lines of a cubic fourfold.
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 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 prove that for any polarized symplectic automorphism of the Fano variety of lines of a cubic fourfold (equipped with the Plücker polarization), the induced action on the Chow group of 0-cycles is identity, as predicted by Bloch-Beilinson conjecture.
This note concerns hyperkähler fourfolds $X$ having a non-symplectic involution $ι$. The Bloch-Beilinson conjectures predict the way $ι$ should act on certain pieces of the Chow groups of $X$. The main result is a verification of this prediction for Fano varieties of lines on certain cubic fourfolds. This has consequences for the Chow ring of the quotient $X/ι$.
Let $X$ be a hyperkähler variety, and assume that $X$ admits a non-symplectic automorphism $σ$ of order $k>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<σ>$ should have trivial Chow group of $0$-cycles. We verify this for Fano varieties of lines on certain cubic fourfolds having an order $3$ non-symplectic automorphism.
Let $X$ be a hyperkähler variety, and assume $X$ has a non-symplectic automorphism $σ$ of order $>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<σ>$ should have trivial Chow group of $0$-cycles. We verify this for Fano varieties of lines on certain special cubic fourfolds having an order $3$ non--symplectic automorphism.
We classify non symplectic prime order automorphisms and all finite order symplectic automorphism groups of generalised Kummer fourfolds using lattice theory and recent results on ample cones and monodromy groups. We study various geometric realisations of the automorphisms obtained in the classification. In the case of higher dimensional generalised Kummers, we provide full results for finite symplectic automorphisms groups and we sketch the classification for prime order non-symplectic groups.
This article is about hyperkähler fourfolds $X$ admitting a non-symplectic involution $ι$. The Bloch-Beilinson conjectures predict the way $ι$ should act on certain pieces of the Chow groups of $X$. The main result is a verification of this prediction for Fano varieties of lines on certain cubic fourfolds. This has some interesting consequences for the Chow ring of the quotient $X/ι$.
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…
A 10-dimensional symplectic moduli space of torsion sheaves on the cubic 4-fold is constructed. It parametrizes the stable rank 2 vector bundles on the hypeplane sections of the cubic 4-fold which are obtained by Serre's construction from normal elliptic quintics. The natural projection to the dual projective 5-space parametrizing the hyperplane sections is a Lagrangian fibration. The symplectic structure is closely related (and conjecturally, is equal) to the quasi-symplectic one, induced by the Yoneda pairing on the moduli space.
There are three types of involutions on a cubic fourfold; two of anti-symplectic type, and one symplectic. Here we show that cubics with involutions exhibit the full range of behaviour in relation to rationality conjectures. Namely, we show a general cubic fourfold with symplectic involution has no associated K3 surface and is conjecturely irrational. In contrast, we show a cubic fourfold with a particular anti-symplectic involution has an associated K3, and is in fact rational. We show such a cubic is contained in the intersection of all non-empty Hassett divisors; we call such a cubic Hasset…
We classify the symplectic automorphism groups for cubic fourfolds. The main inputs are the global Torelli theorem for cubic fourfolds and the classification of the fixed-point sublattices of the Leech lattice. Among the highlights of our results, we note that there are 34 possible groups of symplectic automorphisms, with 6 maximal cases. The six maximal cases correspond to 8 non-isomorphic, and isolated in moduli, cubic fourfolds; six of them previously identified by other authors. Finally, the Fermat cubic fourfold has the largest possible order (174,960) for the automorphism group (non-nece…
We prove that a very general cubic fourfold containing a plane can be embedded into a holomorphic symplectic eightfold as a Lagrangian submanifold. We construct the desired holomorphic symplectic eightfold as a moduli space of Bridgeland stable objects in the derived category of the twisted K3 surface corresponding to the cubic fourfold containing a plane.
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.
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 study lines and twisted cubics on cubic fourfolds with simple isolated singularities. We show that the Hilbert scheme compactification of the total space of Starr's fibration on the space of twisted cubics on a cubic fourfold with simple isolated singularities and not containing a plane admits a contraction to a singular projective symplectic variety of dimension eight. The latter admits a crepant resolution which is a deformation of the symplectic eightfold constructed from the space of twisted cubics on a smooth cubic fourfold. Thereby we give another proof of the fact that the latter is …
We give a classification of all non-symplectic automorphisms of prime order p acting on irreducible holomorphic symplectic fourfolds deformation equivalent to the Hilbert scheme of two points on a K3 surface, for p=2,3 and 7\leq p \leq 19. Our classification relates the isometry classes of two natural lattices associated to the action of the automorphism on the second cohomology group with integer coefficients with some invariants of the fixed locus and we provide explicit examples. As an application, we find new examples of non-natural non-symplectic automorphisms.
We study the boundary behavior of the invariant of $K3^{[2]}$-type manifolds with antisymplectic involution, which we obtained using equivariant analytic torsion. We show the algebraicity of the singularity of the invariant by using the asymptotic of equivariant Quillen metrics and equivariant $L^2$-metrics. We prove that, in some cases, the invariant coincides with Yoshikawa's invariant for 2-elementary K3 surfaces. Hence, in these cases, our invariant is expressed as the Petersson norm of a Borcherds product and a Siegel modular form.
We prove that the Fano variety of lines of a cuspidal cyclic cubic fourfold is a symplectic variety with transversal A2-singularities and we study the properties of the nonsymplectic order three automorphism induced by the covering automorphism on the irreducible holomorphic symplectic manifold obtained by blowing up the singular locus.
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.
The base surface $B$ of a Lagrangian fibration $X\twoheadrightarrow B$ of a projective, irreducible symplectic fourfold $X$ is shown to be isomorphic to ${\mathbb P}^2$.
In this paper we study the Lagrangian fibrations for projective irreducible symplectic fourfolds and exclude the case of non-smooth base. Our method could be extended to the higher-dimensional cases.
Let $X$ be an irreducible holomorphic symplectic fourfold and $D$ a smooth hypersurface in $X$. It follows from a result by Amerik and Campana that the characteristic foliation (that is the foliation given by the kernel of the restriction of the symplectic form to $D$) is not algebraic unless $D$ is uniruled. Suppose now that the Zariski closure of its general leaf is a surface. We prove that $X$ has a lagrangian fibration and $D$ is the inverse image of a curve on its base.
We construct a new twenty-dimensional family of projective eight-dimensional irreducible holomorphic symplectic manifolds: the compactified moduli space M_3(Y) of twisted cubics on a smooth cubic fourfold Y that does not contain a plane is shown to be smooth and to admit a contraction M_3(Y) -> Z(Y) to a projective eight-dimensional symplectic manifold Z(Y). The construction is based on results on linear determinantal representations of singular cubic surfaces.
The present work is concerned with the study of four-dimensional irreducible holomorphic symplectic manifolds with second Betti number $23$. We describe their birational geometry and their relations to EPW sextics.
O'Grady showed that certain special sextics in $\mathbb{P}^5$ called EPW sextics admit smooth double covers with a holomorphic symplectic structure. We propose another perspective on these symplectic manifolds, by showing that they can be constructed from the Hilbert schemes of conics on Fano fourfolds of degree ten. As applications, we construct families of Lagrangian surfaces in these symplectic fourfolds, and related integrable systems whose fibers are intermediate Jacobians.
Using the Fredholm setup of [12], we study genus zero (and higher) relative Gromov-Witten invariants with maximum tangency of symplectic log Calabi-Yau fourfolds. In particular, we give a short proof of [23, Conjecture 6.2] that expresses these invariants in terms of certain integral invariants by considering generic almost complex structures to obtain a geometric count. We also revisit the localization calculation of the multiple-cover contributions in [23, Proposition 6.1] and recalculate a few terms differently to provide more details and illustrate the computation of deformation/obstructio…
In this note, which is an addendum to the e-print math.AG/9810121, we prove that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold, which is deformation equivalent to the Hilbert square of a K3 surface of genus 8 but different from the family of lines on a cubic 4-fold. This provides a new geometric construction of a compact complex symplectic fourfold, different from a Hilbert square of a K3 surface, a generalized Kummer 4-fold, the variety of lines on a cubic 4-fold and the recent examples of O'Grady (see Duke M…
A surgery of a real symplectic manifold $X_{\mathbb R}$ along a real Lagrangian sphere $S$ is a modification of the symplectic and real structure on $X_{\mathbb R}$ in a neigborhood of $S$. Genus 0 Welschinger invariants of two real symplectic $4$-manifolds differing by such a surgery have been related in a previous work in collaboration with N. Puignau. In the present paper, we explore some particular situations where these general formulas greatly simplify. As an application, we complete the computation of genus 0 Welschinger invariants of all del~Pezzo surfaces, and of all $\mathbb R$-minim…
The main outcome of this paper is that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold obtained a deformation of the Hilbert square of a K3 surface of genus 8. After publishing it in Trans. Am. Math. Soc. 353, No.4, 1455-1468 (2001), it was noted to us by Eyal Markman that in Theorem 3.17 we conclude without proof that VSP(F,10) should be the 4-fold of lines on another cubic 4-fold. We correct this in the e-print "Addendum to K3 surfaces of genus 8 and varieties of sums of powers of cubic fourfolds" (math.AG/061…
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…
In this article, we study the rational cohomology rings of Voisin's punctual Hilbert schemes $X^{[n]}$ associated to a symplectic compact fourfold $X$. We prove that these rings can be universally constructed from $H^*(X,\mathbb{Q})$ and $c_1(X)$, and that Ruan's crepant resolution conjecture holds if $c_1(X)$ is a torsion class. Next, we prove that for any almost-complex compact fourfold $X$, the complex cobordism class of $X^{[n]}$ depends only on the cobordism class of $X$.
We address the problem of classification of hyper-Kähler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-Kähler $4$-folds numerically equivalent to the Hilbert scheme of two points on a $K3$ surface.
This paper is a sequel to math.RT/0601155. Let G be a complex symplectic group. In math.RT/0601155, we constructed a certain G-variety N = N_1, which we call the (1-) exotic nilpotent cone. In this paper, we study the set of G-orbits of the variety N. It turns out that the variety N gives a variant of the Springer correspondence for the Weyl group of type C, but shares a similar flavor with that of type A case. (I.e. there appears no non-trivial local system and the correspondence is bijective.) As an application, we present one sufficient condition for the bijectivity of our exotic Deligne-La…
We introduce the $2$-nodal spherical deformation of certain singular fibers of genus $2$ fibrations, and use such deformations to construct various examples of simply connected minimal symplectic $4$-manifolds with small topology. More specifically, we construct new exotic minimal symplectic $4$-manifolds homeomorphic but not diffeomorphic to ${\mathbb{CP}}^{2}\#6({\overline{\mathbb{CP}}^{2}})$, ${\mathbb{CP}}^{2}\#7({\overline{\mathbb{CP}}^{2}})$, and $3{\mathbb{CP}}^{2}\#k({\overline{\mathbb{CP}}^{2}})$ for $k=16, 17, 18, 19$ using combinations of such deformations, symplectic blowups, and (…