Available in electronic format
Available in print format		 Journal of the American Mathematical Society
Journal of the American Mathematical Society
ISSN: 1088-6834(e) ISSN: 0894-0347(p)
Previous issue | Table of contents | Next issue
Articles in press | Recently posted articles | Most recent issue | All issues
Previous Article | Next Article
     

Functoriality for the exterior square of $GL_{4}$ and the symmetric fourth of $GL_{2}$

Author(s): Henry H. Kim; Appendix 1 by Dinakar Ramakrishnan; Appendix 2 by Henry H. Kim and Peter Sarnak
Journal: J. Amer. Math. Soc. 16 (2003), 139-183.
MSC (2000): Primary 11F30, 11F70, 11R42
Posted: October 30, 2002
Retrieve article in: PDF DVI PostScript

Abstract | References | Similar articles | Additional information

Abstract: In this paper we prove the functoriality of the exterior square of cusp forms on $GL_{4}$ as automorphic forms on $GL_{6}$ and the symmetric fourth of cusp forms on $GL_{2}$ as automorphic forms on $GL_{5}$. We prove these by applying a converse theorem of Cogdell and Piatetski-Shapiro to analytic properties of certain $L$-functions obtained by the Langlands-Shahidi method. We give several applications: First, we prove the weak Ramanujan property of cuspidal representations of $GL_{4}$ and the absolute convergence of the exterior square $L$-functions of $GL_{4}$. Second, we prove that the fourth symmetric power $L$-functions of cuspidal representations of $GL_{2}$ are entire, except for those of dihedral and tetrahedral type. Third, we prove the bound $\frac{3}{26}$ for Hecke eigenvalues of Maass forms over any number field.

References:

References to Appendix 1

[AC]
J. Arthur and L. Clozel, Simple Algebras, Base Change and the Advanced Theory of the Trace Formula, Ann. Math. Studies 120, Princeton, NJ, 1989. MR 90m:22041

[BR]
D. Blasius and D. Ramakrishnan, Maass forms and Galois representations, in Galois groups over $\mathbb{Q} $, ed. by Y. Ihara, K. Ribet, and J.-P. Serre, Academic Press, NY, 1990, pp. 33-77. MR 90m:11078

[JS]
H. Jacquet and J.A. Shalika, Euler products and the classification of automorphic forms I & II, Amer. J of Math. 103 (1981), 499-558 & 777-815. MR 82m:10050a; MR 82m:10050b

[La]
R.P. Langlands, Automorphic representations, Shimura varieties and motives. Ein Märchen, Proc. Symp. Pure Math. 33, ed. by A. Borel and W. Casselman, part 2, AMS, 1979, pp. 205-246. MR 83f:12010

[Ra]
D. Ramakrishnan, Modularity of the Rankin-Selberg $L$-series, and Multiplicity One for SL$(2)$, Annals of Mathematics 152 (2000), 45-111. MR 2001g:11077

References to Appendix 2

[BDHI]
D. Bump, W. Duke, J. Hoffstein and H. Iwaniec, An estimate for the Hecke eigenvalues of Maass forms, IMRN 4 (1992), 75-81. MR 93d:11047

[De]
P. Deligne, SGA 4 ${\frac{1}{2}}$, Cohomologie étale, Lecture Notes in Mathematics, Vol. 569, Springer-Verlag, 1977. MR 57:3132

[D-I]
J.M. Deshouillers and H. Iwaniec, Kloosterman sums and Fourier coefficients of cusp forms, Inv. Math. 70 (1982/83), 219-288. MR 84m:10015

[J-S]
H. Jacquet and J. Shalika, On Euler products and the classification of automorphic forms II, Amer. J. Math. 103 (1981), 777-815. MR 82m:10050b

[Ki1]
H. Kim, Langlands-Shahidi method and poles of automorphic $L$-functions: application to exterior square $L$-functions, Can. J. Math. 51 (1999), 835-849. MR 2000f:11058

[Ki2]
-, Langlands-Shahidi method and poles of automorphic $L$-functions II, Israel J. Math. 117 (2000), 261-284. MR 2001i:11059a

[Ki3]
-, Functoriality for the exterior square of $GL_{4}$ and symmetric fourth of $GL_{2}$, the main paper.

[Ki-Sh]
H. Kim and F. Shahidi, Cuspidality of symmetric powers with applications, Duke Math. J. 112 (2002), 177-197.

[L-R-S]
W. Luo, Z. Rudnick, and P. Sarnak, On Selberg's eigenvalue conjecture, Geom. Funct. Anal. 5 (1995), 387-401. MR 96h:11045

[L-R-S2]
-, On the generalized Ramanujan conjecture for ${GL}(n)$, in Automorphic forms, automorphic representations, and arithmetic, Proc. Sympos. Pure Math., vol. 66, Part 2, Amer. Math. Soc., Providence, RI, 1999, pp. 301-310. MR 2000e:11072

[R-S]
Z. Rudnick and P. Sarnak, Zeros of principal $L$-functions and random matrix theory, A celebration of John F. Nash, Jr., Duke Math. J. 81 (1996), 269-322. MR 97f:11074

[Se]
A. Selberg, On the estimation of Fourier coefficients of modular forms, Proc. Symp. Pure Math., vol. 8, 1965, pp. 1-15. MR 32:93

[Sh1]
F. Shahidi, A proof of Langlands conjecture on Plancherel measures; complementary series for $p$-adic groups, Annals of Math. 132 (1990), 273-330. MR 91m:11095

[Sh2]
-, On the Ramanujan conjecture and finiteness of poles for certain $L$-functions, Ann. of Math. 127 (1988), 547-584. MR 89h:11021


References

[A-T]
E. Artin and J. Tate, Class field theory, W.A. Benjamin, 1967. MR 36:6383

[As]
M. Asgari, Local $L$-functions for split spinor groups, Can. J. Math. 54 (2002), 673-693.

[Bu]

J. Buhler, Icosahedral Galois Representations, Springer Lecture Notes 654, 1978. MR 58:22019

[Ch]
J.-P. Jeff Chen, Local factors, Central characters, and Representations of general linear groups over non-archimedean fields, Doctoral dissertation, Yale University (1996).

[Co-PS1]
J.W. Cogdell and I.I. Piatetski-Shapiro, Converse theorems for $GL_{n}$ II, J. Reine Angew. Math. 507 (1999), 165-188. MR 2000a:22029

[Co-PS2]
-, Converse theorems for $GL_{n}$ and their application to liftings, preprint.

[CKPSS]
J.W. Cogdell, H. Kim, I.I. Piatetski-Shapiro, and F. Shahidi, On lifting from classical groups to $GL_{N}$, Publ. Math. IHES 93 (2001), 5-30. MR 2002i:11048

[Ge-J]
S. Gelbart and H. Jacquet, A relation between automorphic representations of $GL(2)$ and $GL(3)$, Ann. Scient. Éc. Norm. Sup. 11 (1978), 471-552. MR 81e:10025

[Ge-Sh]
S. Gelbart and F. Shahidi, Boundedness of automorphic ${L}$-functions in vertical strips, J. of AMS 14 (2001), 79-107.

[G-L]
P. Gérardin and J.P. Labesse, Base change problem for $GL(2)$, Proceedings of Symposia in Pure Mathematics, vol. 33, part 2, 1979, pp. 115-133. MR 82e:10047

[H]
M. Harris, The local Langlands conjecture for $GL(n)$ over a $p$-adic field, $n<p$, Inv. Math. 134 (1998), 177-210. MR 99j:22024

[H-T]
M. Harris and R. Taylor, On the geometry and cohomology of some simple Shimura varieties, Annals of Mathematics Studies, 151, Princeton University Press, 2001.

[He1]
G. Henniart, Une conséquence de la théorie du changement de base pour $GL(n)$. Analytic number theory (Tokyo, 1988), Lecture Notes in Math., 1434, Springer, Berlin, 1990, pp. 138-142. MR 91i:22021

[He2]
-, Une preuve simple des conjectures de Langlands pour $GL(n)$ sur un corps $p$-adique, Inv. Math. 139 (2000), 439-455. MR 2001e:11052

[He3]
-, On the local Langlands conjecture for $GL(n)$: the cyclic case, Ann. of Math. 123 (1986), 145-203. MR 87k:11132

[J-PS-S]
H. Jacquet, I.I. Piatetski-Shapiro, and J. Shalika, Rankin-Selberg convolutions, Amer. J. Math. 105 (1983), 367-464. MR 85g:11044

[J-PS-S2]
H. Jacquet, I.I. Piatetski-Shapiro, and J. Shalika, Automorphic forms on $GL(3)$, Ann. of Math. 109 (1979), 213-258. MR 80i:10034b

[J-S]
H. Jacquet and J. Shalika, Exterior square $L$-functions, in Automorphic forms, Shimura varieties, and $L$-functions, Vol. II (Ann Arbor, MI, 1988), Academic Press, 1990, pp. 143-226. MR 91g:11050

[J-S2]
-, A lemma on highly ramified $\epsilon $-factors, Math. Ann. 271 (1985), 319-332. MR 87i:22048

[J-S3]
-, On Euler products and the classification of automorphic forms I,II, Amer. J. Math. 103 (1981), 499-558; 777-815. MR 82m:10050a; MR 82m:10050b

[Ki1]
H. Kim, Langlands-Shahidi method and poles of automorphic $L$-functions: application to exterior square $L$-functions, Can. J. Math. 51 (1999), 835-849. MR 2000f:11058

[Ki2]
-, Langlands-Shahidi method and poles of automorphic $L$-functions II, Israel J. Math. 117 (2000), 261-284. MR 2001i:11059a

[Ki3]
-, Correction to: Langlands-Shahidi method and poles of automorphic $L$-functions II, Israel J. Math. 118 (2000), 379. MR 2001i:11059b

[Ki4]
-, On local $L$-functions and normalized intertwining operators, preprint.

[Ki5]
-, Examples of non-normal quintic automorphic induction, preprint.

[Ki-Sa]
H. Kim and P. Sarnak, Refined estimates towards the Ramanujan and Selberg conjectures, Appendix 2 to this paper.

[Ki-Sh]
H. Kim and F. Shahidi, Holomorphy of Rankin triple $L$-functions; special values and root numbers for symmetric cube $L$-functions, Israel J. Math. 120 (2000), 449-466. MR 2002c:11055

[Ki-Sh2]
-, Functorial products for $GL_{2}\times GL_{3}$ and functorial symmetric cube for $GL_{2}$, to appear in Ann. of Math..

[Ki-Sh3]
-, Cuspidality of symmetric powers with applications, Duke Math. J. 112 (2002), 177-197.

[Ku]
S. Kudla, The local Langlands correspondence: the non-archimedean case, in Proceedings of Symposia in Pure Mathematics, vol. 55, part 2, American Mathematical Society, 1994, pp. 365-391. MR 95d:11065

[L-La]
J-P. Labesse and R.P. Langlands, $L$-indistinguishability for $SL(2)$, Can. J. Math. 31 (1979), 726-785. MR 81b:22017

[La1]
R.P. Langlands, Euler Products, Yale University Press, 1971. MR 54:7387

[La2]
-, On the Functional Equations Satisfied by Eisenstein Series, Lecture Notes in Math., Vol. 544, Springer-Verlag, 1976. MR 58:28319

[La3]
-, Base Change for $GL(2)$, Annals of Math. Studies, vol. 96, Princeton, 1980. MR 82a:10032

[La4]
-, On the classification of irreducible representations of real algebraic groups, in Representation Theory and Harmonic Analysis on Semisimple Lie groups (P.J. Sally, Jr. and D.A. Vogan, ed.), Mathematical Surveys and Monographs, vol. 31, AMS, 1989, pp. 101-170. MR 91e:22017

[Lu-R-Sa]
W. Luo, Z. Rudnick, and P. Sarnak, On the generalized Ramanujan conjecture for $GL(n)$, Proceedings of Symposia in Pure Mathematics, vol. 66, part 2, 1999, pp. 301-310. MR 2000e:11072

[Lu-R-Sa2]
-, On Selberg's eigenvalue conjecture, Geom. Funct. Anal. 5 (1995), 387-401. MR 96h:11045

[M-W1]
C. Moeglin and J.L. Waldspurger, Spectral Decomposition and Eisenstein series, une paraphrase de l'Ecriture, Cambridge tracts in mathematics, vol. 113, Cambridge University Press, 1995. MR 97d:11083

[M-W2]
C. Moeglin and J.L. Waldspurger, Le spectre résiduel de $GL(n)$, Ann. Scient. Éc. Norm. Sup. 22 (1989), 605-674. MR 91b:22028

[P-Ra]
D. Prasad and D. Ramakrishnan, On the global root numbers of $GL(n)\times GL(m)$, Proceedings of Symposia in Pure Mathematics, vol. 66, part 2, 1999, pp. 311-330. MR 2000f:11060

[Ra1]
D. Ramakrishnan, Modularity of the Rankin-Selberg $L$-series, and multiplicity one for $SL(2)$, Ann. of Math. 152 (2000), 45-111. MR 2001g:11077

[Ra2]
-, On the coefficients of cusp forms, Math. Research Letters 4 (1997), 295-307. MR 98e:11064

[Ra3]
-, A descent criterion for isobaric representations, Appendix 1 to this paper.

[Ro]
J. Rogawski, Representations of $GL(n)$ and division algebras over a $p$-adic field, Duke Math. J. 50 (1983), 161-196. MR 84j:12018

[Sh1]
F. Shahidi, A proof of Langlands conjecture on Plancherel measures; complementary series for $p$-adic groups, Annals of Math. 132 (1990), 273-330. MR 91m:11095

[Sh2]
-, On certain $L$-functions, Amer. J. Math 103 (1981), 297-355. MR 82i:10030

[Sh3]
-, On the Ramanujan conjecture and finiteness of poles for certain $L$-functions, Ann. of Math. 127 (1988), 547-584. MR 89h:11021

[Sh4]
-, Fourier transforms of intertwining operators and Plancherel measures for $GL(n)$, Amer. J. of Math. 106 (1984), 67-111. MR 86b:22031

[Sh5]
-, Twisted endoscopy and reducibility of induced representations for $p$-adic groups, Duke Math. J. 66, No. 1 (1992), 1-41. MR 93b:22034

[Sh6]
-, On multiplicativity of local factors, In: Festschrift in honor of I.I. Piatetski-Shapiro, Part II, Israel Math. Conf. Proc. 3, Weizmann, Jerusalem, 1990, pp. 279-289. MR 93e:11144

[Sh7]
-, Local coefficients as Artin factors for real groups, Duke Math. J. 52 (1985), 973-1007. MR 87m:11049

[Ta]
M. Tadic, Classification of unitary representations in irreducible representations of general linear group (non-Archimedean case), Ann. Sci. Ec. Norm. Sup. 19 (1986), 335-382. MR 88b:22021

[Tu]
J. Tunnell, Artin's conjecture for representations of octahedral type, Bulletin AMS 5, no. 2 (1981), 173-175. MR 82j:12015

[Zh]
Y. Zhang, The holomorphy and nonvanishing of normalized intertwining operators, Pac. J. Math. 180 (1997), 385-398. MR 98k:22076

Similar Articles:

Retrieve articles in Journal of the American Mathematical Society with MSC (2000): 11F30, 11F70, 11R42

Retrieve articles in all Journals with MSC (2000): 11F30, 11F70, 11R42

Additional Information:

Henry H. Kim
Affiliation: Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 3G3
Email: henrykim@math.toronto.edu

Appendix 1 by Dinakar Ramakrishnan
Affiliation: Department of Mathematics, California Institute of Technology, Pasadena, California 91125
Email: dinakar@its.caltech.edu

Appendix 2 by Henry H. Kim and Peter Sarnak
Affiliation: Department of Mathematics, Princeton University, Princeton, New Jersey 08544
Email: sarnak@math.princeton.edu

DOI: 10.1090/S0894-0347-02-00410-1
PII: S 0894-0347(02)00410-1
Received by editor(s): August 30, 2001
Received by editor(s) in revised form: September 18, 2002
Posted: October 30, 2002
Additional Notes: The first author was partially supported by NSF grant DMS9988672, NSF grant DMS9729992 (at IAS), NSERC grant and by the Clay Mathematics Institute
The second and third authors were partially supported by NSF grants
Copyright of article: Copyright 2002, American Mathematical Society

  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement 		Search the AMSPowered by Google