By Hasse's theorem on elliptic curves, the ratio is between -1 and 1. Thus it can be expressed as cos θ for an angle θ; in geometric terms there are two eigenvalues accounting for the remainder and with the denominator as given they are complex conjugate and of absolute value 1. The Sato–Tate conjecture, when E doesn't have complex multiplication, states that the probability measure of θ is proportional to This is due to Mikio Sato and John Tate.
Proof
In 2008, Clozel, Harris, Shepherd-Barron, and Taylor published a proof of the Sato–Tate conjecture for elliptic curves over totally real fields satisfying a certain condition: of having multiplicative reduction at some prime, in a series of three joint papers. Further results are conditional on improved forms of the Arthur–Selberg trace formula. Harris has a conditional proof of a result for the product of two elliptic curves following from such a hypothetical trace formula. In 2011, Barnet-Lamb, Geraghty, Harris, and Taylor proved a generalized version of the Sato–Tate conjecture for an arbitrary non-CM holomorphic modular form of weight greater than or equal to two, by improving the potential modularity results of previous papers. The prior issues involved with the trace formula were solved by Michael Harris, and Sug Woo Shin. In 2015, Richard Taylor was awarded the Breakthrough Prize in Mathematics "for numerous breakthrough results in the Sato–Tate conjecture."
Generalisations
There are generalisations, involving the distribution of Frobenius elements in Galois groups involved in the Galois representations on étale cohomology. In particular there is a conjectural theory for curves of genus n > 1. Under the random matrix model developed by Nick Katz and Peter Sarnak, there is a conjectural correspondence between characteristic polynomials of Frobenius elements and conjugacy classes in the compact Lie group USp = Sp. The Haar measure on USp then gives the conjectured distribution, and the classical case is USp = SU.
More precise questions
There are also more refined statements. The Lang–Trotter conjecture of Serge Lang and Hale Trotter states the asymptotic number of primes p with a given value of ap, the trace of Frobenius that appears in the formula. For the typical case their formula states that the number of p up to X is asymptotically with a specified constant c. Neal Koblitz provided detailed conjectures for the case of a prime number q of points on Ep, motivated by elliptic curve cryptography. In 1999, Chantal David and Francesco Pappalardi proved an averaged version of the Lang–Trotter conjecture.