$\mathrm{PGL}_n(\mathbb{C})$-character stacks and Langlands duality over finite fields

Sintesi Tecnica: Stack di caratteri $PGL_n(\mathbb{C})$ e dualità di Langlands su campi finiti

Enunciato del Problema
Questo articolo indaga i polinomi di Poincaré misti degli stack di caratteri generici $PGL_n(\mathbb{C})$ associati a una superficie di Riemann punteggiata. Mentre la coomologia degli stack di caratteri di $GL_n$ e $SL_n$ è stata studiata estesamente (in particolare da Hausel, Letellier, Rodriguez-Villegas, Mellit e Schiffman), il caso di $PGL_n$ presenta sfide uniche. Nello specifico, le classi di coniugio di $PGL_n$ possono possedere stabilizzatori non connessi, portando a sistemi locali equivarianti irriducibili non banali. Gli autori mirano a calcolare la coomologia di intersezione di questi stack con coefficienti in tali sistemi locali e a stabilire una connessione tra questi invarianti geometrici e la teoria delle rappresentazioni dei gruppi finiti $PGL_n(\mathbb{F}_q)$ e $SL_n(\mathbb{F}_q)$.

Metodologia
Gli autori impiegano una combinazione di teoria delle rappresentazioni geometrica, coomologia di intersezione e teoria dei fasci di caratteri. La metodologia fondamentale comprende:

1. Impostazione Geometrica: Definizione dello stack di caratteri $\mathcal{M}_C$ come quoziente di una varietà di rappresentazioni $X_C$ rispetto all'azione di $PGL_n$. Gli autori analizzano la geometria di questi stack, in particolare la stratificazione indotta dalla chiusura di Zariski delle classi di coniugio e l'azione di gruppi finiti derivanti dalle componenti connesse dei stabilizzatori.
2. Coomologia di Intersezione "Twisted": Per gestire gli stabilizzatori non connessi, gli autori introducono un contesto "twisted" che coinvolge l'azione di un gruppo finito $H(C)$ sugli stack di caratteri generici di $GL_n$. Generalizzano i risultati di Katz sul conteggio dei punti su campi finiti per relazionare la caratteristica di Eulero della coomologia di intersezione dello stack con la traccia di Frobenius sulla coomologia della varietà corrispondente su $\mathbb{F}_q$.
3. Dualità di Langlands e Fasci di Caratteri: L'articolo utilizza la teoria dei fasci di caratteri di Lusztig. Stabilisce una corrispondenza tra sistemi locali sulle classi di coniugio di $PGL_n$ e fasci di caratteri sul gruppo duale $SL_n$. Ciò comporta l'analisi dei funtori di induzione geometrica e la decomposizione dei fasci perversi sotto restrizione al gruppo duale.
4. Formule Combinatorie: Gli autori utilizzano funzioni simmetriche, in particolare polinomi di Macdonald e funzioni gancio ($H_{g,\omega}$), per formulare espressioni congetturali per le serie di Poincaré miste. Derivano formule esplicite per la "parte pura" (specializzazione $t \to -1$) e la specializzazione di Eulero.

Contributi e Risultati Chiave

• Formula Congetturale per le Serie di Poincaré Miste: Gli autori propongono una formula combinatoria congetturale (Congettura 5.5.12) per la serie di Poincaré mista $IH_c(\mathcal{M}_C, \mathcal{E}_\chi; q, t)$ dello stack di caratteri $PGL_n$ con coefficienti in un sistema locale $\mathcal{E}_\chi$ derivante da un carattere $\chi$ del gruppo stabilizzatore $A(C)$. La formula coinvolge una somma su tipi combinatori specifici pesati da funzioni razionali $H_{g, \omega_r}$ e coefficienti $\Delta^s_\chi$.
• Dimostrazione sotto Specializzazione di Eulero: Il teorema principale (Teorema 1.1.2 e Teorema 5.5.11) dimostra che la formula congetturata è valida sotto la specializzazione di Eulero ($t \to -1$). Questo risultato collega la geometria dello stack al numero di punti su campi finiti.
• Interpolazione dei Coefficienti di Struttura: Un risultato centrale (Teorema 1.2.1 e Teorema 8.5.1) dimostra che il polinomio di Eulero dello stack di caratteri interpola i coefficienti di struttura di due anelli basati distinti:
  1. L'anello delle funzioni di classe su $PGL_n(\mathbb{F}_q)$ dotato del prodotto di convoluzione, con una base data dalle funzioni caratteristiche dei complessi di coomologia di intersezione di sistemi locali sulle classi di coniugio.
  2. L'anello delle funzioni di classe su $SL_n(\mathbb{F}_q)$ dotato della moltiplicazione puntuale, con una base data dalle funzioni caratteristiche dei fasci di caratteri di Lusztig su $SL_n$.
• Analogia con la Trasformata di Fourier Non Abelliana: La relazione stabilita tra il prodotto di convoluzione su $PGL_n(\mathbb{F}_q)$ e il prodotto tensoriale su $SL_n(\mathbb{F}_q)$ è descritta come una versione moltiplicativa della formula di inversione di Fourier. Questo generalizza l'immagine nota per $GL_n$, dove i fasci di caratteri corrispondono direttamente ai caratteri irriducibili, alla dualità $SL_n/PGL_n$ dove la corrispondenza è più intricata a causa degli stabilizzatori non connessi.
• Verifica Esplicita: La congettura è verificata esplicitamente per il caso $n=2$, $k=4$ (quattro punteggiature) con classi di coniugio regolari semisemplici (Teorema 1.1.3 e Teorema 9.5.2).

Significato
L'articolo afferma di fornire un quadro geometrico unificato che collega la coomologia degli stack di caratteri alla teoria delle rappresentazioni dei gruppi riduttivi finiti nel contesto della dualità di Langlands. Estendendo i risultati da $GL_n$ a $PGL_n$, gli autori affrontano la complessità introdotta dagli stabilizzatori non connessi. Il lavoro suggerisce che la struttura di Hodge mista di questi spazi di moduli codifica profonde informazioni aritmetiche riguardanti le costanti di struttura degli anelli di caratteri per gruppi finiti. Gli autori notano che, sebbene la congettura completa per il polinomio di Poincaré misto rimanga aperta, la specializzazione di Eulero dimostrata e il caso esplicito $n=2$ forniscono forti evidenze per la validità delle formule proposte e del quadro di dualità sottostante. I risultati sono presentati come una generalizzazione del lavoro precedente di Hausel, Letellier e Rodriguez-Villegas, adattando specificamente i loro metodi al contesto non generico e agli stabilizzatori non connessi.