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

Technisches Resümee: Maximale Fuchs’sche Untergruppen der $d = 2$ Bianchi-Gruppe

Problemstellung
Diese Arbeit befasst sich mit der Klassifizierung und geometrischen Quantifizierung maximaler nicht-elementarer Fuchs’scher Untergruppen (bezeichnet als F-Untergruppen) innerhalb der $d=2$ Bianchi-Gruppe $\Gamma = \text{PSL}(2, \mathbb{Z}[\sqrt{-2}])$. Während die Klassifizierung solcher Untergruppen für allgemeine Bianchi-Gruppen als komplex bekannt ist und vom Idealklassengruppe des zugrunde liegenden imaginär-quadratischen Körpers abhängt, konzentriert sich diese Arbeit spezifisch auf den Fall $d=2$. Die primären Ziele bestehen darin, eine explizite Beschreibung der Konjugationsklassen dieser Untergruppen als ganzzahlige Ordnungen in unbestimmten Quaternionen-Algebren bereitzustellen, präzise Kovolumenformeln für jede Klasse abzuleiten und diese Ergebnisse anzuwenden, um die asymptotische Wachstumsrate primitiver, total geodätischer, impliziter Flächen im hyperbolischen 3-Orbifold $\Gamma \backslash \mathbb{H}^3$ zu berechnen.

Methodik
Der Ansatz stützt sich auf die Korrespondenz zwischen F-Untergruppen und Kreisen im Rand des hyperbolischen Raums $\partial \mathbb{H}^3 \cong \mathbb{C} \cup \{\infty\}$.

1. Geometrische Klassifizierung: Der Autor nutzt die Klassifizierungsergebnisse von Vul (2017) und Jung (2019), um zu identifizieren, dass jede F-Untergruppe einen eindeutigen Kreis $C$ stabilisiert, der durch eine reduzierte Gleichung $A|z|^2 + Bz + \bar{B}\bar{z} + C = 0$ definiert ist. Der Diskriminant $D = B\bar{B} - AC$ dieser Kreise dient als primäres Invariante.
2. Algebraische Realisierung: Für jeden Diskriminanten $D$ konstruiert das Papier die entsprechende unbestimmte Quaternionen-Algebra $Q = (-2, D)_{\mathbb{Q}}$. Die Stabilisatoren der Kreise werden als Gruppen von Elementen mit reduzierter Norm 1 ($M_1$) innerhalb spezifischer $\mathbb{Z}$-Ordnungen $M$ von $Q$ realisiert.
3. Explizite Konstruktion der Ordnungen: Durch die Analyse der Matrizendarstellungen der Stabilisatoren unter Konjugation leitet der Autor explizite $\mathbb{Z}$-Basen für sechs verschiedene Familien von Ordnungen her, bezeichnet als $M(1)$ bis $M(6)$, die den Kongruenzklassen von $D$ modulo 4, 8 oder 16 entsprechen.
4. Volumenberechnung: Die Kovolumina der resultierenden Fuchs’schen Gruppen werden unter Verwendung der Volumenformel für arithmetische Fuchs’sche Gruppen berechnet, welche die reduzierte Diskriminante der Ordnung und lokale Indizes von reduzierten Normgruppen beinhaltet. Ein wesentlicher Teil der technischen Arbeit umfasst die 2-adische Analyse dieser Ordnungen, insbesondere die Berechnung der Eichler-Symbole und des Index der reduzierten Normgruppe $[ \mathbb{Z}_2^\times : \text{nrd}(M_2^\times) ]$, was eine sorgfältige Untersuchung der Werte modulo 8 erfordert.

Zentrale Beiträge und Ergebnisse

• Explizite Klassifizierung (Theorem 2): Das Papier liefert eine vollständige Liste der $\mathbb{Z}$-Ordnungen in $Q = (-2, D)_{\mathbb{Q}}$, die den Konjugationsklassen von F-Untergruppen entsprechen. Diese sind nach der Kongruenz des Diskriminanten $D$ kategorisiert:
  • $M(1)$: $\mathbb{Z}[1, i, j, ij]$ für beliebiges $D$.
  • $M(2)$: $\mathbb{Z}[1, i, \frac{1+j}{2}, \frac{i+ij}{2}]$ für $D \equiv 1 \pmod 4$.
  • $M(3), M(4)$: Ordnungen mit Nennern von 4, auftretend für $D \equiv 2, 6 \pmod{16}$.
  • $M(5), M(6)$: Ordnungen mit Nennern von 2, auftretend für $D \equiv 2, 3 \pmod 4$.
• Kovolumenformeln (Theorem 3): Der Autor leitet präzise Volumenformeln für die Gruppen $M_1/\{\pm 1\}$ ab. Das Volumen ist gegeben durch $c \pi F(D)$, wobei $F(D)$ ein Produkt involierender Legendre-Symbole $\left(\frac{-2}{p}\right)$ ist, und die Konstante $c$ von der spezifischen Ordnung und der Kongruenzklasse von $D$ modulo 8 abhängt. Bemerkenswerterweise korrigiert und erweitert das Papier vorangegangene Volumenberechnungen durch eine rigorose 2-adische Analyse, die Ordnungen berücksichtigt, deren Basiselemente Nenner mit der Form $2^2$ besitzen (Ordnungen $M(3)$ und $M(4)$), ein Merkmal, das in den Fällen $d=1$ oder $d \equiv 3 \pmod 4$ nicht vorhanden ist.
• Asymptotisches Wachstum (Theorem 5): Durch Kombination der Volumenformeln mit einem Zähllemma für Diskriminanten etabliert das Papier das asymptotische Verhalten der Anzahl primitiver, total geodätischer, impliziter Flächen, $\Pi(x)$, mit einer Fläche kleiner als $x$. Der Grenzwert wird berechnet als:
  $$\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)$$

Bedeutung und Umfang
Das Papier beansprucht, die erste explizite Beschreibung maximaler Fuchs’scher Untergruppen für die $d=2$ Bianchi-Gruppe in Form von ganzzahligen Quaternionen-Ordnungen zu liefern, womit eine Lücke füllt, die durch frühere Arbeiten hinterlassen wurde, welche die Fälle $d=1$ und $d \equiv 3 \pmod 4$ behandelten. Die Arbeit hebt hervor, dass der Fall $d=2$ einzigartige arithmetische Herausforderungen bietet, insbesondere das Vorhandensein von Ordnungen mit höheren Potenzen von 2 in ihren Nennern, was eine differenziertere 2-adische Analyse erfordert, als bisher im Feld angewandt wurde.

Der Autor merkt an, dass die Methoden zwar präzise Ergebnisse für $d=2$ liefern, sich jedoch nicht ohne Weiteres auf andere Bianchi-Gruppen (z. B. $d=5$) verallgemeinern lassen, bei denen die Anzahl der Konjugationsklassen für einen gegebenen Diskriminanten groß und die Kongruenzbedingungen komplexer sein können. Die Ergebnisse tragen zu einem breiteren Verständnis der Primgeodäten-Theoreme für Flächen in Bianchi-Orbifolds bei, insbesondere unter der Annahme, dass die Idealklassengruppe von $\mathbb{Q}(\sqrt{-d})$ kein Element der Ordnung 4 enthält. Das Papier schlägt keine neuen experimentellen Anwendungen vor, sondern konsolidiert den theoretischen Rahmen für das Zählen geometrischer Objekte in diesen spezifischen hyperbolischen Mannigfaltigkeiten.