Classification of torsion of elliptic curves over quartic fields

Basic Information

• Paper ID: 2412.16016
• Title: Classification of torsion of elliptic curves over quartic fields
• Authors: Maarten Derickx, Filip Najman
• Classification: math.NT (Number Theory), math.AG (Algebraic Geometry)
• Publication Date: February 18, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2412.16016

Abstract

Let $E$ be an elliptic curve over a quartic field $K$. By the Mordell-Weil theorem, $E(K)$ is a finitely generated group. This paper determines all possible structures of the torsion subgroup $E(K)_{tors}$ as $K$ ranges over all quartic fields and $E$ ranges over all elliptic curves over $K$. The authors prove that there are no sporadic torsion groups, meaning every torsion group either does not appear or appears for infinitely many non-isomorphic elliptic curves $E$.

Research Background and Motivation

1. Core Problem: Determine all possible torsion group structures of elliptic curves over number fields of a given degree. This is a fundamental problem in algebraic number theory involving the arithmetic properties of elliptic curves.
2. Research Significance:
   • Completes the classification work in elliptic curve torsion theory
   • Follows Mazur's classification over $\mathbb{Q}$, Kamienny's over quadratic fields, and recent work over cubic fields; quartic fields represent the natural next target
   • Provides important insights into understanding the arithmetic properties of elliptic curves over higher degree fields
3. Limitations of Previous Work:
   • Previous methods heavily relied on formal immersion criteria and computationally intensive techniques
   • Traditional approaches encounter technical difficulties for higher degree fields
   • Formal immersion methods fail when torsion order approaches the Hasse bound
4. Research Motivation: Develop new theoretical methods that reduce computational dependence and establish foundations for studying torsion classification over higher degree fields.

Core Contributions

1. Complete Classification: Determines all possible torsion groups of elliptic curves over quartic fields and proves the absence of sporadic torsion groups
2. Methodological Innovation:
   • Proposes a computation-free method for the rank 0 case (Proposition 5.1)
   • Develops the Hecke sieve method, a local approach requiring computational assistance
   • Establishes a global method for the positive rank case, requiring no computation
3. Technical Breakthrough: Avoids formal immersion techniques, making the method more applicable to higher degree fields
4. Theoretical Result: Proves that $d=4$ is likely the maximum degree for which no sporadic points of degree $d$ exist on $X_1(n)$

Detailed Methodology

Problem Definition

Determine all possible finite abelian groups $T$ such that there exist a quartic field $K$ and an elliptic curve $E/K$ satisfying $E(K)_{tors} \cong T$.

Main Theorem

Theorem 1.1: As $K$ ranges over all quartic number fields and $E$ ranges over all elliptic curves over $K$, the groups appearing as $E(K)_{tors}$ are precisely:

• $\mathbb{Z}/n\mathbb{Z}$, $n = 1-18, 20, 21, 22, 24$
• $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2n\mathbb{Z}$, $n = 1-9$
• $\mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/3n\mathbb{Z}$, $n = 1-3$
• $\mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/4n\mathbb{Z}$, $n = 1, 2$
• $\mathbb{Z}/5\mathbb{Z} \times \mathbb{Z}/5\mathbb{Z}$
• $\mathbb{Z}/6\mathbb{Z} \times \mathbb{Z}/6\mathbb{Z}$

Core Methods

1. Method for Rank 0 Case (Proposition 5.1)

For cases where $\text{rk}J_1(m,n)(\mathbb{Q}) = 0$:

• Utilize gonality bounds
• Eliminate possibilities through reduction theory
• Pure theoretical arguments without computation

2. Hecke Sieve Method (Proposition 5.4)

• Study points on modular curves using Hecke operator actions
• Apply Eichler-Shimura relations: $T_{q,\mathbb{F}_q} = \text{Frob}_q + \langle q \rangle_{\mathbb{F}_q,*}\text{Ver}_q$
• Filter non-cuspidal points to eliminate impossible reductions

3. Global Method (Proposition 4.4)

For positive rank cases:

• Utilize Abramovich's gonality lower bound: $\text{gon}_\mathbb{C} X_\Gamma > \frac{325}{2^{15}}[\text{PSL}_2(\mathbb{Z}) : \Gamma]$
• Derive contradictions by constructing maps of insufficient degree to $\mathbb{P}^1$
• Combine with minimal degree results for CM points

Technical Innovations

1. Avoidance of Formal Immersion: Overcomes the primary limitation of traditional methods
2. Novel Application of Hecke Operators: Uses Hecke operators for point filtering beyond modular form theory
3. Unified Framework: Three complementary methods cover all cases requiring elimination
4. Computational Optimization: Significantly reduces computational requirements

Experimental Setup

Computational Environment

• Hardware: Intel Xeon W-2133 CPU @ 3.60GHz, 12 cores, 64GB RAM
• Software: Magma V2.28-3, Ubuntu 18.04.6 LTS
• Total Computation Time: Approximately 6.5 CPU hours
• Peak Memory Usage: Approximately 1.5GB RAM

Data Sources

• LMFDB: Analytic rank data for modular forms
• Explicit Equations: Explicit equations for $X_1(m,n)$ computed by Andrew Sutherland
• CM Point Data: Minimal degree data for CM points from Clark et al.

Verification Methods

• All computational code is open source on GitHub
• Each computational claim has corresponding code markers
• Detailed computational logs provided

Experimental Results

Main Results

Torsion groups requiring elimination classified by treatment method:

Specific Achievements

1. Computation-Free Methods: Handled 18 groups, including high-order cases such as $\mathbb{Z}/121\mathbb{Z}$
2. Hecke Sieve Method: Successfully handled complex cases such as $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/24\mathbb{Z}$
3. Computational Efficiency: Substantially reduced computation compared to prior work

Verification Results

All 40 torsion groups requiring elimination were successfully eliminated, completing the full classification of torsion groups of elliptic curves over quartic fields.

Related Work

Historical Development

1. Mazur (1977): Classification over $\mathbb{Q}$
2. Kamienny (1992): Classification over quadratic fields
3. Derickx et al. (2021): Classification over cubic fields
4. This Work: Classification over quartic fields

Technical Comparison

• Traditional Methods: Extensive use of formal immersion and computation
• This Paper's Methods: Stronger theoretical foundation, reduced computational requirements
• Applicability: This paper's methods are better suited for generalization to higher degree fields

Conclusions and Discussion

Main Conclusions

1. Completely determines all possible torsion groups of elliptic curves over quartic fields
2. Proves the absence of sporadic torsion groups
3. Develops new methods applicable to higher degree fields

Limitations

1. A small number of cases still require special treatment
2. Some methods still require computational assistance
3. Generalization to higher degree fields requires further research

Future Directions

1. Quintic Field Classification: Already demonstrates elimination of over half the candidate groups
2. General Theory: Develop unified theory applicable to fields of arbitrary degree
3. Algorithm Optimization: Further reduce computational requirements

In-Depth Evaluation

Strengths

1. Significant Theoretical Contribution: Completes the full classification of torsion groups over quartic fields
2. Methodological Innovation: Avoids formal immersion and develops methods more applicable to higher degree fields
3. Computational Efficiency: Substantially reduces computational requirements
4. Rigor: Provides complete proofs and verifiable computations
5. Openness: All code and data are publicly accessible

Weaknesses

1. Complexity: Requires combination of multiple methods without a unified treatment framework
2. Computational Dependence: Although reduced, still requires some computational verification
3. Generalizability: Generalization to higher degree fields remains challenging

Impact

1. Academic Value: Makes important contributions to elliptic curve arithmetic theory
2. Methodological Significance: Provides new technical pathways for studying higher degree fields
3. Practical Value: Provides theoretical foundations for cryptography and coding theory

Application Scenarios

1. Parameter selection in elliptic curve cryptography
2. Theoretical research in algebraic number theory
3. Algorithm design in computational number theory

References

1. B. Mazur, "Modular curves and the Eisenstein ideal", Inst. Hautes Études Sci. Publ. Math., 1977
2. S. Kamienny, "Torsion points on elliptic curves and q-coefficients of modular forms", Invent. Math., 1992
3. M. Derickx et al., "Sporadic cubic torsion", Algebra Number Theory, 2021
4. D. Abramovich, "A linear lower bound on the gonality of modular curves", Internat. Math. Res. Notices, 1996

This paper makes important contributions to elliptic curve arithmetic theory. Beyond completing the full classification over quartic fields, it more importantly develops new methods applicable to studying higher degree fields, establishing a solid foundation for further development in this area.