Maximal Fuchsian subgroups of the $d=2$ Bianchi group

Résumé Technique : Sous-groupes Fuchsiens Maximaux du Groupe de Bianchi $d = 2$

Énoncé du Problème
Cet article traite de la classification et de la quantification géométrique des sous-groupes fuchsiniens maximaux non élémentaires (appelés sous-groupes F) au sein du groupe de Bianchi $d=2$, $\Gamma = \text{PSL}(2, \mathbb{Z}[\sqrt{-2}])$. Bien que la classification de ces sous-groupes pour les groupes de Bianchi généraux soit connue pour être complexe et dépendante du groupe de classes d'idéaux du corps quadratique imaginaire sous-jacent, ce travail se concentre spécifiquement sur le cas $d=2$. Les objectifs primaires sont de fournir une description explicite des classes de conjugaison de ces sous-groupes en tant qu'ordres intégraux dans des algèbres de quaternions indéfinies, de dériver des formules de covolume précises pour chaque classe, et d'appliquer ces résultats pour calculer le taux de croissance asymptotique des surfaces immergées totalement géodésiques primitives dans l'orbifolde hyperbolique de dimension 3 $\Gamma \backslash \mathbb{H}^3$.

Méthodologie
L'approche repose sur la correspondance entre les sous-groupes F et les cercles dans la frontière de l'espace hyperbolique 3, $\partial \mathbb{H}^3 \cong \mathbb{C} \cup \{\infty\}$.

1. Classification Géométrique : L'auteur utilise les résultats de classification de Vul (2017) et Jung (2019) pour identifier que tout sous-groupe F stabilise un cercle unique $C$ défini par une équation réduite $A|z|^2 + Bz + \bar{B}\bar{z} + C = 0$. Le discriminant $D = B\bar{B} - AC$ de ces cercles sert d'invariant primaire.
2. Réalisation Algébrique : Pour chaque discriminant $D$, le papier construit l'algèbre de quaternions indéfinie correspondante $Q = (-2, D)_{\mathbb{Q}}$. Les stabilisateurs des cercles sont réalisés comme des groupes d'éléments de norme réduite 1 ($M_1$) au sein d'ordres $\mathbb{Z}$ spécifiques $M$ de $Q$.
3. Construction Explicite d'Ordres : En analysant les représentations matricielles des stabilisateurs sous conjugaison, l'auteur dérive les bases $\mathbb{Z}$ explicites de six familles distinctes d'ordres, notées $M(1)$ à $M(6)$, correspondant aux classes de congruence de $D$ modulo 4, 8 ou 16.
4. Calcul de Volume : Les covolumes des groupes fuchsiniens résultants sont calculés en utilisant la formule de volume pour les groupes fuchsiniens arithmétiques impliquant le discriminant réduit de l'ordre et les indices locaux des groupes de norme réduite. Une partie importante du travail technique concerne l'analyse 2-adique de ces ordres, spécifiquement le calcul des symboles d'Eichler et l'indice du groupe de norme réduite $[ \mathbb{Z}_2^\times : \text{nrd}(M_2^\times) ]$, ce qui nécessite un examen minutieux des valeurs modulo 8.

Contributions Clés et Résultats

• Classification Explicite (Théorème 2) : Le papier fournit une liste complète des ordres $\mathbb{Z}$ dans $Q = (-2, D)_{\mathbb{Q}}$ qui correspondent aux classes de conjugaison des sous-groupes F. Ceux-ci sont catégorisés par la congruence du discriminant $D$ :
  • $M(1)$ : $\mathbb{Z}[1, i, j, ij]$ pour n'importe quel $D$.
  • $M(2)$ : $\mathbb{Z}[1, i, \frac{1+j}{2}, \frac{i+ij}{2}]$ pour $D \equiv 1 \pmod 4$.
  • $M(3), M(4)$ : Ordres avec des dénominateurs de 4, apparaissant pour $D \equiv 2, 6 \pmod{16}$.
  • $M(5), M(6)$ : Ordres avec des dénominateurs de 2, apparaissant pour $D \equiv 2, 3 \pmod 4$.
• Formules de Covolume (Théorème 3) : L'auteur dérive des formules de volume précises pour les groupes $M_1/\{\pm 1\}$. Le volume est donné par $c \pi F(D)$, où $F(D)$ est un produit impliquant des symboles de Legendre $\left(\frac{-2}{p}\right)$, et la constante $c$ dépend de l'ordre spécifique et de la classe de congruence de $D$ modulo 8. Notamment, le papier corrige et étend les calculs de volume précédents en effectuant une analyse 2-adique rigoureuse qui prend en compte les ordres avec des éléments de base ayant des dénominateurs de $2^2$ (ordres $M(3)$ et $M(4)$), une caractéristique absente des cas $d=1$ ou $d \equiv 3 \pmod 4$.
• Croissance Asymptotique (Théorème 5) : En combinant les formules de volume avec un lemme de comptage pour les discriminants, le papier établit le comportement asymptotique du nombre de surfaces immergées totalement géodésiques primitives, $\Pi(x)$, avec une aire inférieure à $x$. La limite est calculée comme suit :
  $$\lim_{x \to \infty} \frac{\Pi(x)}{x} = \frac{45}{16\pi} \prod_{p>2} \left( 1 - \frac{1}{p} + \frac{1}{p + \left(\frac{-2}{p}\right)} \right)$$

Signification et Portée
Le papier affirme fournir la première description explicite des sous-groupes fuchsiens maximaux pour le groupe de Bianchi $d=2$ en termes d'ordres de quaternions entiers, comblant une lacune laissée par les travaux précédents qui traitaient $d=1$ et $d \equiv 3 \pmod 4$. Le travail souligne que le cas $d=2$ présente des défis arithmétiques uniques, spécifiquement l'existence d'ordres avec des puissances plus élevées de 2 dans leurs dénominateurs, ce qui nécessite une analyse 2-adique plus raffinée que celle appliquée précédemment dans le domaine. Les résultats contribuent à une compréhension plus large des théorèmes de géodésiques premières pour les surfaces dans les orbifoldes de Bianchi, spécifiquement sous l'hypothèse que le groupe de classes d'idéaux de $\mathbb{Q}(\sqrt{-d})$ ne contient aucun élément d'ordre 4. Le papier ne propose pas de nouvelles applications expérimentales mais consolide le cadre théorique pour compter des objets géométriques dans ces variétés hyperboliques spécifiques.