For a modular curve X = X 0 ( N ) $X = X_0(N)$ , X 1 ( N ) $X_1(N)$ or X 1 ( M , N ) $X_1(M,N)$ defined over Q $\mathbb {Q}$ , we denote by d CM ( X ) $d_{\operatorname{CM}}(X)$ the least degree of a CM point on X $X$ . For each discriminant Δ < 0 $\Delta < 0$ , we determine the least degree of a point on X 0 ( N ) $X_0(N)$ with CM by the order of discriminant Δ $\Delta$ . This places us in a position to study d CM ( X ) $d_{\operatorname{CM}}(X)$ as an ‘arithmetic function’ and we do so, obtaining various upper bounds, lower bounds and typical bounds. We deduce that all but finitely many curves in each of the families have sporadic CM points. Finally, we supplement these results with a computational study, for example, computing d CM ( X 0 ( N ) ) $d_{\operatorname{CM}}(X_0(N))$ and d CM ( X 1 ( N ) ) $d_{\operatorname{CM}}(X_1(N))$ exactly for N ⩽ 10 6 $N \leqslant 10^6$ and determining whether X 0 ( N ) $X_0(N)$ (respectively, X 1 ( N ) $X_1(N)$ , X 1 ( M , N ) $X_1(M,N)$ ) has sporadic CM points for all but 106 values of N $N$ (respectively, 227 values of N $N$ , 146 pairs ( M , N ) $(M,N)$ with M ⩾ 2 $M \geqslant 2$ ).
Read full abstract