Integrality of $\mathrm{GL}_2\times\mathrm{GL}_2$ Rankin-Selberg integrals for ramified representations

Sintesi Tecnica: Integrità degli Integrali di Rankin-Selberg per GL2 × GL2 per Rappresentazioni Ramificate

Enunciato del Problema
Il lavoro affronta la questione dell'integrità per gli integrali zeta locali di Rankin-Selberg associati a coppie di rappresentazioni temperate generiche irriducibili ammissibili $\pi_1, \pi_2$ di $GL_2(F)$, dove $F$ è un'estensione finita di $\mathbb{Q}_p$ ($p$ dispari). Sebbene sia noto che l'integrale locale di Rankin-Selberg $Z(\phi, g_1 W^{\text{new}}_{\pi_1}, g_2 W^{\text{new}}_{\pi_2}; s)$ si fattorizza come $L(\pi_1 \times \pi_2, s) \cdot \Phi(\dots; q^s)$, dove $\Phi$ è una funzione razionale, la natura aritmetica dei coefficienti di $\Phi$ rimane sottile.

Nello specifico, l'autore osserva che la nozione "naive" di integrità fallisce: anche se i dati di ingresso (funzione di Schwartz $\phi$ ed elementi del gruppo $g_1, g_2$) sono definiti su $\mathbb{Z}$, il polinomio risultante $\Phi$ non ha necessariamente coefficienti nell'anello degli interi di un campo numerico (eventualmente localizzato in $p$). Il problema centrale è identificare una nozione raffinata di "dati integrali" tale che l'integrale zeta risultante, quando diviso per il fattore $L$ locale, produca un polinomio con coefficienti in un anello aritmetico specifico $A$. Ciò è motivato dalla necessità di stabilire proprietà di integrità compatibili con i coefficienti di Fourier delle forme nuove e di sostenere la teoria dei sistemi di Eulero di Rankin-Selberg.

Metodologia
L'approccio si basa su una reinterpretazione tecnica dell'integrale di Rankin-Selberg e su una riduzione allo studio di specifici vettori nuovi di Whittaker.

1. Rinterpretazione dell'Integrale: L'autore costruisce un diagramma commutativo che collega l'integrale zeta standard di Rankin-Selberg $Z_\Pi$ a una mappa lineare $\Lambda_\Pi$ che agisce su uno spazio di funzioni indotte compatte. Ciò comporta:

   • Definire una mappa $\Xi_c$ che trasforma il prodotto tensoriale di funzioni di Schwartz e funzioni caratteristiche in uno spazio di funzioni su $P(F) \backslash G(F) / K_\Pi$.
   • Utilizzare lo svolgimento (unfolding) dell'integrale per collegare $Z_\Pi$ a un integrale che coinvolge una funzione di Whittaker "nuova" $I^{\text{new}}_\Pi$.
   • Stabilire che l'integrità dell'integrale zeta originale si riduce all'integrità del termine $I^{\text{new}}_\Pi(\gamma; s)$ valutato su specifici rappresentanti delle classi laterali $\gamma$, scalato per l'inverso del volume del sottogruppo di stabilizzatore.

2. Analisi Caso per Caso: Il nucleo della dimostrazione comporta un'analisi dettagliata ed esaustiva, caso per caso, del comportamento dei vettori nuovi di Whittaker $W^{\text{new}}_\pi$ per tutte le classi di rappresentazioni generiche irriducibili ammissibili di $GL_2(F)$. L'autore sfrutta formule esplicite per questi vettori presenti nelle opere di Assing [Ass19b, Ass19a] e Saha [Sah16]. I casi trattati includono:

   • Rappresentazioni della serie principale non ramificate e ramificate (metà-ramificate, completamente ramificate).
   • Rappresentazioni di Steinberg (non ramificate e twist ramificati).
   • Rappresentazioni supercuspidali (associate a estensioni quadratiche).
   • Tutti i possibili prodotti tensoriali $\pi_1 \times \pi_2$ di questi tipi.

3. Somme di Gauss e Fattori di Volume: In ogni caso, l'autore valuta gli integrali rilevanti, che spesso si riducono a somme di Gauss parziali o somme generalizzate di Kloosterman. Un passo tecnico critico consiste nel dimostrare che i potenziali denominatori (specificamente fattori di $q-1$ derivanti dalle somme di Gauss) sono sempre annullati dai fattori di volume dei sottogruppi di stabilizzatore $P(F) \cap \gamma K_\Pi \gamma^{-1}$.

Contributi e Risultati Chiave

• Definizione di Dati Integrali: Il lavoro introduce una nozione naturale di dati $(\pi_1 \times \pi_2)$-integrali. Un dato $(\phi, g_1, g_2)$ è definito integrale se la funzione di Schwartz $\phi$ assume valori in un specifico ideale principale determinato dal volume dello stabilizzatore di $\phi$ intersecato con il sottogruppo del conduttore coniugato $K_\Pi$.
• Teorema A (Integrità Locale): Per qualsiasi coppia di rappresentazioni temperate generiche irriducibili ammissibili, e per qualsiasi dato $\Pi$-integrale, il polinomio $\Phi$ che appare nella fattorizzazione dell'integrale zeta appartiene a $A[X, X^{-1}]$, dove $A$ è un'algebra $\mathbb{Z}[q^{-1}, \mu_{\nu}q^\tau]$-che contiene gli autovalori di Hecke sferici e specifici caratteri unitari non ramificati determinati dalle rappresentazioni. Qui $\tau = \max(c(\pi_1), c(\pi_2))$ e $\nu$ dipende dal fatto che le rappresentazioni siano non ramificate.
  • Questo risultato vale per $p=2$ sotto l'ipotesi aggiuntiva che le rappresentazioni supercuspidali siano dihedrali.
• Teorema B (Applicazione Globale): Il risultato locale viene applicato alle forme automorfe globali. Per forme nuove cuspidali normalizzate $f_1, f_2$ di pesi pari, l'integrale globale di Rankin-Selberg $I(\phi_A, g_1 \phi_{f_1}, g_2 \phi_{f_2}; s)$ è mostrato essere uguale a $L(\pi_{f_1} \times \pi_{f_2}, s)$ moltiplicato per un polinomio $\Phi$ con coefficienti nell'anello degli interi di un campo numerico specifico $E_{f_1, f_2}$ (localizzato nei primi di un insieme finito $S$).
• Forme Trilineari: Il lavoro stabilisce un risultato di integrità per l'unica (a meno di scalari) forma trilineare in $\text{Hom}_{GL_2(F)}(\pi_1 \otimes \pi_2 \otimes \pi_3, 1)$, realizzata tramite l'integrale di Rankin-Selberg, mostrando che assume valori nell'anello $A$ sui vettori nuovi integrali.

Significato e Affermazioni
L'autore afferma che questo lavoro fornisce un "raffinamento integrale" del risultato di Jacquet-Langlands riguardante il massimo comun divisore degli integrali di Rankin-Selberg. Il significato è duplice:

1. Teoria delle Rappresentazioni: Risolve la questione dell'integrità per le rappresentazioni ramificate, un contesto in cui l'integrità naive fallisce. Il risultato è descritto come un "problema naturale di interesse indipendente attraverso le lenti delle strutture integrali nella teoria delle rappresentazioni locali".
2. Geometria Aritmetica: La nozione di dati integrali introdotta qui ha un'interpretazione algebrico-geometrica globale. Il lavoro nota che i dati localmente integrali corrispondono precisamente alle classi nell'immagine della coomologia étale integrale delle curve modulari sotto la mappa di Loeffler-Skinner-Zerbes (LSZ). Di conseguenza, il Teorema B è presentato come il "risultato di integrità analogo sul lato della teoria delle rappresentazioni" per la teoria dei sistemi di Eulero di Rankin-Selberg e le funzioni $L$ $p$-adiche.

Il lavoro rimane modesto riguardo al converse: riconosce che, sebbene l'immagine dell'integrale zeta sui dati integrali sia contenuta nell'ideale frazionario principale generato dal fattore $L$, non è ancora noto se questa immagine sia l'intero ideale o se sia principale. Questo è identificato come un problema aperto con potenziali implicazioni per l'ottimizzazione dei fattori locali nella teoria dei sistemi di Eulero.