Bianchi Modular Forms over Imaginary Quadratic Fields with arbitrary class group

Resumo Técnico: Formas de Bianchi Modulares sobre Campos Quadráticos Imaginários com Grupo de Classes Arbitrário

Enunciado do Problema
O artigo aborda o desafio computacional de determinar o espaço das formas modulares de Bianchi de nível $\Gamma_0(\mathfrak{n})$ sobre um campo quadrático imaginário arbitrário $K = \mathbb{Q}(\sqrt{-d})$. Embora o trabalho anterior do primeiro autor e de seus alunos tenha computado com sucesso esses espaços para campos com números de classe 1, 2 e 3, e para casos específicos de números de classe superiores, faltava um algoritmo geral capaz de lidar com campos com grupos de classes arbitrários (especificamente aqueles com 2-posto não trivial e números de classe pares). A dificuldade principal reside no fato de que, para campos com números de classe pares, o espaço das formas modulares se decompõe em componentes associadas a diferentes classes de ideais, e a ação da álgebra de Hecke completa sobre a homologia principal (que é computacionalmente acessível) não produz imediatamente os sistemas próprios completos devido à existência de "auto-torções" (self-twists) e operadores não principais.

Metodologia
Os autores desenvolvem e implementam dois algoritmos independentes para computar formas modulares de Bianchi como módulos de Hecke. Ambos os métodos baseiam-se no isomorfismo entre o espaço das formas modulares de Bianchi cuspidais e a homologia do quociente do espaço hiperbólico de 3 dimensões, $H_1(H_3/\Gamma_0(\mathfrak{n}), \mathbb{Q})$.

1. Tesselação do Espaço Hiperbólico de 3 Dimensões:

   • Método A (Algoritmo de Swan): Utiliza um "algoritmo pseudo-euclidiano" derivado do trabalho de Swan para gerar uma tesselação de $H_3$ por poliedros ideais. Esta abordagem generaliza o algoritmo de frações contínuas usado para campos euclidianos.
   • Método B (Formas Hermitianas Perfeitas): Utiliza a teoria de redução de formas hermitianas perfeitas (seguindo Ash e Koecher) para construir uma tesselação.
   • Ambos os métodos requerem uma etapa de pré-computação para gerar os dados de tesselação para um campo específico $K$, que é então utilizado para computar a homologia.

2. Ação de Hecke e Recuperação do Sistema Próprio:

   • Os algoritmos computam a ação de operadores de Hecke principais (aqueles correspondentes a ideais principais ou quadrados de ideais) na componente principal da homologia, $H_1(X_0(\mathfrak{n}), \mathbb{Q})$.
   • Um componente crítico da metodologia é o procedimento para recuperar um sistema próprio de Hecke completo (incluindo operadores não principais e informação de caráter) a partir do sistema próprio homológico principal.
   • Caso de Número de Classe Ímpar: Se o número de classe $h_K$ for ímpar, toda classe de ideal é um quadrado, e o sistema próprio completo é determinado unicamente (a menos de torção) pelos autovalores principais.
   • Caso de Número de Classe Par: Quando $h_K$ é par, a presença de caracteres quadráticos não ramificados introduz ambiguidade. Os autores detalham um algoritmo para resolver os sinais para autovalores de classes que não são quadrados e para detectar "auto-torções" (onde uma forma é invariante sob torção por um caráter quadrático), o que envolve analisar a multiplicidade de oldforms em níveis mais altos e verificar o desaparecimento de autovalores em classes de ideais específicas.
   • Operadores de Atkin-Lehner: A implementação inclui código para computar autovalores de Atkin-Lehner $W_{\mathfrak{q}}$ para divisores exatos $\mathfrak{q} \parallel \mathfrak{n}$, utilizando operadores principais $T_{\mathfrak{a},\mathfrak{a}}W_{\mathfrak{q}}$ quando $\mathfrak{q}$ não é principal.

3. Implementação:

   • bianchi-progs: Um pacote C++ que implementa o Método A (algoritmo pseudo-euclidiano).
   • Magma: Uma implementação em Magma (desenvolvida pelo terceiro autor, estendida pelo segundo) que implementa o Método B (formas perfeitas).
   • Os autores verificaram os resultados entre estas duas implementações para garantir a consistência.

Principais Contribuições

• Generalização: O artigo estende a computação de formas modulares de Bianchi para campos quadráticos imaginários com grupos de classes arbitrários, indo além das restrições de números de classe 1, 2 e 3.
• Resolução Algorítmica de Auto-torções: Os autores fornecem um método rigoroso para lidar com formas que admitem auto-torções por caracteres quadráticos não ramificados. Eles demonstram como identificar essas formas analisando a dimensão dos oldspaces e o desaparecimento de autovalores, um fenômeno que complica a relação entre os sistemas próprios homológicos e os sistemas próprios completos.
• Recuperação Explícita de Sistemas Próprios: O artigo detalha os passos algorítmicos para reconstruir o sistema próprio de Hecke completo (incluindo autovalores não principais e dados de caráter) apenas a partir dos dados homológicos principais, abordando a "ambiguidade de sinal" em classes de ideais que não são quadrados.
• Prova de Modularidade: Os autores aplicam seu arcabouço computacional para provar a modularidade de uma curva elíptica específica sobre $K = \mathbb{Q}(\sqrt{-17})$ (LMFDB label 2.0.68.1-7.2-a.2). Eles utilizam o método Serre-Faltings-Livné (conforme implementado em [DGP10]) para verificar que as representações de Galois da curva elíptica e da novaforma de Bianchi computada são isomórficas.

Resultos

• Campo $K = \mathbb{Q}(\sqrt{-17})$: Os autores fornecem dados extensos para este campo, que possui um grupo de classes cíclico de ordem 4.
  • Eles computaram dimensões e sistemas próprios de Hecke para níveis com norma até 200 (e até 1000 para novasformas racionais).
  • Identificaram 1100 novos sistemas próprios de Hecke com caracteres não ramificados, dos quais 8 admitem auto-torções.
  • Tabularam a decomposição do novoespaço em subespaços irredutíveis sob a álgebra de Hecke, distinguindo o caráter trivial ($\chi_0$) e outros caracteres ($\chi_1, \chi_2, \chi_3$).
  • Analisaram a estrutura dos campos de Hecke, mostrando casos onde o campo de Hecke completo é uma extensão quadrática do campo de Hecke principal (por exemplo, $k_F = k_f(\sqrt{r})$).
• Escopo Amplo: Computações foram realizadas para 763 campos quadráticos imaginários com discriminante absoluto até 2500. Dados para novasformas racionais (aquelas com campo de Hecke $\mathbb{Q}$) estão disponíveis no L-functions and Modular Forms Database (LMFDB).
• Consistência: As duas implementações independentes (C++ e Magma) produziram resultados consistentes para dimensões de homologia e autovalores de Hecke para o intervalo testado.

Significância
O artigo reivindica significância principalmente como uma extensão computacional da teoria existente. Ele fornece os algoritmos e implementações necessários para estudar formas modulares de Bianchi sobre campos onde a estrutura do grupo de classes impede as simplificações usadas em trabalhos anteriores (por exemplo, campos com números de classe pares). Ao computar com sucesso esses espaços e provar a modularidade de uma curva elíptica sobre $\mathbb{Q}(\sqrt{-17})$, os autores demonstram que o arcabouço computacional é robusto o suficiente para lidar com as complexidades de grupos de classes arbitrários. Os dados gerados preenchem uma lacuna no LMFDB para campos com números de classe mais elevados e fornecem uma base para investigações aritméticas posteriores, como o estudo de mudanças de base e a modularidade de curvas elípticas sobre esses campos. O trabalho complementa avanços teóricos recentes (como os de Newton e Caraiani) ao fornecer evidência computacional explícita e dados para casos não cobertos por teoremas gerais.