No Arabic abstract
The Debarre-Voisin hyperkahler fourfolds are built from alternating $3$-forms on a $10$-dimensional complex vector space, which we call trivectors. They are analogous to the Beauville-Donagi fourfolds associated with cubic fourfolds. In this article, we study several trivectors whose associated Debarre-Voisin variety is degenerate, in the sense that it is either reducible or has excessive dimension. We show that the Debarre-Voisin varieties specialize, along general $1$-parameter degenerations to these trivectors, to varieties isomorphic or birationally isomorphic to the Hilbert square of a K3 surface.
Let $X$ be a projective K3 surfaces. In two examples where there exists a fine moduli space $M$ of stable vector bundles on $X$, isomorphic to a Hilbert scheme of points, we prove that the universal family $mathcal{E}$ on $Xtimes M$ can be understood as a complete flat family of stable vector bundles on $M$ parametrized by $X$, which identifies $X$ with a smooth connected component of some moduli space of stable sheaves on $M$.
The conjectural equivalence of curve counting on Calabi-Yau 3-folds via stable maps and stable pairs is discussed. By considering Calabi-Yau 3-folds with K3 fibrations, the correspondence naturally connects curve and sheaf counting on K3 surfaces. New results and conjectures (with D. Maulik) about descendent integration on K3 surfaces are announced. The recent proof of the Yau-Zaslow conjecture is surveyed. The paper accompanies my lecture at the Clay research conference in Cambridge, MA in May 2008.
For every known Hecke eigenform of weight 3 with rational eigenvalues we exhibit a K3 surface over QQ associated to the form. This answers a question asked independently by Mazur and van Straten. The proof builds on a classification of CM forms by the second author.
Let $F$ be a moduli space of lattice-polarized K3 surfaces. Suppose that one has chosen a canonical effective ample divisor $R$ on a general K3 in $F$. We call this divisor recognizable if its flat limit on Kulikov surfaces is well defined. We prove that the normalization of the stable pair compactification $overline{F}^R$ for a recognizable divisor is a Looijenga semitoroidal compactification. For polarized K3 surfaces $(X,L)$ of degree $2d$, we show that the sum of rational curves in the linear system $|L|$ is a recognizable divisor, giving a modular semitoroidal compactification of $F_{2d}$ for all $d$.
We study triple covers of K3 surfaces, following Mirandas theory of triple covers. We relate the geometry of the covering surfaces with the properties of both the branch locus and the Tschirnhausen vector bundle. In particular, we classify Galois triple covers computing numerical invariants of the covering surface and of its minimal model. We provide examples of non Galois triple covers, both in the case in which the Tschirnhausen bundle splits into the sum of two line bundles and in the case in which it is an indecomposable rank 2 vector bundle. We provide a criterion to construct rank 2 vector bundles on a K3 surface $S$ which determine a non-Galois triple cover of $S$. The examples presented are in any admissible Kodaira dimension and in particular we provide the constructions of irregular covers of K3 surfaces and of surfaces with geometrical genus equal to 2 whose transcendental Hodge structure splits in the sum of two Hodge structures of K3 type.