Bianchi Modular Forms over Imaginary Quadratic Fields with arbitrary class group

Sintesi Tecnica: Forme Modulari di Bianchi su Campi Quadratici Immaginari con Gruppo di Classe Arbitrario

Enunciato del Problema
Il saggio affronta la sfida computazionale di determinare lo spazio delle forme modulari di Bianchi di livello $\Gamma_0(\mathfrak{n})$ su un campo quadratico immaginario arbitrario $K = \mathbb{Q}(\sqrt{-d})$. Mentre il lavoro precedente del primo autore e dei suoi studenti ha avuto successo nel calcolare questi spazi per campi con numeri di classe 1, 2 e 3, e per casi specifici di numeri di classe più elevati, mancava un algoritmo generale capace di gestire campi con gruppi di classe arbitrari (specificamente quelli con 2-rango non nullo e numeri di classe pari). La difficoltà principale risiede nel fatto che, per i campi con numeri di classe pari, lo spazio delle forme modulari si decompone in componenti associate a diverse classi di ideali, e l'azione del pieno algebra di Hecke sull'omologia principale (che è computazionalmente accessibile) non fornisce immediatamente i pieni eigensistemi a causa dell'esistenza di "auto-twist" (self-twists) e operatori non principali.

Metodologia
Gli autori sviluppano e implementano due algoritoli indipendenti per calcolare le forme modulari di Bianchi come moduli di Hecke. Entrambi i metodi si basano sull'isomorfismo tra lo spazio delle forme modulari di Bianchi cuspidali e l'omologia del quoziente dello spazio iperbolico a 3, $H_1(H_3/\Gamma_0(\mathfrak{n}), \mathbb{Q})$.

1. Tessellazione dello Spazio Iperbolico a 3:

   • Metodo A (Algoritmo di Swan): Utilizza un "algoritmo pseudo-Euclideo" derivato dal lavoro di Swan per generare una tessellazione di $H_3$ mediante poliedri ideali. Questo approccio generalizza l'algoritmo delle frazioni continue utilizzato per i campi euclidei.
   • Metodo B (Forme Ermitiane Perfette): Utilizza la teoria della riduzione delle forme ermitiane perfette (seguendo Ash e Koecher) per costruire una tessellazione.
   • Entrambi i metodi richiedono una fase di precomputazione per generare i dati di tessellazione per un dato campo $K$, che viene poi utilizzata per calcolare l'omologia.

2. Azione di Hecke e Recupero dell'Eigensistema:

   • Gli algoritmi calcolano l'azione degli operatori di Hecke principali (quelli corrispondenti ad ideali principali o quadrati di ideali) sulla componente principale dell'omologia, $H_1(X_0(\mathfrak{n}), \mathbb{Q})$.
   • Una componente critica della metodologia è la procedura per recuperare un pieno eigensistema di Hecke (inclusi gli operatori non principali e le informazioni sul carattere) a partire dall'eigensistema omologico principale.
   • Caso con Numero di Classe Dispari: Se il numero di classe $h_K$ è dispari, ogni classe di ideali è un quadrato, e il pieno eigensistema è determinato unicamente (fino al twist) dagli autovalori principali.
   • Caso con Numero di Classe Pari: Quando $h_K$ è pari, la presenza di caratteri quadratici non ramificati introduce ambiguità. Gli autori dettagliano un algoritmo per risolvere i segni per gli autovalori di classi non quadrate e per rilevare gli "auto-twist" (dove una forma è invariante sotto il twist per un carattere quadratico); ciò comporta l'analisi della molteplicità degli oldforms a livelli superiori e la verifica della scomparsa degli autovalori in specifiche classi di ideali.
   • Operatori di Atkin-Lehner: L'implementazione include il codice per calcolare gli autovalori di Atkin-Lehner $W_{\mathfrak{q}}$ per divisori esatti $\mathfrak{q} \parallel \mathfrak{n}$, utilizzando gli operatori principali $T_{\mathfrak{a},\mathfrak{a}}W_{\mathfrak{q}}$ quando $\mathfrak{q}$ non è principale.

3. Implementazione:

   • bianchi-progs: Un pacchetto C++ che implementa il Metodo A (algoritmo pseudo-Euclideo).
   • Magma: Un'implementazione Magma (del terzo autore, estesa dal secondo) che implementa il Metodo B (forme perfette).
   • Gli autori hanno cross-verificato i risultati tra queste due implementazioni per la coerenza.

Contributi Chiave

• Generalizzazione: Il saggio estende il calcolo delle forme modulari di Bianchi a campi quadratici immaginari con gruppi di classe arbitrari, andando oltre le restrizioni dei numeri di classe 1, 2 e 3.
• Risoluzione Algoritmica degli Auto-Twist: Gli autori forniscono un metodo rigoroso per gestire le forme che ammettono auto-twist da parte di caratteri quadratici non ramificati. Essi dimostrano come identificare queste forme analizzando la dimensione degli oldspaces e la scomparsa degli autovalori, un fenomeno che complica la relazione tra gli eigensistemi omologici e quelli completi.
• Recupero Esplicito degli Eigensistemi: Il saggio dettaglia i passaggi algoritmici per ricostruire il pieno eigensistema di Hecke (inclusi gli autovalori non principali e i dati sui caratteri) partendo esclusivamente dai dati omologici principali, affrontando l'ambiguità del segno nelle classi di ideali non quadrate.
• Dimostrazione della Modularità: Gli autori applicano il loro framework computazionale per dimostrare la modularità di una specifica curva ellittica su $K = \mathbb{Q}(\sqrt{-17})$ (LMFDB label 2.0.68.1-7.2-a.2). Utilizzano il metodo Serre-Faltings-Livné (come implementato in [DGP10]) per verificare che le rappresentazioni di Galois della curva ellittica e della nuova forma di Bianchi calcolata siano isomorfe.

Risultati

• Campo $K = \mathbb{Q}(\sqrt{-17})$: Gli autori forniscono dati estesi per questo campo, che ha un gruppo di classe ciclico di ordine 4.
  • Hanno calcolato dimensioni ed eigensistemi di Hecke per livelli con norma fino a 200 (e fino a 1000 per le nuove forme razionali).
  • Hanno identificato 1100 nuovi eigensistemi di Hecke con caratteri non ramificati, di cui 8 ammettono auto-twist.
  • Hanno tabulato la decomposizione dello spazio delle nuove forme in sottospazi irriducibili sotto l'algebra di Hecke, distinguendo tra il carattere triviale ($\chi_0$) e altri caratteri ($\chi_1, \chi_2, \chi_3$).
  • Hanno analizzato la struttura dei campi di Hecke, mostrando casi in cui il pieno campo di Hecke è un'estensione quadratica del campo di Hecke principale (ad esempio, $k_F = k_f(\sqrt{r})$).
• Ambito Più Ampio: Calcoli sono stati eseguiti per 763 campi quadratici immaginari con discriminante assoluto fino a 2500. I dati per le nuove forme razionali (quelle con campo di Hecke $\mathbb{Q}$) sono disponibili nel database L-functions and Modular Forms Database (LMFDB).
• Coerenza: Le due implementazioni indipendenti (C++ e Magma) hanno prodotto risultati coerenti per le dimensioni dell'omologia e gli autovalori di Hecke per l'intervallo testato.

Significatività
Il saggio rivendica significatività principalmente come estensione computazionale di una teoria esistente. Esso fornisce gli algoritmi e le implementazioni necessari per studiare le forme modulari di Bianchi su campi dove la struttura del gruppo di classe impedisce le semplificazioni utilizzate nei lavori precedenti (ad esempio, campi con numeri di classe pari). Calcolando con successo questi spazi e dimostrando la modularità di una curva ellittica su $\mathbb{Q}(\sqrt{-17})$, gli autori dimostrano che il framework computazionale è abbastanza robusto da gestire le complessità di gruppi di classe arbitrari. I dati generati colmano una lacuna nell'LMFDB per campi con numeri di classe più elevati e forniscono una base per ulteriori indagini aritmetiche, come lo studio dei cambiamenti di base e la modularità delle curve ellittiche su questi campi. Il lavoro completa i recenti progressi teorici (come quelli di Newton e Caraiani) fornendo evidenza computazionale esplicita e dati per casi non coperti da teoremi generali.