The explicit Sato-Tate conjecture for primes in arithmetic progressions

From MaRDI portal
Publication:3382997




Abstract: Let au(n) be Ramanujan's tau function, defined by the discriminant modular form [ Delta(z) = qprod_{j=1}^{infty}(1-q^{j})^{24} = sum_{n=1}^{infty} au(n) q^n ,,q=e^{2pi i z} ] (this is the unique holomorphic normalized cuspidal newform of weight 12 and level 1). Lehmer's conjecture asserts that au(n)eq0 for all ngeq1; since au(n) is multiplicative, it suffices to study primes p for which au(p) might possibly be zero. Assuming standard conjectures for the twisted symmetric power L-functions associated to au (including GRH), we prove that if xgeq1050, then [ #{x < pleq 2x: au(p) = 0} leq 1.22 imes 10^{-5} frac{x^{3/4}}{sqrt{log x}},] a substantial improvement on the implied constant in previous work. To achieve this, under the same hypotheses, we prove an explicit version of the Sato-Tate conjecture for primes in arithmetic progressions.









This page was built for publication: The explicit Sato-Tate conjecture for primes in arithmetic progressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3382997)