Let X be a complex Fano manifold of dimension n. Let s(X) be the sum of l(R)-1 for all the extremal rays of X, the edges of the cone NE(X) of curves of X, where l(R) denotes the minimum of (-K_X \cdot C) for all rational curves C whose class [C] belongs to R. We show that s(X)\leq n if n\leq 4. And for n\leq 4, we completely classify the case the equality holds. This is a refinement of the Mukai conjecture on Fano fourfolds.
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 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.
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 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 show that the affine cones over a general Fano-Mukai fourfold of genus $g=7$, $8$ and $9$ are flexible. Equivalently, there is an infinitely transitive action of the special automorphism group on such affine cones. In particular, any Mukai fourfold of genus $7,8$ and $9$ is $\Bbb A^2$-cylindrical.
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 exhibit explicit examples of very general special cubic fourfolds with discriminant $d$ admitting an associated (twisted) K3 surface, which have non-isomorphic Fourier-Mukai partners. In particular, in the untwisted setting, we show that the number of Fourier-Mukai partners for a very general special cubic fourfold with discriminant $d$ and having an associated K3 surface, is equal to the number $m$ of Fourier-Mukai partners of its associated K3 surface, if $d \equiv 2 (\text{mod}\,6)$; else, if $d \equiv 0 (\text{mod}\,6)$, the cubic fourfold has $\lceil m/2 \rceil$ Fourier-Mukai partners.
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 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 the affine cones over any Fano-Mukai fourfold of genus 10 are flexible; in particular, the automorphism group of such a cone acts highly transitively outside the vertex. Furthermore, any Fano-Mukai fourfold of genus 10, with one exception, admits a covering by open charts isomorphic to the affine four-space.
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 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.
The automorphism groups of the Fano-Mukai fourfold of genus 10 were studied in our previous paper [arXiv:1706.04926]. In particular, we found in [arXiv:1706.04926] the neutral components of these groups. In the present paper we finish the description of the discrete parts. Up to isomorphism, there are two special Fano--Mukai fourfold of genus 10 with the automorphism groups $GL_2(k)\rtimes\mathbb{Z}/2\mathbb{Z}$ and $(\mathbb{G}_a\times\mathbb{G}m)\rtimes\mathbb{Z}/2\mathbb{Z}$, respectively. For any other Fano-Mukai fourfold $V$ of genus 10 one has $\mathrm{Aut}(V)=\mathbb{G}_m^2\rtimes \math…
For a log Fano manifold (X, D) with D\neq 0 and with the log Fano pseudoindex \geq 2, we prove that the restriction homomorphism Pic(X)\to Pic(D_1) of Picard groups is injective for any irreducible component D_1\subset D.The strategy of our proof is to run a certain minimal model program and is similar to the argument of Casagrande's one. As a corollary, we prove that the Mukai conjecture (resp. the generalized Mukai conjecture) implies the log Mukai conjecture (resp. the log generalized Mukai conjecture).
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.
It is known that the moduli space of smooth Fano-Mukai fourfolds $V_{18}$ of genus $10$ has dimension one. We show that any such fourfold is a completion of $\mathbb{C}^4$ in two different ways. Up to isomorphism, there is a unique fourfold $V_{18}^{\mathrm s}$ acted upon by $\operatorname{SL}_2(\mathbb{C})$. The group $\operatorname{Aut}(V_{18}^{\mathrm s})$ is a semidirect product $\operatorname{GL}_2(\mathbb{C})\rtimes(\mathbb{Z}/2\mathbb{Z})$. Furthermore, $V_{18}^{\mathrm s}$ is a $\operatorname{GL}_2(\mathbb{C})$-equivariant completion of $\mathbb{C}^4$, and as well of $\operatorname{GL}…
We study the group of relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano or anti-Fano fibrations. For Weierstrass and Fano or anti-Fano fibrations we are able to describe this group completely. For abelian schemes over an arbitrary base we prove that if two of them are relative Fourier-Mukai partners then there is an isometric isomorphism between the fibre products of each of them and its dual abelian scheme. If the base is normal and the slope map is surjective we show that these two conditions are equivalent. Moreover in this situation we completely determ…
Let X be a Fano variety of dimension n, pseudoindex i_X and Picard number ρ_X. A generalization of a conjecture of Mukai says that ρ_X(i_X-1)\le n. We prove that the conjecture holds if: a) X has pseudoindex i_X \ge \frac{n+3}{3} and either has a fiber type extremal contraction or does not have small extremal contractions b) X has dimension five.
As a generalization of the Mukai conjecture, we conjecture that the Fano manifolds $X$ which satisfy the property $ρ_X(r_X-1)\geq\dim X-1$ have very special structure, where $ρ_X$ is the Picard number of $X$ and $r_X$ is the index of $X$. In this paper, we classify those $X$ if $ρ_X\leq 3$ or $\dim X\leq 5$.
We construct new families of smooth Fano fourfolds with Picard rank $1$ which contain open $\Bbb A^1$-cylinders, that is, Zariski open subsets of the form $Z \times \Bbb A^1$, where $Z$ is a quasiprojective variety. In particular, we show that every Mukai fourfold of genus $8$ is cylindrical and there exists a family of cylindrical Gushel-Mukai fourfolds.
We construct new families of smooth Fano fourfolds with Picard rank 1, which contain cylinders, i.e., Zariski open subsets of form $Z\times A^1$, where $Z$ is a quasiprojective variety. The affine cones over such a fourfold admit effective $G_a$-actions. Similar constructions of cylindrical Fano threefolds and fourfolds were done previously in [KPZ11, KPZ14, PZ15].
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 consider extremal contractions on smooth Fano fourfolds whose second Chern character is positive. We show that such contractions can neither be of fiber type nor contract a divisor to a point.
In this paper, we classify Fano fourfolds whose the second exterior power of tangent bundles are numerically effective with Picard number greater than one.
We construct 4 di erent families of smooth Fano fourfolds with Picard rank 1, which contain cylinders, i.e., Zariski open subsets of the form Z x A1, where Z is a quasiprojective variety. The affi ne cones over such a fourfold admit eff ective Ga-actions. Similar constructions of cylindrical Fano threefolds were done previously in our papers jointly with Takashi Kishimoto.
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…
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 prove that certain Fano fourfolds of K3 type constructed by Fatighenti-Mongardi have a multiplicative Chow-Künneth decomposition. We present some consequences for the Chow ring of these fourfolds.
In this paper we show that a general element of $|-K_X|$ on a four-dimensional Fano manifold has at most terminal singularities. We then determine an explicit local expression of these singular points.
Generalizing a question of Mukai, we conjecture that a Fano manifold $X$ with Picard number $ρ_X$ and pseudo-index $ι_X$ satisfies $ρ_X (ι_X-1) \le \dim(X)$. We prove this inequality in several situations: $X$ is a Fano manifold of dimension $\le 4$, $X$ is a toric Fano manifold of dimension $\le 7$ or $X$ is a toric Fano manifold of arbitrary dimension with $ι_X \ge \dim(X)/3+1$. Finally, we offer a new approach to the general case.
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…
We describe the closed cone of moving curves of smooth Fano three- and fourfolds by giving finitely many equations that cut out the cone. The equations are induced by the exceptional divisors of divisorial contractions and by nef divisors on birational models obtained by sequences of flips.The results presented here are part of the author's Ph.D. thesis, written under the supervision of Stefan Kebekus.
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.
Let $X$ be a cubic fourfold that has only simple singularities and does not contain a plane. We prove that the Fano variety of lines on $X$ has the same analytic type of singularity as the Hilbert scheme of two points on a surface with only ADE-singularities. This is shown as a corollary to the characterization of a singularity that is obtained as a $K3^{[2]}$-type contraction and has a unique symplectic resolution.
We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that the Fano varieties are always birational to moduli spaces of twisted stable coherent sheaves on a K3 surface. The moduli spaces of complexes and of sheaves are related by wall-crossing in the derived category of twisted sheaves on the corresponding K3 surface.
In this text we prove that if a smooth cubic in $\PR^5$ has its Fano variety of lines birational to the Hilbert scheme of two points on a K3 surface, then there exists a smooth projective curve or a smooth projective surface embedded in the Fano variety, such that the kernel of the push-forward (at the level of zero cycles ) induced by the closed embedding is torsion.
