Diagonal cycles on Shtukas and the adjoint $L$-function

Sintesi Tecnica: Cicli Diagonali su Shtukas e la Funzione L Amministrativa

Enunciato del Probleamento
Il saggio affronta la ricerca di un'identità di tipo Gross–Zagier su campi di funzioni per gruppi riduttivi di tipo arbitrario. Mentre la classica formula di Gross–Zagier mette in relazione l'altezza dei punti di Heegner con la derivata centrale di una funzione $L$, le congetture aritmetiche di Gan–Gross–Prasad (GGP) generalizzano questo scenario a dimensioni superiori; tuttavia, i quadri esistenti sono stati ampiamente limitati a gruppi di tipo A, B o D, e a situazioni in cui la rappresentazione governante è la rappresentazione standard. I lavori precedenti nel campo delle funzioni, come il lavoro di Yun–Zhang e le successive generalizzazioni dell'autore e dei suoi collaboratori, erano limitati a varietà sferiche "fortemente temperate", imponendo vincoli stretti sui tipi di modifica delle Shtukas.

Questo lavoro investiga il caso del gruppo $G = H \times H$ e $X = H$, dove $H$ è un gruppo riduttivo quasi semplice scisso. Il problema centrale è quello di mettere in relazione i numeri di auto-intersezione del ciclo diagonale nello spazio moduli di $G$-Shtukas (con tipi di modifica arbitrari) con derivate superiori delle funzioni $L$ amministrative, estendendo così il quadro di Gross–Zagier a gruppi di tipo arbitrario senza la restrizione della forte temperanza.

Metodologia
La strategia di prova diverge dai metodi della formula della traccia relativa utilizzati negli studi di intersezione aritmetica precedenti. Al contrario, essa impiega un approccio geometrico radicato nel programma di Langlands geometrico in caratteristica positiva e nei formalismi di traccia categorica. La metodologia procede attraverso le seguenti fasi chiave:

1. Integrali di Periodo Geometrici e Osservabili: L'autore definisce un funtore di integrale di periodo geometrico $\int_X$ sulla categoria di fasci sullo stack moduli dei $G$-bundle ($\text{Bun}_G$). Per un sistema locale geometricamente fortemente irriducibile $\sigma$, si studia la coomologia di questo integrale di periodo.
2. Azione dell'Algebra di Clifford: Una centrale innovazione tecnica è la costruzione di un'azione di algebra di Clifford sulla coomologia dell'integrale di periodo geometrico. Ciò viene ottenuto stabilendo una relazione di commutatore tra osservabili "diagonali" e "amministrativi". Tale relazione è derivata tramite calcoli locali nell'algebra di Plancherel usando corrispondenze coomologiche speciali.
3. Formula di Tipo Atiyah–Bott: Il saggio dimostra un'analoga formula di Atiyah–Bott per questi integrali di periodo geometrici, mostrando che l'anello di coomologia è un anello polinomiale (dispari) libero generato da classi tautologiche. Questa struttura permette all'appaiamento di intersezione di essere interpretato come una traccia ruotata dalla Frobenius di un operatore specifico, denominato "osservabile di intersezione".
4. Corrispondenza Locale-Globale: L'osservabile di intersezione viene decomposto in una parte "derivata" e una parte "scalare". Utilizzando l'algebra di Plancherel locale, l'autore calcola esplicitamente queste parti. La parte derivata si mostra corrispondere all'azione della rappresentazione amministrativa, mentre la parte scalare si relaziona al fibrato linea del determinante.
5. Formula della Traccia: Il numero di auto-intersezione del ciclo diagonale (ritorto dai fibrati linea del determinante) è espresso come la traccia dell'osservabile di intersezione che agisce sulla coomologia dell'integrale di periodo. Questa traccia viene poi computata utilizzando la decomposizione spettrale fornita dall'azione dell'algebra di Clifford.

Contributi Chiave e Risultati

• Identità Gross–Zagier Generalizzata: Il risultato principale (Teorema 1.4) stabilisce un'identità che mette in relazione l'appaiamento di intersezione del ciclo diagonale sullo spazio moduli delle Shtukas per $H \times H$ con la $r$-esima derivata della funzione $L$ amministrativa $\check{h}_{\sigma_H}$ in $s=0$. La formula è:
  $$\langle \Delta_{Sht, !}([Sht_{H, \leq \lambda_{H,I}}] \cup \prod c_1(L_{det, i})), \Delta_{Sht, !}[Sht_{H, \leq \lambda_{H,I}}] \rangle^* = \epsilon_{\lambda_I} \frac{L(0, \check{h}_{\sigma_H})}{\log q} \left( -\frac{d}{ds} \right)^r \left( q^{-(g-1)r(H)s} L(s, \check{h}_{\sigma_H}) \right) \Big|_{s=0}$$
  Qui, $\epsilon_{\lambda}$ è una costante legata all'indice di Dynkin della rappresentazione, e $r(H)$ è il rango di $H$.
• Tipi di Modifica Arbitrari: A differenza di lavori precedenti limitati a varietà fortemente temperate, questo risultato è valido per rappresentazioni essenzialmente arbitrarie $V \in \text{Rep}(\check{G})$ che governano i tipi di modifica delle Shtukas.
• Non degenerazione dell'Appaiamento: Il saggio dimostra (Teorema 1.2) che l'appaiamento di intersezione sulla componente $\sigma$-isotipica della coomologia di intersezione delle Shtukas è non degenere per sistemi locali geometricamente fortemente irriducibili.
• Struttura dell'Algebra di Clifford: La costruzione dell'azione dell'algebra di Clifford sulla coomologia dell'integrale di periodo geometrico (Teorema 3.9) è un significativo contributo strutturale, che fornisce un nuovo strumento per analizzare i numeri di intersezione nel contesto di Langlands geometrico.
• Costanti Esplicite: Il saggio fornisce formule esplicite per le costanti $\epsilon_\lambda$ (indici di Dynkin) per varie gruppi semplici scissi e pesi minimi (coweights), evidenziando il loro ruolo come fattori di molteplicità nella formula di intersezione.

Significato e Rivendicazioni
Il saggio sostiene di fornire il primo esempio di una formula di tipo Gross–Zagier per gruppi di tipo arbitrario su campi di funzioni. Rimuovendo la restrizione della "forte temperanza", esso amplia significativamente l'ambito della realizzazione geometrica del programma di Langlands relativo.

L'autore suggerisce che questo risultato indichi un quadro congetturale parallelo per le intersezioni aritmetiche sulle varietà di Shimura. In particolare, l'apparizione della costante $\epsilon_\mu$ (l'indice di Dynkin della cocaratteristica di Hodge) come fattore di molteplicità nella formula di intersezione è identificata come un fenomeno nuovo, non precedentemente osservato nella letteratura. Il saggio pone il Teorema 1.4 come un modello di campo di funzioni per una generalizzazione delle congetture aritmetiche GGP a varietà di Shimura arbitrarie, dove il comportamento di queste costanti gioca un ruolo sottile e cruciale.

Il lavoro si basa sull'assunzione che il sistema locale $\sigma_H$ sia automorfico (il che è noto per $GL_n$ ed è atteso generalmente); se $\sigma_H$ non è automorfico, il numero di intersezione svanisce. I risultati sono formulati all'interno del quadro delle $\infty$-categorie e dei fasci etali con coefficienti in $\mathbb{Q}_\ell$, utilizzando la corrispondenza di Langlands geometrica come sviluppata nei lavori recenti di Gaitsgory, Lurie e altri.