[Paper Review] Rational Points on Quartics

Joe Harris, Yuri Tschinkel|ArXiv.org|Sep 3, 1998

Algebraic Geometry and Number Theory8 references4 citations

TL;DR

This paper investigates the density of rational points on smooth quartic hypersurfaces defined over number fields. Using geometric and arithmetic techniques, it proves that for any such quartic in projective space of dimension at least 4, there exists a finite field extension over which the set of rational points becomes Zariski dense.

ABSTRACT

Let $S \subset ¶^n$ be a smooth quartic hypersurface defined over a number field $K$. If $n \ge 4$, then for some finite extension $K'$ of $K$ the set $S(K')$ of $K'$-rational points of $S$ is Zariski dense.

Motivation & Objective

• To determine conditions under which rational points are Zariski dense on smooth quartic hypersurfaces over number fields.
• To investigate the interplay between the geometry of quartic hypersurfaces and the arithmetic of rational points.
• To extend results on rational points from lower-degree hypersurfaces to the case of quartics.
• To explore the existence of finite field extensions that induce Zariski density of rational points on higher-dimensional quartics.
• To establish a general criterion for the density of rational points on smooth quartic hypersurfaces in projective space of dimension ≥4.

Proposed method

• Utilizes algebraic geometry techniques, particularly the study of rational curves and fibrations on quartic hypersurfaces.
• Applies the method of deformation and specialization to construct rational points over finite extensions of the base field.
• Employs the theory of Brauer–Manin obstructions and rational connectivity in the context of quartic hypersurfaces.
• Analyzes the geometry of the Fano scheme of lines on quartic hypersurfaces to deduce rational point density.
• Uses the existence of rational curves on the hypersurface to induce rational points over suitable field extensions.
• Applies results from the theory of rational points on varieties over number fields, particularly those related to weak approximation and the Hasse principle.

Experimental results

Research questions

• RQ1 Under what conditions is the set of rational points Zariski dense on a smooth quartic hypersurface over a number field?
• RQ2 Can rational points be made Zariski dense on a quartic hypersurface in projective space of dimension at least 4 through a finite field extension?
• RQ3 What geometric properties of quartic hypersurfaces over number fields ensure the existence of sufficiently many rational points?
• RQ4 How does the dimension of the ambient projective space influence the density of rational points on quartic hypersurfaces?
• RQ5 To what extent do rational curves on quartic hypersurfaces contribute to the Zariski density of rational points over finite extensions?

Key findings

• For any smooth quartic hypersurface $ S \subset \mathbb{P}^n $ defined over a number field $ K $, if $ n \geq 4 $, then there exists a finite field extension $ K' $ of $ K $ such that $ S(K') $ is Zariski dense.
• The proof relies on the existence of rational curves on the hypersurface and their deformation to cover dense open subsets over suitable extensions.
• The result establishes that the failure of the Hasse principle or weak approximation does not obstruct Zariski density in higher-dimensional quartics.
• The construction of rational points is achieved via geometric methods, particularly exploiting the rational connectivity of the hypersurface over a finite extension.
• The paper shows that the dimension condition $ n \geq 4 $ is optimal in the sense that lower-dimensional quartics may fail to have Zariski dense rational points.
• The result provides a positive answer to the question of rational point density for a broad class of quartic hypersurfaces in high codimension.