Counting points on generic character varieties

Sintesi Tecnica: Conteggio di Punti su Varietà di Caratteri Generiche

Enunciato del Problema
Il saggio affronta l'enumerazione dei punti su varietà di caratteri associate a gruppi di superfici con fori (punctured surface groups) e classi di congiunzione regolare semisimple in gruppi riduttivi arbitrari $G$ su campi finiti. Mentre la geometria e la topologia delle varietà di caratteri di $GL_n$ sono ben comprese — grazie al lavoro fondamentale di Hausel, Letellier e Rodriguez-Villegas [HRV08, HLRV11] — esiste una comprensione limitata delle varietà di caratteri per gruppi riduttivi generali. Nello specifico, gli autori cercano di determinare il numero di punti $\mathbb{F}_q$ sia per le varietà di caratteri moltiplicative (associate al gruppo fondamentale di una superficie con fori) sia per i loro analoghi additivi (associati all'algebra di Lie $\mathfrak{g}$). Lo studio si concentra su tuple "generiche" di classi di congiunzione, una condizione che garantisce che le varietà siano lisce ed equidimensionali.

Metodologia
Gli autori impiegano una combinazione di teoria delle rappresentazioni di gruppi finiti di tipo Lie, teoria di Deligne-Lusztig e analisi armonica sulle algebre di Lie.

1. Caso Moltiplicativo:

   • Il punto di partenza è la Formula della Massa di Frobenius, che esprime il numero di punti sulla varietà di rappresentazione in termini di caratteri complessi irriducibili del gruppo finito $G(\mathbb{F}_q)$.
   • Utilizzando l'assunto che le classi di congiunzione siano generiche e contengano elementi fortemente regolari, gli autori applicano un teorema di Deligne e Lusztig [DL76]. Questo restringe i caratteri contribuenti alle rappresentazioni della serie principale.
   • La somma sui caratteri viene riorganizzata raggruppando le rappresentazioni in "tipi" $\tau = [L, \rho]$, dove $L$ è un gruppo endoscopico standard (un sottogruppo pseudo-Levi) e $\rho$ è un carattere irriducibile del gruppo di Weyl di $L$.
   • Le somme dei caratteri vengono valutate mediante inversione di Möbius sul reticolo degli gruppi endoscopici. Un passaggio crucialo consiste nell'analizzare i stabilizzatori dell'azione di Frobenius sul toro duale, richiedendo un cambio di base finito per garantire che i gruppi componente si scindano (split).

2. Caso Additivo:

   • La varietà di caratteri additiva è definita tramite l'algebra di Lie $\mathfrak{g}$ e le orbite congiunte (adjoint orbits). Il problema del conteggio è affrontato tramite un analogo additivo della Formula della Massa di Frobenius, che coinvolge le trasformate di Fourier di funzioni caratteristiche di orbite congiunte.
   • Gli autori utilizzano i risultati di Kazhdan e Letellier [Let05] per valutare queste trasformate di Fourier. La non-vacuità della trasformata è legata agli elementi "split" nell'algebra di Lie.
   • Similmente al caso moltiplicativo, la somma viene decomposta in "tipi" $\tau = [L, N]$, dove $L$ è un sottogruppo di Levi e $N$ è un orbita nilpotente.
   • La valutazione si basa sulle proprietà delle funzioni di Green e dei fiber di Springer. Gli autori notano che per gruppi con un fattore $E_8$, potrebbe essere necessario un cambio di base quadratico per garantire che il conteggio dei punti sia un polinomio.

Contributi Chiave e Risultati

1. Conteggio Polinomiale per le Varietà Moltiplicative:

   • Teorema 2: Gli autori dimostrano che per una varietà di caratteri generica $X$ associata a un gruppo ridotto $G$, esiste un intero positivo $r$ tale che il numero di punti $|X(\mathbb{F}_{q^{rm}})|$ è dato da un polinomio $f_X(q^{rm})$ per ogni $m \geq 1$.
   • Proprietà Palindromica: Si dimostra che il polinomio di conteggio $f_X(t)$ è palindromico (coefficienti simmetrici). Ciò suggerisce che la varietà soddisfi una dualità di Poincaré "curiosa" e una proprietà di Hard Lefschetz "curiosa", supportando una congettura $P=W$ per queste varietà.
   • Componenti Connesse: Il numero di componenti connesse di $X$ è determinato come $|\pi_0(Z(\check{G}))|$, dove $\check{G}$ è il gruppo duale di Langlands.
   • Indipendenza: Il polinomio $f_X$ dipende solo dal gruppo $G$, dal genere $g$ e dal numero di fori $n$, ma è indipendente dalle specifiche classi di congiunzione generiche scelte.

2. Conteggio Polinomiale per le Varietà Additive:

   • Teorema 6: Gli autori stabiliscono che la varietà di caratteri additiva $Y$ è anch'essa a conteggio polinomiale, specificamente dopo un cambio di base quadratico (ovvero $|Y(\mathbb{F}_{q^{2m}})| = f_Y(q^{2m})$).
   • Coefficienti Non Negativi: Sebbene manchi una prova generale a causa dell'assenza di un legame diretto con le varietà di quiver (che esiste solo per $GL_n$), l'evidenza computazionale per gruppi di rango inferiore a 7 suggerisce che i coefficienti di $f_Y$ siano non negativi. Ciò supporta la congettura che la coomologia di $Y$ sia pura.
   • Connettività: La varietà additiva $Y$ è dimostrata essere connessa.

3. Formule Esplicite ed Esempi:

   • Il saggio fornisce formule esplicite di funzioni razionali per i polinomi di conteggio $f_X$ e $f_Y$ in termini di dati del sistema di radici, caratteri del gruppo di Weyl e polinomi di Green.
   • La Sezione 7 presenta tabelle dettagliate e polinomi espliciti per gruppi di basso rango ($GL_n, SO_5, G_2, B_3, C_3, D_4, F_4, E_6$) e valori specifici di genere e fori.

Significatività e Rivendicazioni
Il saggio sostiene di generalizzare i risultati seminali di Hausel, Letellier e Rodriguez-Villegas dal tipo $A$ ($GL_n$) a gruppi ridotti arbitrari.

• Intuizione Strutturale: La dimostrazione che le varietà di caratteri generiche sono a conteggio polinomiale e palindromiche fornisce una forte evidenza per profonde proprietà topologiche (struttura Hodge-Tate, dualità di Poincaré, Hard Lefschetz) nel contesto ridotto, rispecchiando il comportamento noto per $GL_n$.
• Analogo Ridotto dei Polinomi di Kac: I polinomi di conteggio per le varietà additive sono proposti come gli analoghi ridotti dei polinomi di Kac per quiver a forma di cometa. La non-negatività dei loro coefficienti è congetturata, collegando la geometria delle varietà di caratteri additive alla teoria delle rappresentazioni delle algebre di Borcherd.
• Fondamentale per Future Congetture: Gli autori osservano che i loro risultati forniscono i dati necessari per formulare congetture riguardanti i polinomi di Hodge misti nel contesto ridotto, analogamente alle formule dei polinomi di Macdonald note per $GL_n$. Essi sottolineano che dimostrare la non-negatività dei coefficienti per un $G$ generale rimane un problema aperto non banale a causa della mancanza di una diretta corrispondenza con le varietà di quiver.

Il lavoro si basa pesantemente sull'assunto che il centro $Z(G)$ sia connesso e che la caratteristica del campo sia "molto buona" per $G$. Gli autori riconoscono che rilassare l'assunto del centro connesso complicherebbe le formule a causa dei centralizzatori disconnessi nel gruppo duale, e che l'assunto di genericità è cruciale per la liscezza e l'equidimensionalità delle varietà.