Related papers: On correspondences of a K3 surface with itself. IV
In this note we define moduli functors of (primitively) polarized K3 spaces. We show that they are representable by Deligne-Mumford stacks over Spec(Z). Further, we look at K3 spaces with a level structure. Our main result is that the…
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…
In this paper we show that there is a correspondence between some $K3$ surfaces with non-isometric transcendental lattices constructed as a twist of the transcendental lattice of the Jacobian of a generic genus 2 curve. Moreover, we show…
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…
Let S be a K3 surface. In part I of this paper, we constructed a representation of the group Aut D(S), of auto-equivalences of the derived category of S. We interpreted this infinite dimensional representation, as the natural action of Aut…
In this paper, we investigate the Picard group of the Baily--Borel compactification of orthogonal Shimura varieties. As a key result, we determine the Picard group of the Baily--Borel compactification of the moduli space of quasi-polarized…
We classify primitive non-symplectic automorphisms of order 6 on K3 surfaces. We show how their study can be reduced to the study of non-symplectic automorphisms of order 3 and to a local analysis of the fixed loci. In particular, we…
We study the symplectic action of the group (Z/2Z)^2 on a K3 surface X: we describe its action on H^2(X,Z) and the maps induced in cohomology by the rational quotient maps; we give a lattice-theoretic characterization of the resolution of…
For every supersingular $K3$ surface $X$ in characteristic 2, there exists a homogeneous polynomial $G$ of degree 6 such that $X$ is birational to the purely inseparable double cover of a projective plane defined by $w^2=G$. We present an…
We investigate the universal Severi variety of rational curves on K3 surfaces, which parametrises irreducible rational curves in a fixed class on varying K3 surfaces of fixed genus. We investigate the conjecuted irreducibility of this space…
This note is a summary of our work [OO] which provides an explicit and global moduli-theoretic framework for the collapsing of Ricci-flat Kahler metrics and we use it to study especially the K3 surfaces case. For instance, it allows us to…
Derived equivalences of twisted K3 surfaces induce twisted Hodge isometries between them; that is, isomorphisms of their cohomologies which respect certain natural lattice structures and Hodge structures. We prove a criterion for when a…
We study the moduli spaces of elliptic K3 surfaces of Picard number at least 3, i.e. $U\oplus \langle -2k \rangle$-polarized K3 surfaces. Such moduli spaces are proved to be of general type for $k\geq 220$. The proof relies on the…
Let $Y$ be a smooth Enriques surface. A $K3$ carpet on $Y$ is a locally Cohen-Macaulay double structure on $Y$ with the same invariants as a smooth $K3$ surface (i.e., regular and with trivial canonical sheaf). The surface $Y$ possesses an…
Some of the 95 families of weighted K3 hypersurfaces have been known to have the isometric lattice polarizations. It is shown that weighted K3 hypersurfaces in such families are to one-to-one correspond by explicitly constructing the…
Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global…
We investigate a notion of "higher modularity" for elliptic curves over function fields. Given such an elliptic curve $E$ and an integer $r\geq 1$, we say that $E$ is $r$-modular when there is an algebraic correspondence between a stack of…
We construct projective asymptotically good moduli spaces parametrizing boundary polarized CY surface pairs, which are projective slc Calabi-Yau pairs $(X,D)$ such that $D$ is ample and $X$ has dimension two. The moduli space provides a…
We study complex algebraic K3 surfaces of Picard ranks 11,12, and 13 of finite automorphism group that admit a Jacobian elliptic fibration with a section of order two. We prove that the K3 surfaces admit a birational model isomorphic to a…
This paper studies curves on quartic K3 surfaces, or more generally K3 surfaces which are complete intersection in weighted projective spaces. A folklore conjecture concerning rational curves on K3 surfaces states that all K3 surfaces…