Average Frobenius distribution of elliptic curves

Abstract

The Sato-Tate conjecture asserts that given an elliptic curve without complex multiplication, the primes whose Frobenius elements have their trace in a given interval (2α √ p, 2β √ p) have density given by 2 π R β α √ 1− t2 dt. We prove that this conjecture is true on average in a more general setting.