---
title: Selberg Zeta Function
url: https://www.emergentmind.com/topics/selberg-zeta-function
type: topic
---

# Selberg Zeta Function

The Selberg zeta function is a central analytic object in the spectral theory of automorphic forms, quantum chaos, and the dynamics of flows on Riemannian locally symmetric spaces, most prominently finite-area hyperbolic surfaces and their higher-rank analogues. Defined both as an infinite Euler product and as a Fredholm determinant of transfer operators, it encodes the length spectrum of primitive closed geodesics and is intimately connected to the spectrum and resonances of the Laplace-Beltrami operator. Its generalizations span from arithmetic quotients to quantum field theoretic partition functions in black hole spacetimes and even to zeta functions on non-hyperbolic or p-adic and combinatorial analogues.

## 1. Definition and Euler Product Structure

Let \( X = \Gamma \backslash \mathbb{H} \) be a (cofinite) hyperbolic surface, where \(\Gamma \subset \mathrm{PSL}(2,\mathbb{R})\) is a discrete group. The Selberg zeta function is defined, for \( \Re(s) > 1 \), by the absolutely convergent Euler product
\[
Z_\Gamma(s) = \prod_{p} \prod_{k=0}^\infty \left( 1 - N(p)^{-s-k} \right),
\]
where \( p \) runs over primitive hyperbolic conjugacy classes in \(\Gamma\), and \( N(p) = e^{\ell(p)} \) is the norm associated to the class, with \( \ell(p) \) the length of the corresponding primitive closed geodesic on \( X \) [1008.4229], [1809.10140], [2511.07100]. For higher rank or orbifold quotients, appropriate modifications and twists apply: e.g., in the twisted case, the local factor at \( p \) is replaced by the determinant over a representation \( \rho \) as in
\[
Z_\Gamma(s;\rho) = \prod_{p} \prod_{k=0}^\infty \det \left( I - \rho(p) N(p)^{-s-k} \right)
\]
[2512.16681], [1108.5659].

For infinite-area and non-compact higher-rank locally symmetric spaces, analogous Euler products are defined over suitable "primitive" classes reflecting the geometric and group-theoretic structure [1208.6086], [1404.3934].

## 2. Analytic Continuation, Functional Equation, and Zeros

The Euler product defining \( Z_\Gamma(s) \) converges absolutely for \( \Re(s) > 1 \), but analytic continuation to all \( s \in \mathbb{C} \) is achieved via Selberg’s trace formula or via transfer operator techniques [1008.4229], [1404.3934]. The function becomes meromorphic or entire depending on the context (entire for convex-cocompact or compact quotients, possibly with poles at special points for non-compact finite-area cases due to continuous spectrum contributions).

A functional equation of the form
\[
Z_\Gamma(s) = \Psi(s)\, Z_\Gamma(1-s)
\]
is satisfied, where \( \Psi(s) \) is an explicit function built from gamma and sine factors reflecting the underlying geometry and representation data. In many cases, \(\Psi(s)\) reduces to elementary products in the presence of special automorphic or motivic symmetries [2011.08427], [2011.08429].

Zeros of \( Z_\Gamma(s) \) encode the eigenvalues and resonances of the Laplace-Beltrami operator:
- Non-trivial zeros correspond to non-zero Laplacian eigenvalues (\( s_j = \frac{1}{2} \pm i r_j \) if \( \lambda_j = 1/4 + r_j^2 \)).
- Zeros lie symmetrically with respect to the critical line \( \Re(s)=1/2 \) [1008.4229], with further symmetry in twisted or motivic settings [2011.08427], [2011.08429].
- For infinite-area convex-cocompact surfaces, the rightmost zero is the Hausdorff dimension \( \delta \) of the limit set, and zeros organize into almost periodic patterns in the critical strip [2204.08218].

## 3. Dynamical and Operator-Theoretic Realization

A fundamental advance is the operator-theoretic realization of \( Z_\Gamma(s) \) as a Fredholm determinant of a transfer operator acting on spaces of holomorphic functions [1008.4229]:
\[
Z_\Gamma(s) = \det(I - L_s)
\]
where \( L_s \) is a suitable transfer operator associated with the geodesic flow, such as Mayer’s operator for \( \mathrm{PSL}(2,\mathbb{Z}) \),
\[
(L_s f)(z) = \sum_{n=1}^\infty \left( \frac{1}{z+n} \right)^{2s} f\left( \frac{1}{z+n} \right).
\]
For infinite-area Hecke triangle surfaces and other situations, transfer operators are built from symbolic coding of appropriate sections of the geodesic or billiard flows [1404.3934], with spectral analysis yielding determinant formulae:
\[
Z_S(s) = \det(I - L_s^+) \cdot \det(I - L_s^-)
\]
where \( L_s^\pm \) encode boundary/weight conditions such as Dirichlet and Neumann data.

Such representations facilitate the meromorphic continuation of \( Z_\Gamma(s) \), provide explicit spectral information, and enable fast numerical calculations of zeros and resonances [1407.6134].

## 4. Spectral and Arithmetic Consequences

The Selberg zeta function is a generating function for the length spectrum of closed geodesics, and its structure mirrors the Prime Number Theorem ("prime geodesic theorem"):
\[
\sum_{N(p) \le x} 1 = \mathrm{Li}(x) + O(x^\theta)
\]
for some \( \theta < 1 \) [2511.07100]. The locations of zeros determine asymptotics for the distribution of closed geodesics, and their relation with Laplacian eigenvalues gives rise to the Selberg trace formula.

In arithmetic settings, the zeta function connects to Dirichlet series with positive coefficients, Beurling zeta functions, and satisfies moment results: for example, the second moment at \( \sigma=1 \) exists,
\[
\lim_{T\to\infty} \frac{1}{T} \int_0^T |Z(1+it)|^2\,dt < \infty
\]
[2511.07100]. Generalized versions interpolate between classical Archimedean and non-Archimedean cases, with strong links to the Ihara zeta function and graph-theoretic analogues under degenerations of Schottky groups [2412.20754].

In quantum chaos and mathematical physics, the Selberg zeta encapsulates quantum resonances: its zeros capture the spectrum of Laplacians on quotient manifolds, and a "prime geodesic theorem" analogy underlies analyses of quantum-classical spectral correspondences [1008.4229], [1407.6134].

## 5. Functional Equations, Motivic Twists, and Factorizations

Functional equations for generalizations of the Selberg zeta function reflect motivic automorphy structures. Twists by Tate motives via appropriate polynomial weightings yield
\[
Z_{M(f)}(s) = \prod_{k\in \mathbb{Z}} Z_M(s-k)^{a(k)}
\]
and such twists can produce functional equations free of archimedean gamma factors if the polynomial \( f \) is suitably automorphic:
\[
Z_{M(f)}(D+2\rho-s)^C = Z_{M(f)}(s) S_{M(f)}(s)
\]
with \( S_{M(f)}(s) \) built from products over sine/gamma factors [2011.08427], [2011.08429]. This yields exact spectral symmetries not present in the untwisted case.

Symmetry reduction techniques for holomorphic iterated function schemes factorize the Selberg zeta into contributions from irreducible representations of a finite symmetry group, leading to highly efficient computation of resonances and revealing representation-theoretic structure in zero patterns [1407.6134].

## 6. Connections to Determinants, Quantum Field Theory, and Probability

There is a deep link between \( Z_\Gamma(s) \) and regularized determinants of shifted Laplacians:
\[
\det(\Delta + s(1 - s)) = Z_\Gamma(s) \cdot \text{(additional explicit factors)}
\]
[1108.5659], [2512.16681]. This connection underpins applications in quantum field theory on hyperbolic spaces, e.g., the exact 1-loop determinant on thermal AdS and BTZ black hole quotients factorizes into Selberg zeta functions evaluated at the conformal or spectral parameters of the corresponding field:
\[
Z^{(1)}_{s}(\Delta_s) = \prod_{(\alpha)} Z_\Gamma(\Delta_s+\delta_\alpha)^{\pm1}
\]
[1910.07607], [1910.11913].

Probabilistic interpretations have also emerged: the Selberg zeta evaluated at specific parameters encodes the partition function of Brownian loops on hyperbolic surfaces with killing rate. Explicitly, the total mass of essential Brownian loops is related to \( -\log Z_X(s(\mu)) \), allowing for probabilistic interpretations of regularized Laplacian determinants in both compact and infinite-area settings [2601.13086].

## 7. Extensions, Degenerate and Generalized Settings

Beyond standard hyperbolic surfaces, Selberg-type zeta functions are established for Hilbert modular surfaces, higher-rank locally symmetric spaces, and even for locally symmetric orbifolds with elliptic points, with the structure of their zeros and poles reflecting the more complex spectrum of the Laplacian and the additional geometric data [1208.6086].

Further, generalizations to non-hyperbolic settings, (e.g., flat space cosmologies and warped AdS black hole backgrounds) have been constructed, where the zeta function is defined through the representation theory of the global isometry group and captures spectral, quasinormal, or partition function data for quantum fields. These provide efficient, heat-kernel-free methods for computing 1-loop determinants and spectra in Lorentzian and more exotic quotient geometries [2312.06770], [2210.01118].

---

**References**

- [1008.4229] Mayer Transfer Operator Approach to Selberg Zeta Function
- [2511.07100] Selberg Zeta Functions Have Second Moment At $σ= 1$
- [1404.3934] A thermodynamic formalism approach to the Selberg zeta function for Hecke triangle surfaces of infinite area
- [1809.10140] Euler products of Selberg zeta functions in the critical strip
- [2011.08427], [2011.08429] Simple/Functional equations for (generalized) Selberg zeta functions with Tate motives
- [1208.6086] Differences of the Selberg trace formula and Selberg type zeta functions for Hilbert modular surfaces
- [2412.20754] Selberg, Ihara and Berkovich
- [1108.5659] Zeta functions and regularized determinants related to the Selberg trace formula
- [2512.16681] Determinants of twisted Laplacians and the twisted Selberg zeta function
- [1407.6134] Symmetry reduction of holomorphic iterated function schemes and factorization of Selberg zeta functions
- [1910.11913] Normal modes in thermal AdS via the Selberg zeta function
- [1910.07607] BTZ one-loop determinants via the Selberg zeta function for general spin
- [2204.08218] Zeros of the Selberg zeta function for symmetric infinite area hyperbolic surfaces
- [2312.06770] A generalized Selberg zeta function for flat space cosmologies
- [2210.01118] A Selberg zeta function for warped AdS$_3$ black holes
- [2601.13086] Brownian Loops and the Selberg Zeta Function
- [1710.00603] Turing's method for the Selberg zeta-function

Source: https://www.emergentmind.com/topics/selberg-zeta-function