Bianchi Modular Forms over Imaginary Quadratic Fields with arbitrary class group

Resumen Técnico: Formas Modulares de Bianchi sobre Campos Cuadráticos Imaginarios con Grupo de Clases Arbitrario

Planteamiento del Problema
El artículo aborda el desafío computacional de determinar el espacio de formas modulares de Bianchi de nivel $\Gamma_0(\mathfrak{n})$ sobre un campo cuadrático imaginario arbitrario $K = \mathbb{Q}(\sqrt{-d})$. Mientras que el trabajo previo del primer autor y sus estudiantes logró computar estos espacios para campos con números de clase 1, 2 y 3, así como para casos específicos de números de clase superiores, faltaba un algoritmo general capaz de manejar campos con grupos de clases arbitrarios (específicamente aquellos con un 2-rango no trivial y números de clase pares). La dificultad principal radica en que, para campos con números de clase pares, el espacio de formas modulares se descompone en componentes asociadas a diferentes clases de ideales, y la acción de la álgebra de Hecke completa sobre la homología principal (que es computacionalmente accesible) no produce inmediatamente los sistemas propios completos debido a la existencia de "auto-giros" (self-twists) y operadores no principales.

Metodología
Los autores desarrollan e implementan dos algoritmos independientes para computar las formas modulares de Bianchi como módulos de Hecke. Ambos métodos dependen del isomorfismo entre el espacio de formas modulares de Bianchi cuspidales y la homología del cociente del espacio hiperbólico de 3 dimensiones, $H_1(H_3/\Gamma_0(\mathfrak{n}), \mathbb{Q})$.

1. Teselación del Espacio Hiperbólico de 3 Dimensiones:

   • Método A (Algoritmo de Swan): Utiliza un "algoritmo pseudo-euclidiano" derivado del trabajo de Swan para generar una teselación de $H_3$ mediante poliedros ideales. Este enfoque generaliza el algoritmo de fracciones continuas utilizado para campos euclidianos.
   • Método B (Formas Hermíticas Perfectas): Utiliza la teoría de reducción de formas hermíticas perfectas (siguiendo a Ash y Koecher) para construir una teselación.
   • Ambos métodos requieren una etapa de precomputación para generar los datos de la teselación para un campo $K$ específico, la cual se utiliza posteriormente para computar la homología.

2. Acción de Hecke y Recuperación del Sistema Propio:

   • Los algoritmos computan la acción de los operadores de Hecke principales (aquellos que corresponden a ideales principales o cuadrados de ideales) sobre la componente principal de la homología, $H_1(X_0(\mathfrak{n}), \mathbb{Q})$.
   • Un componente crítico de la metodología es el procedimiento para recuperar un sistema propio de Hecke completo (incluyendo operadores no principales e información de carácter) a partir del sistema propio homológico principal.
   • Caso de Número de Clase Impar: Si el número de clase $h_K$ es impar, cada clase de ideal es un cuadrado, y el sistema propio completo está determinado unívocamente (salvo giro) por los autovalores principales.
   • Caso de Número de Clase Par: Cuando $h_K$ es par, la presencia de caracteres cuadráticos no ramificados introduce ambigüedad. Los autores detallan un algoritmo para resolver los signos de los autovalores de las clases que no son cuadrados y para detectar "auto-giros" (donde una forma es invariante bajo el giro por un carácter cuadrático); esto implica analizar la multiplicidad de las formas viejas (oldforms) en niveles superiores y verificar la anulación de autovalores en clases de ideales específicas.
   • Operadores de Atkin-Lehner: La implementación incluye código para computar los autovalores de Atkin-Lehner $W_{\mathfrak{q}}$ para divisores exactos $\mathfrak{q} \parallel \mathfrak{n}$ utilizando operadores principales $T_{\mathfrak{a},\mathfrak{a}}W_{\mathfrak{q}}$ cuando $\mathfrak{q}$ no es principal.

3. Implementación:

   • bianchi-progs: Un paquete en C++ que implementa el Método A (algoritmo pseudo-euclidiano).
   • Magma: Una implementación en Magma (realizada por el tercer autor, extendida por el segundo) que implementa el Método B (formas perfectas).
   • Los autores verificaron los resultados entre estas dos implementaciones para asegurar la consistencia.

Contribuciones Clave

• Generalización: El artículo extiende la computación de las formas modulares de Bianchi a campos cuadráticos imaginarios con grupos de clases arbitrarios, yendo más allá de las restricciones de los números de clase 1, 2 y 3.
• Resolución Algorítmica de Auto-giros: Los autores proporcionan un método riguroso para manejar las formas que admiten auto-giros por caracteres cuadráticos no ramificados. Demuestran cómo identificar estas formas analizando la dimensión de los espacios de formas viejas y la anulación de autovalores, un fenómeno que complica la relación entre los sistemas propios homológicos y los completos.
• Recuperación Explícita de Sistemas Propios: El documento detalla los pasos algorítmicos para reconstruir el sistema propio de Hecke completo (incluyendo autovalores no principales y datos de carácter) basándose únicamente en los datos homológicos principales, abordando la "ambigüedad de signo" en las clases de ideales que no son cuadrados.
• Prueba de Modularidad: Los autores aplican su marco computacional para probar la modularidad de una curva elíptica específica sobre $K = \mathbb{Q}(\sqrt{-17})$ (etiqueta LMFDB 2.0.68.1-7.2-a.2). Utilizan el método de Serre-Faltings-Livné (tal como se implementa en [DGP10]) para verificar que las representaciones de Galois de la curva elíptica y la nueva forma de Bianchi computada son isomórficas.

Resultos

• Campo $K = \mathbb{Q}(\sqrt{-17})$: Los autores proporcionan datos extensos para este campo, que tiene un grupo de clases cíclico de orden 4.
  • Computaron dimensiones y sistemas propios de Hecke para niveles con norma hasta 200 (y hasta 1000 para nuevas formas racionales).
  • Identificaron 1100 nuevos sistemas propios de Hecke con caracteres no ramificados, de los cuales 8 admiten auto-giros.
  • Tabularon la descomposición del espacio de nuevas formas en subespacios irreducibles bajo el álgebra de Hecke, distinguiendo entre el carácter trivial ($\chi_0$) y otros caracteres ($\chi_1, \chi_2, \chi_3$).
  • Analizaron la estructura de los cuerpos de Hecke, mostrando casos donde el cuerpo de Hecke completo es una extensión cuadrática del cuerpo de Hecke principal (por ejemplo, $k_F = k_f(\sqrt{r})$).
• Alcance Amplio: Se han realizado computaciones para 763 campos cuadráticos imaginarios con discriminante absoluto hasta 2500. Los datos para nuevas formas racionales (aquellas con cuerpo de Hecke $\mathbb{Q}$) están disponibles en la Base de Datos de Funciones L y Formas Modulares (LMFDB).
• Consistencia: Las dos implementaciones independientes (C++ y Magma) produjeron resultados consistentes para las dimensiones de la homología y los autovalores de Hecke en los rangos probados.

Significado
El artículo afirma su importancia principalmente como una extensión computacional de la teoría existente. Proporciona los algoritmos e implementaciones necesarios para estudiar las formas modulares de Bianchi sobre campos donde la estructura del grupo de clases impide las simplificaciones utilizadas en trabajos previos (por ejemplo, campos con números de clase pares). Al computar exitosamente estos espacios y probar la modularidad de una curva elíptica sobre $\mathbb{Q}(\sqrt{-17})$, los autores demuestran que el marco computacional es lo suficientemente robusto como para manejar las complejidades de los grupos de clases arbitrarios. Los datos generados llenan un vacío en la LMFDB para campos con números de clase más altos y proporcionan una base para futuras investigaciones aritméticas, como el estudio de cambios de base y la modularidad de curvas elípticas sobre estos campos. El trabajo complementa los avances teóricos recientes (como los de Newton y Caraiani) al proporcionar evidencia y datos computacionales explícitos para casos no cubiertos por teoremas generales.