1: \begin{abstract}

2: In general, not much is known about the arithmetic of K3

3: surfaces. Once the geometric Picard number, which is the rank of the 

4: N\'eron-Severi group over an algebraic closure of the base field, is

5: high enough, more structure is known and more can be said.  

6: However, until recently not a single K3 surface was known to have

7: geometric Picard number one. We give

8: explicit examples of such surfaces over the rational numbers.

9: This solves an old problem that has been attributed to Mumford.

10: The examples we give also contain infinitely many rational points,

11: thereby answering a question of Swinnerton-Dyer and Poonen. 

12: \end{abstract}

13: