K3 surfaces with Picard number one and infinitely many rational points

We report on our results concerning the distribution of the geometric Picard ranks of $K3$ surfaces under reduction modulo various primes. In the situation that $\rk \Pic S_{\overline{K}}$ is even, we introduce a quadratic character, called the jump character, such that $\rk \Pic S_{\overline\bbF_{\!\frakp}} > \rk \Pic S_{\overline{K}}$ for all good primes, at which the character evaluates to $(-1)$.

For a K3 surface of finite height over a field of odd characteristic, there exists a smooth lifting to the ring of Witt vectors such that the reduction map from the Picard group of the generic fiber to the Picard group of the special fiber is isomorphic. In this paper, using this result, we give a criterion for a K3 surface of finite height over a field of odd characteristic to be an Enriques K3 surface or to be a K3 surface in terms of the Neron-Severi lattice. Then we show ...

In this paper we study the geometry of the $14$ families of K3 surfaces of Picard number four with finite automorphism group, whose N\'eron-Severi lattices have been classified by \`E.B. Vinberg. We provide projective models, we identify the degrees of a generating set of the Cox ring and in some cases we prove the unirationality of the associated moduli space.

For any algebraic variety $V$ defined over a number field $k$, and ample height function $H$ on $V$, one can define the counting function $N_V(B) = #{P\in V(k) \mid H(P)\leq B}$. In this paper, we calculate the counting function for Kummer surfaces $V$ whose associated abelian surface is the product of elliptic curves. In particular, we effectively construct a finite union $C = \cup C_i$ of curves $C_i$ on $V$ such that $N_{V-C}(B)\ll N_C(B)$; that is, $C$ is an accumulating ...

Given a K3 surface $X$ over a number field $K$ with potentially good reduction everywhere, we prove that the set of primes of $K$ where the geometric Picard rank jumps is infinite. As a corollary, we prove that either $X_{\overline{K}}$ has infinitely many rational curves or $X$ has infinitely many unirational specializations. Our result on Picard ranks is a special case of more general results on exceptional classes for K3 type motives associated to GSpin Shimura varieties. ...

We show the existence of 112 non-singular rational curves on the supersingular K3 surface with Artin invariant 1 in characteristic 3 by several ways. Using these rational curves, we have a $(16)_{10}$-configuration and a $(280_{4}, 112_{10})$-configuration on the K3 surface. Moreover we study the Picard lattice by using the theory of the Leech lattice. The 112 non-singular rational curves correspond to 112 Leech roots.

A rational triangle is a triangle with rational sides and rational area. A Heron triangle is a triangle with integral sides and integral area. In this article we will show that there exist infinitely many rational parametrizations, in terms of s, of rational triangles with perimeter 2s(s+1) and area s(s^2-1). As a corollary, there exist arbitrarily many Heron triangles with all the same area and the same perimeter. The proof uses an elliptic K3 surface Y. Its Picard number is...

Let $\mathbb{P}$ denote the weighted projective space with weights $(1,1,1,3)$ over the rationals, with coordinates $x,y,z,$ and $w$; let $\mathcal{X}$ be the generic element of the family of surfaces in $\mathbb{P}$ given by \begin{equation*} X\colon w^2=x^6+y^6+z^6+tx^2y^2z^2. \end{equation*} The surface $\mathcal{X}$ is a K3 surface over the function field $\mathbb{Q}(t)$. In this paper, we explicitly compute the geometric Picard lattice of $\mathcal{X}$, together with i...

This article wants to show two things: first, that certain problems in Diophantus' Arithmetica lead to equations defining del Pezzo surfaces or other rational surfaces, while certain others lead to K3 surfaces; second, that Diophantus' own solutions to these problems, when viewed through a modern lens, lead to parametrizations of these surfaces, or of parametrizations of rational curves lying on them.

We report on our project to find explicit examples of $K3$ surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for point counting on surfaces defined over finite fields. For this, we describe algorithms that are $p$-adic in nature.