\(K3\) surfaces with Picard number one and infinitely many rational points
type: Item
instance of: scholarly article
title: \(K3\) surfaces with Picard number one and infinitely many rational points
zbMATH Open document ID: 1123.14022
author: Ronald van Luijk
published in: Algebra \& Number Theory
publication date: 2007-08-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0506416
review text: The author constructs infinitely many \(K3\)-surfaces \(X/\mathbb Q\) such that \(X(\mathbb Q)\) is infinite and the geometric Picard number of \(X\) equals 1. A sketch of the proof is as follows. The author starts with a family of degree 4 surfaces \(X\) in \(\mathbb P^2\), such that all members of this family reduce to the same surface modulo 6. Let \(X_p\) denote the reduction of \(X\) modulo \(p\). Using the Lefschetz trace formula the author shows that the geometric Picard number of \(X_2\) and of \(X_3\) equal two. This implies that the geometric Picard number of \(X\) is at most 2. He shows that \(X_2\) contains a line and \(X_3\) contains a conic. This implies that the discriminant of the Néron-Severi lattice of \(X_2\) and of \(X_3\) differ by a non-square. He then observes that if \(X\) would have geometric Picard number 2 then both discriminants would differ by a square, hence \(X\) has geometric Picard number 2. He considers a subfamily of \(X\) such that each member has a hyperplane section with two nodes. The normalization \(E\) of such a curve is an elliptic curve. The author finds two rational points \(O,T\) on \(E\), taking \(O\) as the identity he checks whether \(2520T=O\), since this is not the case it follows from a Theorem of Mazur that \(T\) has infinite order, hence \(X\) contains infinitely many rational points.
reviewed by: Remke Kloosterman
Mathematics Subject Classification ID: 14J28
Mathematics Subject Classification ID: 14C22
Mathematics Subject Classification ID: 14G05
zbMATH DE Number: 5177914
zbMATH Keywords: Picard group of \(K3\) surfaces
MaRDI profile type: Publication
OpenAlex ID: W2066411678
arXiv ID: math/0506416
DOI: 10.2140/ANT.2007.1.1
description: scientific article