Related papers: Two lectures on the arithmetic of K3 surfaces
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,…
We survey some results on real rational surfaces focused on their topology and their birational geometry.
We consider the transcendental motive of three K3 surfaces $X$ conjectured to have complex multiplication (CM). Under this assumption, we match these to explicit algebraic Hecke quasi-characters $\psi_X$, and CM abelian threefolds $A$. This…
This article reports on an approach to point counting on algebraic varieties over finite fields that is based on a detailed investigation of the $2$-adic orthogonal group. Combining the new approach with a $p$-adic method, we count the…
We show several examples of integrable systems related to special K3 and rational surfaces (e.g., an elliptic K3 surface, a K3 surface given by a double covering of the projective plane, a rational elliptic surface, etc.). The construction,…
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…
We discuss various aspects of the geometry of theta characteristics including the birational geometry of the spin moduli space of curves, parametrization of moduli via special K3 surfaces, as well as the relation with classical theta…
In this paper we study the existence of rational points for the family of K3 surfaces over $\mathbb{Q}$ given by $$w^2 = A_1x_1^6 + A_2x_2^6 + A_3x_3^6.$$ When the coefficients are ordered by height, we show that the Brauer group is almost…
The purpose of this note is twofold. We first review the theory of Fourier-Mukai partners together with the relevant part of Nikulin's theory of lattice embeddings via discriminants. Then we consider Fourier-Mukai partners of K3 surfaces in…
We study analytic properties of the representation zeta functions of arithmetic groups of type $\mathsf{A}_2$, such as $\textrm{SL}_3(\mathbb{Z})$. In particular, we uncover further poles of these functions and determine a natural boundary…
This paper studies the arithmetic of the extremal elliptic K3 surface with configuration of singular fibres [19,1,1,1,1,1]. We give a model over Q such that the Neron Severi group is generated by divisors over Q, and we describe the local…
We show that the classical Kuga-Satake construction gives rise, away from characteristic 2, to an open immersion from the moduli of primitively polarized K3 surfaces (of any fixed degree) to a certain regular integral model for a Shimura…
We consider real forms of relatively minimal rational surfaces F_m. Connected components of moduli of real non-singular curves in |-2K_{F_m}| had been classified recently for m=0, 1, 4 in math.AG/0312396. Applying similar methods, here we…
In this paper we compute upper bounds for the number of ordinary triple points on a hypersurface in $P^3$ and give a complete classification for degree six (degree four or less is trivial, and five is elementary). But the real purpose is to…
We will discuss Joyce invariants of stability conditions for K3 surfaces and mock theta functions.
We study the Hodge conjecture for powers of K3 surfaces and show that if the Kuga--Satake correspondence is algebraic for a family of K3 surfaces of generic Picard number 16, then the Hodge conjecture holds for all powers of any K3 surface…
We show how to solve computationally a combinatorial problem about the possible number of roots orthogonal to a vector of given length in $E_8$. We show that the moduli space of K3 surfaces with polarisation of degree 2d is also of general…
We develop a heuristic for the density of integer points on affine cubic surfaces. Our heuristic applies to smooth surfaces defined by cubic polynomials that are log K3, but it can also be adjusted to handle singular cubic surfaces. We…
We study Cox rings of K3-surfaces. A first result is that a K3-surface has a finitely generated Cox ring if and only if its effective cone is polyhedral. Moreover, we investigate degrees of generators and relations for Cox rings of…
The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between…