Tempered vs generic automorphic functions and the canonical filtration on automorphic functions

1. Il Problema e il Contesto

Il lavoro si inserisce nel quadro della Congettura di Langlands Geometrica per i campi di funzioni, recentemente dimostrata in [GR] (Gaitsgory-Raskin) per il caso non ramificato. La congettura stabilisce un'equivalenza di categorie tra:

• Il lato geometrico: $\text{Shv}_{\text{Nilp}}(\text{Bun}_G)$, la categoria dei fasci costruibili sullo stack dei $G$-fasci principali su una curva $X$, con supporto singolare contenuto nel cono nilpotente.
• Il lato spettrale: $\text{IndCoh}_{\text{Nilp}}(\mathcal{L}S^{\text{restr}}_{\check{G}})$, la categoria dei fasci ind-coerenti sullo stack dei sistemi locali $\check{G}$-locali con variazione ristretta.

Il problema centrale affrontato in questo articolo è la trasferimento di strutture filtranti dal lato spettrale al lato geometrico (funzioni automorfe) e la comprensione della natura di queste funzioni. In particolare, gli autori vogliono:

1. Definire una filtrazione canonica sullo spazio delle funzioni automorfe $Funct_c(\text{Bun}_G(\mathbb{F}_q), \mathbb{Q}_\ell)$ basata sul supporto coerente singolare (coherent singular support) sul lato spettrale.
2. Identificare il termine "più basso" (o "temperato") di questa filtrazione.
3. Formulare congetture che colleghino questa filtrazione alla decomposizione spettrale delle funzioni automorfe (congetture di Arthur e Ramanujan-Arthur) e alla loro struttura razionale.

2. Metodologia

Gli autori utilizzano un approccio ibrido che combina:

• Geometria Algebrica Derivata e Ind-Coerente: L'uso di categorie di fasci ind-coerenti ($\text{IndCoh}$) su stack formali e la teoria del supporto singolare coerente.
• Tracce di Frobenius: Sfruttamento dell'equivalenza di Langlands per trasferire l'azione di Frobenius e calcolare le tracce categoriche per ottenere isomorfismi tra spazi di funzioni e sezioni globali di fasci su stack aritmetici.
• Proiettori di Beilinson: Uso di proiettori su sottostack algebrici $\mathcal{Z}_a \subset \mathcal{L}S^{\text{restr}}_{\check{G}}$ per "forzare" gli oggetti a rientrare nella categoria con supporto nilpotente, permettendo di calcolare le immagini di funzioni che originariamente non appartengono a tale categoria.
• Teoria degli Algebre di Escursione: Analisi dell'azione dell'algebra di escursione $\text{Exc}(X, \check{G})$ sullo spazio delle funzioni automorfe.

3. Contributi Chiave e Risultati Principali

A. Il Teorema Principale: L'Immagine della Funzione Poincaré

Il risultato tecnico più significativo è il Teorema 1.3.10.

• Contesto: La funzione di Poincaré "vuoto" (o di Whittaker di base), denotata $poinc_{Vac}^!$, è un elemento fondamentale nello spazio delle funzioni automorfe, ma non appartiene direttamente alla sottocategoria $\text{Shv}_{\text{Nilp}}(\text{Bun}_G)$ su cui agisce l'equivalenza di Langlands restrittiva $L_G^{\text{restr}}$.
• Risultato: Gli autori dimostrano che, sotto l'isomorfismo di Langlands classico $L_G$, l'elemento $poinc_{Vac}^!$ corrisponde all'immagine dell'elemento $1 \in \Gamma(\mathcal{L}S^{\text{arithm}}_{\check{G}}, \mathcal{O}_{\mathcal{L}S^{\text{arithm}}_{\check{G}}})$ tramite una mappa canonica verso le sezioni ind-coerenti.
• Implicazione: Questo stabilisce un legame esplicito tra la funzione generatrice delle funzioni automorfe (Poincaré) e l'unità dell'algebra delle funzioni sullo stack spettrale. La prova richiede l'uso di un "proiettore di Beilinson" su sottostack $\mathcal{Z}_a$ sufficientemente grandi per approssimare lo stack globale, risolvendo il problema della compattezza.

B. La Filtrazione Canonica e il Sottospazio "Temperato"

Gli autori definiscono una filtrazione sullo spazio delle funzioni automorfe $Funct_c(\text{Bun}_G(\mathbb{F}_q), \mathbb{Q}_\ell)$ indicizzata dalle orbite nilpotenti del gruppo duale $\check{G}$.

• Definizione: La filtrazione è ottenuta trasferendo la filtrazione sul lato spettrale definita dai sottocategorie $\text{IndCoh}_Y(\mathcal{L}S^{\text{restr}}_{\check{G}})$, dove $Y$ è un sottoinsieme chiuso invariante sotto l'azione di $Ad$ nel cono nilpotente.
• Termine Temperato: Il termine corrispondente all'orbita nulla $Y=\{0\}$, denotato $Funct_c(\text{Bun}_G(\mathbb{F}_q), \mathbb{Q}_\ell)^{\text{temp}}$, viene identificato.
• Risultato (Corollario 2.4.5): Questo sottospazio "temperato" coincide esattamente con il sottospazio non-degenere, ovvero lo spazio generato dall'azione dell'algebra di escursione $\text{Exc}(X, \check{G})$ sulla funzione di Poincaré $poinc_{Vac}^!$.
  $$Funct_c(\text{Bun}_G(\mathbb{F}_q), \mathbb{Q}_\ell)^{\text{temp}} = \text{Exc}(X, \check{G}) \cdot poinc_{Vac}^!$$
  Questo collega la definizione geometrica (supporto nilpotente) alla definizione algebrica (azione dell'algebra di escursione).

C. Congetture sulla Razionalità

Gli autori propongono una serie di congetture sulla struttura razionale di queste filtrazioni:

• Congettura 2.7.3: La filtrazione è definita su $\mathbb{Q}$ (non solo su $\mathbb{Q}_\ell$).
• Congettura 2.7.10: L'azione dell'algebra di escursione è compatibile con la struttura razionale.
• Conseguenza: Il sottospazio temperato è definito su $\mathbb{Q}$.

D. Relazione con le Congetture di Arthur e Ramanujan-Arthur

La seconda parte del paper esplora le implicazioni spettrali di questa filtrazione:

• Decomposizione di Arthur: Si ipotizza che lo spazio $L^2(\text{Bun}_G(\mathbb{F}_q))$ si decomponga in somma diretta di sottospazi $L^2(\text{Bun}_G(\mathbb{F}_q))_O$ associati alle orbite nilpotenti $O$.
• Congettura Ramanujan-Arthur ($\mathbb{Q}_\ell$): Le funzioni cuspidali si decompongono secondo queste orbite, e gli autovalori degli operatori di Hecke su ciascun componente sono numeri di Weil di peso 0 (corretti dall'orbita).
• Parametri di Arthur: Viene proposta la Congettura 3.6.5, che afferma che il supporto delle funzioni automorfe discrete (rispetto all'azione di Hecke) nello spazio dei parametri di Langlands è contenuto nell'insieme dei parametri di Arthur ellittici corrispondenti all'orbita $O$.
• Gerarchia: Gli autori mappano le implicazioni logiche tra queste congetture, suggerendo che la Congettura 3.6.5 (sui parametri di Arthur) sia la più accessibile e che la sua dimostrazione implicherebbe le congetture di Ramanujan-Arthur e la decomposizione di Arthur.

4. Significato e Impatto

Questo lavoro è fondamentale per diversi motivi:

1. Ponte tra Geometria e Analisi: Fornisce un quadro rigoroso per collegare la geometria algebrica derivata (supporto singolare) con la teoria analitica delle funzioni automorfe (filtrazione temperata vs generica).
2. Identificazione del "Nucleo" Temperato: Risolve il problema di identificare esattamente quale parte delle funzioni automorfe corrisponda al supporto nilpotente minimo (l'orbita nulla), collegandolo alla funzione di Poincaré e all'algebra di escursione.
3. Nuova Formulazione delle Congetture di Langlands: Offre una riformulazione delle congetture di Ramanujan e Arthur in termini di supporto coerente e parametri di Arthur, rendendole accessibili a tecniche di geometria algebrica moderna.
4. Struttura Razionale: Introduce l'idea che queste strutture profonde (filtrazioni, decomposizioni spettrali) abbiano una natura intrinsecamente razionale (definite su $\mathbb{Q}$), un aspetto cruciale per la teoria dei numeri classica.

In sintesi, il paper non solo risolve un problema tecnico specifico (l'immagine della funzione di Poincaré), ma costruisce l'impalcatura teorica per una comprensione unificata della struttura spettrale delle forme automorfe attraverso la lente della geometria algebrica derivata.