Related papers: Rational cubic fourfolds with associated singular …

We study each of the 16 types of complete intersection Calabi-Yau threefolds in projective n-space times the projective line, for various n, and prove existence of isolated rational curves of bidegree (d,0) for all positive integers d on a…

We prove that the dimension of the intersection $\mathcal Z$ of all Hassett divisors of special cubic fourfolds is sixteen. We do this by studying which subsets of the natural numbers $\mathbb N$ can be obtained as the image of a…

For infinitely many $d$, Hassett showed that special cubic fourfolds of discriminant $d$ are related to polarized K3 surfaces of degree $d$ via their Hodge structures. For half of the $d$, each associated K3 surface $(S,L)$ canonically…

We study the Noether-Lefschetz locus of the moduli space $\mathcal{M}$ of $K3^{[2]}$-fourfolds with a polarization of degree $2$. Following Hassett's work on cubic fourfolds, Debarre, Iliev, and Manivel have shown that the Noether-Lefschetz…

We study the Brill-Noether theory of curves on K3 surfaces that are Hodge theoretically associated to cubic fourfolds of discriminant 14. We prove that any smooth curve in the polarization class has maximal Clifford index and deduce that a…

Noether-Lefschetz divisors in the moduli of K3 surfaces are the loci corresponding to Picard rank at least 2. We relate the degrees of the Noether-Lefschetz divisors in 1-parameter families of K3 surfaces to the Gromov-Witten theory of the…

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…

Smooth cubic fourfolds are linked to K3 surfaces via their Hodge structures, due to work of Hassett, and via Kuznetsov's K3 category A. The relation between these two viewpoints has recently been elucidated by Addington and Thomas. In this…

We isolate a class of smooth rational cubic fourfolds X containing a plane whose associated quadric surface bundle does not have a rational section. This is equivalent to the nontriviality of the Brauer class of the even Clifford algebra…

In arXiv:1008.3825, Totaro gave examples of a K3 surface such that its automorphism group is not commensurable with an arithmetic group, answering a question of Mazur. We give examples of rational surfaces with the same property. Our…

We prove that the locus of Noether-Lefschetz general polarized K3 surfaces of degree at most 8 defined over the rational numbers is Zariski dense in the moduli space. Previously, this was proved by van Luijk in the quartic case, and it…

Some classes of cubic fourfolds are birational to fibrations over $P^2$, where the fibers are rational surfaces. This is the case for cubics containing a plane (resp. an elliptic ruled surface), where the fibers are quadric surfaces (resp.…

We construct, on a supersingular K3 surface with Artin invariant 1 in characteristic 2, a set of 21 disjoint smooth rational curves and another set of 21 disjoint smooth rational curves such that each curve in one set intersects exactly 5…

We show that a cubic fourfold F that is apolar to a Veronese surface has the property that its variety of power sums VSP(F,10) is singular along a K3 surface of genus 20. We prove that these cubics form a divisor in the moduli space of…

We find a relation between a cubic hypersurface $Y$ and its Fano variety of lines $F(Y)$ in the Grothendieck ring of varieties. We prove that if the class of an affine line is not a zero-divisor in the Grothendieck ring of varieties, then…

K3 surfaces with non-symplectic involution are classified by open sets of seventy-five arithmetic quotients of type IV. We prove that those moduli spaces are rational except two classical cases.

We show that K3 surfaces in characteristic 2 can admit sets of $n$ disjoint smooth rational curves whose sum is divisible by 2 in the Picard group, for each $n=8,12,16,20$. More precisely, all values occur on supersingular K3 surfaces, with…

We introduce Kummer surfaces X=Km(CxC) with the group scheme G=mu_2 acting on the self-product of the rational cuspidal curve in characteristic two. The resulting quotients are normal surfaces having a configuration of sixteen rational…

We study the moduli space F_{2d} of polarised K3 surfaces of degree 2d. We compute all relations between Noether-Lefschetz divisors on these moduli spaces for d up to around 50. This leads to a very concrete description of the rational…

We construct five irreducible divisors in the moduli space of complex cubic fourfolds parametrising smooth cubic fourfolds that contain highly singular hyperplane sections. We prove that each is not a Noether-Lefschetz (or Hassett) divisor,…