Selberg trace formula
In mathematics, the Selberg trace formula, introduced by Selberg (1956), is an expression for the character of the unitary representation of G on the space L2(G/Γ) of square-integrable functions, where G is a Lie group and Γ a cofinite discrete group. The character is given by the trace of certain functions on G.
The simplest case is when Γ is cocompact, when the representation breaks up into discrete summands. Here the trace formula is an extension of the Frobenius formula for the character of an induced representation of finite groups. When Γ is the cocompact subgroup Z of the real numbers G=R, the Selberg trace formula is essentially the Poisson summation formula.
The case when G/Γ is not compact is harder, because there is a continuous spectrum, described using Eisenstein series. Selberg worked out the non-compact case when G is the group SL2(R); the extension to higher rank groups is the Arthur-Selberg trace formula.
When Γ is the fundamental group of a Riemann surface, the Selberg trace formula describes the spectrum of differential operators such as the Laplacian in terms of geometric data involving the lengths of geodesics on the Riemann surface. In this case the Selberg trace formula is formally similar to the explicit formulas relating the zeros of the Riemann zeta function to prime numbers, with the zeta zeros corresponding to eigenvalues of the Laplacian, and the primes corresponding to geodesics. Motivated by the analogy, Selberg introduced the Selberg zeta function of a Riemann surface, whose analytic properties are encoded by the Selberg trace formula.
Cases of particular interest include those for which the space is a compact Riemann surface S. The initial publication in 1956 of Atle Selberg dealt with this case, its Laplacian differential operator and its powers. The traces of powers of a Laplacian can be used to define the Selberg zeta function. The interest of this case was the analogy between the formula obtained, and the explicit formulae of prime number theory. Here the closed geodesics on S play the role of prime numbers.
At the same time, interest in the traces of Hecke operators was linked to the Eichler-Selberg trace formula, of Selberg and Martin Eichler, for a Hecke operator acting on a vector space of cusp forms of a given weight, for a given congruence subgroup of the modular group. Here the trace of the identity operator is the dimension of the vector space, i.e. the dimension of the space of modular forms of a given type: a quantity traditionally calculated by means of the Riemann-Roch theorem.
The trace formula has applications to arithmetic geometry and number theory. For instance, using the trace theorem Eichler and Shimura calculated the Hasse-Weil L-functions associated to modular curves; Goro Shimura's methods by-passed the analysis involved in the trace formula. The development of parabolic cohomology (from Eichler cohomology) provided a purely algebraic setting based on group cohomology, taking account of the cusps characteristic of non-compact Riemann surfaces and modular curves.
The trace formula also has purely differential-geometric applications. For instance, by a result of Buser, the length spectrum of a Riemann surface is an isospectral invariant, essentially by the trace formula.
The trace formula is often given for algebraic groups over the adeles rather than for Lie groups, because this makes the corresponding discrete subgroup Γ into an algebraic group over a field which is technically easier to work with.
Contemporary successors of the theory are the Arthur-Selberg trace formula applying to the case of general semisimple G, and the many studies of the trace formula in the Langlands philosophy (dealing with technical issues such as endoscopy). The Selberg trace formula can be derived from the Arthur-Selberg trace formula with some effort (see Palm).
Selberg trace formula for compact hyperbolic surfaces
A compact hyperbolic surface can be written as the space of orbits
The Selberg trace formula for this case is easier than the general case because the surface is compact so there is no continuous spectrum, and the group Γ has no parabolic or elliptic elements (other than the identity).
where the eigenvalues correspond to Γ-invariant eigenfunctions of the Laplacian; in other words
Using the variable substitution
the eigenvalues are labeled
Then the Selberg trace formula is given by
The right hand side is a sum over conjugacy classes of the group Γ, with the first term corresponding to the identity element and the remaining terms forming a sum over the other conjugacy classes (which are all hyperbolic in this case). The function has to be an analytic function on , satisfy
where the numbers and are positive constants. The function is the Fourier transform of , that is,
- Fischer, Jürgen (1987), An approach to the Selberg trace formula via the Selberg zeta-function, Lecture Notes in Mathematics 1253, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0077696, ISBN 978-3-540-15208-8, MR 892317
- Gel'fand, I. M.; Graev, M. I.; Pyatetskii-Shapiro, I. I. (1990), Representation theory and automorphic functions, Generalized Functions 6, Boston, MA: Academic Press, ISBN 978-0-12-279506-0, MR 1071179
- Hejhal, Dennis A. (1976), "The Selberg trace formula and the Riemann zeta function", Duke Mathematical Journal 43 (3): 441–482, doi:10.1215/S0012-7094-76-04338-6, ISSN 0012-7094, MR 0414490
- Hejhal, Dennis A. (1976), The Selberg trace formula for PSL(2,R). Vol. I, Lecture Notes in Mathematics, Vol. 548 548, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0079608, ISBN 978-3-540-07988-0, MR 0439755
- Hejhal, Dennis A. (1983), The Selberg trace formula for PSL(2,R). Vol. 2, Lecture Notes in Mathematics 1001, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0061302, ISBN 978-3-540-12323-1, MR 711197
- McKean, H. P. (1972), "Selberg's trace formula as applied to a compact Riemann surface", Communications on Pure and Applied Mathematics 25 (3): 225–246, doi:10.1002/cpa.3160250302, ISSN 0010-3640, MR 0473166
- Palm, Marc (2012), "Explicit GL(2) trace formulas and uniform, mixed Weyl laws", PhD thesis
- Selberg, Atle (1956), "Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series", J. Indian Math. Soc. (N.S.) 20: 47–87, MR 0088511