We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi–Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two-dimensional Calabi–Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of intermediate Jacobians, such as a criterion in terms of derived categories for when they split as a sum of Jacobians of curves.

We describe a compactification by KSBA stable pairs of the five-dimensional moduli space of K3 surfaces with a purely non-symplectic automorphism of order four and $U(2)\oplus D_4^{\oplus 2}$ lattice polarization. These K3 surfaces can be realized as the minimal resolution of the double cover of $\mathbb {P}^{1}\times \mathbb {P}^{1}$ branched along a specific $(4,\,4)$ curve. We show that, up to a finite group action, this stable pairs compactification is isomorphic to Kirwan's partial desingularization of the GIT quotient $(\mathbb {P}^{1})^{8}{/\!/}\mathrm {SL}_2$ with the symmetric linearization.

We present a systematic study of threefolds fibred by K3 surfaces that are mirror to sextic double planes. There are many parallels between this theory and the theory of elliptic surfaces. We show that the geometry of such threefolds is controlled by a pair of invariants, called the generalized functional and generalized homological invariants, and we derive an explicit birational model for them, which we call the Weierstrass form. We then describe how to resolve the singularities of the Weierstrass form to obtain the “minimal form”, which has mild singularities and is unique up to birational maps in codimension 2. Finally, we describe some of the geometric properties of threefolds in minimal form, including their singular fibres, canonical divisor, and Betti numbers.

We extend the Kuga–Satake construction to the case of limit mixed Hodge structures of K3 type. We use this to study the geometry and Hodge theory of degenerations of Kuga–Satake abelian varieties associated with polarized variations of K3 type Hodge structures over the punctured disc.

We enlarge the class of Rapoport–Zink spaces of Hodge type by modifying the centers of the associated $p$-adic reductive groups. Such obtained Rapoport–Zink spaces are said to be of abelian type. The class of Rapoport–Zink spaces of abelian type is strictly larger than the class of Rapoport–Zink spaces of Hodge type, but the two type spaces are closely related as having isomorphic connected components. The rigid analytic generic fibers of Rapoport–Zink spaces of abelian type can be viewed as moduli spaces of local $G$-shtukas in mixed characteristic in the sense of Scholze.

We prove that Shimura varieties of abelian type can be uniformized by the associated Rapoport–Zink spaces of abelian type. We construct and study the Ekedahl–Oort stratifications for the special fibers of Rapoport–Zink spaces of abelian type. As an application, we deduce a Rapoport–Zink type uniformization for the supersingular locus of the moduli space of polarized K3 surfaces in mixed characteristic. Moreover, we show that the Artin invariants of supersingular K3 surfaces are related to some purely local invariants.

Let $Y$ be a complex Enriques surface whose universal cover $X$ is birational to a general quartic Hessian surface. Using the result on the automorphism group of $X$ due to Dolgachev and Keum, we obtain a finite presentation of the automorphism group of $Y$. The list of elliptic fibrations on $Y$ and the list of combinations of rational double points that can appear on a surface birational to $Y$ are presented. As an application, a set of generators of the automorphism group of the generic Enriques surface is calculated explicitly.

We prove that the moduli space of smooth primitively polarized $\text{K3}$ surfaces of genus 33 is unirational.

This paper consists mainly of a review and applications of our old results relating to the title. We discuss how many elliptic fibrations and elliptic fibrations with infinite automorphism groups (or Mordell–Weil groups) an algebraic K3 surface over an algebraically closed field can have. As examples of applications of the same ideas, we also consider K3 surfaces with exotic structures: with a finite number of non-singular rational curves, with a finite number of Enriques involutions, and with naturally arithmetic automorphism groups.

We consider threefolds that admit a fibration by $\text{K3}$ surfaces over a nonsingular curve, equipped with a divisorial sheaf that defines a polarization of degree two on the general fibre. Under certain assumptions on the threefold we show that its relative log canonical model exists and can be explicitly reconstructed from a small set of data determined by the original fibration. Finally, we prove a converse to this statement: under certain assumptions, any such set of data determines a threefold that arises as the relative log canonical model of a threefold admitting a fibration by $\text{K3}$ surfaces of degree two.

In this paper, we give several pictorial fractal representations of the ample or Kähler cone for surfaces in a certain class of $K3$ surfaces. The class includes surfaces described by smooth (2, 2, 2) forms in ${{\mathbb{P}}^{1}}\,\times \,{{\mathbb{P}}^{1}}\,\times \,{{\mathbb{P}}^{1}}$ defined over a sufficiently large number field $K$ that have a line parallel to one of the axes and have Picard number four. We relate the Hausdorff dimension of this fractal to the asymptotic growth of orbits of curves under the action of the surface's group of automorphisms. We experimentally estimate the Hausdorff dimension of the fractal to be 1.296 ± .010.

Following some remarks made by O'Grady and Oguiso, the potential density of rational points on the second punctual Hilbert scheme of certain K3 surfaces is proved.

Let Mc be the moduli space of semistable torsion-free sheaves of rank 2 with Chern classes c1 = 0 and c2 = c over a K3 surface with generic polarization. When $c=2n\ge 4$ is even, Mc is a singular projective variety which admits a symplectic form, called the Mukai form, on the smooth part. A natural question raised by O'Grady asks if there exists a desingularization on which the Mukai form extends everywhere nondegenerately. In this paper we show that such a desingularization does not exist for many even integers c by computing the stringy Euler numbers.

We characterize the Fermat quartic K3 surface, among all K3 surfaces, by means of its finite group symmetries.

In this paper, we study the family of algebraic K3 surfaces generated by the smooth intersection of a (1, 1) form and a (2, 2) form in ${\open P}^2\times{\open P}^2$ defined over ${\open C}$ and with Picard number 3. We describe the group of automorphisms ${\cal A}={\rm Aut}(V/{\open C})$ on V. For an ample divisor D and an arbitrary curve C0 on V, we investigate the asymptotic behavior of the quantity $N_{{\cal A}(C_0)}(t)=\#\{C \in {\cal A}(C_0): C\cdot D<t\}$. We show that the limit $\lim_{t\to \infty } {\log N_{{\cal A}(C\,)}(t)\over \log t}=\alpha\fleqno{}$ exists, does not depend on the choice of curve C or ample divisor D, and that .6515<α<.6538.