Selberg trace formula

In mathematics, the Selberg trace formula is a central result, or area of research, in non-commutative harmonic analysis. It provides an expression for the trace, in a sense suitably generalising that of the trace of a matrix, for suitable integral operators and differential operators acting in spaces of functions defined on a homogeneous space G/Γ where G is a Lie group and Γ a discrete group, or more generally a double coset space H'G/Γ.

Related Topics:
Mathematics - Non-commutative harmonic analysis - Trace of a matrix - Integral operator - Differential operator - Homogeneous space - Lie group - Discrete group - Double coset

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

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, in a case such as this, provide a kind of zeta function. The immediate interest of this case was the powerful 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. The relationship was immediately recognised as a significant commentary on the Riemann hypothesis. The trace formula was singled out as the non-commutative generalisation of the Poisson summation formula.

Related Topics:
Compact Riemann surface - Atle Selberg - Laplacian - Zeta function - Explicit formulae - Prime number - Geodesic - Riemann hypothesis - Poisson summation formula

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

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 would be 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. This development made it clear that further information was available, by methods (which would come to be seen as naturally described as those) of representation theory.

Related Topics:
Hecke operator - Martin Eichler - Cusp form - Congruence subgroup - Modular group - Riemann-Roch theorem - Representation theory

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

A large number of developments followed. The Eichler-Shimura theorem 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. In the end the compact quotient case of the Selberg trace formula was more-or-less absorbed into the theory of the Atiyah-Singer index theorem; but the non-compact case is met immediately when Γ is taken to be an arithmetic group.

Related Topics:
Eichler-Shimura theorem - Hasse-Weil L-function - Modular curve - Goro Shimura - Parabolic cohomology - Eichler cohomology - Group cohomology - Cusp - Atiyah-Singer index theorem - Arithmetic group

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

In the 1960s the general thrust of the Selberg trace formula, as a piece of analysis, was taken up by the Israel Gelfand school, by Harish-Chandra and Langlands in Princeton, and by Tomio Kubota in Japan. The general theory of Eisenstein series was largely motivated by the requirement to separate out the continuous spectrum, which is characteristic of the non-compact case. The existence of trace formulae both for the differential operator and Hecke operator cases was a hint of the power (for essentially arithmetic cases) of the adele group approach.

Related Topics:
Israel Gelfand - Harish-Chandra - Langlands - Tomio Kubota - Eisenstein series - Continuous spectrum - Adele group

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

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). There is no definitive form of trace formula, in the sense that the L2 forms of index theorem have not actually caught up with all possible applications.

Related Topics:
Langlands philosophy - Endoscopy

~ ~ ~ ~ ~ ~ ~ ~ ~ ~