The Bombieri–Vinogradov Theorem on Higher Rank Groups and its Applications

Jiang, Yujiao ; Lü, Guangshi

Canadian journal of mathematics, Tome 72 (2020) no. 4, pp. 928-966

Résumé

We study the analogue of the Bombieri–Vinogradov theorem for $\operatorname{SL}_{m}(\mathbb{Z})$ Hecke–Maass form $F(z)$. In particular, for $\operatorname{SL}_{2}(\mathbb{Z})$ holomorphic or Maass Hecke eigenforms, symmetric-square lifts of holomorphic Hecke eigenforms on $\operatorname{SL}_{2}(\mathbb{Z})$, and $\operatorname{SL}_{3}(\mathbb{Z})$ Maass Hecke eigenforms under the Ramanujan conjecture, the levels of distribution are all equal to $1/2,$ which is as strong as the Bombieri–Vinogradov theorem. As an application, we study an automorphic version of Titchmarch’s divisor problem; namely for $a\neq 0,$$$\begin{eqnarray}\mathop{\sum }_{n\leqslant x}\unicode[STIX]{x1D6EC}(n)\unicode[STIX]{x1D70C}(n)d(n-a)\ll x\log \log x,\end{eqnarray}$$ where $\unicode[STIX]{x1D70C}(n)$ are Fourier coefficients $\unicode[STIX]{x1D706}_{f}(n)$ of a holomorphic Hecke eigenform $f$ for $\operatorname{SL}_{2}(\mathbb{Z})$ or Fourier coefficients $A_{F}(n,1)$ of its symmetric-square lift $F$. Further, as a consequence, we get an asymptotic formula $$\begin{eqnarray}\mathop{\sum }_{n\leqslant x}\unicode[STIX]{x1D6EC}(n)\unicode[STIX]{x1D706}_{f}^{2}(n)d(n-a)=E_{1}(a)x\log x+O(x\log \log x),\end{eqnarray}$$ where $E_{1}(a)$ is a constant depending on $a$. Moreover, we also consider the asymptotic orthogonality of the Möbius function against the arithmetic function $\unicode[STIX]{x1D70C}(n)d(n-a)$.

Détail

DOI : 10.4153/S0008414X19000129

Mots-clés : Bombieri–Vinogradov theorem, Fourier coefficient, Maass form, shifted convolution sum, prime

Bibliographie

[1] Banks, W. D., Twisted symmetric-square L-functions and the nonexistence of siegel zeros on GL(3). Duke Math. J. 87(1997), 343–354. https://doi.org/10.1215/S0012-7094-97-08713-5 Google Scholar

[2] Barnet-Lamb, T., Geraghty, D., Harris, M., and Taylor, R., A family of Calabi–Yau varieties and potential automorphy II. Publ. Res. Inst. Math. Sci. 47(2011), 29–98. https://doi.org/10.2977/PRIMS/31 Google Scholar

[3] Barthel, L. and Ramakrishnan, D., A nonvanishing result for twists of L-functions of GL(n). Duke Math. J. 74(1994), 81–700. https://doi.org/10.1215/S0012-7094-94-07425-5 Google Scholar

[4] Bombieri, E., Friedlander, J. B., and Iwaniec, H., Primes in arithmetic progressions to large moduli. Acta Math. 156(1986), 203–251. https://doi.org/10.1007/BF02399204 Google Scholar

[5] Bump, D., Automorphic forms and representations. Cambridge Studies in Advanced Mathematics, 55, Cambridge University Press, Cambridge, 1997. https://doi.org/10.1017/CBO9780511609572 Google Scholar

[6] Deligne, P., La conjecture de Weil. I. Inst. Hautes Études Sci. Publ. Math. 43(1974), 273–307. Google Scholar

[7] Erdös, P. and Szekeres, G., Über die Anzahl der Abelschen Gruppen gegebener Ordnung und über ein verwandtes zahlentheoretisches Problem. Acta Sci. Math. (Szeged) 7(1935), 95–102. Google Scholar

[8] Fouvry, É., Sur le probléme des diviseurs de Titchmarsh. J. Reine Angew. Math. 357(1985), 51–76. https://doi.org/10.1515/crll.1985.357.51 Google Scholar

[9] Fouvry, É. and Ganguly, S., Strong orthogonality between the Möbius function, additive characters and Fourier coefficients of cusp forms. Compos. Math. 150(2014), 763–797. https://doi.org/10.1112/S0010437X13007732 Google Scholar

[10] Godber, D., Additive twists of Fourier coefficients of modular forms. J. Number Theory 133(2013), 83–104. https://doi.org/10.1016/j.jnt.2012.07.010 Google Scholar

[11] Goldfeld, D., Automorphic forms and L-functions for the group GL(n, ℝ). (Cambridge Studies in Advanced Mathematics, 99), Cambridge University Press, Cambridge, 2006. https://doi.org/10.1017/CBO9780511542923 Google Scholar

[12] Goldfeld, D. and Li, X., The Voronoi formula for GL(n, ℝ). Int. Math. Res. Not. IMRN(2008), Art. ID rnm144. Google Scholar

[13] Good, A., Cusp forms and eigenfunctions of the Laplacian. Math. Ann. 255(1981), 523–548. https://doi.org/10.1007/BF01451932 Google Scholar

[14] Halberstam, H., Footnote to the Titchmarsh-Linnik divisor problem. Proc. Amer. Math. Soc. 18(1967), 187–188. https://doi.org/10.2307/2035254 Google Scholar

[15] Hoffstein, J. and Ramakrishnan, D., Siegel zeros and cusp forms. Internat. Math. Res. Notices IMRN 1995 no. 6, 279–308. https://doi.org/10.1155/S1073792895000225 Google Scholar

[16] Iwaniec, H. and Kowalski, E., Analytic number theory. (American Mathematical Society Colloquium Publications, 53), American Mathematical Society, Providence, RI, 2004. https://doi.org/10.1090/coll/053 Google Scholar

[17] Jiang, Y. and Lü, G., On sums of Fourier coefficients of Maass cusp forms. Int. J. Number Theory 13(2017), 1233–1243. https://doi.org/10.1142/S179304211750066X Google Scholar

[18] Jiang, Y. and Lü, G., Exponential sums formed with the von Mangoldt function and Fourier coefficients of GL(m) automorphic forms. Monatsh. Math. 184(2017), 539–561. https://doi.org/10.1007/s00605-017-1068-4 Google Scholar

[19] Jiang, Y., Lü, G., and Yan, X., Mean value theorem connected with Fourier coefficients of Hecke-Maass forms for sL(m, ℤ). Math. Proc. Cambridge Philos. Soc. 161(2016), 339–356. https://doi.org/10.1017/S030500411600027X Google Scholar

[20] Kim, H. H., Functoriality for the exterior square of GL and the symmetric fourth of GL. J. Amer. Math. Soc. 16(2003), 139–183. Google Scholar

[21] Kim, H. H., A note on Fourier coefficients of cusp forms on GL. Forum Math. 18(2006), 115–119. https://doi.org/10.1515/FORUM.2006.007 Google Scholar

[22] Kim, H. H. and Shahidi, F., Functorial products for GL × GL and the symmetric cube for GL. Ann. of Math. 155(2002), 837–893. https://doi.org/10.2307/3062134 Google Scholar

[23] Kim, H. H. and Shahidi, F., Cuspidality of symmetric powers with applications. Duke Math. J. 112 177–197. https://doi.org/10.1215/S0012-9074-02-11215-0 Google Scholar

[24] Kıral, E. M. and Zhou, F., The Voronoi formula and double Dirichlet series. Algebra Number Theory 10(2016), 2267–2286. https://doi.org/10.2140/ant.2016.10.2267 Google Scholar

[25] Linnik, Ju. V., The dispersion method in binary additive problems. Translated by S. Schuur. American Mathematical Society, Providence, RI, 1963. Google Scholar

[26] Liu, J. and Sarnak, P., The Möbius function and distal flows. Duke Math. J. 164(2015), 1353–1399. https://doi.org/10.1215/00127094-2916213 Google Scholar

[27] Luo, W., Rudnick, Z., and Sarnak, P., Automorphic forms, automorphic representations, and arithmetic (Fort Worth, TX, 1996). (Proc. Sympos. Pure Math., 66), Amer. Math. Soc., Providence, RI, 1999, pp. 301–310. Google Scholar

[28] Lü, G., Shifted convolution sums of Fourier coefficients with divisor functions. Acta Math. Hungar. 146(2015), 86–97. https://doi.org/10.1007/s10474-015-0499-4 Google Scholar

[29] Meurman, T., On exponential sums involving the Fourier coefficients of Maass wave forms. J. Reine Angew. Math. 384(1988), 192–207. https://doi.org/10.1515/crll.1988.384.192 Google Scholar

[30] Meurman, T., Number theory, Vol. I (Budapest, 1987). (Colloq. Math. Soc. János Bolyai, 51), North-Holland, Amsterdam, 1990, pp. 325–354. Google Scholar

[31] Miller, S. D. and Schmid, W., Automorphic distributions, L-functions, and Voronoi summation for GL(3). Ann. of Math. (2) 164(2006), 423–488. https://doi.org/10.4007/annals.2006.164.423 Google Scholar

[32] Miller, S. D. and Schmid, W., Geometry and analysis, no. 2. (Adv. Lect. Math., 18), Int. Press, Somerville, MA, 2011, pp. 173–224. Google Scholar

[33] Molteni, G., L-functions: Siegel-type theorems and structure theorems. Ph. D. thesis, University of Milan, Milan, 1999. 141, 1999. Google Scholar

[34] Montgomery, H. L. and Vaughan, R. C., Classical theory. (Cambridge Studies in Advanced Mathematics, 97), Cambridge University Press, Cambridge, 2007. Google Scholar

[35] Perelli, A., Seminar on number theory, 1983–1984 (Talence, 1983/1984), Exp. No. 25, 9. Univ. Bordeaux I, Talence, 1984. Google Scholar

[36] Ren, X. and Ye, Y., Resonance and rapid decay of exponential sums of Fourier coefficients of a Maass form for GL(ℤ). Sci. China Math. 58(2015), 2105–2124. https://doi.org/10.1007/s11425-014-4955-3 Google Scholar

[37] Rodriquez, G., Sul problema dei divisori di Titchmarsh. Boll. Un. Mat. Ital. 20(1965), 358–366. Google Scholar

[38] Rudnick, Z. and Sarnak, P., Zeros of principal L-functions and random matrix theory. Duke Math. J. 81(1996), 269–322. https://doi.org/10.1215/S0012-7094-96-08115-6 Google Scholar

[39] Sarnak, P., Three lectures on the Möbius function, randomness and dynamics. (accessed June 20, 2016). Google Scholar

[40] Shiu, P., A Brun-Titchmarsh theorem for multiplicative functions. J. Reine Angew. Math. 313(1980), 161–170. https://doi.org/10.1515/crll.1980.313.161 Google Scholar

[41] Smith, R. A., Fourier coefficients of modular forms over arithmetic progressions. I, II, With remarks by M. R. Murty. C. R. Math. Rep. Acad. Sci. Canada 15(1993), 85–90, 91–98 Google Scholar

[42] Titchmarsh, E. C., A divisor problem. Rend. Circ. Mat. Palermo 54(1930), 414–429. Google Scholar

[43] Titchmarsh, E. C., A divisor problem, Correction. Rend. Circ. Mat. Palermo 57(1933), 478–479. Google Scholar

[44] Vaughan, R. C., An elementary method in prime number theory. Acta Arithmetica 37(1980), 111–115. https://doi.org/10.4064/aa-37-1-111-115 Google Scholar

[45] Wang, Z., Möbius disjointness for analytic skew products. Invent. Math. 209(2017), 175–196. Google Scholar

[46] Weinstein, L., The hyper-Kloosterman sum. Enseign. Math. 27(1981), 29–40. Google Scholar