On the computation of base-change lifts and lifts of Hida families

Panoramica del Problema

Il lavoro si colloca nel contesto della congettura di functorialità di Langlands, in particolare affrontando il problema del cambio di base (base-change problem). Il problema fondamentale consiste nel determinare se, dato un rappresentazione galoisiana automorfa $\rho: G_F \to GL_n(R)$ su un campo di numeri $F$ e un'estensione $L/F$, la restrizione $\rho|_{G_L}$ sia anch'essa automorfa per $GL_n/L$.

Sebbene l'esistenza di tali rappresentazioni sollevate (lifted) sia stata dimostrata in casi generali (ad esempio da Langlands per estensioni abeliane, Arthur e Clozel per estensioni risolubili, e Dieulefait per $GL_2$ su campi totalmente reali), le prove esistenti sono non costruttive. Esse garantiscono l'esistenza della forma automorba sollevata basandosi su proprietà locali, ma non forniscono un metodo esplicito per calcolare gli oggetti geometrici associati, ovvero le autovalori di Hecke della forma modulare di Hilbert risultante, a partire da quelle della forma classica originale.

L'obiettivo specifico di questo articolo è colmare questo divario fornendo una formula esplicita per il calcolo degli autovalori di Hecke di un sollevamento di cambio di base e utilizzando tale formula per costruire sollevamenti di famiglie di Hida.

Metodologia

Gli autori adottano un approccio computazionale e costruttivo, sviluppando tre pilastri metodologici:

1. Derivazione di una Formula Ricorsiva Esplicita:
   Gli autori generalizzano i lavori precedenti di Doi, Naganuma e Saito (che trattavano casi specifici come campi quadratici o ciclici di ordine primo) a qualsiasi campo di numeri Galoisiano totalmente reale.

   • Partendo dalla rappresentazione galoisiana $\rho_{f,q}$ associata a una forma nuova classica $f$, essi analizzano l'immagine degli elementi di Frobenius nell'estensione.
   • Dimostrano che l'autovalore di Hecke $C(\mathfrak{p})$ della forma sollevata $h$ in un primo $\mathfrak{p} \subset \mathcal{O}_F$ sopra un primo razionale $p$ dipende dal grado residuo $r = f(\mathfrak{p}|p)$.
   • Utilizzando la relazione di ricorsione per i coefficienti di Fourier $a(p^n)$ e la traccia delle potenze della matrice di Frobenius, derivano la formula:
     $$C(\mathfrak{p}) = \begin{cases} a(p) & \text{se } r=1 \\ a(p^r) - \chi(p)p^{k-1}a(p^{r-2}) & \text{se } r > 1 \end{cases}$$
     dove $a(n)$ sono i coefficienti di $f$ e $\chi$ è il carattere di nebentypus.

2. Fattorizzazione delle Funzioni L:
   Per campi di numeri totalmente reali abeliani, gli autori dimostrano che la funzione L della forma sollevata $h$ si fattorizza come prodotto di funzioni L twistate della forma originale $f$ rispetto ai caratteri del gruppo di Galois dell'estensione:
   $$L(h, s) = \prod_{i=0}^{n-1} L(f, s, \chi_i)$$
   Questa dimostrazione è elementare e costruttiva, basata sull'analisi dei fattori di Euler locali.

3. Costruzione di Sollevamenti di Famiglie di Hida:
   Gli autori estendono il risultato alle famiglie di Hida (famiglie p-adiche di forme modulari ordinarie).

   • Definendo il sollevamento di cambio di base di una famiglia di Hida come una nuova famiglia di Hida di forme modulari di Hilbert ordinaria.
   • Applicando la formula esplicita degli autovalori ai coefficienti di Iwasawa (le serie di potenze formali che definiscono la famiglia), dimostrano che la serie formale sollevata si specializza correttamente nelle forme di Hilbert che sono i sollevamenti di cambio di base delle forme classiche nella famiglia originale.

Risultati Chiave

1. Teorema 3.1 (Formula degli Autovalori): Fornisce un algoritmo deterministico per calcolare gli autovalori di Hecke di un sollevamento di cambio di base su un campo di numeri Galoisiano totalmente reale, basandosi esclusivamente sugli autovalori della forma classica di partenza.
2. Teorema 4.1 (Fattorizzazione L): Stabilisce la fattorizzazione della funzione L per estensioni abeliane, generalizzando risultati noti a un contesto più ampio con una prova costruttiva.
3. Teorema 5.3 (Esistenza del Sollevamento di Hida): Dimostra che ogni famiglia di Hida di forme classiche ammette un sollevamento di cambio di base a una famiglia di Hida di forme modulari di Hilbert. La costruzione è esplicita tramite l'applicazione della formula degli autovalori ai coefficienti della serie formale.
4. Applicazioni ai Sollevamenti Automorfici (Teoremi 1.1 e 1.2):
   • Gli autori applicano i loro risultati per dimostrare l'esistenza di sollevamenti automorfici potenzialmente diagonalizzabili per rappresentazioni galoisiane su campi totalmente reali.
   • Vantaggio cruciale: L'uso delle famiglie di Hida permette di rimuovere condizioni restrittive presenti nella letteratura precedente (come $p > \max\{k, 6\}$, l'assenza di forme CM, o l'immagine residua grande) nel caso ordinario.
5. Implementazione Computazionale: Viene fornito un pseudocodice e un'implementazione in Magma (Algoritmi 1 e 2) che permettono di calcolare gli autovalori e identificare esplicitamente la forma di Hilbert sollevata, anche in casi con gradi residui elevati (es. campi ciclotomici reali).

Significato e Impatto

Questo lavoro rappresenta un passo significativo verso la computabilità della teoria di Langlands:

• Da Esistenziale a Costruttivo: Trasforma risultati di esistenza non costruttivi in strumenti pratici per il calcolo esplicito di forme modulari di Hilbert.
• Generalizzazione: Estende le formule note (Doi-Naganuma-Saito) a campi totalmente reali arbitrari, non solo a quelli quadratici o ciclici di ordine primo.
• Strumento per la Ricerca Futura: La capacità di sollevare famiglie di Hida apre la strada allo studio di sollevamenti di cambio di base per potenze simmetriche e prodotti tensoriali di rappresentazioni automorfe su campi totalmente reali, problemi centrali nella ricerca attuale sulla functorialità di Langlands.
• Riduzione delle Ipotesi: Nel contesto dei sollevamenti potenzialmente diagonalizzabili, l'approccio tramite famiglie di Hida permette di indebolire significativamente le condizioni sui primi $p$ e sul peso $k$, ampliando la classe di rappresentazioni galoisiane per cui si può garantire l'automorfia.

In sintesi, il paper fornisce sia la teoria matematica rigorosa necessaria per comprendere la struttura degli autovalori nel cambio di base, sia gli strumenti algoritmici per implementare tali calcoli, ponendo le basi per future esplorazioni computazionali nella teoria dei numeri e nella geometria aritmetica.