The Explicit Sato-Tate Conjecture and Densities Pertaining to Lehmer-Type Questions

preprint2016arXivOpen access

Abstract

Let f(z)=∑n=1∞a(n)qn∈Sknew(Γ0(N))f(z)=\sum_{n=1}^\infty a(n)q^n\in S^{\text{new}}_ k (Γ_0(N)) be a newform with squarefree level NN that does not have complex multiplication. For a prime pp, define θp∈[0,π]θ_p\in[0,π] to be the angle for which a(p)=2p(k−1)/2cos⁡θpa(p)=2p^{( k -1)/2}\cos θ_p . Let I⊂[0,π]I\subset[0,π] be a closed subinterval, and let dμST=2πsin⁡2θdθdμ_{ST}=\frac{2}π\sin^2θdθ be the Sato-Tate measure of II. Assuming that the symmetric power LL-functions of ff satisfy certain analytic properties (all of which follow from Langlands functoriality and the Generalized Riemann Hypothesis), we prove that if xx is sufficiently large, then ∣#{p≤x:θp∈I}−μST(I)∫2xdtlog⁡t∣≪x3/4log⁡(Nkx)log⁡x \left|\#\{p\leq x:θ_p\in I\} -μ_{ST}(I)\int_2^x\frac{dt}{\log t}\right|\ll\frac{x^{3/4}\log(N k x)}{\log x} with an implied constant of 3.343.34. By letting II be a short interval centered at π2\fracπ{2} and counting the primes using a smooth cutoff, we compute a lower bound for the density of positive integers nn for which a(n)≠0a(n)\neq0. In particular, if ττ is the Ramanujan tau function, then under the aforementioned hypotheses, we prove that lim⁡x→∞#{n≤x:τ(n)≠0}x>1−1.54×10−13. \lim_{x\to\infty}\frac{\#\{n\leq x:τ(n)\neq0\}}{x}>1-1.54\times10^{-13}. We also discuss the connection between the density of positive integers nn for which a(n)≠0a(n)\neq0 and the number of representations of nn by certain positive-definite, integer-valued quadratic forms.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.