Related papers: K3 surfaces via almost-primes
These notes will give an introduction to the theory of K3 surfaces. We begin with some general results on K3 surfaces, including the construction of their moduli space and some of its properties. We then move on to focus on the theory of…
With any hyper-K\"ahler variety $K$ of generalized Kummer type is associated via Hodge theory a K3 surface $S_K$. We show how they are related geometrically through a moduli space of sheaves on $S_K$. As a consequence, building…
An integral hyperbolic lattice is called reflective if its automorphism group is generated by reflections, up to finite index. Since 1981, it is known that their number is essentially finite. We show that K3 surfaces over C with reflective…
The paper generalizes some of the well-known results for K3 surfaces to higher-dimensional irreducible symplectic (or, equivalently, compact irreducible hyperkaehler) manifolds. In particular, we discuss the projectivity of such manifolds…
Motivated by a problem originating in string theory, we study elliptic fibrations on K3 surfaces with large Picard number modulo isomorphism. We give methods to determine upper bounds for the number of inequivalent K3 surfaces sharing the…
Let $L$ be an even, hyperbolic lattice with infinitely many simple $(-2)$-roots. We call $L$ a Borcherds lattice if it admits an isotropic vector with bounded inner product with all the simple $(-2)$-roots. We show that this is the case if…
We prove that every K3 surface with automorphism group $(\mathbb{Z}/2\mathbb{Z})^2$ admits an explicit birational model as a double sextic surface. This model is canonical for Picard number greater than 10. For Picard number greater than 9,…
Let $E$ be a totally real number field of degree $d$ and let $m \geqslant 3$ be an integer. We show that if $md \leqslant 21$ then there exists an $(m-2)$-dimensional family of complex projective $K3$ surfaces with real multiplication by…
We study the decomposability of a Lagrangian homology class on a K3 surface into a sum of classes represented by special Lagrangian submanifolds, and develop criteria for it in terms of lattice theory. As a result, we prove the…
Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was…
We construct a K3 surface over an algebraically closed field of characteristic 2 which contains two sets of 21 disjoint smooth rational curves such that each curve from one set intersects exactly 5 curves from the other set. This…
We classify all the K3 surfaces which are minimal models of the quotient of the product of two curves $C_1\times C_2$ by the diagonal action of either the group $\Z/p\Z$ or the group $\Z/2p\Z$. These K3 surfaces admit a non-symplectic…
We consider threefolds that admit a fibration by K3 surfaces over a nonsingular curve, equipped with a divisorial sheaf that defines a polarisation of degree two on the general fibre. Under certain assumptions on the threefold we show that…
The article revisits birational and biregular automorphisms of the Hilbert scheme of points on a K3 surface from the perspective of derived categories. Under the assumption that the K3 surface is generic, the birational and biregular…
We construct nontrivial L-equivalence between curves of genus one and degree five, and between elliptic surfaces of multisection index five. These results give the first examples of L-equivalence for curves (necessarily over…
We show how to construct non-isotrivial families of supersingular K3 surfaces over rational curves using a relative form of the Artin-Tate isomorphism and twisted analogues of Bridgeland's results on moduli spaces of stable sheaves on…
We construct explicit examples of $K3$ surfaces over ${\mathbb Q}$ having real multiplication. Our examples are of geometric Picard rank 16. The standard method for the computation of the Picard rank provably fails for the surfaces…
Noether-Lefschetz divisors in the moduli of K3 surfaces are the loci corresponding to Picard rank at least 2. We relate the degrees of the Noether-Lefschetz divisors in 1-parameter families of K3 surfaces to the Gromov-Witten theory of the…
Let $k$ be a number field. We give an explicit bound, depending only on $[k:\mathbf{Q}]$ and the discriminant of the N\'{e}ron--Severi lattice, on the size of the Brauer group of a K3 surface $X/k$ that is geometrically isomorphic to the…
We prove a conjecture of Odaka--Oshima, which says that there is an algebraic description of the Gromov--Hausdorff compactification of all unit-diameter hyperk\"ahler metrics on K3 surfaces. As a corollary, we obtain a classification of the…