Super Apollonian Group in Hyperbolic Geometry

• Super Apollonian group is a right-angled Coxeter group generated by eight involutions, key to hyperbolic geometry, continued fractions, and Apollonian circle packings.
• It acts by reflections in hyperbolic 3-space, leading to intricate orbifold structures and providing insights into Laplacian spectra and arithmetic dynamics.
• Its unique continued fraction algorithms and reduction processes yield optimal Diophantine approximations, linking geometric, algebraic, and spectral theories.

The Super Apollonian group is a right-angled Coxeter group of fundamental significance at the interface of reflection group theory, hyperbolic geometry, arithmetic dynamics, and the theory of continued fractions in several variables. It acts by reflections on hyperbolic 3-space, organizes both the Diophantine approximation of complex numbers and the structure of Apollonian circle packings, and governs the spectrum of Laplacians on associated random hyperbolic 3-orbifolds. Its algebraic, geometric, and dynamical properties express and unify numerous phenomena in modern geometric group theory and arithmetic geometry (Chaubey et al., 2017, Hide et al., 15 Dec 2025).

1. Definition and Algebraic Structure

The Super Apollonian group, denoted $G$ or $\Gamma_\mathrm{SA}$, is a right-angled Coxeter group generated by eight involutions corresponding algebraically to the faces of a 3-cube. Explicitly, let $$V = \{r_1, r_2, r_3, r_4, r_1^\perp, r_2^\perp, r_3^\perp, r_4^\perp\}$$, where each $r_i$, $r_i^\perp$ squares to the identity, and $(r_i, r_j^\perp)$ commute if and only if the associated faces of the 3-cube are adjacent: $$\Gamma_\mathrm{SA} \cong \left\langle v\in V\,\Big|\,v^2=1,\;[v,w]=1\text{ when }\{v,w\}\in E\right\rangle,$$ where $E$ describes adjacency in the cube. As matrices, the generators act linearly on Descartes quadruples $(y_0,y_1,y_2,y_3)$ satisfying the quadratic relation

$Q_D(y)=(y_0+y_1+y_2+y_3)^2-2\sum_{i=0}^3 y_i^2=0,$

with each generator corresponding to a specific $4\times 4$ involution that preserves $Q_D$.

The group also manifests as a reflection group in $\operatorname{Isom}(\mathbb{H}^3)$, acting via orientation-reversing elements in $PGL(2,\mathbb{C})\rtimes\langle\rho\rangle$, where $\rho$ is complex conjugation. Each Coxeter generator embeds as a reflection in one face of a right-angled ideal octahedron in $\mathbb{H}^3$.

Subgroups of geometric importance include the Apollonian group $$\Gamma_\mathrm{Ap} = \langle r_1, r_2, r_3, r_4 \rangle \cong (\mathbb{Z}/2\mathbb{Z})^{*4}$$, which reflects in four pairwise non-adjacent faces, and the infilonian subgroup $\Gamma_\infty = \ker(\pi)$ under the map sending $r_i^\perp\mapsto t_i$, $r_i\mapsto e$ into $(\mathbb{Z}/2\mathbb{Z})^{*4}$, yielding an infinitely generated free product of involutions (Hide et al., 15 Dec 2025).

2. Geometric Action and Hyperbolic Orbifolds

The geometric action of $\Gamma_\mathrm{SA}$ is as a discrete reflection group in hyperbolic 3-space, generated by reflections in the faces of a regular right-angled ideal octahedron $$O = \mathrm{conv}\{0,1,i,(i+1)/2,i+1,\infty\}\subset \mathbb{H}^3$$, in the upper-half space model. The quotient orbifold $\Gamma_\mathrm{SA}\backslash\mathbb{H}^3$ admits a fundamental domain shaped as $O$ with mirrors corresponding to the Coxeter generators. The boundary at infinity is tiled by the Apollonian gasket, encoding the group’s tight relation with Descartes' Theorem and integrality of Apollonian circle packings (Hide et al., 15 Dec 2025).

The Apollonian subgroup acts with a fundamental domain bounded by four non-adjacent faces of the octahedron, giving rise to arithmetic, non-arithmetic, finite-volume, and infinite-volume orbifolds through random covers and group quotients. The infilonian subgroup $\Gamma_\infty$ is generated by countably many reflections associated to the boundary structure, resulting in a rich supply of covers with complex geometric and spectral properties.

3. Dynamical Systems and Continued Fractions

The Super Apollonian group organizes two reflective dynamical systems on $\mathbb{P}^1(\mathbb{C})$—“swap-normal” and “invert-normal” forms—arising from distinct spanning trees in its Cayley graph. These algorithms generalize the continued fraction expansion to complex numbers using the group’s Möbius action, yielding “continued-fraction–type” approximations that are “reflective” analogues of the classical complex continued fractions of A. L. Schmidt (Chaubey et al., 2017).

For each Descartes quadruple, the associated partition of the Riemann sphere into circular and triangular regions determines the action: in one system, if $z$ lies in a circular region a Möbius inversion is applied, while for a triangular region, a swap is performed (and vice versa for the dual system). Each point $z$ has a unique infinite word in the eight generators, encoding a continued-fraction expansion in swap-normal or invert-normal form. These codes admit explicit invertible extensions through geodesic flows on hyperbolic 3-space, with piecewise Möbius dynamics and explicit Möbius-invariant measures.

On the algebraic side, the reduction of Lorentz quadruples $(a, b, c, d)$ satisfying $a^2 = b^2 + c^2 + d^2$, or Descartes quadruples, is computed via recursive application of involutive generators decreasing the “leading” entry. This produces finite coding-words analogous to continued-fraction expansions—classifying geometric directions or curvature arrangements (Chaubey et al., 2017).

4. Spectral Theory and Random Hyperbolic 3-Orbifolds

Random covers of the Super Apollonian orbifolds are central to recent advances in spectral geometry. Let $\Delta_X$ be the Laplacian on $L^2(X)$. For random finite or infinite degree covers of the model orbifolds, the continuous spectrum begins at $1$. The infilonian cover $\Gamma_\infty\backslash\mathbb{H}^3$ inherits an eigenvalue spectrum whose base is

$$\lambda_0(\Gamma_\infty\backslash\mathbb{H}^3) = \delta(\Gamma_\mathrm{Ap})\,\bigl(2-\delta(\Gamma_\mathrm{Ap})\bigr)$$

when $\delta(\Gamma_\mathrm{Ap}) > 1$, with $\delta(\Gamma_\mathrm{Ap})\approx 1.30569$, yielding the bound $$0.00141\dots \leq \lambda_0(\Gamma_\infty\backslash\mathbb{H}^3) \leq 0.87948\dots$$. For random 2$n$-fold covers $M_n$, as $n\to\infty$, the first Laplacian eigenvalue $$\lambda_1(M_n)\to \lambda_0(\Gamma_\infty\backslash\mathbb{H}^3)$$ in probability. Similar results hold for Neumann and Dirichlet eigenvalues of doubles $DM_n$ (Hide et al., 15 Dec 2025).

This suggests that random covering constructions indexed by the Super Apollonian group interpolate between geometric Laplacian spectra associated to arithmetic and reflection group models of hyperbolic geometry. In particular, one obtains closed hyperbolic 3-manifolds of arbitrarily large volume whose first eigenvalue comes arbitrarily close to $\lambda_0(\Gamma_\infty\backslash\mathbb{H}^3)$.

5. Statistical Properties and Diophantine Approximation

The super Apollonian dynamical systems exhibit explicit ergodic and statistical features (conditional on conjectured ergodicity). Letter frequencies for generators in the continued-fraction words are determined by hyperbolic measure: for almost every $z$, the proportion of “swap” versus “invert” moves is approximately

$$\Pr\{\mathrm{swap}\}\approx0.1547,\quad \Pr\{\mathrm{invert}\}\approx0.8453,$$

and the probability of $n$ consecutive swaps or inversions is given by hyperbolic-area integrals, e.g., for $n=2$, about $0.2469$.

The continued-fraction expansions produced by these actions have optimal Diophantine properties: for almost every $z\in\mathbb{P}^1(\mathbb{C})$, the convergents $p_n/q_n$ satisfy

$$\left|z-\frac{p_n}{q_n}\right| < \frac{1+\sqrt{2}}{|q_n|^2}$$

infinitely often, paralleling the best possible inequalities for rational approximations. Lyapunov exponents for the size of denominators $q_n$ and errors exist almost surely, reflecting precise growth rates analogous to the classical theory of regular continued fractions. The reduction algorithm for Lorentz quadruples similarly generates finite words in the group, giving a canonical “address” for points on the unit sphere (Chaubey et al., 2017).

6. Bass-Note Spectrum and Arithmetic Manifolds

The “bass-note” spectrum, defined as

$$\mathbf{Bass}(\mathrm{Hyp}^3_{\text{f.v.}}) = \{\lambda_1(X): X\text{ finite-volume hyperbolic 3-orbifold}\},\qquad \mathbf{Bass}(\mathrm{Hyp}^3_{\text{a.}}) = \{\lambda_1(X): X\text{ arithmetic hyperbolic 3-orbifold}\},$$

is analyzed using Super Apollonian random covers. The set $$\overline{\mathbf{Bass}(\mathrm{Hyp}^3_{\text{a.}})}$$ contains $$[0,\,\lambda_0(\Gamma_\infty\backslash\mathbb{H}^3)]$$, and for every $\lambda$ in this interval and any $\eta>0$, there exists a finite-volume (arithmetic, Super Apollonian) orbifold $X$ with $|\lambda_1(X)-\lambda|<\eta$. An explicit “switching” move on degree-2 covers of $M_n$ traverses this interval; this advance provides a construction of arithmetic 3-orbifolds with first eigenvalue densely filling the spectral window from zero up to $\lambda_0(\Gamma_\infty\backslash\mathbb{H}^3)$. Sarnak’s conjecture is thus supported in this random cover context (Hide et al., 15 Dec 2025).

7. Structural Interconnections and Significance

The Super Apollonian group lies at the crossroads of multi-dimensional continued fraction theory, discrete reflection groups, arithmetic dynamics, and spectral geometry. It encompasses:

• Real and Gaussian continued fractions: reflecting the roles of $PGL_2(\mathbb{Z})$ and $PGL_2(\mathbb{Z}[i])$.
• Apollonian circle packings: governing the integral structure via Descartes’ quadratic relation.
• Lorentz quadruples and the geometry of the sphere: encoding Diophantine directions through explicit reduction algorithms.
• Random 3-orbifolds and Laplacian spectra: serving as a template for the spectral theory of large arithmetic and non-arithmetic manifolds.

These structural features underline the group’s centrality in the confluence of hyperbolic geometry, geometric group theory, Diophantine approximation, and arithmetic topology (Chaubey et al., 2017, Hide et al., 15 Dec 2025).