Related papers: Two lectures on the arithmetic of K3 surfaces

Following an idea of Ishida, we develop polynomial equations for certain unramified double covers of surfaces with p_g=q=1 and K^2=2. Our first main result provides an explicit surface surface X with these invariants defined over Q that has…

A theta surface in affine 3-space is the zero set of a Riemann theta function in genus 3. This includes surfaces arising from special plane quartics that are singular or reducible. Lie and Poincar\'e showed that theta surfaces are precisely…

Aspects of the properties, enumeration and construction of points on diagonal and Hermitian surfaces have been considered extensively in the literature and are further considered here. The zeta function of diagonal surfaces is given as a…

We develop a mixed-characteristic version of the Mori-Mukai technique for producing rational curves on K3 surfaces. We reduce modulo p, produce rational curves on the resulting K3 surface over a finite field, and lift to characteristic…

We prove that for any of a wide class of elliptic surfaces $X$ defined over a number field $k$, if there is an algebraic point on $X$ that lies on only finitely many rational curves, then there is an algebraic point on $X$ that lies on no…

Arithmetic of K3 surfaces defined over finite fields is investigated. In particular, we show that any K3 surface of finite height over a finite field k of characteristic p > 3 has a quasi-canonical lifting to characteristic 0, and that for…

We discuss properties of the Seifert form for simple $K3$ singularities, and of the Picard lattices of families of weighted $K3$ surfaces. We study a collection $\mathcal{M}_{(\rho,\,\delta)}$ of $K3$ surfaces polarized by their Picard…

We provide a real analog of the Yau-Zaslow formula counting rational curves on $K3$ surfaces.

Motivated by the relation between (twisted) K3 surfaces and special cubic fourfolds, we construct moduli spaces of polarized twisted K3 surfaces of any fixed degree and order. We do this by mimicking the construction of the moduli space of…

We give examples of non-isotrivial K3 surfaces over complex function fields with Zariski-dense rational points and N'eron-Severi rank one.

We study the geometry of B\"uchi's K3 surface showing that the rational points of this surface are Zariski-dense.

We compute a complete set of isomorphism classes of cubic fourfolds over $\mathbb{F}_2$. Using this, we are able to compile statistics about various invariants of cubic fourfolds, including their counts of points, lines, and planes; all…

Generalizing the problem of counting rational points on curves and surfaces over finite fields, we consider the setting of $n \times n$ matrix points with finite field entries. We obtain exact formulas for matrix point counts on elliptic…

The geometric objects of study in this paper are K3 surfaces which admit a polarization by the unique even unimodular lattice of signature (1,17). A standard Hodge-theoretic observation about this special class of K3 surfaces is that their…

We review the following subjects: 1. Basic theory on algebraic curves and their moduli space, 2. Schottky uniformization theory of Riemann surfaces, and its extension called arithmetic uniformization theory, 3. Application to these theories…

We extend the approach Abbott, Kedlaya and Roe to computation of the zeta function of a projective hypersurface with $\tau$ isolated ordinary double points over a finite field $\mathbb{F}_q$ given by the reduction of a homogeneous…

We construct examples of $K3$ surfaces of geometric Picard rank $1$. Our method is a refinement of that of R. van Luijk. It is based on an analysis of the Galois module structure on \'etale cohomology. This allows to abandon the original…

We prove a closed formula for the integrals of the top Segre classes of tautological bundles over the Hilbert schemes of points of a K3 surface X. We derive relations among the Segre classes via equivariant localization of the virtual…

The more recent paper "Generic strange duality for K3 surfaces" by the authors contains stronger results.

Based on high precision computation of periods and lattice reduction techniques, we compute the Picard group of smooth surfaces. We also study the lattice reduction technique that is employed in order to quantify the possibility of…