Torsion Points on CM Elliptic Curves Over Real Number Fields

Abbey Bourdon,Pete L. Clark,James Stankewicz

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

2015-09-25

Abstract:We study torsion subgroups of elliptic curves with complex multiplication (CM) defined over number fields which admit a real embedding. We give a complete classification of the groups which arise up to isomorphism as the torsion subgroup of a CM elliptic curve defined over a number field of odd degree: there are infinitely many. Restricting to the case of prime degree, we show that there are only finitely many isomorphism classes. More precisely, there are six "Olson groups" which arise as torsion subgroups of CM elliptic curves over number fields of every degree, and there are precisely 17 "non-Olson" CM elliptic curves defined over a prime degree number field.

Number Theory

What problem does this paper attempt to address?

### Problems the paper attempts to solve

This paper aims to study the torsion subgroup of elliptic curves with complex multiplication (CM) when their domain of definition is the real number field. Specifically, the authors are concerned with what the torsion subgroups of CM elliptic curves can be like over number fields of a specific degree, and attempt to classify these torsion subgroups.

#### Main problems include:

1. **Classification of torsion subgroups**:
- The authors hope to conduct a complete classification of all possible torsion subgroups of CM elliptic curves that appear over number fields of a specific degree. In particular, for odd - degree number fields, they present a complete classification result.
- For any fixed odd number \( d \), when considering number fields of degree \( dp \) (where \( p \) is a prime number), almost all torsion subgroups actually appear in number fields of degree \( d \). This implies that there is an absolute bound that restricts the size of the torsion subgroups of CM elliptic curves over these number fields.

2. **New torsion subgroups over number fields of a specific degree**:
- The authors explore which new torsion subgroups will appear over number fields of different degrees. For example, when the degree is a prime number \( p \), whether there are new torsion subgroups and what characteristics these new torsion subgroups have.

3. **Special results over prime - degree number fields**:
- The authors pay special attention to prime - degree number fields and present a "Prime Degree Theorem", which lists all possible specific forms of non - Olson CM elliptic curves and their torsion subgroups.

4. **Phenomenon of torsion points in the real number field**:
- The authors observe that in the real number field, certain torsion point phenomena (real cyclotomy) can provide more refined constraints, helping to better understand the structure of the torsion subgroups of CM elliptic curves.

### Formula summary

- Let \( E/F \) be an elliptic curve with complex multiplication, and \( T = E(F)[\text{tors}] \) denote its torsion subgroup.
- For odd - degree number fields \( F \), the torsion subgroup \( T \) can be one of the following cases:
- \( T\cong\{\bullet\}, \mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/4\mathbb{Z}, \mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z} \)
- \( T\cong\mathbb{Z}/\ell^n\mathbb{Z} \), where \( \ell\equiv 3\pmod{8} \) is a prime number, and \( K = \mathbb{Q}(\sqrt{-\ell}) \)
- \( T\cong\mathbb{Z}/2\ell^n\mathbb{Z} \), where \( \ell\equiv 3\pmod{4} \) is a prime number, and \( K = \mathbb{Q}(\sqrt{-\ell}) \)

Through these studies, the authors not only provide specific classification results but also reveal the deep - seated laws of the torsion subgroup structures of CM elliptic curves over different number fields.