On Rankin-Selberg integral structures and Euler systems for $\mathrm{GL}_2\times \mathrm{GL}_2$

1. Problema e Contesto

Il lavoro si inserisce nel campo della teoria dei numeri aritmetica, specificamente nello studio delle sistemi di Eulero associati a prodotti di forme modulari e alle periodi di Rankin-Selberg.
Il problema centrale affrontato riguarda la struttura integrale dei periodi di Rankin-Selberg e la loro interazione con le strutture integrali nelle rappresentazioni sferiche di tipo Whittaker. In particolare, l'autore indaga se i fattori locali di Eulero che appaiono nella costruzione del sistema di Eulero motivico di Rankin-Selberg (costruito da Loefler, Skinner e Zerbes) siano "ottimali" dal punto di vista integrale.
La congettura di Loefler, che questo lavoro risolve, afferma che qualsiasi costruzione di questo tipo, utilizzando dati di input integrali scelti secondo la ricetta di Loefler-Skinner-Zerbes, produce fattori locali nelle relazioni di norma (a livello tamemente ramificato) che sono divisibili integralmente dal fattore di Eulero $P'_p(\text{Frob}_p^{-1})$ modulo $(p-1)$.

2. Metodologia

L'approccio dell'autore è puramente rappresentativo-teorico e si basa su una serie di passaggi tecnici sofisticati per bypassare le difficoltà legate all'uso diretto degli integrali zeta di Rankin-Selberg su vettori di test integrali arbitrari.

• Traslazione al sottogruppo Mirabolico: Invece di lavorare direttamente con gli integrali zeta locali su spazi di funzioni di Schwartz arbitrari (dove la compatibilità tra la struttura additiva e i fattori di normalizzazione del volume è problematica), l'autore trasforma il problema nello studio di un problema integrale nel modulo $\text{Ind}_{P_p}^{G_p} 1$, dove $P_p$ è il sottogruppo mirabolico di $GL_2$.
• Ciclicità e Varietà Sferiche: Si dimostra che il modulo delle funzioni lisce a supporto compatto $C^\infty_c(P_p \backslash G_p / G_p^\circ)$ è ciclico sul'algebra di Hecke sferica $\mathcal{H}^\circ_{G_p}$, generando un risultato di ciclicità basato su un teorema di Sakellaridis sulle varietà sferiche.
• Morfismi Hecke-Equivarianti: Si costruisce un morfismo Hecke-equivariante da questo spazio di funzioni verso il duale delle rappresentazioni principali serie non ramificate. Questo permette di studiare il comportamento integrale dei periodi analizzando l'azione degli operatori di Hecke.
• Inversione dell'operatore $(1-S_p)$: Un aspetto cruciale della metodologia è la localizzazione rispetto all'operatore di Hecke $1-S_p$ (dove $S_p$ è l'operatore di Satake). L'autore dimostra che, senza invertire questo operatore, il modulo non è ciclico; la localizzazione è necessaria per ottenere risultati di ottimalità integrale.
• Integrazione di Dati Globali e Locali: I risultati locali ottenuti vengono poi "trasferiti" al contesto globale delle varietà modulari e dei sistemi di Eulero motivici, utilizzando mappe di Eisenstein e coomologia motivica.

3. Contributi Chiave e Risultati Principali

Il paper stabilisce due teoremi principali (Teorema A e Teorema B) che risolvono la congettura di Loefler e forniscono nuovi risultati di integrità.

Teorema A: Relazioni di Norma Integrale Ottimali

Il teorema dimostra che le classi di coomologia motivica costruite a partire da dati integrali con "livello determinante" soddisfano relazioni di norma nella forma più forte possibile.

• Risultato: Per una famiglia di dati integrali $\delta$, le classi $c\Xi_{mot, n}(\delta)$ soddisfano:
  $$\text{norm}_{\mathbb{Q}(\mu_m)}^{\mathbb{Q}(\mu_n)} (c\Xi_{mot, m}(\delta)) = P_{Tr}^{cycl}(\delta_p) \cdot c\Xi_{mot, n}(\delta)$$
  dove il fattore locale $P_{Tr}^{cycl}(\delta_p)$ appartiene all'ideale generato da $(p-1)$ e dal polinomio $P'_p(\text{Frob}_p^{-1})$ (il fattore di Eulero derivato) nell'algebra di Hecke sferica.
• Ottimalità: Questo conferma che non è possibile ottenere fattori locali "più piccoli" o più precisi integralmente; i fattori di Eulero appaiono come divisori naturali e necessari nelle relazioni di norma.
• Caso Speciale: Per un'input specifico ($\delta_1$), il fattore di norma è esattamente $P'_p(\text{Frob}_p^{-1})$, senza il fattore $(p-1)$.

Teorema B: Integrità dei Periodi di Rankin-Selberg

Questo teorema tratta il comportamento integrale del periodo di Rankin-Selberg associato al prodotto di due forme modulari cuspidali $f_1, f_2$.

• Risultato: Il periodo $Z_{f_1 \times f_2}$, valutato su vettori di test integrali decomponibili e funzioni di Schwartz con valori in reticoli specifici, assume valori nell'anello degli interi del campo di numeri $\ell$-adico $L_{f_1, f_2}$.
• Condizione di Livello Determinante: Se i vettori di test soddisfano una condizione di "livello determinante" (coinvolgente il sottogruppo $G_p^\circ[p]$), il periodo è contenuto nell'ideale generato da $(p-1)$ e dall'inverso del fattore L locale $L_p(\pi_{f_1} \boxtimes \pi_{f_2}, 0)^{-1}$.
• Significato: Questo fornisce un controllo preciso sulla divisibilità dei periodi, essenziale per la costruzione di sistemi di Eulero non banali e per le applicazioni alla congettura di Birch e Swinnerton-Dyer.

4. Risultati Tecnici Accessori

• Struttura del Modulo $C^\infty_c(P_p \backslash G_p / G_p^\circ)$: Si dimostra che questo modulo è libero di rango 1 sull'algebra di Hecke localizzata $\mathcal{H}^\circ_{G_p}[1/(1-S_p)]$, generato dalla funzione caratteristica del sottogruppo mirabolico.
• Unicità dei Periodi: Si stabilisce l'unicità (fino a scalari) dei periodici di tipo Rankin-Selberg per rappresentazioni non ramificate di tipo Whittaker, anche in contesti modulari ($\ell$-modulari) sotto certe condizioni.
• Connessione con i Risultati di Prasad: Il lavoro collega la ciclicità dei moduli di Hecke ai risultati di Prasad sulla distinzione delle rappresentazioni e sulle leggi di diramazione.

5. Significato e Impatto

Questo lavoro è fondamentale per la teoria dei sistemi di Eulero per i prodotti di forme modulari ($GL_2 \times GL_2$):

1. Risoluzione di una Congettura: Conferma la congettura di Loefler sull'ottimalità integrale dei fattori di Eulero, chiudendo un capitolo importante nella teoria dei sistemi di Eulero motivici.
2. Strumenti per Applicazioni Future: Fornisce un quadro teorico solido e "ottimale" per costruire classi di coomologia che soddisfano relazioni di norma precise. Questo è un prerequisito essenziale per dimostrare risultati di non-vanishing di valori L e per applicazioni alla congettura di Birch e Swinnerton-Dyer per curve ellittiche e varietà abeliane.
3. Metodologia Innovativa: L'approccio che evita gli integrali zeta diretti a favore di una analisi strutturale sui moduli di Hecke e sul sottogruppo mirabolico offre una nuova via per studiare problemi di integrità in contesti dove i metodi classici falliscono.
4. Generalità: I risultati valgono per coefficienti non banali (sebbene il paper si concentri sul caso banale per chiarezza) e per rappresentazioni riducibili, estendendo la portata della teoria esistente.

In sintesi, Groutides fornisce la base teorica rigorosa per garantire che i sistemi di Eulero costruiti per $GL_2 \times GL_2$ siano integrally optimal, permettendo di collegare direttamente le proprietà analitiche delle funzioni L con le strutture aritmetiche delle classi di coomologia.