48 pages. Latest addition to our series of articles on the geometry of Gushel-Mukai varieties; v2: minor stylistic improvements, results unchanged; v3: minor improvements; v4: final version, published in EPIGA
We describe intermediate Jacobians of Gushel-Mukai varieties $X$ of dimensions 3 or 5: if $A$ is the Lagrangian space associated with $X$, we prove that the intermediate Jacobian of $X$ is isomorphic to the Albanese variety of the canonical double covering of any of the two dual Eisenbud-Popescu-Walter surfaces associated with $A$. As an application, we describe the period maps for Gushel-Mukai threefolds and fivefolds.
We construct an explicit complex smooth Fano threefold with Picard number 1, index 1, and degree 10 (also known as a Gushel-Mukai threefold) and prove that it is not rational by showing that its intermediate Jacobian has a faithful $\mathrm{PSL}(2,\mathbf{F}_{11}) $-action. Along the way, we construct Gushel-Mukai varieties of various dimensions with rather large (finite) automorphism groups. The starting point of all these constructions is an Eisenbud-Popescu-Walter sextic with a faithful $\mathrm{PSL}(2,\mathbf{F}_{11}) $-action discovered by the second author in 2013.
We provide a stable rationality construction for some smooth complex Gushel-Mukai varieties of dimension 6. As a consequence, we compute the integral singular cohomology of any smooth Gushel-Mukai sixfold and in particular, show that it is torsion-free.
We construct new examples of rational Gushel-Mukai fourfolds, giving more evidence for the analog of the Kuznetsov Conjecture for cubic fourfolds: a Gushel--Mukai fourfold is rational if and only if it admits an associated K3 surface.
In the first part of this paper we will prove the Voevodsky's nilpotence conjecture for smooth cubic fourfolds and ordinary generic Gushel-Mukai fourfolds. Then, making use of noncommutative motives, we will prove the Voevodsky's nilpotence conjecture for generic Gushel-Mukai fourfolds containing a $τ$-plane $\G(2,3)$ and for ordinary Gushel-Mukai fourfolds containing a quintic del Pezzo surface.
We prove that the moduli stacks of marked and labelled Hodge-special Gushel-Mukai fourfolds are isomorphic. As an application, we construct rational maps from the stack of Hodge-special Gushel-Mukai fourfolds of discriminant $d$ to the moduli space of (twisted) degree-$d$ polarized K3 surfaces. We use these results to prove a counting formula for the number of 4-dimensional fibers of Fourier-Mukai partners of very general Hodge-special Gushel-Mukai fourfolds with associated K3 surface, and a lower bound for this number in the case of a twisted associated K3 surface.
We study a certain class of degenerations of Gushel-Mukai fourfolds as conic bundles, which we call tame degenerations and which are natural if one wants to prove that very general Gushel-Mukai fourfolds are irrational using the degeneration method due to Voisin, Colliot-Thélène-Pirutka, Totaro et al. However, we prove that no such tame degenerations do exist.
We show that the stability conditions on the Kuznetsov component of a Gushel-Mukai threefold, constructed by Bayer, Lahoz, Macrì and Stellari, are preserved by the Serre functor, up to the action of the universal cover of $\text{GL}^+_2(\mathbb{R})$. As application, we construct stability conditions on the Kuznetsov component of special Gushel-Mukai fourfolds.
We describe the moduli stack of Gushel-Mukai varieties as a global quotient stack and its coarse moduli space as the corresponding GIT quotient. The construction is based on a comprehensive study of the relation between this stack and the stack of Lagrangian data; roughly speaking, we show that the former is a generalized root stack of the latter. As an application, we define the period map for Gushel-Mukai varieties and construct some complete nonisotrivial families of smooth Gushel-Mukai varieties. In an appendix, we describe a generalization of the root stack construction used in our approa…
We present some applications of the Macaulay2 software package SpecialFanoFourfolds, a package for working with Hodge-special cubic fourfolds and Hodge-special Gushel--Mukai fourfolds. In particular, we show how to construct new examples of such fourfolds, some of which turn out to be rational. We also describe how to calculate K3 surfaces associated with cubic or Gushel-Mukai fourfolds, which relies on an explicit unirationality of some moduli spaces of K3 surfaces.
We give explicit descriptions of some Noether-Lefschetz divisors in the moduli space of Gushel-Mukai fourfolds. As a consequence we obtain that their Kodaira dimension is negative.
We show that Gushel-Mukai fivefolds admit a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. As a consequence, a certain tautological subring of the Chow ring of powers of these varieties injects into cohomology.
We prove that the invariant locus of the involution associated to a general double EPW sextic is a constant surface and introduce a filtration on $\CH_1$ of a Gushel-Mukai fourfold. We verify the sheaf/cycle correspondence for sheaves supported on low degree rational curves, parallel to the cubic fourfolds case.
We perform a systematic study of Gushel-Mukai varieties---quadratic sections of linear sections of cones over the Grassmannian Gr(2,5). This class of varieties includes Clifford general curves of genus 6, Brill-Noether general polarized K3 surfaces of genus 6, prime Fano threefolds of genus 6, and their higher-dimensional analogues. We establish an intrinsic characterization of normal Gushel-Mukai varieties in terms of their excess conormal sheaves, which leads to a new proof of the classification theorem of Gushel and Mukai. We give a description of isomorphism classes of Gushel-Mukai varieti…
In analogy to the case of cubic fourfolds, we discuss the conditions under which the double cover $\tilde{Y}_A$ of the EPW sextic hypersurface associated to a Gushel-Mukai fourfold is birationally equivalent to a moduli space of (twisted) stable sheaves on a K3 surface. In particular, we prove that $\tilde{Y}_A$ is birational to the Hilbert scheme of two points on a K3 surface if and only if the Gushel-Mukai fourfold is Hodge-special with discriminant $d$ such that the negative Pell equation $\mathcal{P}_{d/2}(-1)$ is solvable in $\mathbb{Z}$.
We study the Hilbert scheme $\mathcal{H}$ of twisted cubics on a special smooth Gushel-Mukai threefolds $X_{10}$. We show that it is a smooth irreducible projective threefold if $X_{10}$ is general among special Gushel-Mukai threefolds, while it is singular if $X_{10}$ is not general. We construct an irreducible component of a moduli space of Bridgeland stable objects in the Kuznetsov component of $X_{10}$ as a divisorial contraction of $\mathcal{H}$. We also identify the minimal model of Fano surface $\mathcal{C}(X_{10}')$ of conics on a smooth ordinary Gushel-Mukai threefold with moduli spac…
We study the derived categories of coherent sheaves on Gushel-Mukai varieties. In the derived category of such a variety, we isolate a special semiorthogonal component, which is a K3 or Enriques category according to whether the dimension of the variety is even or odd. We analyze the basic properties of this category using Hochschild homology, Hochschild cohomology, and the Grothendieck group. We study the K3 category of a Gushel-Mukai fourfold in more detail. Namely, we show that this category is equivalent to the derived category of a K3 surface for a certain codimension 1 family of rational…
Beauville and Donagi proved in 1985 that the primitive middle cohomology of a smooth complex cubic fourfold and the primitive second cohomology of its variety of lines, a smooth hyperkähler fourfold, are isomorphic as polarized integral Hodge structures. We prove analogous statements for smooth complex Gushel-Mukai varieties of dimension 4 (resp. 6), i.e., smooth dimensionally transverse intersections of the cone over the Grassmannian Gr(2,5), a quadric, and two hyperplanes (resp. of the cone over Gr(2,5) and a quadric). The associated hyperkähler fourfold is in both cases a smooth double cove…
Northwestern University（西北大学）；Shanghai Center for Mathematical Sciences, Fudan University（复旦大学上海数学中心）；Department of Mathematics, Nanjing University（南京大学数学系）；Kaiyuan International Mathematical Sciences Institute（开普勒国际数学科学研究所）
The object of this note is the moduli spaces of cubic fourfolds (resp., Gushel-Mukai fourfolds) which contain some special rational surfaces. Under some hypotheses on the families of such surfaces, we develop a general method to show the unirationality of the moduli spaces of the $n$-pointed such fourfolds. We apply this to some codimension 1 loci of cubic fourfolds (resp., Gushel-Mukai fourfolds) appeared in the literature recently.
To every reduced (projective) curve X with planar singularities one can associate many fine compactified Jacobians, depending on the choice of a polarization on X, which are birational (possibly non-isomorphic) Calabi-Yau projective varieties with locally complete intersection singularities. We define a Poincare' sheaf on the product of any two (possibly equal) fine compactified Jacobians of X and show that the integral transform with kernel the Poincare' sheaf is an equivalence of their derived categories. In particular, any two fine compactified Jacobians are derived equivalent. When applied…
To every singular reduced projective curve X one can associate, following E. Esteves, many fine compactified Jacobians, depending on the choice of a polarization on X, each of which yields a modular compactification of a disjoint union of the generalized Jacobian of X. We prove that, for a reduced curve with locally planar singularities, the integral (or Fourier-Mukai) transform with kernel the Poincare' sheaf from the derived category of the generalized Jacobian of X to the derived category of any fine compactified Jacobian of X is fully faithful, generalizing a previous result of D. Arinkin …
We show that the Fourier transform on the Jacobian of a curve interchanges "$δ$ functions" at the curve and the theta divisor. The Torelli theorem is an immediate consequence.
Let Y->P^n be a flat family of reduced Gorenstein curves, such that the compactified relative Jacobian X=\bar{J}^d(Y/P^n) is a Lagrangian fibration. We prove that X is a Beauville-Mukai integrable system if n=3, 4, or 5, and the curves are irreducible and non-hyperelliptic. We also prove that X is a Beauville-Mukai system if n=3, d is odd, and the curves are canonically positive 2-connected hyperelliptic curves.
Let $X$ be the Jacobian of a genus 2 curve $\widetilde{\mathcal{C}}$ over $\mathbb{C}$ and $Y$ be the associated Kummer surface. Consider an ample line bundle $L=O(m\widetilde{\mathcal{C}})$ on $X$ for an even number $m$, and its descent to $Y$, say $L'$. We show that any dominating component of $\mathcal{W}^1_{d}(|L'|)$ corresponds to $μ_{L'}$-stable Lazarsfeld-Mukai bundles on $Y$. Further, for a smooth curve $C \in |L|$ and a base-point free $g^1_d$ on $C$, say $(A,V)$, we study the $μ_L$-semistability of the rank-2 Lazarsfeld-Mukai bundle associated to $(C,(A,V))$ on $X$. Under certain ass…
Let X and Y be complex smooth projective varieties, and D^b(X) and D^b(Y) the associated bounded derived categories of coherent sheaves. Assume the existence of a triangulated category T which is admissible both in D^b(X) as in D^b(Y). Making use of the recent theory of Jacobians of noncommutative motives, we construct out of this categorical data a morphism t of abelian varieties (up to isogeny) from the product of the intermediate algebraic Jacobians of X to the product of the intermediate algebraic Jacobians of Y. When the orthogonal complement of T in D^b(X) has a trivial Jacobian (e.g. wh…
Given an Enriques surface $T$, its universal K3 cover $f: S\to T$, and a genus $g$ linear system $|C|$ on $T$, we construct the relative Prym variety $P_H=\Prym_{v, H}(\D/\CC)$, where $\CC\to |C|$ and $\D\to |f^*C|$ are the universal families, $v$ is the Mukai vector $(0,[D], 2-2g)$ and $H$ is a polarization on $S$. The relative Prym variety is a $(2g-2)$-dimensional possibly singular variety, whose smooth locus is endowed with a hyperkähler structure. This variety is constructed as the closure of the fixed locus of a symplectic birational involution defined on the moduli space $M_{v,H}(S)$. T…
