Abstract:Let $T_{\mathrm{CM}}(d)$ denote the maximum size of a torsion subgroup of a CM elliptic curve over a degree $d$ number field. We initiate a systematic study of the asymptotic behavior of $T_{\mathrm{CM}}(d)$ as an "arithmetic function". Whereas a recent result of the last two authors computes the upper order of $T_{\mathrm{CM}}(d)$, here we determine the lower order, the typical order and the average order of $T_{\mathrm{CM}}(d)$ as well as study the number of isomorphism classes of groups $G$ of order $T_{\mathrm{CM}}(d)$ which arise as the torsion subgroup of a CM elliptic curve over a degree $d$ number field. To establish these analytic results we need to extend some prior algebraic results. Especially, if $E_{/F}$ is a CM elliptic curve over a degree $d$ number field, we show that $d$ is divisible by a certain function of $\# E(F)[\mathrm{tors}]$, and we give a complete characterization of all degrees $d$ such that every torsion subgroup of a CM elliptic curve defined over a degree $d$ number field already occurs over $\mathbb{Q}$.

The Effect of Quadratic Base Change on Torsion of Elliptic Curves

Non-cyclic Torsion of Elliptic Curves Over Imaginary Quadratic Fields of Class Number 1

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

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

Behaviors of the Tate--Shafarevich group of elliptic curves under quadratic field extensions

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

On the quadratic twist of elliptic curves with full $2$-torsion

Torsion Points and the Latte'S Family

Torsion of Rational Elliptic Curves over the Cyclotomic Extensions of $\mathbb{Q}$

Sporadic Cubic Torsion

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

Anatomy of torsion in the CM case

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

Torsion primes for elliptic curves over degree 8 number fields

Quadratic torsion orders on Jacobian varieties

Base change and Iwasawa Main Conjectures for ${\rm GL}_2$

Entanglement of elliptic curves upon base extension

Torsion points and Galois representations on CM elliptic curves

On the torsion part in the K-theory of imaginary quadratic fields

Uniform polynomial bounds on torsion from rational geometric isogeny classes

Efficient quantum circuits for binary elliptic curve arithmetic: reducing T-gate complexity