The explicit Sato-Tate Conjecture and densities pertaining to Lehmer-type questions
HTML articles powered by AMS MathViewer
- by Jeremy Rouse and Jesse Thorner PDF
- Trans. Amer. Math. Soc. 369 (2017), 3575-3604 Request permission
Abstract:
Let $f(z)=\sum _{n=1}^\infty a_f(n)q^n\in S^{\text {new}}_k (\Gamma _0(N))$ be a newform with squarefree level $N$ that does not have complex multiplication. For a prime $p$, define $\theta _p\in [0,\pi ]$ to be the angle for which $a_f(p)=2p^{( k -1)/2}\cos \theta _p$. Let $I\subset [0,\pi ]$ be a closed subinterval, and let $d\mu _{ST}=\frac {2}{\pi }\sin ^2\theta d\theta$ be the Sato-Tate measure of $I$. Assuming that the symmetric power $L$-functions of $f$ satisfy certain analytic properties (all of which follow from Langlands functoriality and the Generalized Riemann Hypothesis), we prove that if $x$ is sufficiently large, then \[ \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.33$. By letting $I$ be a short interval centered at $\frac {\pi }{2}$ and counting the primes using a smooth cutoff, we compute a lower bound for the density of positive integers $n$ for which $a_f(n)\neq 0$. In particular, if $\tau$ is the Ramanujan tau function, then under the aforementioned hypotheses, we prove that \[ \lim _{x\to \infty }\frac {\#\{n\leq x:\tau (n)\neq 0\}}{x}>1-1.54\times 10^{-13}. \] We also discuss the connection between the density of positive integers $n$ for which $a_f(n)\neq 0$ and the number of representations of $n$ by certain positive-definite, integer-valued quadratic forms.References
- Sara Arias-de-Reyna, Ilker Inam, and Gabor Wiese, On conjectures of Sato-Tate and Bruinier-Kohnen, Ramanujan J. 36 (2015), no. 3, 455–481. MR 3317867, DOI 10.1007/s11139-013-9547-2
- A. O. L. Atkin and J. Lehner, Hecke operators on $\Gamma _{0}(m)$, Math. Ann. 185 (1970), 134–160. MR 268123, DOI 10.1007/BF01359701
- Tom Barnet-Lamb, David Geraghty, Michael Harris, and Richard Taylor, A family of Calabi-Yau varieties and potential automorphy II, Publ. Res. Inst. Math. Sci. 47 (2011), no. 1, 29–98. MR 2827723, DOI 10.2977/PRIMS/31
- B. J. Birch and W. Kuyk (eds.), Modular functions of one variable. IV, Lecture Notes in Mathematics, Vol. 476, Springer-Verlag, Berlin-New York, 1975. MR 0376533
- Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). MR 1484478, DOI 10.1006/jsco.1996.0125
- Alina Bucur and Kiran S. Kedlaya, An application of the effective Sato-Tate conjecture, Frobenius distributions: Lang-Trotter and Sato-Tate conjectures, Contemp. Math., vol. 663, Amer. Math. Soc., Providence, RI, 2016, pp. 45–56. MR 3502938, DOI 10.1090/conm/663/13349
- J. Cogdell and P. Michel, On the complex moments of symmetric power $L$-functions at $s=1$, Int. Math. Res. Not. 31 (2004), 1561–1617. MR 2035301, DOI 10.1155/S1073792804132455
- J. Brian Conrey, Henryk Iwaniec, and Kannan Soundararajan, Critical zeros of Dirichlet $L$-functions, J. Reine Angew. Math. 681 (2013), 175–198. MR 3181494, DOI 10.1515/crelle-2012-0032
- Harold Davenport, Multiplicative number theory, 3rd ed., Graduate Texts in Mathematics, vol. 74, Springer-Verlag, New York, 2000. Revised and with a preface by Hugh L. Montgomery. MR 1790423
- Bas Edixhoven and Jean-Marc Couveignes (eds.), Computational aspects of modular forms and Galois representations, Annals of Mathematics Studies, vol. 176, Princeton University Press, Princeton, NJ, 2011. How one can compute in polynomial time the value of Ramanujan’s tau at a prime. MR 2849700, DOI 10.1515/9781400839001
- Noam D. Elkies, The existence of infinitely many supersingular primes for every elliptic curve over $\textbf {Q}$, Invent. Math. 89 (1987), no. 3, 561–567. MR 903384, DOI 10.1007/BF01388985
- Noam D. Elkies, Distribution of supersingular primes, Astérisque 198-200 (1991), 127–132 (1992). Journées Arithmétiques, 1989 (Luminy, 1989). MR 1144318
- Etienne Fouvry and M. Ram Murty, On the distribution of supersingular primes, Canad. J. Math. 48 (1996), no. 1, 81–104. MR 1382477, DOI 10.4153/CJM-1996-004-7
- Stephen Gelbart and Hervé Jacquet, A relation between automorphic representations of $\textrm {GL}(2)$ and $\textrm {GL}(3)$, Ann. Sci. École Norm. Sup. (4) 11 (1978), no. 4, 471–542. MR 533066
- Klaus Haberland, Perioden von Modulformen einer Variabler and Gruppencohomologie. I, II, III, Math. Nachr. 112 (1983), 245–282, 283–295, 297–315 (German). MR 726861, DOI 10.1002/mana.19831120113
- Kenneth Ireland and Michael Rosen, A classical introduction to modern number theory, 2nd ed., Graduate Texts in Mathematics, vol. 84, Springer-Verlag, New York, 1990. MR 1070716, DOI 10.1007/978-1-4757-2103-4
- Henryk Iwaniec and Emmanuel Kowalski, Analytic number theory, American Mathematical Society Colloquium Publications, vol. 53, American Mathematical Society, Providence, RI, 2004. MR 2061214, DOI 10.1090/coll/053
- L. J. P. Kilford, Modular forms, Imperial College Press, London, 2008. A classical and computational introduction. MR 2441106, DOI 10.1142/p564
- Henry H. Kim, Functoriality for the exterior square of $\textrm {GL}_4$ and the symmetric fourth of $\textrm {GL}_2$, J. Amer. Math. Soc. 16 (2003), no. 1, 139–183. With appendix 1 by Dinakar Ramakrishnan and appendix 2 by Kim and Peter Sarnak. MR 1937203, DOI 10.1090/S0894-0347-02-00410-1
- Henry H. Kim and Freydoon Shahidi, Cuspidality of symmetric powers with applications, Duke Math. J. 112 (2002), no. 1, 177–197. MR 1890650, DOI 10.1215/S0012-9074-02-11215-0
- Henry H. Kim and Freydoon Shahidi, Functorial products for $\textrm {GL}_2\times \textrm {GL}_3$ and the symmetric cube for $\textrm {GL}_2$, Ann. of Math. (2) 155 (2002), no. 3, 837–893. With an appendix by Colin J. Bushnell and Guy Henniart. MR 1923967, DOI 10.2307/3062134
- J. C. Lagarias and A. M. Odlyzko, Effective versions of the Chebotarev density theorem, Algebraic number fields: $L$-functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 1975) Academic Press, London, 1977, pp. 409–464. MR 0447191
- Serge Lang and Hale Trotter, Frobenius distributions in $\textrm {GL}_{2}$-extensions, Lecture Notes in Mathematics, Vol. 504, Springer-Verlag, Berlin-New York, 1976. Distribution of Frobenius automorphisms in $\textrm {GL}_{2}$-extensions of the rational numbers. MR 0568299
- D. H. Lehmer, The vanishing of Ramanujan’s function $\tau (n)$, Duke Math. J. 14 (1947), 429–433. MR 21027
- Nicolas Mascot, Tables of modular galois representations, Preprint.
- Barry Mazur, Finding meaning in error terms, Bull. Amer. Math. Soc. (N.S.) 45 (2008), no. 2, 185–228. MR 2383303, DOI 10.1090/S0273-0979-08-01207-X
- H. L. Montgomery and R. C. Vaughan, The large sieve, Mathematika 20 (1973), 119–134. MR 374060, DOI 10.1112/S0025579300004708
- Hugh L. Montgomery, Ten lectures on the interface between analytic number theory and harmonic analysis, CBMS Regional Conference Series in Mathematics, vol. 84, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1994. MR 1297543, DOI 10.1090/cbms/084
- M. Ram Murty, V. Kumar Murty, and N. Saradha, Modular forms and the Chebotarev density theorem, Amer. J. Math. 110 (1988), no. 2, 253–281. MR 935007, DOI 10.2307/2374502
- V. Kumar Murty, Explicit formulae and the Lang-Trotter conjecture, Rocky Mountain J. Math. 15 (1985), no. 2, 535–551. Number theory (Winnipeg, Man., 1983). MR 823264, DOI 10.1216/RMJ-1985-15-2-535
- V. Kumar Murty, Modular forms and the Chebotarev density theorem. II, Analytic number theory (Kyoto, 1996) London Math. Soc. Lecture Note Ser., vol. 247, Cambridge Univ. Press, Cambridge, 1997, pp. 287–308. MR 1694997, DOI 10.1017/CBO9780511666179.019
- Ken Ono, The web of modularity: arithmetic of the coefficients of modular forms and $q$-series, CBMS Regional Conference Series in Mathematics, vol. 102, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2004. MR 2020489
- Ken Ono and K. Soundararajan, Ramanujan’s ternary quadratic form, Invent. Math. 130 (1997), no. 3, 415–454. MR 1483991, DOI 10.1007/s002220050191
- J. Barkley Rosser and Lowell Schoenfeld, Sharper bounds for the Chebyshev functions $\theta (x)$ and $\psi (x)$, Math. Comp. 29 (1975), 243–269. MR 457373, DOI 10.1090/S0025-5718-1975-0457373-7
- Jeremy Rouse, Atkin-Serre type conjectures for automorphic representations on $\textrm {GL}(2)$, Math. Res. Lett. 14 (2007), no. 2, 189–204. MR 2318618, DOI 10.4310/MRL.2007.v14.n2.a3
- Lowell Schoenfeld, Sharper bounds for the Chebyshev functions $\theta (x)$ and $\psi (x)$. II, Math. Comp. 30 (1976), no. 134, 337–360. MR 457374, DOI 10.1090/S0025-5718-1976-0457374-X
- Jean-Pierre Serre, Congruences et formes modulaires [d’après H. P. F. Swinnerton-Dyer], Séminaire Bourbaki, 24e année (1971/1972), Exp. No. 416, Lecture Notes in Math., Vol. 317, Springer, Berlin, 1973, pp. 319–338 (French). MR 0466020
- Jean-Pierre Serre, Quelques applications du théorème de densité de Chebotarev, Inst. Hautes Études Sci. Publ. Math. 54 (1981), 323–401 (French). MR 644559
- Jacob Sturm, On the congruence of modular forms, Number theory (New York, 1984–1985) Lecture Notes in Math., vol. 1240, Springer, Berlin, 1987, pp. 275–280. MR 894516, DOI 10.1007/BFb0072985
- H. P. F. Swinnerton-Dyer, On $l$-adic representations and congruences for coefficients of modular forms, Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972) Lecture Notes in Math., Vol. 350, Springer, Berlin, 1973, pp. 1–55. MR 0406931
- The PARI Group, Bordeaux. PARI/GP, version 2.3.4, 2009.
- David Zywina, Bounds for the Lang-Trotter conjectures, SCHOLAR—a scientific celebration highlighting open lines of arithmetic research, Contemp. Math., vol. 655, Amer. Math. Soc., Providence, RI, 2015, pp. 235–256. MR 3453123, DOI 10.1090/conm/655/13206
Additional Information
- Jeremy Rouse
- Affiliation: Department of Mathematics, Wake Forest University, PO Box 7388, Winston-Salem, North Carolina 27109
- MR Author ID: 741123
- Jesse Thorner
- Affiliation: Department of Mathematics and Computer Science, Emory University, 400 Dowman Dr., STE W401, Atlanta, Georgia 30322-2390
- Address at time of publication: Department of Mathematics, Stanford University, Stanford, California 94305
- Received by editor(s): May 22, 2013
- Received by editor(s) in revised form: June 14, 2015
- Published electronically: December 22, 2016
- © Copyright 2016 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 369 (2017), 3575-3604
- MSC (2010): Primary 11F30, 11M41; Secondary 11F33
- DOI: https://doi.org/10.1090/tran/6793
- MathSciNet review: 3605980