K3 surfaces with Picard number one and infinitely many rational points

We prove that there exists a number field $\fie$ and a smooth projective $\mathrm{K3}$ surface $S_{22}$ (of genus $12$) over $\fie$ such that the geometric Picard number of $S_{22}$ is equal to $1$ and the $\fie$-rational points of $S_{22}$ are Zariski dense.

We show that, for every prime number p, there exist infinitely many K3 surfaces over Q whose rational points lie dense in the space of p-adic points. We also show that there exists a K3 surface over Q whose rational points lie dense in the space of p-adic points for all prime numbers p with p congruent to 3 mod 4 and greater than 7.

We prove that any non-isotrivial elliptic K3 surface over an algebraically closed field $k$ of arbitrary characteristic contains infinitely many rational curves. In the case when $\mathrm{char}(k)\neq 2,3$, we prove this result for any elliptic K3 surface. When the characteristic of $k$ is zero, this result is due to the work of Bogomolov-Tschinkel and Hassett.

We determine all complex K3 surfaces with Picard rank 20 over Q. Here the Neron-Severi group has rank 20 and is generated by divisors which are defined over Q. Our proof uses modularity, the Artin-Tate conjecture and class group theory. With different techniques, the result has been established by Elkies to show that Mordell-Weil rank 18 over Q is impossible for an elliptic K3 surface. We then apply our methods to general singular K3 surfaces, i.e. with Neron-Severi group of ...

We study the distribution of algebraic points on K3 surfaces.

Let $k$ be either a number a field or a function field over $\mathbb{Q}$ with finitely many variables. We present a practical algorithm to compute the geometric Picard lattice of a K3 surface over $k$ of degree $2$, i.e., a double cover of the projective plane over $k$ ramified above a smooth sextic curve. The algorithm might not terminate, but if it terminates then it returns a proven correct answer.

We discuss some aspects of the behavior of specialization at a finite place of N\'eron-Severi groups of K3 surfaces over number fields. We give optimal lower bounds for the Picard number of such specializations, thus answering a question of Elsenhans and Jahnel. As a consequence of these results, we show that it is possible to explicitly compute the Picard number of any given K3 surface over a number field.

For a smooth complex projective variety, the rank of the N\'eron-Severi group is bounded by the Hodge number h^{1,1}. Varieties with rk NS = h^{1,1} have interesting properties, but are rather sparse, particularly in dimension 2. We discuss in this note a number of examples, in particular those constructed from curves with special Jacobians.

This article examines dynamical systems on a class of K3 surfaces in $\mathbb{P}^{2} \times \mathbb{P}^{2}$ with an infinite automorphism group. In particular, this article develops an algorithm to find $\mathbb{Q}$-rational periodic points using information modulo $p$ for various primes $p$. The algorithm is applied to exhibit K3 surfaces with $\mathbb{Q}$-rational periodic points of primitive period $1,...,16$. A portion of the algorithm is then used to determine the Rieman...

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 zero. As an application, we prove that all complex K3 surfaces with Picard group generated by a class of degree two have an infinite number of rational curves.