Functoriality for the exterior square of and the symmetric fourth of

Author:
Henry H. Kim; with an appendix by Dinakar Ramakrishnan; with an appendix co-authored by Peter Sarnak

Journal:
J. Amer. Math. Soc. **16** (2003), 139-183

MSC (2000):
Primary 11F30, 11F70, 11R42

DOI:
https://doi.org/10.1090/S0894-0347-02-00410-1

Published electronically:
October 30, 2002

MathSciNet review:
1937203

Full-text PDF

View in AMS MathViewer

Abstract | References | Similar Articles | Additional Information

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

**[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*, 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**-series, and Multiplicity One for SL*, Annals of Mathematics**152**(2000), 45-111. MR**2001g:11077**

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

**Dinakar Ramakrishnan**

Affiliation:
Department of Mathematics, California Institute of Technology, Pasadena, California 91125

Email:
dinakar@its.caltech.edu

**Peter Sarnak**

Affiliation:
Department of Mathematics, Princeton University, Princeton, New Jersey 08544

Email:
sarnak@math.princeton.edu

DOI:
https://doi.org/10.1090/S0894-0347-02-00410-1

Received by editor(s):
August 30, 2001

Received by editor(s) in revised form:
September 18, 2002

Published electronically:
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

Article copyright:
© Copyright 2002
American Mathematical Society