Cuspidality of symmetric powers with applications. (English) Zbl 1074.11027

Kim, Henry H.; Shahidi, Freydoon

Duke Math. J. 112, No. 1, 177-197 (2002).

This paper establishes a valuable result in the theory of automorphic forms. It proves a criterion for cuspidality of the fourth symmetric powers of cusp forms on \(\text{GL}_2\).
The \(m\)th symmetric power lifting is an instance of Langlands functoriality. It is associated to the \(m\)-th symmetric representation \(\text{Sym}^m: \text{GL}_2(\mathbb{C}) \to \text{GL}_{m+1}(\mathbb{C})\). If \(\pi = \bigotimes_v \pi_v\) is a cuspidal automorphic representation of \(\text{GL}_2(\mathbb{A})\), where \(\mathbb{A}\) is the ring of adeles of a number field \(F\), then by the local Langlands correspondence, \(\text{Sym}^m(\pi_v)\) is well defined for every \(v\). By the functoriality principle, \(\text{Sym}^m(\pi) = \bigotimes_v \text{Sym}^m(\pi_v)\) is an automorphic representation of \(\text{GL}_{m+1}(\mathbb{A})\). This was proved for \(m=2\) by S. Gelbart and H. Jacquet [Ann. Sci. Éc. Norm. Supér., IV. Sér. 11, No. 4, 471–542 (1978; Zbl 0406.10022)], for \(m=3\) by H. H. Kim and F. Shahidi [Ann. Math. (2) 155, No. 3, 837–893 (2002; Zbl 1040.11036)], and for \(m=4\) by H. H. Kim [J. Am. Math. Soc. 16, No. 1, 139–183 (2003; Zbl 1018.11024)].
In this paper, the authors give a criterion for cuspidality of \(\text{Sym}^4(\pi)\). Let \(A^4(\pi) = \text{Sym}^4(\pi) \otimes \omega_\pi^{-1}\), where \(\omega_\pi\) is the central character of \(\pi\). The authors prove \(A^4(\pi)\) is not cuspidal if and only if \(\pi\) is of dihedral, tetrahedral or octahedral type.
As a consequence, the authors prove a number of results toward the Ramanujan-Petersson and Sato-Tate conjectures.

Reviewer: Dubravka Ban (Carbondale)

MSC:

11F70	Representation-theoretic methods; automorphic representations over local and global fields
11F30	Fourier coefficients of automorphic forms
11R42	Zeta functions and \(L\)-functions of number fields

Keywords:

Langlands functoriality; symmetric fourth power; cuspidal automorphic representations; Ramanujan-Petersson conjecture; Sato-Tate conjecture

Citations:

Zbl 0406.10022; Zbl 1040.11036; Zbl 1018.11024

References:

[1]	J. Arthur and L. Clozel, Simple Algebras, Base Change, and the Advanced Theory of the Trace Formula , Ann. of Math. Stud. 120 , Princeton Univ. Press, Princeton, 1989. · Zbl 0682.10022
[2]	S. Gelbart and H. Jacquet, A relation between automorphic representations of (\GL(2)) and (\GL(3)) , Ann. Sci. École Norm. Sup. (4) 11 (1978), 471–552. · Zbl 0406.10022
[3]	D. Ginzburg, S. Rallis, and D. Soudry, (L)-functions for symplectic groups , Bull. Soc. Math. France 126 (1998), 181–244. · Zbl 0928.11026
[4]	M. Harris and R. Taylor, The Geometry and Cohomology of Some Simple Shimura Varieties , Ann. of Math. Stud. 151 , Princeton Univ. Press, Princeton, 2001. · Zbl 1036.11027
[5]	G. Henniart, Une preuve simple des conjectures de Langlands pour (\GL(n)) sur un corps (p)-adique , Invent. Math. 139 (2000), 439–455. · Zbl 1048.11092 · doi:10.1007/s002220050012
[6]	H. Jacquet and J. A. Shalika, “Exterior square (L)-functions” in Automorphic Forms, Shimura Varieties, and (L)-functions, II (Ann Arbor, Mich., 1988) , ed. L. Clozel and J. Milne, Academic Press, Boston, 1990, 143–226. · Zbl 0695.10025
[7]	H. Kim, Langlands-Shahidi method and poles of automorphic (L)-functions: Application to exterior square (L)-functions , Canad. J. Math. 51 (1999), 835–849. · Zbl 0934.11024 · doi:10.4153/CJM-1999-036-0
[8]	–. –. –. –., Langlands-Shahidi method and poles of automorphic (L)-functions, II , Israel J. Math. 117 (2000), 261–284. · Zbl 1041.11035 · doi:10.1007/BF02773573
[9]	——–, An example of a non-normal quintic automorphic induction , preprint, 2000.
[10]	——–, Functoriality for the exterior square of (\GL_4) and symmetric fourth of (\GL_2) , preprint, 2000.
[11]	——–, On local (L)-functions and normalized intertwining operators , preprint, 2000.
[12]	H. Kim and F. Shahidi, Functorial products for (\GL_2\times \GL_3) and functorial symmetric cube for (\GL_2) , C. R. Acad. Sci. Paris Sér. I Math. 331 (2000), 599–604. · Zbl 1002.11044 · doi:10.1016/S0764-4442(00)01677-3
[13]	——–, Functorial products for (\GL_2\times \GL_3) and the symmetric cube for (\GL_2) , to appear in Ann. of Math. (2).
[14]	J.-P. Labesse and R. P. Langlands, (L)-indistinguishability for (\SL(2)) , Canad. J. Math. 31 (1979), 726–785. · Zbl 0421.12014 · doi:10.4153/CJM-1979-070-3
[15]	R. P. Langlands, “Problems in the theory of automorphic forms” in Lectures in Modern Analysis and Applications, III , Lecture Notes in Math. 170 , Springer, Berlin, 1970, 18–61. · Zbl 0225.14022 · doi:10.1007/BFb0079065
[16]	——–, Base change for (\GL(2)) , Ann. of Math. Stud. 96 , Princeton Univ. Press, Princeton, 1980.
[17]	–. –. –. –., “On the classification of irreducible representations of real algebraic groups” in Representation Theory and Harmonic Analysis on Semisimple Lie Groups , ed. P. J. Sally Jr. and D. A. Vogan, Math. Surveys Monogr. 31 , Amer. Math. Soc., Providence, 1989, 101–170. · Zbl 0741.22009
[18]	——–, “Beyond endoscopy” to appear in Volume in Honor of Joseph Shalika’s Sixtieth Birthday , ed. D. Ramakrishnan and F. Shahidi, Johns Hopkins Univ. Press, Baltimore.
[19]	W. Luo, Z. Rudnick, and P. Sarnak, “On the generalized Ramanujan conjecture for (\GL(n))” in Automorphic Forms, Automorphic Representations, and Arithmetic (Fort Worth, Tex., 1996) , Proc. Sympos. Pure Math. 66 , Part 2, Amer. Math. Soc., Providence, 1999, 301–310. · Zbl 0965.11023
[20]	C. Moeglin and J.-L. Waldspurger, Le spectre résiduel de (\GL(n)) , Ann. Sci. École Norm. Sup. (4) 22 (1989), 605–674. · Zbl 0696.10023
[21]	——–, Spectral decomposition and Eisenstein series: Une paraphrase de l’Ecriture , Cambridge Tracts in Math. 113 , Cambridge Univ. Press, Cambridge, 1995.
[22]	D. Prasad and D. Ramakrishnan, “On the global root numbers of (\GL(n)\times \GL(m))” in Automorphic Forms, Automorphic Representations, and Arithmetic (Fort Worth, Tex., 1996) , Proc. Sympos. Pure Math. 66 , Part 2, Amer. Math. Soc., Providence, 1999, 311–330. · Zbl 0991.11025
[23]	D. Ramakrishnan, On the coefficients of cusp forms , Math. Res. Lett. 4 (1997), 295–307. · Zbl 0883.11020 · doi:10.4310/MRL.1997.v4.n2.a10
[24]	–. –. –. –., Modularity of the Rankin-Selberg (L)-series, and multiplicity one for (\SL(2)) , Ann. of Math. (2) 152 (2000), 45–111. JSTOR: · Zbl 0989.11023 · doi:10.2307/2661379
[25]	J.-P. Serre, Abelian (\ell)-adic Representations and Elliptic Curves , W. A. Benjamin, New York, 1968. · Zbl 0186.25701
[26]	F. Shahidi, On certain (L)-functions , Amer. J. Math. 103 (1981), 297–355. JSTOR: · Zbl 0467.12013 · doi:10.2307/2374219
[27]	–. –. –. –., On the Ramanujan conjecture and finiteness of poles for certain (L)-functions , Ann. of Math. (2) 127 (1988), 547–584. JSTOR: · Zbl 0654.10029 · doi:10.2307/2007005
[28]	–. –. –. –., Third symmetric power (L)-functions for (\GL(2)) , Compositio Math. 70 (1989), 245–273. · Zbl 0684.10026
[29]	–. –. –. –., A proof of Langlands’ conjecture on Plancherel measures: Complementary series for (p)-adic groups , Ann. of Math. (2) 132 (1990), 273–330. JSTOR: · Zbl 0780.22005 · doi:10.2307/1971524
[30]	–. –. –. –., “Symmetric power (L)-functions for (\GL(2))” in Elliptic Curves and Related Topics , ed. H. Kisilevsky and M. R. Murty, CRM Proc. Lecture Notes 4 , Amer. Math. Soc., Providence, 1994, 159–182. · Zbl 0833.11016
[31]	D. Soudry, The CAP representations of (\GSp(4,\mathbb A)) , J. Reine Angew. Math. 383 (1988), 87–108. · Zbl 0625.22013 · doi:10.1515/crll.1988.383.87