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

Resumen Técnico: Subgrupos Fuchsianos Maximales del Grupo de Bianchi $d = 2$

Planteamiento del Problema
Este artículo aborda la clasificación y la cuantificación geométrica de los subgrupos fuchsianos maximales no elementales (denominados subgrupos F) dentro del grupo de Bianchi $d=2$, $\Gamma = \text{PSL}(2, \mathbb{Z}[\sqrt{-2}])$. Si bien la clasificación de tales subgrupos para los grupos de Bianchi generales es conocida por ser compleja y dependiente del grupo de clases de ideales del campo cuadrático imaginario subyacente, este trabajo se centra específicamente en el caso $d=2$. Los objetivos primordiales son proporcionar una descripción explícita de las clases de conjugación de estos subgrupos como órdenes integrales en álgebras de cuaterniones indefinidas, derivar fórmulas precisas de covolumen para cada clase y aplicar estos resultados para calcular la tasa de crecimiento asintótico de superficies inmersas totalmente geodésicas primitivas en el orbifold hiperbólico de dimensión 3, $\Gamma \backslash \mathbb{H}^3$.

Metodología
El enfoque se basa en la correspondencia entre los subgrupos F y los círculos en la frontera del espacio hiperbólico de dimensión 3, $\partial \mathbb{H}^3 \cong \mathbb{C} \cup \{\infty\}$.

1. Clasificación Geométrica: El autor utiliza los resultados de clasificación de Vul (2017) y Jung (2019) para identificar que cada subgrupo F estabiliza un círculo único $C$ definido por una ecuación reducida $A|z|^2 + Bz + \bar{B}\bar{z} + C = 0$. El discriminante $D = B\bar{B} - AC$ de estos círculos sirve como el invariante primario.
2. Realización Algebraica: Para cada discriminante $D$, el artículo construye el álgebra de cuaterniones indefinida correspondiente $Q = (-2, D)_{\mathbb{Q}}$. Los estabilizadores de los círculos se realizan como grupos de elementos de norma reducida 1 ($M_1$) dentro de órdenes $\mathbb{Z}$ específicos de $Q$.
3. Construcción Explícita de Órdenes: Mediante el análisis de las representaciones matriciales de los estabilizadores bajo conjugación, el autor deriva las bases $\mathbb{Z}$ explícitas para seis familias distintas de órdenes, denotadas como $M(1)$ a $M(6)$, que corresponden a clases de congruencia de $D$ módulo 4, 8 o 16.
4. Cálculo de Volumen: Los covolúmenes de los grupos fuchsianos resultantes se calculan utilizando la fórmula de volumen para grupos fuchsianos aritméticos que involucra el discriminante reducido del orden y los índices locales de los grupos de norma reducida. Una parte significativa del trabajo técnico consiste en el análisis 2-ádico de estos órdenes, específicamente el cálculo de los símbolos de Eichler y el índice del grupo de norma reducida $[\mathbb{Z}_2^\times : \text{nrd}(M_2^\times)]$, lo cual requiere un examen cuidadoso de los valores módulo 8.

Contribuciones Clave y Resultados

• Clasificación Explícita (Teorema 2): El artículo proporciona una lista completa de los órdenes $\mathbb{Z}$ en $Q = (-2, D)_{\mathbb{Q}}$ que corresponden a las clases de conjugación de los subgrupos F. Estos se categorizan según la congruencia del discriminante $D$:
  • $M(1)$: $\mathbb{Z}[1, i, j, ij]$ para cualquier $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)$: Órdenes con denominadores de 4, que ocurren para $D \equiv 2, 6 \pmod{16}$.
  • $M(5), M(6)$: Órdenes con denominadores de 2, que ocurren para $D \equiv 2, 3 \pmod 4$.
• Fórmulas de Covolumen (Teorema 3): El autor deriva fórmulas de volumen precisas para los grupos $M_1/\{\pm 1\}$. El volumen viene dado por $c \pi F(D)$, donde $F(D)$ es un producto que involucra los símbolos de Legendre $\left(\frac{-2}{p}\right)$, y la constante $c$ depende del orden específico y de la clase de congruencia de $D$ módulo 8. Notablemente, el artículo corrige y extiende cálculos de volumen previos realizando un análisis 2-ádico riguroso que tiene en cuenta los órdenes con elementos de base que tienen denominadores de $2^2$ (órdenes $M(3)$ y $M(4)$), una característica no presente en los casos $d=1$ o $d \equiv 3 \pmod 4$.
• Crecimiento Asintótico (Teorema 5): Combinando las fórmulas de volumen con un lema de conteo para discriminantes, el artículo establece el comportamiento asintótico del número de superficies inmersas totalmente geodésicas primitivas, $\Pi(x)$, con área menor que $x$. El límite se calcula 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)$$

Significancia y Alcance
El artículo afirma proporcionar la primera descripción explícita de los subgrupos fuchsianos maximales para el grupo de Bianchi $d=2$ en términos de órdenes de cuaterniones integrales, llenando un vacío dejado por trabajos previos que trataron $d=1$ y $d \equiv 3 \pmod 4$. El trabajo destaca que el caso $d=2$ presenta desafíos aritméticos únicos, específicamente la existencia de órdenes con potencias más altas de 2 en sus denominadores, lo que requiere un análisis 2-ádico más refinado de lo aplicado anteriormente en el campo.

El autor señala que, si bien los métodos producen resultados precisos para $d=2$, pueden no ser fácilmente generalizables a otros grupos de Bianchi (por ejemplo, $d=5$) donde el número de clases de conjugación para un discriminante dado puede ser grande y las condiciones de congruencia más complejas. Los resultados contribuyen a una comprensión más amplia de los teoremas de geodesicas primas para superficies en orbifolds de Bianchi, específicamente bajo la suposición de que el grupo de clases de ideales de $\mathbb{Q}(\sqrt{-d})$ no contiene ningún elemento de orden 4. El artículo no propone nuevas aplicaciones experimentales, sino que consolida el marco teórico para el conteo de objetos geométricos en estos manifolds hiperbólicos específicos.