Random Hyperbolic 3-Orbifolds & Spectral Gaps

• Random hyperbolic 3-orbifolds are quotients of ℍ³ by discrete Coxeter group actions, notably using Apollonian group constructions and random covering techniques.
• Spectral analysis of the Laplace–Beltrami operator reveals eigenvalue distributions and distinct spectral gaps, highlighting key geometric and arithmetic features.
• Explicit methods using random perfect matching covers and doubling procedures provide actionable insights into eigenvalue bounds and cusp behavior in these orbifolds.

Random hyperbolic 3-orbifolds are geometric structures arising as quotients of hyperbolic three-space $\mathbb{H}^3$ by discrete group actions, constructed via Coxeter group symmetries and random covering procedures. Two principal models are defined using the Apollonian group and the super Apollonian group, leading to explicit constructions of geometrically finite orbifolds and their random covers. The spectral properties of these models, particularly the behavior of the Laplace–Beltrami operator, reveal fundamental insights into their eigenvalue distributions and spectral gaps, as well as deep connections to conjectures about the spectrum of hyperbolic 3-orbifolds (Hide et al., 15 Dec 2025).

1. Group-Theoretic Construction of Models

The foundational object is the super Apollonian group $\Gamma_{\mathrm{SA}}$, an abstract right-angled Coxeter group generated by eight involutions $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$ subject to $r_i^2=e$ for all $i$, and commutation relations determined by adjacency in the 1-skeleton of the cube. $\Gamma_{\mathrm{SA}}$ admits a concrete embedding into $$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$ with generators mapped to reflections in faces of a regular right-angled ideal octahedron $O\subset\mathbb{H}^3$. The quotient orbifold $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$ is isometric to the ideal octahedron with mirror faces.

The Apollonian group $\Gamma_{\mathrm{Ap}}$ is the index-$\Gamma_{\mathrm{SA}}$0 subgroup of $\Gamma_{\mathrm{SA}}$1 generated by four reflections in pairwise non-adjacent faces of $\Gamma_{\mathrm{SA}}$2, abstractly isomorphic to $\Gamma_{\mathrm{SA}}$3 (four factors). Its quotient orbifold $\Gamma_{\mathrm{SA}}$4 is geometrically finite, of infinite volume, and its limit set is the classical Apollonian gasket.

Further, a surjection $\Gamma_{\mathrm{SA}}$5, sending the four $\Gamma_{\mathrm{SA}}$6-generators to involutions in the free product and killing the others, defines the infilonian group $\Gamma_{\mathrm{SA}}$7, satisfying $\Gamma_{\mathrm{SA}}$8.

For each $\Gamma_{\mathrm{SA}}$9, selecting a homomorphism $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$0 by mapping generators to independent uniform perfect matchings, yields two random degree-$$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$1 covers: $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$2 and $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$3. $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$4 is an infinite-volume manifold cover of $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$5, while $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$6 is a geometrically finite orbifold covering $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$7, with certain interior faces now realized as ideal triangles. Mirror-doubling along remaining mirrors produces a closed manifold cover $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$8 of degree $$r_1,r_2,r_3,r_4,r_1^\perp,r_2^\perp,r_3^\perp,r_4^\perp$$9.

2. Laplace–Beltrami Operator and Spectral Analysis

In the upper-half-space model $r_i^2=e$0, endowed with the metric $r_i^2=e$1, the Laplace–Beltrami operator acts as: $r_i^2=e$2 For orbifolds $r_i^2=e$3, $r_i^2=e$4 acts on $r_i^2=e$5, respecting Neumann or Dirichlet boundary conditions on mirror faces.

The automorphic eigenvalue problem seeks spectral data for functions $r_i^2=e$6 satisfying $r_i^2=e$7 and prescribed boundary conditions (Dirichlet: $r_i^2=e$8, Neumann: $r_i^2=e$9). At each rank-2 cusp, moderate growth is enforced in the Fourier expansion, with the spectral parameter $i$0 causing the “outgoing” term $i$1 to vanish for $i$2—defining the cusp boundary condition.

The spectrum $i$3 decomposes into:

• Residual spectrum: Poles of Eisenstein series in $i$4,
• Discrete (“cuspidal”) eigenvalues in $i$5,
• Continuous spectrum $i$6.

3. Explicit Spectral Gap Results

Two main theorems establish spectral gap properties of the random covers.

Theorem A (infinite-volume covers of $i$7): Fix $i$8. As $i$9, with probability approaching one,

$\Gamma_{\mathrm{SA}}$0

i.e., no new $\Gamma_{\mathrm{SA}}$1-eigenvalues below $\Gamma_{\mathrm{SA}}$2 except the Patterson–Sullivan eigenvalue of the base orbifold.

Theorem B (finite-volume covers of $\Gamma_{\mathrm{SA}}$3): Let $\Gamma_{\mathrm{SA}}$4 and $\Gamma_{\mathrm{SA}}$5 be as defined; with $\Gamma_{\mathrm{SA}}$6 the first nonzero eigenvalue on $\Gamma_{\mathrm{SA}}$7, as $\Gamma_{\mathrm{SA}}$8:

1. $\Gamma_{\mathrm{SA}}$9 in probability,
2. On $$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$0, the even (Neumann) spectrum has

$$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$1

and the odd (Dirichlet) spectrum satisfies $$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$2 with high probability.

Explicit lower bounds are established using residual-spectrum input, a doubling trick, strong-convergence of permutation representations, and geometric control of cusp contributions. For large $$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$3,

$$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$4

Numerical bounds for $$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$5 by Brooks–Burger transfer and Coulon’s inequalities are: $$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$6 with $$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$7 the critical exponent, yielding $$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$8

4. Bass Note Spectrum: Definition and Density Results

The bass-note spectrum of finite-volume hyperbolic 3-orbifolds is

$$\mathrm{Isom}(\mathbb{H}^3)\simeq \mathrm{PGL}(2,\mathbb{Z}[i])\rtimes\langle\rho\rangle$$9

with the analogous definition for arithmetic orbifolds. Sarnak’s conjecture posits

$O\subset\mathbb{H}^3$0

where $O\subset\mathbb{H}^3$1 is a discrete infinite upper-bounded set.

Theorem C asserts

$O\subset\mathbb{H}^3$2

The proof utilizes random covers $O\subset\mathbb{H}^3$3 of $O\subset\mathbb{H}^3$4 with $O\subset\mathbb{H}^3$5. For finite-index subgroups $O\subset\mathbb{H}^3$6, all degree-2 covers $O\subset\mathbb{H}^3$7 span the full range $O\subset\mathbb{H}^3$8, with small perturbations realised by “simple switchings.” These procedures keep all resulting orbifolds arithmetic.

5. Examples and Numeric Computations

A concrete Apollonian orbifold is generated by $O\subset\mathbb{H}^3$9 acting as reflections in four vertical hemispheres in $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$0, boundary circles orthogonal at $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$1. The fundamental domain is

$$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$2

Numerical evaluation (Vytnova–Wormell) yields $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$3, and thus $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$4

For $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$5 (infinite-volume), the only $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$6 eigenvalue below $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$7 is $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$8, followed by continuous spectrum $$M_{\mathrm{SA}} := \Gamma_{\mathrm{SA}}\backslash\mathbb{H}^3$$9. For $\Gamma_{\mathrm{Ap}}$0 (all 8 faces mirrored),

• Dirichlet spectrum begins at $\Gamma_{\mathrm{Ap}}$1,
• Neumann spectrum begins at $\Gamma_{\mathrm{Ap}}$2, then $\Gamma_{\mathrm{Ap}}$3.

For $\Gamma_{\mathrm{Ap}}$4 (random degree-4 cover of $\Gamma_{\mathrm{Ap}}$5), numerical approximations via finite element methods (e.g., FreeFEM++) give:

• $\Gamma_{\mathrm{Ap}}$6,
• $\Gamma_{\mathrm{Ap}}$7, illustrating the near-optimal spectral gap.

As $\Gamma_{\mathrm{Ap}}$8 increases, histograms of eigenvalues for $\Gamma_{\mathrm{Ap}}$9 demonstrate concentration: the lowest new eigenvalue clusters near $\Gamma_{\mathrm{SA}}$00, while the old spectrum remains bounded below by $\Gamma_{\mathrm{SA}}$01. For $\Gamma_{\mathrm{SA}}$02, numerical evidence suggests $\Gamma_{\mathrm{SA}}$03 with high probability.

6. Techniques and Proof Structure

The spectral gap results rely on several techniques:

• Residual-spectrum vanishing, ensuring old spectrum above the threshold,
• Doubling tricks distinguishing even and odd spectra,
• Strong-convergence of permutation representations (cf. Bordenave–Collins),
• Geometric control of cusp contributions via ball-packing arguments,
• Use of delocalization, IMS-localization, and tangle-freeness to manipulate cover spectra via switchings.

Stepwise, the proof proceeds by controlling the base orbifold spectrum, eliminating new low-lying eigenvalues, and combining estimates to fix the bottom of the spectrum in random covers.

7. Context and Conjectural Implications

This framework elucidates the distribution of Laplacian eigenvalues in random hyperbolic 3-orbifolds related to Apollonian groups, supporting conjectures on the density and closure of the bass note spectrum. The explicit construction of random covers and the quantification of their spectral gaps provide a robust method for probing the distribution of "low-frequency" eigenvalues in finite-volume hyperbolic orbifolds, with implications for the study of arithmetic and geometric properties of 3-manifolds. A plausible implication is the approachability of the full spectral range $\Gamma_{\mathrm{SA}}$04 through arithmetic orbifold covers (Hide et al., 15 Dec 2025).