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

Resumo Técnico: Subgrupos de Fuchs para o Grupo de Bianchi $d = 2$

Enunciado do Problema
Este artigo aborda a classificação e a quantificação geométrica de subgrupos de Fuchs maximais não elementares (referidos como subgrupos F) dentro do grupo de Bianchi $d=2$, $\Gamma = \text{PSL}(2, \mathbb{Z}[\sqrt{-2}])$. Embora a classificação de tais subgrupos para grupos de Bianchi gerais seja conhecida por ser complexa e dependente do grupo de classes de ideais do campo quadrático imaginário subjacente, este trabalho foca especificamente no caso $d=2$. Os objetivos primários são fornecer uma descrição explícita das classes de conjugação desses subgrupos como ordens integrais em álgebras de quaternionos indefinidas, derivar fórmulas precisas de covolume para cada classe e aplicar esses resultados para computar a taxa de crescimento assintótico de superfícies imersas totalmente geodésicas primitivas no orbifold hiperbólico 3-dimensional $\Gamma \backslash \mathbb{H}^3$.

Metodologia
A abordagem baseia-se na correspondência entre subgrupos F e círculos no limite do espaço hiperbólico 3, $\partial \mathbb{H}^3 \cong \mathbb{C} \cup \{\infty\}$.

1. Classificação Geométrica: O autor utiliza os resultados de classificação de Vul (2017) e Jung (2019) para identificar que todo subgrupo F estabiliza um círculo único $C$ definido por uma equação reduzida $A|z|^2 + Bz + \bar{B}\bar{z} + C = 0$. O discriminante $D = B\bar{B} - AC$ desses círculos serve como o invariante primário.
2. Realização Algébrica: Para cada discriminante $D$, o artigo constrói a álgebra de quaternionos indefinida correspondente $Q = (-2, D)_{\mathbb{Q}}$. Os estabilizadores dos círculos são realizados como grupos de elementos de norma reduzida 1 ($M_1$) dentro de ordens $\mathbb{Z}$ específicas de $Q$.
3. Construção Explícita de Ordens: Ao analisar as representações matriciais dos estabilizadores sob conjugação, o autor deriva as bases $\mathbb{Z}$ explícitas para seis famílias distintas de ordens, denominadas $M(1)$ até $M(6)$, correspondentes a classes de congruência de $D$ módulo 4, 8 ou 16.
4. Computação de Volume: Os covolumes dos subgrupos de Fuchs resultantes são computados usando a fórmula de volume para grupos de Fuchs aritméticos envolvendo o discriminante reduzido da ordem e índices locais de grupos de norma reduzida. Uma parte significativa do trabalho técnico envolve a análise 2-ádica dessas ordens, especificamente o cálculo dos símbolos de Eichler e o índice do grupo de norma reduzida $[ \mathbb{Z}_2^\times : \text{nrd}(M_2^\times) ]$, o que requer um exame cuidadoso de valores módulo 8.

Principais Contribuições e Resultados

• Classificação Explícita (Teorema 2): O artigo fornece uma lista completa das ordens $\mathbb{Z}$ em $Q = (-2, D)_{\mathbb{Q}}$ que correspondem às classes de conjugação de subgrupos F. Elas são categorizadas pela congruência do discriminante $D$:
  • $M(1)$: $\mathbb{Z}[1, i, j, ij]$ para qualquer $D$.
  • $M(2)$: $\mathbb{Z}[1, i, \frac{1+j}{2}, \frac{i+ij}{2}]$ para $D \equiv 1 \pmod 4$.
  • $M(3), M(4)$: Ordens com denominadores de 4, ocorrendo para $D \equiv 2, 6 \pmod{16}$.
  • $M(5), M(6)$: Ordens com denominadores de 2, ocorrendo para $D \equiv 2, 3 \pmod 4$.
• Fórmulas de Covolume (Teorema 3): O autor deriva fórmulas de volume precisas para os grupos $M_1/\{\pm 1\}$. O volume é dado por $c \pi F(D)$, onde $F(D)$ é um produto envolvendo símbolos de Legendre $\left(\frac{-2}{p}\right)$, e a constante $c$ depende da ordem específica e da classe de congruência de $D$ módulo 8. Notavelmente, o artigo corrige e estende cálculos de volume anteriores ao realizar uma análise 2-ádica rigorosa que leva em conta ordens com elementos de base possuindo denominadores de $2^2$ (ordens $M(3)$ e $M(4)$), uma característica não presente nos casos $d=1$ ou $d \equiv 3 \pmod 4$.
• Crescimento Assintótico (Teorema 5): Ao combinar as fórmulas de volume com um lema de contagem para discriminantes, o artigo estabelece o comportamento assintótico do número de superfícies imersas totalmente geodésicas primitivas, $\Pi(x)$, com área menor que $x$. O limite é computado como:
  $$\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)$$

Significância e Escopo
O artigo afirma fornecer a primeira descrição explícita de subgrupos de Fuchs maximais para o grupo de Bianchi $d=2$ em termos de ordens de quaternionos integrais, preenchendo uma lacuna deixada por trabalhos anteriores que trataram de $d=1$ e $d \equiv 3 \pmod 4$. O trabalho destaca que o caso $d=2$ apresenta desafios aritméticos únicos, especificamente a existência de ordens com potências mais altas de 2 em seus denominadores, o que exige uma análise 2-ádica mais refinada do que a aplicada anteriormente no campo.

O autor observa que, embora os métodos forneçam resultados precisos para $d=2$, eles podem não ser facilmente generalizáveis para outros grupos de Bianchi (por exemplo, $d=5$), onde o número de classes de conjugação para um determinado discriminante pode ser grande e as condições de congruência mais complexas. Os resultados contribuem para uma compreensão mais ampla dos teoremas de geodésicas primas para superfícies em orbifolds de Bianchi, especificamente sob a suposição de que o grupo de classes de ideais de $\mathbb{Q}(\sqrt{-d})$ não contém nenhum elemento de ordem 4. O artigo não propõe novas aplicações experimentais, mas consolida o arcabouço teórico para a contagem de objetos geométricos nesses manifolds hiperbólicos específicos.