1: \begin{abstract} Let $\T_{\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 $\T_{\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 $\T_{\CM}(d')=\T_{\CM}(d)$ possesses a well-defined, positive asymptotic density. (2) Let $T_{\CM}(d) = \max_{G \in \T_{\CM}(d)} \#G$; under the Generalized Riemann Hypothesis,

2:   \[ \left(\frac{12e^{\gamma}}{\pi}\right)^{2/3} \le \limsup_{\substack{d\to\infty\\d\text{ odd}}} \frac{T_{\CM}(d)}{(d\log\log{d})^{2/3}} \le \left(\frac{24e^{\gamma}}{\pi}\right)^{2/3}. \]

3: (3) For each $\epsilon > 0$, we have $\#\T_{\CM}(d) \ll_{\epsilon} d^{\epsilon}$ for all odd $d$; on the other hand, for each $A> 0$, we have $\#\T_{\CM}(d) > (\log{d})^A$ for infinitely many odd $d$.

4: \end{abstract}

5: