No Arabic abstract
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.
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$.
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.
We show that any polarized K3 surface supports special Ulrich bundles of rank 2.
We study the derived categories of twisted supersingular K3 surfaces. We prove a derived crystalline Torelli theorem for twisted supersingular K3 surfaces, characterizing Fourier-Mukai equivalences in terms of isomorphisms between their associated K3 crystals. This is a positive characteristic analog of the Hodge-theoretic derived Torelli theorem of Orlov, and its extension to twisted K3 surfaces by Huybrechts and Stellari. We give applications to various questions concerning Fourier-Mukai partners, extending results of Cu{a}ldu{a}raru and Huybrechts and Stellari. We also give an exact formula for the number of twisted Fourier-Mukai partners of a twisted supersingular K3 surface.