Journal d’Analyse Mathématique

, Volume 50, Issue 1, pp 189–200 | Cite as

A simple trace formula

  • Yuval Z. Flicker
  • David A. Kazhdan


The Selberg trace formula is of unquestionable value for the study of automorphic forms and related objects. In principal it is a simple and natural formula, generalizing the Poisson summation formula, relating traces of convolution operators with orbital integrals. This paper is motivated by the belief that such a fundamental and natural relation should admit asimple and short proof. This is accomplished here for test functions with a single supercusp-component, and another component which is spherical and “sufficiently-admissible” with respect to the other components. The resulting trace formula is then use to sharpen and extend the metaplectic correspondence, and the simple algebras correspondence, of automorphic representations, to the context of automorphic forms with asingle supercuspidal component, over any global field. It will be interesting to extend these theorems to the context of all automorphic forms by means of a simple proof. Previously a simple form of the trace formula was known for test functions with two supercusp components; this was used to establish these correspondences for automorphic forms with two supercuspidal components. The notion of “sufficiently-admissible” spherical functions has its origins in Drinfeld's study of the reciprocity law for GL(2) over a function field, and our form of the trace formula is analogous to Deligne's conjecture on the fixed point formula in étale cohomology, for a correspondence which is multiplied by by a sufficiently high power of the Frobenius, on a separated scheme of finite type over a finite field. Our trace formula can be used (see [FK′]) to prove the Ramanujan conjecture for automorphic forms with a supercuspidal component on GL(n) over a function field, and to reduce the reciprocity law for such forms to Deligne's conjecture. Similar techniques are used in ['t'F] to establish base change for GL (n) in the context of automorphic forms with a single supercuspidal component. They can be used to give short and simple proofs of rank one lifting theorems forarbitrary automorphic forms; see [″F] for base change for GL(2), [F′] for base change forU(3), and [′F′] for the symmetric square lifting from SL(2) to PGL(3).


Spherical Function Trace Formula Automorphic Form Maximal Compact Subgroup Unipotent Radical 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BDKV] J. Bernstein, P. Deligne, D. Kazhdan and M.-F. Vigneras,Représentations des groupes réductifs sur un corps local, Hermann, Paris, 1984.Google Scholar
  2. [BZ] J. Bernstein and A. Zelevinsky,Induced representations of reductive p-adic groups I, Ann. Sci. Ec. Norm. Sup., 4e série,10 (1977), 441–472.zbMATHMathSciNetGoogle Scholar
  3. [B] A. Borel,Admissible representations of a semi-simple group over a local field with vectors fixed under an Iwahori subgroup, Invent. Math.35 (1976), 233–259.zbMATHCrossRefMathSciNetGoogle Scholar
  4. [BJ] A. Borel and H. Jacquet,Automorphic forms and automorphic representations, Proc. Symp. Pure Math.33 (1979), I, 189–208.MathSciNetGoogle Scholar
  5. [C] P. Cartier,Representations of p-adic groups: A survey, Proc. Symp. Pure Math.33 (1979), I, 111–155.MathSciNetGoogle Scholar
  6. [CD] W. Casselman,Characters and Jacquet modules, Math. Ann.230 (1977), 101–105; see also: P. Deligne,Le support du caractère d'une répresentation supercuspidale, C. R. Acad. Sci. Paris 283 (1976), 155–157.CrossRefMathSciNetGoogle Scholar
  7. [D] V. Drinfeld,Elliptic modules II, Mat. Sbornik102 (144) (1977) (2) (=Math. USSR Sbornik31 (1977), (2), 159–170).Google Scholar
  8. [F] Y. Flicker,Rigidity for automorphic forms, J. Analyse Math.49 (1987), 135–202.Google Scholar
  9. [F′] Y. Flicker,Base change trace identity for U (3), preprint, MSRI (1986); see also:Packets and liftings for U (3), J. Analyse Math.50 (1988), 19–63, this issue.Google Scholar
  10. [F″] Y. Flicker,Stable base change for spherical functions, Nagoya Math. J.106 (1987), 121–142.zbMATHMathSciNetGoogle Scholar
  11. [′F] Y. Flicker,Regular trace formula and base change for GL (n), preprint.Google Scholar
  12. [″F] Y. Flicker,Regular trace formula and base change lifting, Am. J. Math., to appear.Google Scholar
  13. [′F′] Y. Flicker,On the symmetric square. Total global comparison, preprint.Google Scholar
  14. [FK] Y. Flicker and D. Kazhdan,Metaplectic correspondence, Publ. Math. IHES64 (1987), 53–110.Google Scholar
  15. [FK′] Y. Flicker and D. Kazhdan,Geometric Ramanujan conjecture and Drinfeld reciprocity law, Proc. Selberg Symposium, Oslo, June 1987.Google Scholar

Copyright information

© Hebrew University of Jerusalem 1988

Authors and Affiliations

  • Yuval Z. Flicker
    • 1
  • David A. Kazhdan
    • 1
  1. 1.Department of MathematicsHarvard University, Science CenterCambridgeUSA

Personalised recommendations