Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Completing the classification of torsion subgroups for rational elliptic curves over sextic fields

Nikola Adžaga, Tomislav Gužvić

Abstract

We complete the classification of torsion subgroups $E(K)_{\text{tors}}$ that can occur for an elliptic curve $E/\mathbb{Q}$ over a sextic number field $K$. Previous work determined the complete set of these groups, leaving the existence of only one group in question: $C_3 \oplus C_{18}$. We prove that this group does not occur. Our proof relies on the theory of Galois representations attached to elliptic curves. The assumed existence of a $C_3 \oplus C_{18}$ torsion subgroup would impose strong, simultaneous constraints on the mod-$2$ and $3$-adic Galois representations of the curve. By applying the recent classification of $\ell$-adic Galois images for elliptic curves over $\mathbb{Q}$, we translate these arithmetic constraints into a problem of Diophantine geometry: the $j$-invariant of such a curve must correspond to a rational point on one of the finitely many modular curves. We then analyze these curves using classical methods and show that none have the necessary rational points corresponding to elliptic curves without complex multiplication, thereby proving our main result.

Completing the classification of torsion subgroups for rational elliptic curves over sextic fields

Abstract

We complete the classification of torsion subgroups that can occur for an elliptic curve over a sextic number field . Previous work determined the complete set of these groups, leaving the existence of only one group in question: . We prove that this group does not occur. Our proof relies on the theory of Galois representations attached to elliptic curves. The assumed existence of a torsion subgroup would impose strong, simultaneous constraints on the mod- and -adic Galois representations of the curve. By applying the recent classification of -adic Galois images for elliptic curves over , we translate these arithmetic constraints into a problem of Diophantine geometry: the -invariant of such a curve must correspond to a rational point on one of the finitely many modular curves. We then analyze these curves using classical methods and show that none have the necessary rational points corresponding to elliptic curves without complex multiplication, thereby proving our main result.
Paper Structure (6 sections, 9 theorems, 13 equations, 1 table)

This paper contains 6 sections, 9 theorems, 13 equations, 1 table.

Table of Contents

  1. Introduction
  2. Galois representations and maximal subgroups of GL2
  3. Galois representations
  4. Subgroups of GL2
  5. Torsion growth over quadratic and cubic fields
  6. Results

Key Result

Theorem 1.1

Let $E/\mathbb{Q}$ be an elliptic curve. Then $E(\mathbb{Q})_{tors}$ is isomorphic to one of the following groups:

Theorems & Definitions (14)

  • Theorem 1.1: mazurtorzija
  • Theorem 1.2
  • Remark
  • Theorem 2.1: najman_ratcubic
  • Theorem 2.2: najman_ratcubic
  • Theorem 3.1
  • Theorem 3.2: adic
  • Corollary 3.3: Special case of adic
  • Proposition 3.4
  • Remark
  • ...and 4 more