This book by Dennis A. Hejhal, “The Selberg Trace Formula for PSL(2,ℝ),” Volume 2, published in 1983, is a detailed treatment of the Selberg trace formula, focusing primarily on Fuchsian groups with at least one cusp. It builds upon the foundations laid in Selberg’s earlier work and the author’s own Volume 1.
Significance:
The Selberg trace formula is a central result in the theory of automorphic forms, connecting spectral data (eigenvalues of the Laplacian) with geometric data (lengths of closed geodesics) on locally symmetric spaces. It is a non-commutative analogue of the Poisson summation formula and the Riemann explicit formula. This formula has far-reaching consequences in number theory, representation theory, and mathematical physics, enabling connections between seemingly disparate areas of mathematics. This volume represents an important effort to provide a clear and accessible exposition of this complex and powerful tool, along with numerous applications.
Key Innovations and Contributions:
- Systematic Elaboration: The book offers a systematic and detailed exposition of Selberg’s ideas, particularly his Göttingen notes from 1954, making them more accessible to a wider audience.
- Treatment of Real Weight: It carefully develops the trace formula for automorphic forms of arbitrary real weight, which is a crucial extension.
- Alternative Derivation: An alternate (and earlier) approach of Selberg for continuing the Eisenstein series and deriving the trace formula is published for the first time.
- Applications: It explores applications of the trace formula to various problems, including the dimension of spaces of holomorphic automorphic forms, concrete examples for classical Fuchsian groups and numerical computations of eigenvalues.
- Appendices: Includes appendices covering supplementary materials such as Kloosterman sums and a detailed exposition of Selberg’s third method for analytically continuing Eisenstein series.
Main Prior Ingredients Needed:
- Basic Knowledge of Fuchsian Groups: Understanding of the theory of Fuchsian groups, including their fundamental regions, hyperbolic geometry, and group actions on the upper half-plane is essential.
- Spectral Theory of the Laplacian: Familiarity with the spectral theory of the Laplacian operator on hyperbolic spaces, including eigenvalues, eigenfunctions, and the resolvent kernel.
- Theory of Automorphic Forms: A solid grounding in the theory of automorphic forms, including Eisenstein series, cusp forms, and their properties, is necessary.
- Selberg’s Earlier Work: Prior knowledge of Selberg’s earlier work on trace formulas and zeta functions is highly beneficial, particularly his Göttingen notes and Volume 1.
- Functional Analysis and Complex Analysis: Strong background in functional analysis and complex analysis, especially the theory of meromorphic continuation, is needed to understand the analytical aspects of the trace formula.
In essence, Hejhal’s Volume 2 serves as a comprehensive and detailed guide to the Selberg trace formula for PSL(2,ℝ), bridging the gap between Selberg’s original work and the broader mathematical community.