Linnik's Theorem for Sato-Tate Laws on Elliptic Curves with Complex Multiplication
Let E/Q be an elliptic curve with complex multiplication (CM), and for each prime p of good reduction, let aE(p)=p+1−#E(Fp) denote the trace of Frobenius. By the Hasse bound, aE(p)=2pcosθp for a unique θp∈[0,π]. In this paper, we prove that the least prime p such that θp∈[α,β]⊂[0,π] satisfies p≪(β−αNE)A, where NE is the conductor of E and the implied constant and exponent A>2 are absolute and effectively computable. Our result is an analogue for CM elliptic curves of Linnik's Theorem for arithmetic progressions, which states that the least prime p≡a(modq) for (a,q)=1 satisfies p≪qL for an absolute constant L>0.