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

Technische Samenvatting: Maximale Fuchsiaanse Subgroepen van de $d = 2$ Bianchi-groep

Probleemstelling
Dit artikel behandelt de classificatie en geometrische kwantificering van maximale niet-elementaire Fuchsiaanse subgroepen (verwezen als F-subgroepen) binnen de $d=2$ Bianchi-groep $\Gamma = \text{PSL}(2, \mathbb{Z}[\sqrt{-2}])$. Hoewel de classificatie van dergelijke subgroepen voor algemene Bianchi-groepen bekend staat als complex en afhankelijk van de ideale klassengroep van het onderliggende imaginaire kwadratische veld, richt dit werk zich specifief op de casus $d=2$. De primaire doelstellingen zijn het bieden van een expliciete beschrijving van de conjunctieklassen van deze subgroepen als integrale orden in indefiniete quaternionenalgebraën, het afleiden van precieze covolume-formules voor elke klasse, en het toepassen van deze resultaten om de asymptotische groeivoet van primitieve totaal geodetische geïmmerseerde oppervlakken in de hyperbolische 3-orbifold $\Gamma \backslash \mathbb{H}^3$ te berekenen.

Methodologie
De benadering steunt op de correspondentie tussen F-subgroepen en cirkels in de grens van de hyperbolische 3-ruimte, $\partial \mathbb{H}^3 \cong \mathbb{C} \cup \{\infty\}$.

1. Geometrische Classificatie: De auteur maakt gebruik van de classificatieresultaten van Vul (2017) en Jung (2019) om te identificeren dat elke F-subgroep een unieke cirkel $C$ stabiliseert die gedefinieerd wordt door een gereduceerde vergelijking $A|z|^2 + Bz + \bar{B}\bar{z} + C = 0$. De discriminant $D = B\bar{B} - AC$ van deze cirkels dient als de primaire invariant.
2. Algebraïsche Realisatie: Voor elke discriminant $D$ construeert het artikel de bijbehorende indefiniete quaternionenalgebra $Q = (-2, D)_{\mathbb{Q}}$. De stabilisatoren van de cirkels worden gerealiseerd als groepen van elementen met genormaliseerde norm 1 ($M_1$) binnen specifieke $\mathbb{Z}$-orden $M$ van $Q$.
3. Expliciete Constructie van Orden: Door de matrixrepresentaties van de stabilisatoren onder conjunctie te analyseren, leidt de auteur de expliciete $\mathbb{Z}$-bases af voor zes onderscheidende families van orden, aangeduid als $M(1)$ tot en met $M(6)$, die overeenkomen met verschillende congruentieklassen van $D$ modulo 4, 8 of 16.
4. Volumecomputatie: De covolumes van de resulterende Fuchsiaanse groepen worden berekend met behulp van de volumeformule voor arithmetische Fuchsiaanse groepen die gebruikmaakt van de gereduceerde discriminant van de orde en lokale indices van genormaliseerde normgroepen. Een aanzienlijk deel van het technische werk betreft de 2-adische analyse van deze orden, specifiek het berekenen van de Eichler-symbolen en de index van de genormaliseerde normgroep $[ \mathbb{Z}_2^\times : \text{nrd}(M_2^\times) ]$, wat een zorgvuldige examinatie van waarden modulo 8 vereist.

Belangrijkste Bijdragen en Resultaten

• Expliciete Classificatie (Stelling 2): Het artikel biedt een volledige lijst van de $\mathbb{Z}$-orden in $Q = (-2, D)_{\mathbb{Q}}$ die corresponderen met de conjunctieklassen van F-subgroepen. Deze zijn gecategoriseerd op basis van de congruentie van de discriminant $D$:
  • $M(1)$: $\mathbb{Z}[1, i, j, ij]$ voor elke $D$.
  • $M(2)$: $\mathbb{Z}[1, i, \frac{1+j}{2}, \frac{i+ij}{2}]$ voor $D \equiv 1 \pmod 4$.
  • $M(3), M(4)$: Orden met denominatoren van 4, voorkomend voor $D \equiv 2, 6 \pmod{16}$.
  • $M(5), M(6)$: Orden met denominatoren van 2, voorkomend voor $D \equiv 2, 3 \pmod 4$.
• Covolume-formules (Stelling 3): De auteur leidt precieze volumeformules af voor de groepen $M_1/\{\pm 1\}$. Het volume wordt gegeven door $c \pi F(D)$, waarbij $F(D)$ een product is van Legendre-symbolen $\left(\frac{-2}{p}\right)$, en de constante $c$ afhangt van de specifieke orde en de congruentieklasse van $D$ modulo 8. Opvallend genoeg corrigeert en breidt het artikel eerdere volumeberekeningen uit door een rigoureuze 2-adische analyse uit te voeren die rekening houdt met orden met basis-elementen met denominatoren van $2^2$ (orden $M(3)$ en $M(4)$), een kenmerk dat niet aanwezig is in de $d=1$ of $d \equiv 3 \pmod 4$ gevallen.
• Asymptotische Groei (Stelling 5): Door de volumeformules te combineren met een tel-lemma voor discriminanten, stelt het artikel het asymptotische gedrag vast van het aantal primitieve totaal geodetische geïmmerseerde oppervlakken, $\Pi(x)$, met een oppervlakte kleiner dan $x$. De limiet wordt berekend 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)$$

Betekenis en Omvang
Het artikel claimt de eerste expliciete beschrijving te bieden van maximale Fuchsiaanse subgroepen voor de $d=2$ Bianchi-groep in termen van integrale quaternionen-orden, waarmee een gat wordt opgevuld dat werd achtergelaten door eerdere werken die $d=1$ en $d \equiv 3 \pmod 4$ behandelden. Het werk benadrukt dat de $d=2$ casus unieke arithmetische uitdagingen presenteert, specifiek de existentie van orden met hogere machten van 2 in hun denominatoren, wat een verfijndere 2-adische analyse noodzakelijk maakt dan voorheen toegepast in het vakgebied.

De auteur merkt op dat hoewel de methoden precieze resultaten opleveren voor $d=2$, ze mogelijk niet gemakkelijk generaliseerbaar zijn naar andere Bianchi-groepen (bijv. $d=5$) waar het aantal conjunctieklassen voor een gegeven discriminant groot kan zijn en de congruentievoorwaarden complexer zijn. De resultaten dragen bij aan een breder begrip van priem-geodetische stellingen voor oppervlakken in Bianchi-orbifolds, specifiek onder de aanname dat de ideale klassengroep van $\mathbb{Q}(\sqrt{-d})$ geen element van orde 4 bevat. Het artikel stelt geen nieuwe experimentele toepassingen voor, maar consolideert het theoretische kader voor het tellen van geometrische objecten in deze specifieke hyperbolische manifolden.