Spectral Theory of Large-Volume Hyperbolic Surfaces

• Spectral theory of large-volume hyperbolic surfaces is the study of the Laplace–Beltrami operator and its spectrum, quantitatively analyzing eigenvalue gaps and resonance behavior.
• Methodologies such as the Selberg trace formula, random models, and probabilistic operator-norm estimates precisely characterize eigenvalue distributions and spectral gaps.
• This framework unifies geometric, analytic, and ergodic techniques to advance our understanding of eigenfunction delocalization and the implications of quantum ergodicity.

A hyperbolic surface of large volume is a (possibly infinite-area) two-dimensional Riemannian manifold locally modeled on the upper half-plane $\mathbb{H} = \{x+iy : y>0\}$ with metric $ds^2 = y^{-2}(dx^2 + dy^2)$ and constant sectional curvature $-1$, which may be compact or have cusps, funnels, or boundaries. The spectral theory on such surfaces is organized around the study of the Laplace–Beltrami operator $\Delta$, its spectrum (points or continuous), eigenvalues (notably the first non-zero eigenvalue, or "spectral gap"), associated eigenfunctions, and the distribution and behavior of spectral objects in the large-volume or high-genus regime.

1. Geometrical Framework and Definitions

A finite-area hyperbolic Riemann surface $X$ is realized as a quotient $X = \Gamma \backslash \mathbb{H}$, where $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$ is a torsion-free, discrete, cofinite Fuchsian group. When $\mathrm{Vol}(X)$ is finite, $X$ is either compact ("closed") or has finitely many cusps. Noncompact, infinite-area surfaces arise as quotients by convex cocompact Fuchsian groups; their geometry features a compact core with finitely many funnels and/or cusps (Rowlett, 2020, Deleporte et al., 2024). For $g$ the genus and $ds^2 = y^{-2}(dx^2 + dy^2)$0 the number of cusps, $ds^2 = y^{-2}(dx^2 + dy^2)$1.

The Laplace–Beltrami operator $ds^2 = y^{-2}(dx^2 + dy^2)$2 acts as an essentially self-adjoint, nonnegative operator on $ds^2 = y^{-2}(dx^2 + dy^2)$3. On finite-area $ds^2 = y^{-2}(dx^2 + dy^2)$4, its spectrum is discrete in $ds^2 = y^{-2}(dx^2 + dy^2)$5 (finite multiplicity), with $ds^2 = y^{-2}(dx^2 + dy^2)$6, and continuous spectrum $ds^2 = y^{-2}(dx^2 + dy^2)$7 when $ds^2 = y^{-2}(dx^2 + dy^2)$8 is noncompact (Monk et al., 20 Jan 2026, Rowlett, 2020, Hide et al., 2021).

In the infinite-area (asymptotically hyperbolic) case, the $ds^2 = y^{-2}(dx^2 + dy^2)$9-spectrum splits as $-1$0 (finite, possibly empty set of bound states) and $-1$1, with the latter arising from generalised eigenfunctions associated to the continuous spectrum (Rowlett, 2020).

2. Spectral Gaps and Distribution of Low Eigenvalues

The "spectral gap" $-1$2 (first non-zero eigenvalue) quantifies expansion, mixing, and connectivity of the surface (Monk et al., 20 Jan 2026, Hide et al., 2021). For congruence covers $-1$3, Selberg proved the $-1$4-theorem: $-1$5, while the conjectural optimal bound is $-1$6 ("Selberg conjecture"), unattained in general (Monk et al., 20 Jan 2026).

Cheeger's inequality relates the spectral gap to the isoperimetric constant $-1$7: $-1$8 with an upper bound due to Buser: $-1$9 Pinching and cyclic cover constructions yield surfaces of genus $\Delta$0 with arbitrarily small $\Delta$1; for random models, however, different behavior prevails.

For random Belyi surfaces (Brooks–Makover), with area $\Delta$2, $\Delta$3 with high probability as $\Delta$4 (Monk et al., 20 Jan 2026). For moduli-space-random surfaces (Weil–Petersson measure on $\Delta$5), Mirzakhani (2013) established with high probability a positive lower bound on $\Delta$6, further improved—most recently, for any $\Delta$7,

$\Delta$8

(Monk, 21 Jan 2026). For random degree $\Delta$9 covers $X$0 of a fixed $X$1, again for any $X$2, with high probability as $X$3,

$X$4

(Hide et al., 2021). These statements are the surface analogues of Friedman's Alon conjecture for random regular graphs.

Despite these probabilistic lower bounds, explicit constructions (Buser–Sarnak, Randol) show that there exist sequences with $X$5 as $X$6 (Monk et al., 20 Jan 2026).

In moduli space, for the thick part (injectivity radius bounded below), the supremum of the $X$7-th spectral gap $X$8 as $X$9, for each fixed $X = \Gamma \backslash \mathbb{H}$0 (Wu et al., 16 Jan 2025, Wu et al., 2022).

3. Spectral Measures, Quantum Ergodicity, and Benjamini–Schramm Convergence

For a sequence $X = \Gamma \backslash \mathbb{H}$1 of genus $X = \Gamma \backslash \mathbb{H}$2 sampled randomly with respect to the Weil–Petersson measure, or for deterministic sequences satisfying Benjamini–Schramm (BS) convergence (local injectivity radii grow, local geometry becomes indistinguishable from $X = \Gamma \backslash \mathbb{H}$3), the normalized spectral measures converge to the Plancherel measure of the Laplacian on $X = \Gamma \backslash \mathbb{H}$4: $X = \Gamma \backslash \mathbb{H}$5 (Monk, 2020). Analogous results hold for the Dirac operator and "twisted" Laplacians (Monk et al., 2023, Gong, 2023).

Quantum ergodicity in large volume is established for Laplace eigenfunctions in a fixed window $X = \Gamma \backslash \mathbb{H}$6 in sequences $X = \Gamma \backslash \mathbb{H}$7 with BS convergence and uniformly positive spectral gap: for any uniformly bounded observable,

$X = \Gamma \backslash \mathbb{H}$8

(Masson et al., 2016, Masson et al., 2020). This gives delocalization of eigenfunctions (and, for noncompact $X = \Gamma \backslash \mathbb{H}$9, Eisenstein series) in the bulk of the spectrum.

Multiplicity of small eigenvalues is sharply controlled: for a typical random surface, the number of eigenvalues $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$0 satisfies $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$1, and all individual eigenvalue multiplicities are $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$2 (Monk, 2020).

4. Spectral Theory on Infinite-Volume and Asymptotically Hyperbolic Surfaces

For infinite-area surfaces (asymptotically hyperbolic or convex-cocompact), the spectrum of $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$3 consists of (possibly finitely many) $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$4 eigenvalues in $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$5 and an absolutely continuous component $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$6 (Rowlett, 2020). The spectral theory is described via the meromorphic continuation of the resolvent $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$7, the Poisson/Scattering operator $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$8 with $\Gamma \subset \operatorname{PSL}_2(\mathbb{R})$9, resonance set $\mathrm{Vol}(X)$0 (poles of $\mathrm{Vol}(X)$1), and the Selberg zeta function, whose divisor is precisely $\mathrm{Vol}(X)$2 (up to trivial zeros) (Rowlett, 2020).

Resonance counting admits upper bounds $\mathrm{Vol}(X)$3 and conjecturally "fractal Weyl laws" $\mathrm{Vol}(X)$4, where $\mathrm{Vol}(X)$5 is the Hausdorff dimension of the limit set (Rowlett, 2020).

Key analytic tools include the Selberg trace formula (relating the spectrum to the length spectrum of closed geodesics), heat kernel and wave equation asymptotics, and trace/Patterson–Sullivan zeta formulas (Rowlett, 2020).

Uncertainty principles for spectral projectors (Sereda-type inequalities) hold if and only if the observing set is "thick at some scale"—that is, it occupies a positive relative proportion in each hyperbolic ball of fixed radius; this persists in the presence of ends or cusps (Deleporte et al., 2024).

5. Techniques: Trace Formulas, Random Models, and Probabilistic Methods

The Selberg trace formula is central: for a compact $\mathrm{Vol}(X)$6 and test function $\mathrm{Vol}(X)$7,

$\mathrm{Vol}(X)$8

(Monk et al., 20 Jan 2026, Monk, 21 Jan 2026). By choosing suitable $\mathrm{Vol}(X)$9 (large-scale dilations), one can isolate contributions from small eigenvalues. Averaging over random surfaces and controlling length spectrum statistics through Mirzakhani's integration formulas yield probabilistic lower bounds on the spectral gap (Monk, 21 Jan 2026).

Stochastic combinatorial models—uniform random covers, Brooks–Makover random graphs, Weil–Petersson random surfaces—support the "typical" gap phenomenon $X$0 (Monk et al., 20 Jan 2026, Hide et al., 2021, Monk, 21 Jan 2026). The proofs rely on probabilistic operator-norm estimates (e.g., Bordenave–Collins law of large numbers for random lifts), twisted parametrix constructions, and the handle compactification to transfer results from cusped to closed surfaces (Hide et al., 2021).

Weyl–Petersson volume asymptotics in the large-cusped limit provide spectral counting (linear law) for exceptional small eigenvalues: for $X$1 in the $X$2 regime, $X$3 with probability $X$4 (Hide et al., 2023).

6. Dirac Operator, Twisted Laplacians, and Higher-Order Phenomena

The Dirac operator on a hyperbolic surface, with nontrivial spin structure, has purely discrete spectrum. For Weil–Petersson-typical surfaces of large genus, the normalized spectral density converges to that of $X$5 under the Plancherel measure $X$6, with precise uniform error bounds (Monk et al., 2023). Uniform Weyl laws and bounds on local spectral multiplicities match those for the Laplacian (Monk et al., 2023).

Notably, while the Laplace spectrum develops arbitrarily small eigenvalues in the large-genus limit, the Dirac operator, on certain arithmetic towers of abelian covers $X$7, can sustain a uniform spectral gap bounded below by an explicit $X$8, independent of $X$9 (Adve et al., 20 Jun 2025). This results from a condition that all twisted theta-characteristics lack holomorphic sections; fundamentally, this reflects the interplay between holomorphic data and spectral stability under covering.

For the (non-self-adjoint) twisted Laplacian $g$0 associated with a harmonic 1-form $g$1, the eigenvalue counting functions (for the real part of the spectrum) satisfy uniform Weyl laws with remainder $g$2 for typical surfaces and all $g$3 with bounded $g$4-norm (Gong, 2023). Control of the supremum norm $g$5 is crucial in these results, achieved through geometric averaging operators and Benjamini–Schramm asymptotics.

7. Open Problems and Future Directions

Unresolved questions include:

• The full resolution of Selberg’s eigenvalue conjecture $g$6 for all congruence covers, potentially linked to the development of functoriality in automorphic forms (Monk et al., 20 Jan 2026).
• Sharp characterization of spectral multiplicities, higher eigenvalue gaps, and their fluctuations in large genus/random surface regimes (Monk et al., 20 Jan 2026, Wu et al., 2022).
• Understanding the scaling window for the probability distribution of $g$7, e.g., whether fluctuations about $g$8 are polynomial or logarithmic in $g$9 and the form of limiting distributions at the spectral edge (Monk, 21 Jan 2026).
• Extensions to higher-rank locally symmetric spaces and noncompact arithmetic quotients, with random cover and strong convergence methods in those settings (Monk et al., 20 Jan 2026).
• Determination of spectral and resonance gaps for infinite-volume, convex co-compact surfaces and their random covers, related to the fractal Weyl law and "no new resonances" principle (Rowlett, 2020).

A plausible implication, supported by current random model results, is that the threshold $ds^2 = y^{-2}(dx^2 + dy^2)$00 acts as a "universal barrier" for spectral gaps in a wide class of large-volume hyperbolic surfaces (Wu et al., 2022, Monk, 21 Jan 2026). The detailed structure—such as the fluctuation law at the spectral edge, or precise distribution of small eigenvalues in large genus—remains an active area of research.

---

Table: Key Results and Models in the Spectral Theory of Large Volume Hyperbolic Surfaces

Topic	Result/Model	Reference
Selberg's Spectrum Lower Bound	$ds^2 = y^{-2}(dx^2 + dy^2)$01	(Monk et al., 20 Jan 2026)
Probabilistic Gap for Random Surfaces	$ds^2 = y^{-2}(dx^2 + dy^2)$02 w.h.p.	(Monk, 21 Jan 2026)
Random Covers (No New Small Eigenvalues)	$ds^2 = y^{-2}(dx^2 + dy^2)$03 w.h.p.	(Hide et al., 2021)
Linear Law for Small Eigenvalues, Many Cusps	$ds^2 = y^{-2}(dx^2 + dy^2)$04	(Hide et al., 2023)
Quantum Ergodicity in Large-Volume Limit	Delocalization in fixed windows	(Masson et al., 2016, Masson et al., 2020)
Dirac Operator Weyl Law, Large Random Surfaces	Uniform density, error $ds^2 = y^{-2}(dx^2 + dy^2)$05	(Monk et al., 2023)
Uniform Spectral Gap for Dirac on Abelian Towers	$ds^2 = y^{-2}(dx^2 + dy^2)$06	(Adve et al., 20 Jun 2025)

This landscape reflects deep connections between geometric analysis, ergodic theory, probability, arithmetic, and spectral geometry, with an array of techniques ranging from trace formulas to probabilistic combinatorics and representation theory. The interface between deterministic constructions (yielding vanishing gaps) and random models (yielding optimal gaps with high probability) is particularly central and continues to drive research in the spectral theory of large-volume hyperbolic surfaces.