Related papers: Supersingular K3 surfaces in odd characteristic an…
Let $k$ be a field finitely generated over the finite field $\mathbb F_p$ of odd characteristic $p$. For any K3 surface $X$ over $k$ we prove that the prime to $p$ component of the cokernel of the natural map $Br(k)\to Br(X)$ is finite.
We classify normal supersingular K3 surfaces Y with total Milnor number 20 in characteristic p, where p is an odd prime that does not divide the discriminant of the Dynkin type of the rational double points on Y.
Let X be a complex projective K3 surface, and let T(X) be its transcendental lattice; the characteristic polynomials of the isometries of T(X) induced by automorphisms of X are powers of cyclotomic polynomials. Which powers of cyclotomic…
In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed,…
We give a necessary and sufficient condition for an automorphism of the Hilbert scheme of points on a K3 surface (non necessarily algebraic) to be induced by an automorphism of the surface. We prove furthermore that the group of birational…
We present a method of Zariski-van Kampen type for the calculation of the transcendental lattice of a complex projective surface. As an application, we calculate the transcendental lattices of complex singular K3 surfaces associated with an…
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…
We show that the moduli space of $U\oplus \langle -2k \rangle$-polarized K3 surfaces is unirational for $k \le 50$ and $k \notin \{11,35,42,48\}$, and for other several values of $k$ up to $k=97$. Our proof is based on a systematic study of…
We study the symplectic topology of certain K3 surfaces (including the "mirror quartic" and "mirror double plane"), equipped with certain K\"ahler forms. In particular, we prove that the symplectic Torelli group may be infinitely generated,…
For any field k of characteristic at most 5 we exhibit an explicit smooth quartic surface in projective threespace over k with trivial automorphism group over the algebraic closure of k. We also show how this can be extended to higher…
We explicitly determine the elliptic K3 surfaces with a maximal singular fibre. If the characteristic of the ground field is different from 2, for each of the two possible maximal fibre types, $I_{19}$ and $I^*_{14}$, the surface is unique.…
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…
For a geometrically rational surface X over an arbitrary field of characteristic different from 2 and 3 that contains all roots of 1, we show that either X is birational to a product of a projective line and a conic, or the group of…
Double planes branched in 6 lines give a famous example of K3 surfaces. Their moduli are well understood and related to abelian fourfolds of Weil type. We compare these two moduli interpretations and in particular divisors on the moduli…
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…
This paper aims to establish the geometrical finiteness for the natural isometric actions of (birational) automorphism groups on the hyperbolic spaces for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties.…
The zeta function of a K3 surface over a finite field satisfies a number of obvious (archimedean and l-adic) and a number of less obvious (p-adic) constraints. We consider the converse question, in the style of Honda-Tate: given a function…
We show that the Satake-Baily-Borel compactification of the moduli space of lattice polarized K3 surfaces parametrizing K3 surfaces of degree 2 with four rational double points of type $D_4$ is the projective 3-space. We also show that the…
For infinitely many $d$, Hassett showed that special cubic fourfolds of discriminant $d$ are related to polarized K3 surfaces of degree $d$ via their Hodge structures. For half of the $d$, each associated K3 surface $(S,L)$ canonically…
We give a simple proof of the statement that every rational curve in the primitive class of a general K3 surface is nodal.