Maximal Nonelementary Fuchsian Subgroups

• Maximal nonelementary Fuchsian subgroups are maximal discrete groups with limit sets exceeding two points, defined within arithmetic or Lie group settings.
• Their classification leverages quaternion algebras and explicit Z-orders to determine arithmetic invariants and detailed geometrical realizations.
• These subgroups facilitate the construction of totally geodesic surfaces in Picard modular, Bianchi, and triangle groups, bridging geometry with arithmetic.

A maximal nonelementary Fuchsian subgroup is a maximal discrete subgroup of a given Fuchsian-type arithmetic or Lie group that is neither virtually cyclic nor elementary, in the sense that its limit set has more than two points and the group is not contained in any larger nonelementary subgroup of the same type. These subgroups arise prominently in the study of lattices in Lie groups, automorphism groups of hyperbolic manifolds, and the arithmetic structure of groups such as the Picard modular group, Bianchi groups, and triangle groups.

1. Definition and Context

A Fuchsian group is a discrete subgroup of $\operatorname{PSL}(2,\mathbb{R})$, acting as isometries on the real hyperbolic plane $\mathbb{H}^2$, and more generally, Fuchsian-type subgroups arise as subgroups preserving certain totally geodesic subspaces or complex geodesics in more general ambient Lie groups.

A subgroup is called nonelementary if its limit set on the boundary of the relevant symmetric space contains more than two points; equivalently, it is not virtually cyclic. Maximal refers to being maximal among discrete nonelementary subgroups with the specified geometric or algebraic property—no strictly larger such subgroup contains it.

These subgroups have been the focus of several classification results, especially in arithmetic contexts: the Picard modular groups $\operatorname{PSU}_{1,2}(\mathcal O_K)$ preserving complex geodesics in $\mathbb{H}^2_\mathbb{C}$ (Parkkonen et al., 2015), subgroups preserving totally real geodesic planes (termed $\mathbb{R}$-Fuchsian) (Parkkonen et al., 2017), Fuchsian subgroups of Bianchi groups such as $\operatorname{PSL}(2,\mathbb{Z}[\sqrt{-2}])$ (Lee, 22 Jan 2026), and maximal nonparabolic subgroups in triangle groups (Jones, 2018).

2. Classification in Arithmetic Settings

The arithmetic structure of maximal nonelementary Fuchsian subgroups is systematically described using quaternion algebras and their norm-one groups:

• $\mathbb{C}$-Fuchsian subgroups of Picard modular groups: These subgroups correspond to the stabilizers of complex geodesics in $\mathbb{H}^2_\mathbb{C}$. Fixing an imaginary quadratic field $K$ and employing a Hermitian form $h$ of signature $(1,2)$, the group $\Gamma_K = \operatorname{PSU}_{1,2}(\mathcal O_K)$ acts as a non-uniform arithmetic lattice in complex hyperbolic space (Parkkonen et al., 2015). Maximal nonelementary $\mathbb{C}$-Fuchsian subgroups arise as stabilizers of positive points in $\mathbb{P}^2(\mathbb{C})$ and are classified, up to conjugacy and commensurability, as images of norm-one groups in explicit quaternion algebras $A = (D,D_K)_\mathbb{Q}$, where $D$ corresponds to the discriminant determined by the stabilizing point and $D_K$ is the discriminant of $K$.
• $\mathbb{R}$-Fuchsian subgroups of Picard modular groups: These preserve totally real, totally geodesic planes and are parametrized by involutions with rational coefficients. Each maximal nonelementary $\mathbb{R}$-Fuchsian subgroup is commensurable with the norm-one group of an indefinite quaternion algebra $A_\Delta = (\Delta, |D_K|)_\mathbb{Q}$, where $\Delta$ is determined by the "radius" parameter of the real circle preserved by the subgroup (Parkkonen et al., 2017).
• Fuchsian subgroups in Bianchi groups: For $$\Gamma = \operatorname{PSL}(2,\mathbb{Z}[\sqrt{-2}])$$, all conjugacy classes of maximal nonelementary Fuchsian subgroups are classified as images of norm-one elements in orders of the quaternion algebra $Q_D = (-2,D)_\mathbb{Q}$. There are exactly six families parametrized by the discriminant $D \bmod 16$, each corresponding to a specific $\mathbb{Z}$-order in $Q_D$ (Lee, 22 Jan 2026).

3. Structure and Explicit Realizations

These subgroups are realized explicitly as stabilizers of geometric objects (complex geodesics, real planes, circles), and their structure is tightly linked to the arithmetic of quaternion algebras.

Ambient Group	Type of Fuchsian Subgroup	Corresponding Quaternion Algebra	Realization Mechanism
Picard Modular $\Gamma_K$	$\mathbb{C}$-Fuchsian	$(D, D_K)_\mathbb{Q}$	Stab. of complex geodesic; norm-one embedding
Picard Modular $\Gamma_K$	$\mathbb{R}$-Fuchsian	$(\Delta, |D_K|)_\mathbb{Q}$	Stab. of $R$-plane; norm-one embedding
Bianchi $\operatorname{PSL}(2,\mathbb{Z}[\sqrt{-2}])$	Fuchsian	$(-2, D)_\mathbb{Q}$	Stab. of circles; norm-one in specific order

For each positive integer $D$, the subgroup is constructed as the stabilizer of a chosen point or geometric object, and the corresponding quaternion algebra, together with an explicit $\mathbb{Z}$-order, encodes the group structure. The commensurability class is determined by the isomorphism class of the quaternion algebra.

Maximality is characterized by the fact that these subgroups are not properly contained in any strictly larger nonelementary Fuchsian subgroup within the ambient arithmetic group.

4. Volume and Arithmeticity

The arithmeticity of maximal nonelementary Fuchsian subgroups is established via their construction as arithmetic lattices arising from orders in quaternion algebras. Covolumes (hyperbolic areas) of these subgroups are given explicit formulas, parameterized by the discriminant and the properties of the order used:

• For $$\Gamma = \operatorname{PSL}(2,\mathbb{Z}[\sqrt{-2}])$$, the area of the quotient of the hyperbolic plane by the subgroup $P\,\rho\left(\mathcal M^1\right)$ depends on $D$ and an explicit rational factor $c_i$ determined by the congruence class of $D$ modulo $16$ (Lee, 22 Jan 2026).
• In the Picard modular setting, the Zariski closure of the subgroup is dense in the $\operatorname{PSL}_2(\mathbb{R})$ or $\operatorname{O}(1,2)$ factor, with arithmeticity following from the Borel–Harish–Chandra theorem (Parkkonen et al., 2015, Parkkonen et al., 2017).

5. Orbit Structure and Geometric Actions

Maximal nonelementary Fuchsian subgroups act on the boundary at infinity of the corresponding symmetric space, preserving distinguished geometric loci:

• In the complex hyperbolic plane, these subgroups preserve chains (intersections of complex geodesics with the Poincaré hypersphere). Each such chain projects to an explicit Euclidean or Heisenberg circle, with the radius or discriminant parameterizing the commensurability class.
• For real Fuchsian subgroups, the preserved object is an $R$-circle, similarly parameterized by the radius $\Delta$.
• There exist infinitely many $\Gamma_K$-orbits of these geometric objects (chains or $R$-circles), corresponding to the infinite family of noncommensurable maximal nonelementary Fuchsian subgroups (Parkkonen et al., 2015, Parkkonen et al., 2017).

6. Maximal Nonelementary Fuchsian Subgroups in Triangle Groups

In the context of non-arithmetic groups, such as hyperbolic triangle groups $\Delta(p,q,\infty)$, maximal nonelementary Fuchsian subgroups (often termed nonparabolic maximal subgroups) are also studied:

• For each $p \geq 3, q \geq 2$, there exist $2^{\aleph_0}$ conjugacy classes of nonparabolic maximal subgroups, constructed combinatorially via planar maps or dessins, with subgroups corresponding to the stabilizers of darts under monodromy representations (Jones, 2018).
• These subgroups are often free products of cyclic groups, generated by elliptic elements only, or can be constructed to be torsion-free.
• Maximality in this setting is usually verified via primitivity arguments in permutation representations, and maximal nonelementary subgroups in these infinite-index cases can display significant diversity and flexibility.

7. Applications and Further Directions

Maximal nonelementary Fuchsian subgroups provide explicit classes of totally geodesic surfaces and arithmetic surfaces within arithmetic and non-arithmetic hyperbolic manifolds. The explicit arithmetic description allows computation of invariants such as covolume, commensurability class, and surface counting functions (e.g., the asymptotic number of primitive totally geodesic surfaces in Bianchi 3-manifolds (Lee, 22 Jan 2026)).

The classification results for Picard modular and Bianchi groups serve as models for understanding geometric and arithmetic structures in higher rank lattices and for the development of connections between geometric group theory, arithmetic geometry, and low-dimensional topology.

Further research investigates the generalization to other ambient arithmetic groups, the occurrence and distribution of commensurability classes, explicit parameterizations of normalizers, and the role of these subgroups in the theory of automorphic forms and moduli spaces.