CM liftings of supersingular elliptic curves (Q988068)

Let \(D< 0\) be a fundamental discriminant of an imaginary quadrature field \(K= \mathbb Q(\sqrt{D})\), with ring of integers \(O_D\) and Hilbert class field \(H_k\). If \(E|H_k\) be an elliptic curve with complex multiplication by \(O_D\) and \(p\) is a prime number which does not split in \(O_D\), then the reduction of \(E\) modulo the unique prime above \(p\) gives a supersingular elliptic curve defined over \(\mathbb F_{p^2}\). \textit{N. Elkies}, \textit{K. Ono} and \textit{T. Yang} [Int. Math. Res. Not. 2005, No. 44, 2695--2707 (2005; Zbl 1166.11323)] proved that for sufficiently large \(|D|\), the reduction map is surjective. Their results is ineffective. Let \(E_p:= \{|D|\) for \(D\), the reduction is not surjective\}. The author represents an effective algorithm that, for given \(p\) finds an upper bound for this set \(E_p\). The algorithm supposes the truth of GRH for Dirichlet \(L\)-functions and \(L\)-series of weight 2 primitive new forms. He gives also, for all primes \(p\geq 113\) the upper bound \(1.041\times 10^{23}\) and more explicit results for special primes like \(p= 11,17,19\).