[Paper Review] Arithmetic of K3 surfaces

Matthias Schuett|ArXiv.org|Aug 7, 2008

Algebraic Geometry and Number Theory34 references3 citations

TL;DR

This paper reviews recent advances in the arithmetic of K3 surfaces, focusing on modularity, Picard number, and rational points, with an emphasis on geometric connections. It establishes that rational points are potentially dense on K3 surfaces with elliptic fibrations or infinite automorphism groups, and discusses the Brauer-Manin obstruction as a key tool in understanding rational points.

ABSTRACT

We review recent developments in the arithmetic of K3 surfaces. Our focus lies on aspects of modularity, Picard number and rational points. Throughout we emphasise connections to geometry.

Motivation & Objective

• To survey recent developments in the arithmetic of K3 surfaces, particularly in modularity, Picard number, and rational points.
• To clarify the interplay between arithmetic properties and geometric structures such as elliptic fibrations and Néron-Severi groups.
• To investigate the potential density of rational points on K3 surfaces over number fields and function fields.
• To examine the role of the Brauer-Manin obstruction in the failure of the Hasse principle for K3 surfaces.
• To highlight open problems, especially regarding K3 surfaces with Picard number one and their rational point behavior.

Proposed method

• Uses geometric and cohomological techniques, including étale cohomology and Galois representations, to analyze arithmetic properties.
• Applies the Lefschetz fixed point formula to relate point counts over finite fields to traces of Frobenius on cohomology.
• Employs the theory of modular forms and newforms to study modularity of K3 surfaces, drawing analogies with elliptic curves.
• Analyzes the Néron-Severi group and its Galois action to understand Picard number and algebraic cycles.
• Utilizes the Brauer-Manin obstruction to explain failures of the Hasse principle, particularly in the context of K3 surfaces.
• Applies results from Manin’s conjecture and potential density theorems to predict rational point growth and density.

Experimental results

Research questions

• RQ1 Under what geometric conditions is the set of rational points potentially dense on a K3 surface over a number field?
• RQ2 To what extent does the Brauer-Manin obstruction account for the failure of the Hasse principle on K3 surfaces?
• RQ3 How does the Picard number influence the modularity and arithmetic structure of a K3 surface?
• RQ4 Can the distribution of rational points on K3 surfaces be described by a conjectural formula involving the Picard number?
• RQ5 What is the role of elliptic fibrations and automorphism groups in ensuring potential density of rational points?

Key findings

• Rational points are potentially dense on K3 surfaces with an elliptic fibration or infinite automorphism group, as shown by Bogomolov and Tschinkel.
• For K3 surfaces with Picard number one over number fields, no examples with potentially dense rational points are known, though such examples exist over function fields of complex curves.
• The Brauer-Manin obstruction is conjectured to be the only obstruction to the Hasse principle on rational varieties, but its sufficiency for K3 surfaces remains open.
• Modularity of K3 surfaces is linked to two-dimensional Galois representations and newforms, with the trace of Frobenius on $H^2$ matching Fourier coefficients.
• The number of rational points of bounded height on a K3 surface with $ ho=1$ is conjectured to grow logarithmically with the bound.
• The Tate conjecture and the finiteness of the Tate–Šafarevič group are assumed in some results on the Hasse principle for Fermat surfaces over $ ational$.