Eisenstein cohomology and congruences for the ratios of Rankin--Selberg $L$-functions

1. Il Problema e il Contesto

Il lavoro si inserisce nel quadro di un principio fondamentale della teoria dei numeri, con radici nella teoria di Iwasawa: una congruenza tra oggetti aritmetici (come forme modulari) dovrebbe indurre una congruenza tra i valori speciali delle funzioni L associate a tali oggetti.

Mentre risultati precedenti (ad esempio di Vatsal) hanno stabilito congruenze per i valori delle funzioni L di grado 2 divisi per certi periodi canonici, questo articolo affronta un caso più sottile e potente: le congruenze per i rapporti di valori critici consecutivi delle funzioni L di Rankin-Selberg di grado 4, associate a coppie di forme cuspidali olomorfe $h$ e $h'$.
La sfida principale risiede nel fatto che, a differenza dei valori singoli, i rapporti di valori consecutivi non richiedono l'introduzione di periodi esterni per essere normalizzati; la loro natura è intrinsecamente legata alla struttura delle funzioni L stesse. Tuttavia, dimostrare congruenze per questi rapporti richiede un controllo fine sulle strutture integrali della coomologia, evitando le ambiguità legate alla scelta dei periodi.

2. Metodologia

Gli autori utilizzano la coomologia di Eisenstein come strumento principale, raffinando il quadro teorico sviluppato in lavori precedenti (in particolare Harder e Raghuram [6]) per gestire direttamente la coomologia integrale.

I pilastri metodologici sono:

• Struttura Integrale della Coomologia: Invece di lavorare su campi di numeri complessi o razionali, gli autori costruiscono reticoli integrali ($\mathcal{O}_E$-lattice) negli spazi di coomologia associati a varietà simmetriche locali per $GL(2)$e$GL(4)$. Questo permette di parlare di congruenze modulo un ideale primo $\mathfrak{l}$ in modo rigoroso.
• Algebre di Hecke e Proprietà Gorenstein: Si sfrutta la proprietà Gorenstein delle algebre di Hecke (Teorema 3.3) per garantire che, data una congruenza tra due forme modulari $h' \equiv h'' \pmod{\mathfrak{l}^n}$, esistano classi di coomologia corrispondenti che sono congrue modulo $\mathfrak{l}^n$ ma non nulle.
• Operatori di Intertwining e Coomologia di Eisenstein: Il cuore della dimostrazione risiede nello studio dell'operatore di Eisenstein $T_{Eis}$, che è l'analogo razionale dell'operatore di intertwining standard tra rappresentazioni indotte. Gli autori dimostrano che questo operatore preserva le congruenze modulo $\mathfrak{l}^n$ (Teorema 6.1).
• Calcoli Locali Espliciti: Una parte cruciale del lavoro (Sezione 9) consiste nel calcolare esplicitamente le costanti locali che appaiono nell'azione dell'operatore di intertwining su vettori speciali. Questo permette di collegare l'azione coomologica ai rapporti dei fattori locali delle funzioni L.
• Rappresentanti di Doppie Classi: Viene sviluppata una teoria dettagliata dei rappresentanti delle doppie classi per i sottogruppi parabolici e mirahorici in $GL(4)$, essenziale per definire le strutture integrali sugli spazi indotti.

3. Contributi Chiave

1. Raffinamento Integrale della Coomologia di Eisenstein: Gli autori estendono il formalismo della coomologia di Eisenstein al contesto integrale, definendo strutture di reticolo precise sugli spazi di coomologia e sugli spazi di rappresentazioni indotte. Questo è un prerequisito necessario per trattare le congruenze senza ambiguità.
2. Indipendenza dai Periodi: Dimostrano che le congruenze per i rapporti di valori critici consecutivi di funzioni L di Rankin-Selberg possono essere stabilite senza dover fare riferimento a periodi di Shimura o altre normalizzazioni trascendenti. Il rapporto stesso emerge naturalmente dal teorema del termine costante di Langlands interpretato in coomologia.
3. Calcolo delle Costanti Locali: Forniscono una dimostrazione esplicita che, sotto ipotesi di ramificazione minima (livelli quadrato-liberi e coprimi), le costanti locali che appaiono nell'operatore di intertwining sono esattamente i rapporti dei fattori locali delle funzioni L (Teorema 9.1).

4. Risultati Principali

Il risultato centrale è il Teorema 8.3, che stabilisce quanto segue:

Siano $h \in S_k(N, \chi)$ e $h', h'' \in S_{k'}(N', \chi')$ forme cuspidali primitive con $k' > k$. Supponiamo che $h' \equiv h'' \pmod{\mathfrak{l}^n}$ (congruenza delle serie di Fourier) e che le rappresentazioni di Galois mod-$\mathfrak{l}$ associate a $h'$ e $h''$ siano irriducibili. Se i livelli $N$ e $N'$ sono quadrato-liberi e coprimi, e $\mathfrak{l}$ è un primo che non divide un insieme finito di "cattivi" (legati ai pesi, ai livelli e alla torsione della coomologia), allora per ogni punto critico $m$ in un intervallo specifico:

$$\frac{L(m, h \times h')}{L(m+1, h \times h')} \equiv \frac{L(m, h \times h'')}{L(m+1, h \times h'')} \pmod{\mathfrak{l}^n}$$

Inoltre, il Teorema 8.2 fornisce un risultato più debole (con costanti moltiplicative $c_{S_f}$) che vale anche quando i livelli non sono necessariamente quadrato-liberi o coprimi.

Il lavoro copre anche casi in cui le forme sono a sinistra dell'asse unitario (Teorema 8.3 esteso) e casi in cui si varia il peso della forma ausiliaria (Teorema 8.4).

5. Significato e Impatto

• Verifica di un Principio Aritmetico: Il paper fornisce una conferma rigorosa e costruttiva del principio secondo cui le congruenze modulari si riflettono nelle funzioni L, estendendolo a un contesto di rapporti di valori critici che era precedentemente difficile da trattare.
• Nuovi Strumenti per la Teoria Aritmetica: La metodologia sviluppata, in particolare il controllo integrale della coomologia di Eisenstein e il calcolo delle costanti locali per $GL(4)$, offre nuovi strumenti per studiare le proprietà aritmetiche di funzioni L di rango superiore.
• Connessione con la Teoria di Langlands: Il lavoro collega profondamente il teorema del termine costante di Langlands (sull'operatore di intertwining) con la teoria delle congruenze, mostrando come la struttura algebrica delle funzioni L emerga dalla coomologia delle varietà simmetriche.
• Limiti e Aperture: L'articolo include anche un "non-esempio" (Sezione 8.5) che illustra come la congruenza possa fallire se le ipotesi di irriducibilità della rappresentazione di Galois o le condizioni sul primo $\mathfrak{l}$ non sono soddisfatte, delineando chiaramente i confini di validità del teorema.

In sintesi, questo lavoro rappresenta un avanzamento significativo nella comprensione delle relazioni aritmetiche tra forme modulari e valori speciali di funzioni L, utilizzando tecniche sofisticate di coomologia automorfa per bypassare le difficoltà legate alle normalizzazioni periodiche.