The explicit Sato–Tate conjecture for primes in arithmetic progressions
The explicit Sato–Tate conjecture for primes in arithmetic progressions
Let [Formula: see text] be Ramanujan’s tau function, defined by the discriminant modular form [Formula: see text] (this is the unique holomorphic normalized cuspidal newform of weight 12 and level 1). Lehmer’s conjecture asserts that [Formula: see text] for all [Formula: see text]; since [Formula: see text] is multiplicative, it …