Cyclic Cubic Points on Higher Genus Curves

Basic Information

• Paper ID: 2405.13743
• Title: Cyclic Cubic Points on Higher Genus Curves
• Author: James Rawson
• Classification: math.NT (Number Theory)
• Publication Date: May 2024 (arXiv v2: October 2025)
• Paper Link: https://arxiv.org/abs/2405.13743

Abstract

The distribution of degree $d$ points on curves is well understood, especially for low degrees. We refine this study to include information on the Galois group in the simplest interesting case: $d = 3$. For curves of genus at least 5, we show cubic points with Galois group $C_3$ arise from well-structured morphisms, along with providing computable tests for the existence of such morphisms. We prove the same for curves of lower genus under some geometric or arithmetic assumptions.

Research Background and Motivation

Problem Background

This paper investigates the distribution of cyclic cubic points on algebraic curves. Let $X$ be a smooth projective geometrically irreducible curve defined over a number field $K$, with genus $g \geq 2$. A cyclic cubic point is an element in $X(L) \setminus X(K)$, where $L$ is a cubic extension of $K$ with Galois group isomorphic to the cyclic group $C_3$.

Research Motivation

1. Theoretical Completeness: Although the distribution of general cubic points has been well understood by Abramovich-Harris, research specifically considering Galois group structure remains relatively limited.
2. Computational Feasibility: Existing theory often lacks computable decision criteria; this paper provides practical testing methods.
3. Integration of Geometry and Number Theory: The existence of cyclic cubic points is closely related to the geometric properties of curves, such as morphisms.

Limitations of Existing Methods

• Abramovich-Harris's results only consider general cubic points without distinguishing Galois group structure
• Lack of unified treatment for lower genus curves
• Absence of effective computational decision criteria

Core Contributions

1. Main Structure Theorem: For curves of genus $\geq 5$, completely characterizes the necessary and sufficient conditions for the existence of infinitely many cyclic cubic points.
2. Computable Decision Criteria: Provides effective algorithms to determine whether a curve has only finitely many cyclic cubic points.
3. Extension to Lower Genus: Extends results to curves of genus 2, 3, 4 under additional geometric or arithmetic assumptions.
4. Integral Points Theory: Establishes distribution theory for integral cyclic cubic points.
5. Concrete Applications: Provides applications to specific examples such as modular curves.

Detailed Methodology

Task Definition

Input: A smooth projective curve $X$ of genus $g \geq 2$ defined over a number field $K$Output: Determine whether $X$ has infinitely many cyclic cubic points and characterize their sources Constraints: Assume the existence of a cubic divisor to define the Abel-Jacobi map

Core Theoretical Framework

1. Discriminant Curve Concept

Definition 2.1: For a cubic morphism $f: X \to Y$, its discriminant curve $Y_{\Delta(f)}$ is the smooth curve corresponding to the function field $K(Y)(\sqrt{\Delta})$, where $\Delta$ is the discriminant of the field extension $K(X)/K(Y)$.

2. Geometric Sources of Cyclic Cubic Points

Theorem 2.1: Let $f: X \to Y$ be a cubic morphism with $Y$ being $\mathbb{P}^1$ or an elliptic curve of positive rank. Then $f$ has infinitely many cyclic cubic fibers if and only if the discriminant curve $Y_{\Delta(f)}$ is $\mathbb{P}^1$ or an elliptic curve of positive rank.

3. Main Structure Theorem

Theorem 1.1 (Genus $\geq 5$ case): Let $X/K$ be a curve of genus $g \geq 5$. Then $X$ has infinitely many cyclic cubic points if and only if there exists a cubic morphism $f: X \to Y$ such that:

• $Y$ is $\mathbb{P}^1$ or an elliptic curve of positive rank
• The discriminant curve $Y_{\Delta(f)}$ is also $\mathbb{P}^1$ or an elliptic curve of positive rank

Technical Innovations

1. Discriminant Curve Method

By introducing the concept of discriminant curves, the existence problem of cyclic cubic points is transformed into a problem about the geometric properties of discriminant curves, representing an important technical innovation.

2. Weierstrass Point Conditions

Proposition 2.1: If there exists a cubic morphism $f: X \to \mathbb{P}^1$ such that the discriminant curve has genus 0 or 1, then there exist distinct points $P_1, \ldots, P_g \in X(\bar{K})$ such that $3P_i \sim 3P_j$ for all $i,j$.

For curves of genus $\geq 3$, such points must be Weierstrass points, providing computable decision criteria.

3. Special Treatment for Lower Genus

For genus 2 curves, additional considerations include:

• The curve's 3-automorphisms
• 3-isogenies of the Jacobian

Experimental Setup

Theoretical Verification

This paper is primarily theoretical work, with results verified through the following approaches:

1. Concrete Example Construction

Example 1: Constructs a genus 10 curve with infinitely many cyclic cubic points but admitting no $C_3$-morphism to $\mathbb{P}^1$ or an elliptic curve:

y³ - 4(27x¹⁰ + x³ - 16x + 16)y = 16x⁵(27x¹⁰ + x³ - 16x + 16)

2. Computational Verification

Example 2: For a genus 5 hyperelliptic curve:

y² = (x-1)(x+1)(x⁹ - x⁷ + x⁶ + 2x⁵ - 3x⁴ - x³ + 3x² - 1)

Computational verification using Magma confirms it has only finitely many cyclic cubic points.

Application Instances

1. Modular Curve Applications

Corollary 5.2: Under the Bombieri-Lang conjecture, the modular curve $X_{ns}^+(13)$ has only finitely many points defined over cyclic cubic extensions.

2. Elliptic Curve Classification

Theorem 5.4: There are only finitely many elliptic curves defined over cyclic cubic number fields that admit a 22-isogeny.

Experimental Results

Main Results

1. Complete Characterization Theorem

For curves of genus $\geq 5$, provides a complete characterization of the finiteness of cyclic cubic points, representing significant progress in this field.

2. Computable Decision Criteria

Theorem 1.2: Provides three verifiable conditions; when satisfied, the curve has only finitely many cyclic cubic points:

• No 3-order $K$-rational automorphisms
• No unramified double covers with such automorphisms
• Linear equivalence condition on Weierstrass points

3. Extension to Lower Genus

Successfully extends results to genus 2, 3, 4, though requiring additional assumptions:

• Theorem 1.3: Genus $\geq 3$, requires the Bombieri-Lang conjecture (when $g=3$)
• Theorem 1.4: Genus $\geq 2$, requires Jacobian rank zero
• Theorem 1.5: Integral points case

Technical Verification

Validates the theory through concrete computations:

• Uses Magma to verify automorphism group calculations
• Uses Sage to compute Weierstrass points and Galois groups
• Verifies finiteness of cyclic cubic points for multiple specific curves

Related Work

Core Related Work

1. Abramovich-Harris AH91: Establishes the relationship between the infiniteness of $\text{Sym}^3 X(K)$ and the existence of cubic morphisms
2. Derickx-Najman DN19: Studies torsion points of elliptic curves over cyclic cubic fields
3. Levin Lev16: Establishes distribution theory for integral points

Contributions of This Paper

Compared to existing work, this paper:

• Systematically studies cyclic cubic points for the first time (distinct from general cubic points)
• Provides computable decision criteria
• Unifies treatment of different genus cases
• Extends to integral points theory

Conclusions and Discussion

Main Conclusions

1. Completeness: Completely resolves the distribution problem of cyclic cubic points for high genus curves
2. Computability: Provides practical algorithmic decision criteria
3. Uniformity: Unifies treatment of various genus cases under reasonable assumptions

Limitations

1. Assumption Dependence: Lower genus cases require relatively strong geometric or arithmetic assumptions
2. Computational Complexity: Certain decision criteria may be computationally intensive in practical applications
3. Conjecture Dependence: Some results depend on unproven conjectures (such as Bombieri-Lang)

Future Directions

1. Eliminate dependence on unproven conjectures
2. Extend to more general degree cases
3. Study non-cyclic Galois group cases
4. Develop more efficient computational methods

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes a complete framework for cyclic cubic points theory
2. Methodological Innovation: The discriminant curve method is original and broadly applicable
3. Computational Practicality: Provides verifiable decision criteria
4. Broad Applications: Covers all levels from abstract theory to concrete applications

Weaknesses

1. Technical Complexity: Some proofs rely on deep algebraic geometry theory
2. Strong Assumptions: Assumptions in the lower genus case may limit applicability
3. Computational Challenges: Verifying certain conditions in practice may face computational difficulties

Impact

1. Theoretical Contribution: Provides new perspectives for rational point distribution theory on algebraic curves
2. Methodological Value: The discriminant curve method may apply to other related problems
3. Application Prospects: Potential value in cryptographic and number-theoretic applications

Applicable Scenarios

• Research on rational point problems in algebraic number theory
• Elliptic curve and modular form theory
• Security analysis in cryptography
• Algorithm design in computational number theory

References

This paper cites important literature in the field, including:

• Abramovich-Harris's classical work on symmetric products
• Faltings's profound theorems on rational points of abelian varieties
• Levin's modern theory on integral points
• Documentation of various computational tools such as Magma and Sage

Overall Assessment: This is a high-quality theoretical number theory paper that achieves substantial progress on the important problem of cyclic cubic point distribution. It combines profound theoretical insights with practical computational methods, making significant contributions to the development of this field.