The truth about torsion in the CM case (Q2517077)

The main result in the paper is an improvement on the upper limit for the torsion of complex multiplication elliptic curves. It is proven that for all number fields \(F\) of degree \(d\geq 3\) and all complex multiplication elliptic curves \(E\) defined over \(F\) \[ \sharp E(F)[\text{tors}]\leq C d\log\log d, \tag{1} \] where \(C\) is an absolute, effective constant. This improves a previous bound by \textit{M. Hindry} and \textit{J. Silverman} [C. R. Acad. Sci., Paris, Sér. I, Math. 329, No. 2, 97--100 (1999; Zbl 0993.11028)]. The above bound, combined with a result by \textit{F. Breuer} [J. Number Theory 130, No. 5, 1241--1250 (2010; Zbl 1227.11072)], tell us that the maximum size \(T_{\text{CM}}(d)\) of the torsion subgroup of a CM elliptic curve over a degree \(d\) number field satisfies: \[ 0<\lim_{d\rightarrow\infty}\frac{T_{\text{CM}}(d)}{d\log\log d}<\infty. \] The key for the proof of the bound (1) is a uniform bound for Euler's function in imaginary quadratic fields.