🔢 mathematics

The divisor of the twisted Selberg zeta function

This paper establishes a factorization formula for the twisted Selberg zeta function on geometrically finite infinite-area hyperbolic orbisurfaces, expressing it as a product of spectral and geometric entities to generalize previous results by incorporating orbifold singularities and unitary twists.

Original authors: Moritz Doll, Anke Pohl

Published 2026-07-17

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Moritz Doll, Anke Pohl

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are standing on a vast, infinite ocean where the water isn't flat, but curved like the inside of a saddle. This is the world of hyperbolic geometry, a place where parallel lines eventually diverge and the rules of high school geometry take a backseat. In this strange landscape, there are "islands" of space called orbisurfaces. These aren't just smooth surfaces; they can have sharp, cone-like points where the geometry folds over itself, like a piece of paper pinched at the center. Now, imagine sending a wave across this ocean. As the wave hits the curved walls and the sharp cones, it bounces around, creating a complex pattern of echoes.

Mathematicians love to listen to these echoes. They use a special tool called the Selberg zeta function to decode the sound. Think of this function as a musical score that tells you exactly which notes (frequencies) the shape of the ocean can sustain. If you know the score, you know the shape. But here's the tricky part: the ocean is infinite, and the waves can get tangled up in the sharp cones and the "twists" of the space (imagine the ocean currents swirling in different directions depending on where you are). For a long time, mathematicians could only read the score for simple, smooth oceans. They struggled to understand the music when the ocean had sharp cones or when the currents twisted in complicated ways. This paper is about finally writing down the complete musical score for these wild, twisted, and cone-filled oceans.

The authors, Moritz Doll and Anke Pohl, have cracked the code for a very specific and challenging type of ocean: an infinite, curved surface with sharp points and twisted currents. They discovered that the "score" (the Selberg zeta function) isn't just a random jumble of notes. Instead, it can be broken down into a neat recipe made of four distinct ingredients.

First, there are the resonances. Imagine these as the specific frequencies where the ocean naturally hums. The authors show that the score is built from a giant product of these humming frequencies, much like a song is built from a sequence of notes. Second, they found that the sharp, cone-like points on the surface contribute their own special "flavor" to the music. They introduced a new mathematical ingredient (a specific type of function involving the Gamma function) to account for these cones, which was missing from previous recipes. Third, the "twists" in the currents (mathematically called unitary representations) change how the waves travel, and the authors figured out exactly how to adjust the score to match these twists. Finally, they included some standard mathematical "seasoning" (like the Barnes G-function and the Gamma function) that handles the infinite nature of the ocean.

The paper proves that if you take all these ingredients—the humming frequencies, the cone contributions, the twist adjustments, and the seasoning—and multiply them together, you get the exact same result as the original, complicated definition of the Selberg zeta function. This is a big deal because it connects two very different ways of looking at the problem: one based on the geometry of the waves (the resonances) and one based on the shape of the land (the cones and twists).

The authors didn't just guess this formula; they proved it rigorously. They started by testing their recipe on simple, model worlds (like a single cone or a simple cylinder) where they could calculate everything by hand. Once they saw the recipe worked there, they used advanced techniques involving "regularized traces" (a fancy way of counting the infinite waves without getting infinity in your answer) to show that the recipe holds true for any complex, infinite ocean with these features. They also showed that this formula generalizes older results, meaning it works for the simple cases too, but now it also works for the messy, cone-filled, twisted cases that were previously too hard to solve.

In short, this paper provides a universal translator. It takes the chaotic, infinite sound of a twisted, cone-filled hyperbolic world and translates it into a clear, structured formula. It tells us that even in the most complex and infinite geometries, there is an underlying order, a precise mathematical harmony that can be written down if you know the right ingredients. The authors have successfully mapped the divisor (the zeros and poles) of this function, showing exactly where the music stops and starts, and why. It's a definitive proof that brings clarity to a previously murky corner of mathematical physics.

Technical Summary: The Divisor of the Twisted Selberg Zeta Function

Problem Statement
The paper addresses the analytic structure of the Selberg zeta function, $Z_{X,\chi}(s)$ , associated with a geometrically finite hyperbolic orbisurface $X = \Gamma \backslash \mathbb{H}$ of infinite area. The function is defined by an infinite product over primitive hyperbolic conjugacy classes in the fundamental group $\Gamma$ , twisted by a finite-dimensional unitary representation $\chi: \Gamma \to U(V)$ . While the meromorphic continuation of $Z_{X,\chi}$ to the complex plane was established for specific cases (e.g., untwisted surfaces without orbifold points, or via transfer operator approaches for certain representations), a complete factorization formula describing the divisor (zeros and poles) in terms of spectral and geometric data remained open for the general case involving both orbifold singularities (elliptic elements in $\Gamma$ ) and unitary twists.

Methodology
The authors employ a combination of spectral theory, scattering theory, and complex analysis to derive the factorization. The methodology proceeds through several key stages:

Model Cases and Geometric Decomposition: The authors first establish the factorization formula for "model" orbisurfaces where the fundamental group $\Gamma$ is cyclic. These cases include the hyperbolic plane, cones (elliptic generators), parabolic cylinders (cusps), and hyperbolic cylinders. These serve as building blocks. They then utilize the geometric decomposition of general geometrically finite orbisurfaces into a compact core, a finite number of funnel ends, and cusp ends.
Resolvent Analysis and Regularized Traces: The core of the proof relies on the resolvent of the twisted Laplacian, $\Delta_{X,\chi}$ $Δ_{X, χ}$ . The authors define two types of regularized traces for the resolvent: an algebraic regularization ( $\Phi_{X,\chi}$ $Φ_{X, χ}$ ) and a scattering-theoretic regularization ( $\Upsilon_{X,\chi}$ $Υ_{X, χ}$ ).
- The algebraic trace is related to the logarithmic derivative of the Selberg zeta function via the Selberg trace formula.
- The scattering trace is related to the logarithmic derivative of the relative scattering determinant.
Connection via Functional Equations: By comparing the two regularized traces, the authors derive a functional equation linking the Selberg zeta function to the scattering determinant. This involves careful handling of the singularities introduced by the orbifold points and the twist $\chi$ , particularly the behavior of the resolvent near $s=1/2$ and the contribution of parabolic elements.
Hadamard Factorization: Using the established meromorphic continuation and the asymptotic bounds on the regularized traces (specifically that the trace grows at most like $\langle s \rangle^{2+\kappa}$ ), the authors apply Hadamard's factorization theorem. This allows them to express the zeta function as a product of entire functions (Weierstrass products of resonances), gamma functions, Barnes $G$ -functions, and a polynomial exponential factor.

Key Contributions and Results
The primary result is Theorem A, which provides an explicit factorization formula for $Z_{X,\chi}(s)$ valid on all of $\mathbb{C}$ :

$Z_{X,\chi}(s) = e^{q(s)} G_{X^\wedge, \chi}(s) G_\infty(s)^{-\dim(V) \chi_{\text{top}}^e(X)} \cdot \frac{\Gamma(s - 1/2)^{n_p}}{\Gamma(s + 1/2)^{n_d}} \cdot P_{X,\chi}(s)$

Where:

$q(s)$ is a polynomial of degree at most 2.
$P_{X,\chi}(s)$ is the Weierstrass product (Hadamard product of order 2) of the resonances of the twisted Laplacian $\Delta_{X,\chi}$ .
$G_\infty(s)$ is a specific entire function related to the Barnes $G$ -function, accounting for the topological Euler characteristic $\chi_{\text{top}}^e(X)$ .
$G_{X^\wedge, \chi}(s)$ is a new entire function constructed from Barnes $G$ -functions and Gamma functions, specifically designed to handle the contributions of orbifold singularities (elliptic elements).
The Gamma factors $\Gamma(s \pm 1/2)$ account for the "singularity degrees" $n_p$ (at cusps) and $n_d$ (at disk ends), which depend on the eigenvalues of the representation $\chi$ on parabolic elements.
An alternative form using the orbifold Euler characteristic $\chi_{\text{orb}}^e(X)$ and a product of Gamma functions $\Gamma_{X^\wedge, \chi}(s)$ is also provided.

Specific Findings:

Orbifold Singularities: The paper identifies a previously unobserved contribution to the factorization arising from orbifold points. This is encapsulated in the function $G_{X^\wedge, \chi}(s)$ (or equivalently $\Gamma_{X^\wedge, \chi}(s)$ ), which compensates for non-integer residues in the logarithmic derivative of the standard factors.
Generalization: The result generalizes the factorization by Borthwick, Judge, and Perry (2006) for untwisted surfaces without orbifold points to the case of arbitrary finite-area geometrically finite orbisurfaces with unitary twists.
Meromorphic Continuation: The proof establishes the meromorphic continuation of $Z_{X,\chi}$ to the entire complex plane as a consequence of the factorization, offering an alternative to transfer operator methods.

Significance
The paper claims to provide a complete spectral and geometric interpretation of the zeros and poles of the twisted Selberg zeta function for infinite-area hyperbolic orbisurfaces. By expressing the divisor in terms of:

Spectral entities: The resonances of the Laplacian ( $P_{X,\chi}$ ).
Geometric/Topological entities: The Euler characteristics, the number of cusps, and the singularity degrees of the representation.
Representation theoretic entities: The specific eigenvalues of the twist $\chi$ at elliptic and parabolic elements.

The authors demonstrate that the presence of orbifold singularities necessitates a distinct factor in the divisor formula, correcting the assumption that the untwisted formula suffices. The work unifies the treatment of twists and singularities, providing a robust framework for analyzing Selberg zeta functions in the context of non-compact, singular hyperbolic geometry. The paper does not propose new experimental applications but rather solidifies the theoretical foundation for the divisor of these zeta functions, which is crucial for understanding the distribution of periodic geodesics and the spectral properties of the underlying Laplacian.

More like this