Torsion for CM elliptic curves defined over number fields of degree 2p

Abbey Bourdon,Holly Paige Chaos

DOI: https://doi.org/10.48550/arXiv.2110.07819

2022-06-08

Abstract:For a prime number p, we characterize the groups that may arise as torsion subgroups of an elliptic curve with complex multiplication defined over a number field of degree 2p. In particular, our work shows that a classification in the strongest sense is tied to determining whether there exist infinitely many Sophie Germain primes.

Number Theory,Algebraic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: for a prime number \(p\), determine which groups can be the torsion subgroups of elliptic curves with complex multiplication (CM) defined over a number field of degree \(2p\). Specifically, the author aims to classify these torsion subgroups and explore the relationship between this classification and the existence of infinitely many Sophie Germain primes.

### Main problems and background of the paper

1. **Mordell's theorem**:
- In 1922, Mordell proved that the set of \(\mathbb{Q}\)-rational points \(E(\mathbb{Q})\) of an elliptic curve \(E\) defined over the field of rational numbers \(\mathbb{Q}\) is a finitely - generated abelian group, that is, \(E(\mathbb{Q})\cong E(\mathbb{Q})_{\text{tors}}\times\mathbb{Z}^r\), where \(E(\mathbb{Q})_{\text{tors}}\) represents the finite set of torsion points and \(r\in\mathbb{Z}_{\geq0}\) is the rank of \(E /\mathbb{Q}\).

2. **Mazur's theorem**:
- For an elliptic curve \(E\) defined over \(\mathbb{Q}\), its torsion subgroup \(E(\mathbb{Q})_{\text{tors}}\) is isomorphic to one of the following groups:
\[
\mathbb{Z}/m\mathbb{Z}, \quad 1\leq m\leq 10 \text{ or } m = 12
\]
\[
\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2m\mathbb{Z}, \quad 1\leq m\leq 4
\]

3. **Classification of torsion subgroups in number fields of higher degrees**:
- For an elliptic curve \(E\) defined over a number field \(F\) of degree \(d\), the natural question is which groups can appear as \(E(F)_{\text{tors}}\). This problem has been answered for \(d\leq3\), but challenges still remain for \(d > 3\).

4. **Elliptic curves with complex multiplication (CM elliptic curves)**:
- CM elliptic curves are those elliptic curves with a relatively large endomorphism ring. There are many examples of such curves having isolated points on modular curves, so studying them helps to better understand the classification of torsion subgroups in number fields of higher degrees.

### Main contributions of the paper

- **Classification of new torsion subgroups**:
- By extending previous work, the author classifies the torsion subgroups of CM elliptic curves defined over number fields of degree \(2p\), and in particular, determines which new torsion subgroups can appear in these number fields.

- **Relationship with Sophie Germain primes**:
- The author points out that the existence of certain specific new torsion subgroups is closely related to the existence of infinitely many Sophie Germain primes. This provides a new perspective on an important conjecture in number theory.

### Conclusion

Through the above analysis, this paper not only solves the problem of classifying the torsion subgroups of CM elliptic curves over number fields of a specific degree, but also reveals the potential connections between this problem and other important problems in number theory.