Selberg trace formula

Selberg trace formula
Name	Selberg trace formula
Field	Number theory; Representation theory; Spectral geometry
Introduced	1956
Inventor	Atle Selberg
Related	Riemann zeta function; Arthur–Selberg trace formula; Langlands program

Selberg trace formula The Selberg trace formula is an identity relating spectral data of automorphic operators to geometric sums over conjugacy classes on locally symmetric spaces. It connects eigenvalues of the Laplacian and representations of PSL(2,R) on quotients by discrete groups such as modular group to lengths of closed geodesics on hyperbolic surfaces and orbital integrals associated to Fuchsian group elements. The formula has driven advances across analytic number theory, automorphic representation theory, and parts of the Langlands program.

Introduction

Selberg developed the trace formula in the context of Atle Selberg's study of eigenvalues on quotients of upper half-plane by congruence subgroups and discrete subgroups of PSL(2,R). The trace formula links spectral invariants like eigenvalues of the hyperbolic Laplacian and characters of unitary representations to geometric invariants such as lengths of closed geodesics on Riemann surfaces and orbital integrals for hyperbolic elements, elliptic elements, and parabolic elements. Early applications touched prime geodesic theorem, distribution of eigenvalues in Weyl law contexts, and nontrivial results about Maass forms and Hecke operators.

Statement of the Formula

In Selberg's original setting for a cofinite Fuchsian group Γ acting on the hyperbolic plane, the formula equates a spectral trace—sum over discrete spectrum of test-function transforms of eigenvalues plus integrals over continuous spectrum associated to Eisenstein series—with a geometric sum over conjugacy classes in Γ. The geometric side organizes contributions by type: identity term, elliptic conjugacy classes corresponding to orbifold points, hyperbolic conjugacy classes corresponding to closed geodesics, and parabolic classes tied to cuspidal geometry and constant terms of Eisenstein series. The identity term involves the hyperbolic area of Γ\H, while hyperbolic terms involve lengths of closed geodesics and associated orbital integrals akin to primitive class sums in the prime number theorem analogy.

Spectral and Geometric Sides

The spectral side comprises discrete eigenvalues from cuspidal Maass forms and residues or continuous integrals coming from Eisenstein series and scattering matrices; it also includes multiplicities of automorphic representations and traces of Hecke operators when present. The geometric side enumerates Γ-conjugacy classes: the identity term links to the volume of Γ\H and the Weyl law, elliptic terms relate to stabilizer orders and orbifold points, parabolic terms involve Dedekind eta function-style constants through constant terms of Eisenstein series, and hyperbolic terms are sums over primitive closed geodesics reminiscent of sums over prime powers in the explicit formula (number theory). Interplay between these sides parallels comparisons in the Arthur trace formula and the Lefschetz trace formula in algebraic geometry.

Applications and Consequences

Selberg's trace formula yielded proofs and insights into the prime geodesic theorem, existence of Maass cusp forms, bounds for eigenvalue gaps measured against the Ramanujan–Petersson conjecture heuristics, and average results for coefficients of modular forms via traces of Hecke operators. It underpins results on nonvanishing of L-function values, transfer principles predicted by the Langlands functoriality conjectures, and comparisons leading to the Arthur–Selberg trace formula which generalizes Selberg's work to reductive adelic groups. The trace formula also informs spectral geometry problems such as hearing the length spectrum of a Riemannian manifold and contributes to quantum chaos studies in the context of quantum unique ergodicity and eigenfunction equidistribution.

Proof Overview

Selberg's proof constructs a kernel from a test function on the spectral parameter and computes its trace in two ways: as a sum over an orthonormal basis of automorphic forms yielding the spectral side, and by unfolding the kernel and summing its Γ-translates yielding the geometric side. Key analytic ingredients include meromorphic continuation and functional equations of Eisenstein series, analysis of scattering matrices, control of convergence via truncation techniques akin to Arthur truncation, and evaluation of orbital integrals using hyperbolic geometry on the upper half-plane. Representation-theoretic interpretations exploit harmonic analysis on PSL(2,R) and its unitary dual, connecting to induced representations and the Plancherel theorem for semisimple groups.

Examples and Special Cases

Classical cases include Γ = PSL(2,Z) and congruence subgroups Γ0(N), where the formula computes traces of Hecke operators and gives explicit relations involving lengths of closed geodesics on modular curves such as X0(N). For compact arithmetic surfaces arising from quaternion algebras over Q the parabolic terms vanish and the trace simplifies to identity, elliptic, and hyperbolic contributions. Limiting cases recover versions of the explicit formula relating zeros of Riemann zeta function and primes when suitably interpreted via correspondences between geodesic lengths and prime powers in certain settings.

Generalizations and Extensions

Generalizations include the Arthur–Selberg trace formula for general reductive adelic groups, stabilized trace formulas central to proofs of cases of Langlands functoriality and the fundamental lemma comparisons, and relative trace formulas used for period integral studies and special value formulas for L-functions. Further extensions relate to the Lefschetz trace formula in arithmetic geometry, noncompact higher-rank symmetric spaces, and analytic continuations involving trace-class operator frameworks in representation theory. Contemporary research connects the trace formula to trace formulas in quantum chaos, beyond endoscopy proposals, and categorical lifts inspired by the geometric Langlands program.

Category:Automorphic forms