research

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

Abstract

Let f(z)=n=1a(n)qnSknew(Γ0(N))f(z)=\sum_{n=1}^\infty a(n)q^n\in S^{\text{new}}_ k (\Gamma_0(N)) be a newform with squarefree level NN that does not have complex multiplication. For a prime pp, define θp[0,π]\theta_p\in[0,\pi] to be the angle for which a(p)=2p(k1)/2cosθpa(p)=2p^{( k -1)/2}\cos \theta_p . Let I[0,π]I\subset[0,\pi] be a closed subinterval, and let dμST=2πsin2θdθd\mu_{ST}=\frac{2}{\pi}\sin^2\theta d\theta 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 #{px:θpI}μST(I)2xdtlogtx3/4log(Nkx)logx \left|\#\{p\leq x:\theta_p\in I\} -\mu_{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{\pi}{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 τ\tau is the Ramanujan tau function, then under the aforementioned hypotheses, we prove that limx#{nx:τ(n)0}x>11.54×1013. \lim_{x\to\infty}\frac{\#\{n\leq x:\tau(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.Comment: 29 pages. Significant revisions, including improvements in Theorems 1.2, 1.3, and 1.5 and a more detailed account of the contour integration, are included. Acknowledgements are update

    Similar works

    Full text

    thumbnail-image

    Available Versions