Hilbert modular Eisenstein congruences of local origin

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei numeri algebrica, specificamente nello studio delle congruenze di Eisenstein per forme modulari.

• Contesto Classico: Storicamente, le congruenze tra forme cuspidali e serie di Eisenstein (es. la famosa congruenza di Ramanujan $\tau(n) \equiv \sigma_{11}(n) \pmod{691}$) sono state fondamentali per collegare i valori speciali delle funzioni L (come i numeri di Bernoulli) alla struttura dei gruppi di Galois e ai gruppi di classe (Teorema di Herbrand-Ribet).
• Estensione ai Campi Totalmente Reali: L'obiettivo del paper è generalizzare questi risultati al caso delle forme modulari di Hilbert su un campo totalmente reale arbitrario $F$.
• La Sfida Specifica: Mentre le congruenze di Eisenstein "globali" (dove il modulo deriva da valori di funzioni L complete) sono state studiate, le congruenze di "origine locale" (dove il modulo deriva da fattori di Euler locali o valori di funzioni L parziali) sono meno comprese nel contesto di Hilbert. La complessità deriva dalla struttura più intricata delle varietà modulari di Hilbert, in particolare dalla presenza di un gruppo di classi ristretto (narrow class group) non banale e dalla difficoltà nel calcolare i termini costanti delle serie di Eisenstein in tutti i cuspidi.

2. Metodologia

Gli autori adottano un approccio che combina analisi classica, geometria aritmetica e teoria delle rappresentazioni:

1. Calcolo Esplicito dei Termini Costanti:

   • Il cuore tecnico risiede nella generalizzazione delle formule per i termini costanti delle serie di Eisenstein di Hilbert.
   • Gli autori estendono i lavori di Ozawa per calcolare i termini costanti non solo nel cuspidale standard ($\infty$), ma in tutte le cuspidi delle varietà modulari di Hilbert.
   • Viene affrontato l'ostacolo del gruppo di classi: poiché non tutte le cuspidi sono equivalenti a $\infty$ sotto l'azione del gruppo modulare, si utilizza una mappatura che lega le cuspidi agli ideali del gruppo di classi ristretto $Cl_F^+$.
   • Si derivano formule esplicite per i termini costanti delle serie di Eisenstein "sollevate" di livello (level raise) da $m$ a $mp$, dove $p$ è un ideale primo.

2. Costruzione di Forme di Eisenstein Mod $l$:

   • Si costruisce una combinazione lineare di serie di Eisenstein, denotata $E_\delta$, tale che i suoi coefficienti di Fourier coincidano con quelli di una forma cuspidale desiderata, ma che si annulli modulo un primo $\Lambda$ in tutti i cuspidi (grazie alla divisibilità di certi valori $L$ e fattori di Euler).
   • Questo annullamento modulo $\Lambda$ permette di interpretare la riduzione della serie di Eisenstein come una forma cuspidale mod $l$.

3. Teoria Geometrica e Levata (Lifting):

   • Si utilizza la teoria delle forme modulari di Hilbert mod $l$ in linguaggio geometrico (schemi di Hilbert-Blumenthal), seguendo il lavoro di Katz, Andreatta e Goren.
   • Si applica il Lemma di Deligne-Serre e risultati di Lan-Suh per sollevare la forma cuspidale mod $l$ (ottenuta dalla riduzione di $E_\delta$) a una forma cuspidale classica di peso $k \ge 3$ in caratteristica zero.
   • Si utilizzano operatori di Hecke e il principio di espansione in $q$ per garantire l'esistenza di autovettori (eigenforms) con le proprietà richieste.

4. Rappresentazioni Galoisiane:

   • Per le condizioni necessarie, si analizza la rappresentazione Galoisiana associata alla forma cuspidale $f$. La congruenza implica che la rappresentazione ridotta sia riducibile, permettendo di dedurre vincoli sui valori dei caratteri di Hecke $\eta$ e $\psi$ in $p$.

3. Contributi Chiave e Risultati Principali

A. Formule per i Termini Costanti (Sezione 3)

Gli autori forniscono formule esplicite per i termini costanti delle serie di Eisenstein di Hilbert in tutte le cuspidi, generalizzando i risultati di Ozawa.

• Risultato: I termini costanti sono espressi in termini di valori speciali di funzioni $L$ di Hecke ($L(\eta^{-1}\psi, 1-k)$) e fattori di Euler locali.
• Implicazione: Questo rivela direttamente la connessione tra la divisibilità dei termini costanti e i valori delle funzioni L, che è il motore delle congruenze.

B. Esistenza di Congruenze (Teorema 5.1)

Il teorema principale stabilisce l'esistenza di forme eigen di Hilbert che soddisfano congruenze di Eisenstein di origine locale.

• Ipotesi: Sia $F$ un campo totalmente reale, $k > 2$ un peso parallelo, $m$ un ideale, $p$ un primo primo a $m$. Sia $l$ un primo razionale tale che $l > k+1$ e non ramificato.
• Condizione: Se $\text{ord}_\Lambda(L(\eta^{-1}\psi, 1-k)(\eta(p) - \psi(p)N(p)^k)) > 0$, allora esiste una forma eigen normalizzata $f \in S_k(mp, \phi')$ tale che:
  $$c(q, f) \equiv \eta(q) + \psi(q)N(q)^{k-1} \pmod \Lambda$$
  per tutti i primi $q \nmid mp$.
• Significato: Questo generalizza le congruenze classiche (come quelle di Ramanujan o di origine locale per $GL_2/\mathbb{Q}$) al caso di Hilbert con caratteri di Hecke non banali.

C. Condizioni Necessarie e Sufficienti per le Nuove Forme (Teorema 5.2)

Il paper va oltre l'esistenza generica, fornendo criteri precisi per l'esistenza di nuove forme (newforms) che soddisfano la congruenza.

• Condizioni Necessarie: Se esiste una nuova forma $f$ con la congruenza, allora deve valere:
  1. La condizione di divisibilità del valore $L$ e del fattore di Euler (come sopra).
  2. Una condizione di divisibilità sul discriminante locale: $\Lambda$ deve dividere $(\eta(p) - \psi(p)N(p)^k)(\eta(p) - \psi(p)N(p)^{k-2})$.
• Condizioni Sufficienti: Se le condizioni sopra sono soddisfatte e si verifica una condizione tecnica sulla non-divisibilità di un certo intero $E$ (relativo alle forme "vecchie" o oldforms) e di $N(p)+1$, allora esiste una nuova forma che soddisfa la congruenza.

4. Significato e Impatto

• Generalizzazione Profonda: Il lavoro estende la teoria delle congruenze di Eisenstein di origine locale dal caso classico ($\mathbb{Q}$) a campi totalmente reali arbitrari, gestendo la complessità aggiunta dal gruppo di classi ristretto e dalle cuspidi multiple.
• Collegamento alla Congettura di Bloch-Kato: Le congruenze trovate sono strettamente legate alla congettura di Bloch-Kato, che prevede relazioni tra la divisibilità $p$-adica dei valori speciali delle funzioni $L$ motiviche e la struttura dei gruppi di Selmer. Questo lavoro fornisce evidenze concrete e strumenti per esplorare casi di rango superiore.
• Strumenti Tecnici: Le formule esplicitate per i termini costanti in tutte le cuspidi sono un risultato tecnico di per sé, utile per futuri studi sulle varietà modulari di Hilbert e sulle loro proprietà aritmetiche.
• Nuove Forme: La distinzione tra forme eigen generiche e nuove forme (newforms) è cruciale per l'applicazione alla teoria delle rappresentazioni Galoisiane. Il paper fornisce i primi criteri generali per garantire che la congruenza sia soddisfatta da una nuova forma, un passo essenziale per dimostrare risultati di "level raising" e "level lowering" in contesti di Hilbert.

In sintesi, Fretwell e Roberts forniscono un quadro completo e rigoroso per l'esistenza e le condizioni di validità delle congruenze di Eisenstein di origine locale nel contesto delle forme modulari di Hilbert, colmando un vuoto significativo nella letteratura attuale e offrendo nuovi strumenti per l'indagine sulla congettura di Bloch-Kato.