Abstract:Let $\mathscr{G}_{\rm CM}(d)$ denote the collection of groups (up to isomorphism) that appear as the torsion subgroup of a CM elliptic curve over a degree $d$ number field. We completely determine $\mathscr{G}_{\rm CM}(d)$ for odd integers $d$ and deduce a number of statistical theorems about the behavior of torsion subgroups of CM elliptic curves. Here are three examples: (1) For each odd $d$, the set of natural numbers $d'$ with $\mathscr{G}_{\rm CM}(d') = \mathscr{G}_{\rm CM}(d)$ possesses a well-defined, positive asymptotic density. (2) Let $T_{\rm CM}(d) = \max_{G \in \mathscr{G}_{\rm CM}(d)} \#G$; under the Generalized Riemann Hypothesis, $$\left(\frac{12e^{\gamma}}{\pi}\right)^{2/3} \le \limsup_{\substack{d\to\infty\\d\text{ odd}}} \frac{T_{\rm CM}(d)}{(d\log\log{d})^{2/3}} \le \left(\frac{24e^{\gamma}}{\pi}\right)^{2/3}.$$ (3) For each $\epsilon > 0$, we have $\#\mathscr{G}_{\rm CM}(d) \ll_{\epsilon} d^{\epsilon}$ for all odd $d$; on the other hand, for each $A> 0$, we have $\#\mathscr{G}_{\rm CM}(d) > (\log{d})^A$ for infinitely many odd $d$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine the specific structure of the torsion subgroup of an elliptic curve with complex multiplication (CM) over its odd - degree number fields. Specifically, the authors hope to fully determine the set $G_{\text{CM}}(d)$, that is, all possible torsion subgroups that occur over odd - degree number fields, and study some statistical properties of these torsion subgroups. ### Main problem decomposition: 1. **Determine the specific form of $G_{\text{CM}}(d)$**: For any odd number $d$, find all abelian groups that can be torsion subgroups on CM elliptic curves. 2. **Study the behavior of $T_{\text{CM}}(d)$**: Here $T_{\text{CM}}(d)$ represents the maximum order in $G_{\text{CM}}(d)$. In particular, explore its asymptotic behavior and upper and lower bounds. 3. **Classify the number of occurrences of specific torsion subgroups**: For example, in which - degree number fields certain torsion subgroups will occur, and their distribution density. ### Specific goals: - **Fully determine $G_{\text{CM}}(d)$**: For odd $d$, clarify which abelian groups can be torsion subgroups of CM elliptic curves. - **Provide statistical results**: Such as statistical characteristics like the average value, maximum value of $T_{\text{CM}}(d)$ for different $d$. - **Establish a new theoretical framework**: Provide new tools and methods for understanding the torsion subgroups of CM elliptic curves over odd - degree number fields. ### Main contributions of the paper: - **Strong odd - degree theorem**: Provides a complete classification of the torsion subgroups of CM elliptic curves over odd - degree number fields. - **Asymptotic density result**: Proves that for each odd $d$, there exists a positive asymptotic density such that $G_{\text{CM}}(d)$ is the same as $G_{\text{CM}}(1)$. - **Upper bound estimate**: Gives an accurate upper bound estimate of $T_{\text{CM}}(d)$, assuming the generalized Riemann hypothesis holds. By solving these problems, this paper not only deepens the understanding of the torsion subgroups of CM elliptic curves, but also provides an important foundation for further research.

Torsion subgroups of CM elliptic curves over odd degree number fields

Anatomy of torsion in the CM case

Torsion Points on CM Elliptic Curves Over Real Number Fields

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

Torsion points and Galois representations on CM elliptic curves

On Torsion Subgroups of Elliptic Curves over Quartic, Quintic and Sextic Number Fields

On the Eisenstein Cohomology of Arithmetic Groups

Growth of Torsion Groups of Elliptic Curves Over Number Fields without Rationally Defined CM

Sporadic Cubic Torsion

Class group statistics for torsion fields generated by elliptic curves

One-level densities in families of Grössencharakters associated to CM elliptic curves

Uniform boundedness of torsion subgroups of linear groups

Torsion subgroups of elliptic curves over quadratic fields and a conjecture of Granville

Torsion points and isogenies on CM elliptic curves

Uniform polynomial bounds on torsion from rational geometric isogeny classes

Torsion phenomena for zero-cycles on a product of curves over a number field

Odd and Even Elliptic Curves with Complex Multiplication

Ranks, $2$-Selmer groups, and Tamagawa numbers of elliptic curves with $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/8\mathbb{Z}$-torsion

Transcendental Brauer groups of products of CM elliptic curves

Growth of torsion groups of elliptic curves upon base change from number fields

Torsion and twists of abelian varieties