The Error Term in the Sato-Tate Conjecture

preprint2015arXivOpen access

Abstract

Let f(z)=∑n=1∞a(n)e2πinz∈Sknew(Γ0(N))f(z)=\sum_{n=1}^\infty a(n)e^{2πi nz}\in S_k^{new}(Γ_0(N)) be a newform of even weight k≥2k\geq2 that does not have complex multiplication. Then a(n)∈Ra(n)\in\mathbb{R} for all nn, so for any prime pp, there exists θp∈[0,π]θ_p\in[0,π] such that a(p)=2p(k−1)/2cos⁡(θp)a(p)=2p^{(k-1)/2}\cos(θ_p). Let π(x)=#{p≤x}π(x)=\#\{p\leq x\}. For a given subinterval I⊂[0,π]I\subset[0,π], the now-proven Sato-Tate Conjecture tells us that as x→∞x\to\infty, #{p≤x:θp∈I}∼μST(I)π(x),μST(I)=∫I2πsin⁡2(θ) dθ. \#\{p\leq x:θ_p\in I\}\sim μ_{ST}(I)π(x),\quad μ_{ST}(I)=\int_{I} \frac{2}π\sin^2(θ)~dθ. Let ε>0ε>0. Assuming that the symmetric power LL-functions of ff are automorphic, we prove that as x→∞x\to\infty, #{p≤x:θp∈I}=μST(I)π(x)+O(x(log⁡x)9/8−ε), \#\{p\leq x:θ_p\in I\}=μ_{ST}(I)π(x)+O\left(\frac{x}{(\log x)^{9/8-ε}}\right), where the implied constant is effectively computable and depends only on k,N,k,N, and εε.

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.