Point counting on reductions of CM elliptic curves (Q1035582)

The authors give explicit formulas for counting the number of points on reductions of CM elliptic curves, and find models for CM \(\mathbb Q\)-curves in certain cases. This generalizes earlier results of Gross, Stark and others. For every imaginary quadratic field \(K\) and every order \(O\) in \(K\), by extending the Rumely-Stark method [see \textit{R. S. Rumely}, J. Number Theory 17, 389--402 (1983; Zbl 0538.14032) and \textit{H. M. Stark}, Rocky Mt. J. Math. 26, No. 3, 1115--1138 (1996; Zbl 0883.11026)], the authors compute the Hecke character of every elliptic curve \(E\) over every number field \(F\supset K\) with \(\text{End}(E) \cong O\), and compute the number of points on the reductions of these curves. They also exhibit equations for CM \(\mathbb Q\)-curves in some cases by using the results of Hecke character computations. For the cryptographic applications, in their paper [Choosing the correct elliptic curve in the CM method, Math. Comput. 79, No. 269, 545--561 (2010; Zbl 1213.11127)], the authors use the results of this paper to solve an open question of \textit{A. O. L. Atkin} and \textit{F. Morain} (see Conjecture 8.1 of [Math. Comput. 61, No. 203, 29--68 (1993; Zbl 0792.11056)]).