Infinitely many primes with a fixed Frobenius field for an elliptic curve over $\mathbb{Q}$

Abstract

In 1987, Elkies proved the striking result that every elliptic curve over $\mathbb{Q}$ has infinitely many supersingular primes. Motivated by this theorem and its connection with the Lang-Trotter conjecture, we study the analogous problem for Frobenius fields of elliptic curves. For certain families of non-CM elliptic curves $E/\mathbb{Q}$ and imaginary quadratic fields $K$, we prove that there exist infinitely many primes $p$ for which the Frobenius field of $E$ at $p$ equals $K$. More precisely, letting ${\pi }_E(x,K)$ denote the number of such primes with $p\le x$, we establish the unconditional bound ${\pi }_E(x,K){\gg }_{E,K,\epsilon }(\log \log x{)}^{1-\epsilon }$ for every $\epsilon >0$. We also prove unconditional power-saving upper bounds for a restricted counting function associated with ${\pi }_E(x,K)$. The approach combines Deuring's theory of complex multiplication, properties of singular moduli, and arithmetic intersection theory on modular curves.

23 pages, comments are welcome