Selberg zeta function

Selberg zeta function. The Selberg zeta function is a fundamental mathematical object introduced by the Norwegian mathematician Atle Selberg in the 1950s. It is defined for compact or finite-area Riemann surfaces with constant negative curvature and serves as a generating function for the lengths of closed geodesics. This function provides a profound bridge between the spectral data of the Laplace–Beltrami operator and the geometric data of the surface, playing a crucial role in analytic number theory, spectral theory, and hyperbolic geometry.

Definition and basic properties

The Selberg zeta function is formally defined as an infinite product over the set of primitive closed geodesics on a hyperbolic surface. For a compact Riemann surface \( \Gamma \backslash \mathbb{H} \), where \( \Gamma \) is a Fuchsian group acting on the upper half-plane \( \mathbb{H} \), the function is given by \( Z(s) = \prod_{\gamma} \prod_{k=0}^{\infty} \left(1 - e^{-(s+k)\ell(\gamma)}\right) \). Here, the product runs over all primitive conjugacy classes in the fundamental group, and \( \ell(\gamma) \) denotes the length of the geodesic. This Euler product converges for \( \operatorname{Re}(s) > 1 \) and admits an analytic continuation to the entire complex plane as a meromorphic function. Its definition generalizes the construction of more classical zeta functions, such as the Riemann zeta function, to the geometric context of surfaces modeled on the hyperbolic plane.

Relation to Selberg trace formula

The deep properties of the Selberg zeta function are intimately connected to the Selberg trace formula, a powerful identity that equates a spectral sum over eigenvalues of the Laplace–Beltrami operator with a geometric sum over conjugacy classes in \( \Gamma \). The logarithmic derivative of the Selberg zeta function can be expressed through this trace formula, linking its zeros directly to the eigenvalues of the Laplacian. Specifically, the formula shows that \( Z'(s)/Z(s) \) is related to a sum involving the heat kernel on the surface. This connection was a central achievement of Atle Selberg's work, providing a non-commutative analogue of the explicit formulas in the theory of the Riemann zeta function and laying the groundwork for applications in quantum chaos.

Zeros and poles

The analytic continuation of the Selberg zeta function reveals a precise structure of its zeros and poles, which encode significant spectral and geometric information. Non-trivial zeros occur at points \( s \) where \( s(1-s) \) is an eigenvalue of the Laplacian, with additional contributions from the residual spectrum and the continuous spectrum in the non-compact case. There are also so-called "topological" poles related to the Euler characteristic of the surface. The distribution of these zeros is a subject of intense study, with connections to conjectures like the Riemann hypothesis for surfaces, which posits that all non-trivial zeros of \( Z(s) \) have real part equal to \( 1/2 \). This area interacts closely with research on the statistics of energy levels in quantum mechanics.

Connection to Riemann zeta function

While defined in a different geometric setting, the Selberg zeta function shares several formal analogies with the classical Riemann zeta function. Both possess an Euler product representation, a functional equation, and their zeros are conjectured to satisfy a Riemann hypothesis. The Selberg trace formula for \( Z(s) \) parallels the explicit formula in prime number theory that relates zeros of the Riemann zeta function to the distribution of prime numbers. These parallels have made the Selberg zeta function a key testing ground for ideas in analytic number theory, offering a geometric model where many conjectures for the Riemann zeta function can be studied in a more structured environment, such as through the lens of random matrix theory.

Applications in number theory and geometry

The Selberg zeta function has far-reaching applications across several mathematical disciplines. In number theory, it is used to study the distribution of lengths of closed geodesics, analogous to the distribution of prime numbers, via the prime geodesic theorem. In spectral geometry, it helps in understanding the determinant of the Laplacian through formulas like the determinant formula of D'Hoker–Phong. Its properties are central to the field of quantum chaos, where it models the energy levels of chaotic quantum systems. Furthermore, generalizations of the Selberg zeta function appear in the study of higher-dimensional locally symmetric spaces and in the arithmetic geometry of Shimura varieties, connecting to the Langlands program and the work of mathematicians like Robert Langlands and Pierre Deligne.

Category:Zeta and L-functions Category:Analytic number theory Category:Spectral theory Category:Hyperbolic geometry