Arithmetic volume of Shtukas and Langlands duality

1. Problema e Contesto

Il lavoro si colloca nell'ambito della corrispondenza di Langlands sui campi di funzioni, estendendo i risultati fondamentali di Feng, Yun e Zhang (FYZ26) riguardanti il volume aritmetico degli stack di Shtuka.

• Contesto: Le varietà di Shimura e i loro modelli integrali giocano un ruolo centrale nella teoria dei numeri, dove il loro volume è legato alle funzioni L di Dirichlet e le loro derivate. L'analogo sui campi di funzioni è dato dagli stack di Shtuka.
• La sfida: In [FYZ26], il volume aritmetico degli stack di Shtuka con tipo di modifica "minuscule" è stato collegato alle derivate di ordine superiore della funzione zeta della curva. Tuttavia, due limitazioni principali persistevano:
  1. I risultati erano ristretti ai tipi di modifica minuscule, oscurando l'unità concettuale della teoria.
  2. Le formule coinvolgevano costanti chiamate pesi autovalori (eigenweights), la cui definizione geometrica era nota ma il cui calcolo esplicito era intrinsecamente complesso (richiedendo, ad esempio, tabelle dei caratteri di gruppi simmetrici) e privo di una spiegazione strutturale chiara.
• Obiettivo: Estendere la teoria a tipi di modifica arbitrari per gruppi algebrici semisemplici split e fornire una descrizione uniforme e concettuale dei pesi autovalori in termini del gruppo duale di Langlands.

2. Metodologia

Gli autori sviluppano un nuovo approccio per calcolare gli operatori di Hecke relativi, superando le limitazioni dei metodi precedenti basati sul semigruppo di Vinberg e la compattificazione meravigliosa (applicabili solo nel caso minuscule).

• Operatori di Hecke Relativi: L'articolo definisce e calcola gli operatori di Hecke relativi globali ($\Gamma_{c, \alpha_0}$) agendo sulla coomologia con supporto compatto dello stack di Shtuka.
• Approccio Locale-Global: Invece di lavorare direttamente sul caso globale complesso, gli autori:
  1. Studiano gli operatori di Hecke relativi locali ($\Gamma^l_v$) definiti sullo stack di Hecke locale.
  2. Stabiliscono un teorema di compatibilità locale-globale (Teorema 3.2), che collega la differenza tra le mappe di pullback globali a una classe fondamentale locale. Questo teorema è una generalizzazione di congetture presenti in lavori precedenti (LW25).
  3. Utilizzano la formula di Atiyah-Bott per la coomologia di $\text{Bun}_G$ e filtrazioni (filtrazione di augmentazione e filtrazione di Ran) per analizzare l'azione degli operatori sugli strati associati.
• Riduzione al Lato Spettrale: Attraverso l'analisi degli operatori locali, gli autori dimostrano che l'azione sugli strati associati è governata da operatori derivati su un "motivo di Gross" ($V$), i cui autovalori sono i pesi autovalori cercati.

3. Risultati Principali

A. Formula Generale per il Volume Arithmetico

Il risultato centrale (Teorema 1.5 e Teorema 2.13) esprime il volume aritmetico dello stack di Shtuka $Sht_{G, \le \lambda_I}$ come una derivata di una funzione L.
Sia $\lambda_I = (\lambda_1, \dots, \lambda_r)$ una sequenza di coweights dominanti. Il volume è dato da:
$$\text{vol}(Sht_{G, \le \lambda_I}) = |\pi_1(G)| q^{\dim \text{Bun}_G} \left[ \left( \prod_{i=1}^r D_{\lambda_i} \right) L_{C,G}(s_1, \dots, s_n) \right]_{s_1=\dots=s_n=0}$$
Dove:

• $L_{C,G}$ è una funzione L costruita a partire dalla funzione zeta della curva $\zeta_C$.
• $D_{\lambda_i}$ sono operatori differenziali definiti come:
  $$D_{\lambda_i} = (2g-2)b_{\lambda_i} - (\log q)^{-1} \sum_{j=1}^n \epsilon_{\lambda_i, j} \partial_{s_j}$$
• $b_{\lambda}$ e $\epsilon_{\lambda, j}$ sono le costanti (rispettivamente un numero scalare e un vettore di pesi autovalori) che dipendono dal coweight $\lambda$.

B. Descrizione tramite il Gruppo Duale di Langlands

La contribuzione più significativa è la descrizione strutturale delle costanti $b_\lambda$ e $\epsilon_{\lambda, j}$ (Sezione 4).

• Pesi Autovalori ($\epsilon_{\lambda, j}$): Sono identificati come autovalori di un operatore endomorfo $E_\lambda$ agente sul motivo di Gross $V$. Questo operatore è costruito utilizzando la rappresentazione irriducibile $V_\lambda$ del gruppo duale di Langlands $\check{G}$. Nello specifico, $\epsilon_{\lambda, j}$ sono legati a forme bilineari invarianti su sottospazi gradati dell'algebra di Lie di $\check{G}$ (Teorema 4.2).
• Costante $b_\lambda$: È espressa come un invariante della rappresentazione $V_\lambda$ di $\check{G}$, legato all'azione di un elemento specifico dell'algebra di Lie (Teorema 4.4).
• Significato: Questo è il primo caso in cui il gruppo duale di Langlands gioca un ruolo diretto e strutturale in formule che governano le derivate di funzioni L.

C. Calcoli Espliciti

Gli autori calcolano esplicitamente queste costanti per:

• Tutti i coweight dei gruppi classici (tipi A, B, C, D).
• I coweight fondamentali per i gruppi eccezionali.
  Le formule ottenute sono molto più elementari rispetto a quelle precedenti (es. [Fen26]) e non richiedono l'uso di tabelle di caratteri complessi. Vengono forniti tabelle dettagliate per gruppi di piccolo rango e tipi eccezionali (Sezione 5).

4. Contributi Chiave e Innovazioni

1. Generalizzazione: Rimozione della restrizione ai tipi di modifica minuscule, permettendo l'analisi di modifiche arbitrarie.
2. Unificazione Strutturale: Fornire una definizione uniforme dei pesi autovalori in termini del gruppo duale $\check{G}$, rivelando una connessione profonda tra la geometria degli stack di Shtuka e la teoria delle rappresentazioni del gruppo duale.
3. Nuovo Strumento Tecnico: Sviluppo di un metodo basato sulla compatibilità locale-globale e sull'uso di operatori differenziali sul lato spettrale, che evita le complicazioni geometriche delle compattificazioni precedenti.
4. Connessione alla Dualità Relativa: Il lavoro è interpretato come un esempio di "dualità di Langlands relativa" (nel senso di [BZSV24]), collegando il periodo costante (lato automorfico) al periodo di Whittaker (lato spettrale).

5. Significato e Implicazioni

• Teoria dei Numeri e Geometria: Il risultato offre una previsione precisa per le formule di Gross-Zagier sui campi di funzioni, dove le derivate di ordine superiore delle funzioni L appaiono naturalmente.
• Programma di Langlands: Rafforza il legame tra la geometria degli stack di Shtuka (lato geometrico/automorfico) e la teoria delle rappresentazioni del gruppo duale (lato spettrale), suggerendo che le strutture che governano le derivate delle funzioni L sono intrinsecamente legate alla geometria del gruppo duale.
• Futuro: L'approccio sviluppato apre la strada a calcoli simili per varietà più generali e suggerisce che i "pesi autovalori" potrebbero essere interpretati come Hessiani di campi vettoriali su spazi di Hamiltonian relativi, un fenomeno che gli autori intendono esplorare ulteriormente.

In sintesi, il paper risolve un problema tecnico di calcolo estendendo la teoria a casi generali e, più profondamente, rivela che le costanti misteriose che appaiono nelle formule dei volumi aritmetici sono in realtà invarianti naturali della teoria delle rappresentazioni del gruppo duale di Langlands.