Hasse principle for Kummer varieties (Q2629783)

Let \(k\) be a number field. In this paper, the authors prove the Hasse principle (even more, they prove the Zariski density of \(k\)-points) for rational points on certain \(K3\) surfaces, which are quotients of \(2\)-coverings of an abelian surface \(A\) by the antipodal involution. The results are conditional on the finiteness of relevant Shafarevich-Tate groups. Other hypotheses of the main result (Theorem 2.3) is a bit lengthy to state. In one sentence, additional to some other mild conditions they require that the Galois action on \(A[2]\) has a large image. In the cases where {\parindent=0.7cm\begin{itemize}\item[(a)] \(A\) is the product of elliptic curves, or \item[(b)] \(A\) is the Jacobian of a genus \(2\) curve with a rational Weierstrass point, \end{itemize}} examples verifying the hypotheses are given (respectively in Theorems A and B) by explicit equations. The main idea of the proof dates back to Swinnerton-Dyer. In order to apply S-D's method, the authors make use of ideas from \textit{B. Mazur} and \textit{K. Rubin} [Ann. Math. (2) 166, No. 2, 579--612 (2007; Zbl 1219.11084); Invent. Math. 181, No. 3, 541--575 (2010; Zbl 1227.11075)] instead of a previous used linear algebra construction about Selmer groups central to S-D's method.