2025-11-24T11:07:17.706098

Quartic surface, its bitangents and rational points

Corvaja, Zucconi
Let X be a smooth quartic surface not containing lines, defined over a number field K. We prove that there are only finitely many bitangents to X which are defined over K. This result can be interpreted as saying that a certain surface, having vanishing irregularity, contains only finitely many rational points. In our proof, we use the geometry of lines of the quartic double solid associated to X. In a somewhat opposite direction, we show that on any quartic surface X over a number field K, the set of algebraic points in X(\overeline K) which are quadratic over a suitable finite extension K' of K is Zariski-dense.
academic

Quartic Surfaces, Their Bitangents and Rational Points

Basic Information

  • Paper ID: 2010.08623
  • Title: Quartic surfaces, their bitangents and rational points
  • Authors: Pietro Corvaja, Francesco Zucconi (University of Udine, Italy)
  • Classification: math.NT (Number Theory)
  • Publication Date: 2023, Épijournal de Géométrie Algébrique, Volume 7, Article No. 3
  • Paper Link: https://arxiv.org/abs/2010.08623

Abstract

Let X be a smooth quartic surface defined over a number field κ and containing no lines. This paper proves that X admits only finitely many bitangent lines defined over κ. This result can be interpreted as stating that a certain surface with zero irregularity contains only finitely many rational points. In the proof, the authors employ the line geometry of the quartic double cover associated with X. In the opposite direction, the authors prove that for any quartic surface X over a number field κ, the set of algebraic points in X(κ̄) that are quadratic over some finite extension κ' of κ is Zariski dense.

Research Background and Motivation

Problem Background

  1. Arithmetic Geometry of Quartic Surfaces: Smooth quartic surfaces are K3 surfaces, which hold an important position in algebraic geometry. Understanding the distribution of rational points on them is a central problem in Diophantine geometry.
  2. Geometric Significance of Bitangents: Bitangent lines are lines tangent to the quartic surface at two distinct points, and they form an algebraic surface S whose geometric properties are intimately related to the original quartic surface.
  3. Bombieri-Lang Conjecture: This conjecture predicts that rational points on general type algebraic varieties are finite. This paper provides evidence for this conjecture in specific cases.

Research Motivation

  1. Combining Arithmetic and Geometry: Understanding arithmetic properties through studying the geometric properties of the bitangent surface
  2. Rational Points on K3 Surfaces: Although K3 surfaces are considered "special varieties" whose rational points should be potentially dense, this remains unproven in general
  3. Application of Quartic Double Covers: Utilizing the line geometry of the quartic double cover Q → P³ to study the original problem

Core Contributions

  1. Main Theorem A: For any smooth quartic surface X over a number field κ, there exists a finite extension κ'/κ such that the set of algebraic points in X(κ̄) that are quadratic over κ' is Zariski dense.
  2. Main Theorem B: For a smooth quartic surface X containing no lines, there are only finitely many bitangent lines defined over κ.
  3. Main Theorem C: The bitangent parameter surface S contains no curves of geometric genus ≤ 1, providing strong evidence for the Bogomolov conjecture.
  4. Counterexample Construction: The Schur quartic surface is presented as an example showing that when a quartic surface contains lines, there may exist infinitely many rational bitangent lines.

Detailed Methodology

Problem Formulation

Study the arithmetic properties of bitangent lines to smooth quartic surfaces X ⊂ P³ defined over number fields, specifically:

  • Input: A smooth quartic surface X over a number field κ
  • Output: Finiteness/infiniteness results regarding the rationality of bitangent lines
  • Constraints: X is smooth and (for Theorem B) contains no lines

Core Geometric Construction

1. Bitangent Parameter Surface

Define the bitangent surface: S:={[l]∈G(2,4)∣X∣l=V(fl) where fl is biquadratic}S := \{[l] \in G(2,4) | X|_l = V(f_l) \text{ where } f_l \text{ is biquadratic}\}

where G(2,4) is the Grassmannian parametrizing lines in P³.

2. Quartic Double Cover

Construct a 2:1 cover π_Q: Q → P³ branched over X, where:

  • Q is a quartic double cover with Fano properties
  • The lines on Q form the Hilbert scheme S_X
  • There exists a 2:1 étale cover f: S_X → S

3. Contact Point Surface

Define the contact point variety: Y:={([l],p)∈S×X∣p∈X∣l}Y := \{([l],p) \in S \times X | p \in X|_l\}

This gives a 2:1 cover π: Y → S, branched over hyperflexible curves.

Technical Innovations

1. Application of Albanese Maps

  • Utilize Welters' result: the irregularity q(S_X) = 10 > dim(S_X) = 2
  • Apply Faltings' theorem to obtain degeneracy of rational points
  • Use the injectivity of the Albanese map α: S_X → Alb(S_X)

2. Isomorphism of Intermediate Jacobians

Key result: The Abel-Jacobi map Alb(S_X) → J(Q) is an isomorphism of Abelian varieties, where J(Q) is the intermediate Jacobian of the quartic double cover.

3. Geometry of Special Divisors

For l ∈ S_X, define: Dl:={[m]∈SX∣m∩l≠∅,m≠l}D_l := \{[m] \in S_X | m \cap l \neq \emptyset, m \neq l\}

The geometric properties of these divisors (genus 70, degree 20) play a crucial role in the proof.

Experimental Setup

Concrete Example Analysis

Schur Quartic Surface: Equation: x⁴ - xy³ = z⁴ - zw³

For each point (s₀ : s₁) ∈ P¹, the line:

s₀³x = s₁³z \\ s₀w = s₁z \end{cases}$$ is a fourfold tangent to X, in particular a bitangent line. This shows that when a quartic surface contains lines (this example contains 64 lines with Picard number 20), there may exist infinitely many rational bitangent lines. ## Main Results ### Proof Strategy for Theorem A 1. Apply Theorem 2.1: any smooth quartic surface contains a 1-dimensional family of genus 1 curves 2. Choose such a curve C with infinitely many rational points over an appropriate number field extension 3. For each rational point p ∈ C, consider the tangent plane section X_p 4. X_p is a quartic curve with nodes, admitting a hyperelliptic map X_p → P¹ 5. Rational points on P¹ yield quadratic points on X_p ### Proof Strategy for Theorem B 1. **Degeneracy**: Via the Chevalley-Weil theorem, reduce to proving finiteness of rational points on S_X 2. **Application of Faltings' Theorem**: Since q(S_X) = 10 > dim(S_X) = 2, the Albanese map is a closed embedding, yielding degeneracy of rational points 3. **Excluding Low Genus Curves**: Use Theorem C to exclude infinite families of rational points on curves of genus ≤ 1 ### Key Points in Proof of Theorem C 1. Assume there exists a genus 1 curve E ⊂ S 2. Lift to S_X to obtain an elliptic curve, embedded via the Albanese map into a 10-dimensional Abelian variety 3. Construct a morphism h: S_X → Pic⁰(E), utilizing the equivariance of the involution 4. Derive a contradiction: q(S) = 0 but there exists a surjection to the Jacobian of an elliptic curve ## Related Work ### Historical Background 1. **Welters (1981)**: Established foundational theory connecting bitangent surfaces with the geometry of quartic double covers 2. **Tikhomirov (1981)**: Studied the Hilbert scheme of lines on quartic double covers 3. **van Luijk (2007)**: Proved that K3 surfaces with Picard number 1 have infinitely many rational points ### Relationship to Existing Work 1. **Arithmetic of K3 Surfaces**: This paper provides a weak form result on density of rational points on K3 surfaces 2. **Bombieri-Lang Conjecture**: Provides new evidence for finiteness of rational points on general type surfaces 3. **Bogomolov Conjecture**: Proves a strong form of finiteness for low genus curves ## Conclusions and Discussion ### Main Conclusions 1. Quartic surfaces containing no lines admit only finitely many rational bitangent lines 2. Any quartic surface contains a Zariski dense set of quadratic rational points 3. The bitangent parameter surface satisfies a strong form of geometric conjectures ### Limitations 1. **Linear Condition**: Theorem B requires that the quartic surface contains no lines; this condition cannot be completely removed 2. **Field Extension**: Theorem A requires passage through an appropriate finite extension 3. **Constructivity**: The proof is existential and does not provide effective bounds on the number of bitangent lines ### Future Directions 1. Study the distribution of bitangent lines on quartic surfaces containing lines 2. Improve the density result for quadratic points, seeking more direct constructions 3. Generalize the methods to other types of surfaces ## In-Depth Evaluation ### Strengths 1. **Methodological Innovation**: Cleverly transforms the bitangent problem into a line geometry problem on quartic double covers 2. **Theoretical Depth**: Synthesizes techniques from algebraic geometry, arithmetic geometry, and Hodge theory 3. **Complete Results**: Provides both finiteness and density results, forming a complete picture 4. **Technical Sophistication**: Deep application of Albanese maps and intermediate Jacobians ### Weaknesses 1. **Restrictive Conditions**: Main results require strong geometric conditions (absence of lines) 2. **Ineffectivity**: No effective upper bound on the number of rational bitangent lines is provided 3. **Algorithmic Complexity**: Determining the rationality of bitangent lines for a given quartic surface is practically difficult ### Impact 1. **Theoretical Contribution**: Provides new evidence and methods for several important conjectures 2. **Methodological Value**: Techniques involving quartic double covers may apply to other problems 3. **Interdisciplinary**: Connects deep structures in algebraic and arithmetic geometry ### Applicable Scenarios 1. Study of arithmetic properties of K3 surfaces and other special surfaces 2. Distribution of rational points on general type surfaces 3. Rationality problems in birational geometry ## References 1. Welters, G.E.: Abel-Jacobi isogenies for certain types of Fano threefolds (1981) 2. Tikhomirov, A.S.: The geometry of the Fano surface of double covers (1981) 3. Faltings, G.: Diophantine Approximation on Abelian Varieties (1991) 4. van Luijk, R.: K3 surfaces with Picard number one and infinitely many rational points (2007) --- Through profound geometric analysis and sophisticated technical treatment, this paper achieves significant progress in the arithmetic geometry of quartic surfaces, providing new perspectives and methods for understanding the distribution of rational points on K3 surfaces.