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

Sintesi Tecnica: Sottogruppi Fuchsiani Massimali del Gruppo di Bianchi $d = 2$

Enunciato del Problema
Questo articolo affronta la classificazione e la quantificazione geometrica dei sottogruppi fuchsiani non elementari massimali (riferiti come sottogruppi F) all'interno del gruppo di Bianchi $d=2$, $\Gamma = \text{PSL}(2, \mathbb{Z}[\sqrt{-2}])$. Sebbene la classificazione di tali sottogruppi per i gruppi di Bianchi generali sia nota per essere complessa e dipendente dal gruppo di classi degli ideali del campo quadratico immaginario sottostante, questo lavoro si concentra specificamente sul caso $d=2$. Gli obiettivi primari sono fornire una descrizione esplicita delle classi di coniugazione di questi sottogruppi come ordini integrali in algebre quaternioniche indefinite, derivare formule precise di covolume per ogni classe e applicare tali risultati per calcolare il tasso di crescita asintotica delle superfici immerse totalmente geodetiche primitive nell'orbifold iperbolico a 3 dimensioni $\Gamma \backslash \mathbb{H}^3$.

Metodologia
L'approccio si basa sulla corrispondenza tra i sottogruppi F e i cerchi nel bordo dello spazio iperbolico a 3 dimensioni, $\partial \mathbb{H}^3 \cong \mathbb{C} \cup \{\infty\}$.

1. Classificazione Geometrica: L'autore utilizza i risultati di classificazione di Vul (2017) e Jung (2019) per identificare che ogni sottogruppo F stabilizza un unico cerchio $C$ definito da un'equazione ridotta $A|z|^2 + Bz + \bar{B}\bar{z} + C = 0$. Il discriminante $D = B\bar{B} - AC$ di questi cerchi funge da invariante primario.
2. Realizzazione Algebrica: Per ogni discriminante $D$, l'articolo costruisce l'algebra quaternionica indefinita corrispondente $Q = (-2, D)_{\mathbb{Q}}$. I stabilizzatori dei cerchi sono realizzati come gruppi di elementi di norma ridotta 1 ($M_1$) all'interno di specifici ordini $\mathbb{Z}$ di $Q$.
3. Costruzione Esplicita degli Ordini: Analizzando le rappresentazioni matriciali dei stabilizzatori sotto coniugazione, l'autore deriva le basi esplicite $\mathbb{Z}$ per sei distinte famiglie di ordini, denotate come $M(1)$ attraverso $M(6)$, corrispondenti a diverse classi di congruenza di $D$ modulo 4, 8 o 16.
4. Calcolo del Volume: I covolumi dei risultanti gruppi fuchsiani sono calcolati utilizzando la formula del volume per i gruppi fuchsiani aritmetici coinvolgendo il discriminante ridotto dell'ordine e gli indici locali dei gruppi di norma ridotta. Una parte significativa del lavoro tecnico riguarda l'analisi 2-adica di questi ordini, specificamente il calcolo dei simboli di Eichler e dell'indice del gruppo di norma ridotta $[ \mathbb{Z}_2^\times : \text{nrd}(M_2^\times) ]$, il che richiede un esame attento dei valori modulo 8.

Contributi Chiave e Risultati

• Classificazione Esplicita (Teorema 2): L'articolo fornisce un elenco completo degli ordini $\mathbb{Z}$ in $Q = (-2, D)_{\mathbb{Q}}$ che corrispondono alle classi di coniugazione dei sottogruppi F. Questi sono categorizzati in base alla congruenza del discriminante $D$:
  • $M(1)$: $\mathbb{Z}[1, i, j, ij]$ per qualsiasi $D$.
  • $M(2)$: $\mathbb{Z}[1, i, \frac{1+j}{2}, \frac{i+ij}{2}]$ per $D \equiv 1 \pmod 4$.
  • $M(3), M(4)$: Ordini con denominatori di 4, che si verificano per $D \equiv 2, 6 \pmod{16}$.
  • $M(5), M(6)$: Ordini con denominatori di 2, che si verificano per $D \equiv 2, 3 \pmod 4$.
• Formule di Covolume (Teorema 3): L'autore deriva precise formule di volume per i gruppi $M_1/\{\pm 1\}$. Il volume è dato da $c \pi F(D)$, dove $F(D)$ è un prodotto che coinvolge i simboli di Legendre $\left(\frac{-2}{p}\right)$, e la costante $c$ dipende dall'ordine specifico e dalla classe di congruenza di $D$ modulo 8. Notevolmente, l'articolo corregge ed estende i precedenti calcoli di volume eseguendo un'analisi 2-adica rigorosa che tiene conto degli ordini con elementi di base aventi denominatori di $2^2$ (ordini $M(3)$ e $M(4)$), una caratteristica non presente nei casi $d=1$ o $d \equiv 3 \pmod 4$.
• Crescita Asintotica (Teorema 5): Combinando le formule di volume con un lemma di conteggio per i discriminanti, l'articolo stabilisce il comportamento asintotico del numero di superfici immerse totalmente geodetiche primitive, $\Pi(x)$, con area minore di $x$. Il limite è calcolato come:
  $$\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)$$

Significato e Ambito
L'articolo sostiene di fornire la prima descrizione esplicita dei sottogruppi fuchsiani massimali per il gruppo di Bianchi $d=2$ in termini di ordini quaternionici integrali, colmando una lacuna lasciata dai lavori precedenti che trattavano $d=1$ e $d \equiv 3 \pmod 4$. Il lavoro evidenzia come il caso $d=2$ presenti sfide aritmetiche uniche, specificamente l'esistenza di ordini con potenze più elevate di 2 nei loro denominatori, il che richiede un'analisi 2-adica più raffinata rispetto a quanto precedentemente applicato nel campo. I risultati contribuiscono a una comprensione più ampia dei teoremi geometrici primi per le superfici negli orbifold di Bianchi, in particolare sotto l'assunzione che il gruppo di classi degli ideali di $\mathbb{Q}(\sqrt{-d})$ non contenga elementi di ordine 4. L'articolo non propone nuove applicazioni sperimentali ma consolida il quadro teorico per il conteggio di oggetti geometrici in questi specifici manifold iperbolici.