Related papers: Brave new local moduli for ordinary K3 surfaces
We study the interplay of the moduli of curves and the moduli of K3 surfaces via the virtual class of the moduli spaces of stable maps. Using Getzler's relation in genus 1, we construct a universal decomposition of the diagonal in Chow in…
Given a K3 surface X over a field of characteristic p, Artin conjectured that if X is supersingular (meaning infinite height) then its Picard rank is 22. Along with work of Nygaard-Ogus, this conjecture implies the Tate conjecture for K3…
We classify complex K3 surfaces of zero entropy admitting an elliptic fibration with only irreducible fibers. These surfaces are characterized by the fact that they admit a unique elliptic fibration with infinite automorphism group. We…
We derive a characterization of the complex projective K3 surfaces which have automorphisms of positive entropy in term of their N\'eron-Severi lattices. Along the way, we classify the projective K3 surfaces of zero entropy with infinite…
We show that every supersingular K3 surface is birational to a double cover of a projective plane.
We consider K3 surfaces which are double cover of rational elliptic surfaces. The former are endowed with a natural elliptic fibration, which is induced by the latter. There are also other elliptic fibrations on such K3 surfaces, which are…
We study Fourier transforms induced by Markman's projectively hyperholomorphic bundles on products of hyper-K\"ahler varieties of $K3^{[n]}$-type. As applications, we prove the following. (a) Derived equivalent hyper-K\"ahler varieties of…
We discuss a notion of uniqueness up to $n$-homotopy and study examples from stable homotopy theory. In particular, we show that the $q$-expansion map from elliptic cohomology to topological $K$-theory is unique up to $3$-homotopy, away…
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…
Given $X$ a K3 surface admitting a symplectic automorphism $\tau$ of order 4, we describe the isometry $\tau^*$ on $H^2(X,\mathbb Z)$. Having called $\tilde Z$ and $\tilde Y$ respectively the minimal resolutions of the quotient surfaces…
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…
These are notes of my lectures given at the school on intersection theory and moduli at the ICTP, Trieste. We construct moduli spaces of K3 surfaces and higherdimensional hyperkaehler manifolds, including moduli spaces of (2,2)-conformal…
We classify prime order isogenies between algebraic K3 surfaces whose rational transcendental Hodges structures are not isometric. The morphisms of Hodge structures induced by these isogenies are correspondences by algebraic classes on the…
This paper explores the relationship between L-equivalence and D-equivalence for K3 surfaces and hyperk\"ahler manifolds. Building on Efimov's approach using Hodge theory, we prove that very general L-equivalent K3 surfaces are…
Using torus fibrations over K3 orbisurfaces, we construct new smooth solutions to the $G_2$ Hull-Strominger system. These manifolds arise as total spaces of principal $T^3$ (orbi)bundles over singular K3 surfaces. Our construction is based…
We establish a strong form of local rigidity for hyperbolic automorphisms of the 3-torus with real spectrum. Namely, let $L\colon\mathbb T^3\to\mathbb T^3$ be a hyperbolic automorphism of the 3-torus with real spectrum and let $f$ be a…
We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties.…
We study K3 surfaces with 9 cusps, i.e. 9 disjoint $A_2$ configurations of smooth rational curves, over algebraically closed fields of characteristic $p\neq 3$. Much like in the complex situation studied by Barth, we prove that each such…
Let X be a K3 surface with a polarization H of degree H^2=2rs and with a primitive Mukai vector (r,H,s). The moduli space of sheaves over X with the isotropic Mukai vector (r,H,s) is again a K3 surface Y. We prove that Y\cong X, if Picard…
Let $(S,H)$ be a general primitively polarized $K3$ surface. We prove the existence of curves in $|\mathcal O_S(nH)|$ with $A_k$-singularities and corresponding to regular points of the equisingular deformation locus. Our result is optimal…