Counting points on braid varieties and the Deligne--Simpson problem

1. Il Problema: Il Problema di Deligne–Simpson

Il lavoro si concentra sul Problema di Deligne–Simpson per gruppi algebrici riduttivi complessi $G$. Il problema chiede l'esistenza di connessioni $G$ su curve (in particolare su $\mathbb{P}^1 \setminus \{0, \infty\}$) con singolarità prescritte in un numero finito di punti.
Nello specifico, gli autori risolvono il problema per una classe di connessioni chiamate isocliniche (o toral in altre terminologie). Queste connessioni presentano:

• Una singolarità irregolare in $0$ con un termine principale di Levelt–Turrittin semisemplice regolare.
• Una singolarità regolare in $\infty$.
• Un'inclinazione (slope) $\nu = d/m$, dove $m$ è un numero regolare per il gruppo di Weyl $W$ e $d$ è coprimo con $m$.

Il problema si riduce a determinare, data un'inclinazione $\nu$ e una classe di coniugazione unipotente $C$ (che rappresenta la monodromia), se esiste una connessione con tali proprietà.

2. Metodologia e Approccio

Gli autori adottano un approccio innovativo che combina la teoria delle connessioni irregolari, la teoria dei gruppi di braid e la teoria dei caratteri dei gruppi finiti.

A. Corrispondenza di Riemann–Hilbert e Varietà di Braid

Utilizzando la corrispondenza di Riemann–Hilbert (stabilita recentemente da Hohl e Jakob), il problema viene tradotto dal lato analitico (connessioni) al lato algebrico/combinatorio (varietà di braid).

• Le connessioni irregolari isocliniche corrispondono a braid periodici.
• L'esistenza di una connessione con monodromia $C$ è equivalente alla non-emptiness (non vuoto) di una specifica varietà di braid (o più precisamente, uno stack di braid) associata a un braid $\beta_A$ derivante dalla classe irregolare.
• Per le connessioni isocliniche di inclinazione $\nu = d/m$, il braid associato è una potenza $d$-esima di un elemento di Springer $m$-periodico ($\tilde{w}_m$) sollevato al monoide dei braid positivi: $\beta_A = (\tilde{w}_m)^d$.

B. Riduzione all'Intersezione di Doppie Coseni

Il problema della non-emptiness della varietà di braid $M(\beta, C)$ è equivalente alla condizione che l'intersezione tra una doppia coset di Bruhat (o il suo prodotto per potenze) e la classe di coniugazione $C$ non sia vuota:
$$(B w B)^d \cap C \neq \emptyset$$
dove $B$ è un sottogruppo di Borel.

C. Conteggio dei Punti su Campi Finiti

Per determinare quando tale intersezione è non vuota, gli autori seguono la strategia di Lusztig (che aveva risolto casi simili per $w$ di lunghezza minima):

1. Si considera il gruppo algebrico su un campo finito $\mathbb{F}_q$.
2. Si calcola il numero di punti razionali sulla varietà di braid (o stack) su $\mathbb{F}_q$.
3. Questo conteggio viene espresso tramite una formula che coinvolge i valori dei caratteri del gruppo finito $G(\mathbb{F}_q)$ e dell'algebra di Hecke finita $H_q$.
4. La formula chiave (generalizzazione di una formula di Lusztig) è:
   $$|M((\tilde{w}_m)^d, C)^{\mathbb{F}_q}| = \frac{1}{|G^{\mathbb{F}_q}|} \sum_{g \in C^{\mathbb{F}_q}} \sum_{E \in \text{Irr}(W)} q^{\nu c(E_q)} \text{tr}(w^d, E) \text{tr}(g, \rho_E)$$
   dove $c(E_q)$ è il "contenuto" della rappresentazione, e $\text{tr}$ indica i valori dei caratteri.

I calcoli sono stati eseguiti utilizzando il pacchetto software CHEVIE (per Julia), permettendo di gestire la complessità computazionale per i gruppi eccezionali.

3. Risultati Principali

Teorema 1 (Soluzione del Problema Isoclinico)

Esiste una classe di coniugazione unipotente unica (minima), denotata $C_\nu$, tale che esiste una connessione $G$-isoclinica di inclinazione $\nu$ con monodromia unipotente $C$ se e solo se:
$$C \geq C_\nu$$
(dove $\geq$ è l'ordinamento parziale sulle classi unipotenti, definito dall'inclusione delle chiusure).

• Se $\nu > 1$, allora $C_\nu = \{1\}$ (la classe identità).
• Se $\nu < 1$ e $G$ è di tipo eccezionale ($E_6, E_7, E_8, F_4, G_2$), le classi $C_\nu$ sono state determinate esplicitamente e tabulate nell'Appendice A.1.

Questo risultato completa il programma avviato da Sage et al. e Jakob–Yun, risolvendo i casi rimasti aperti per i gruppi eccezionali, che non potevano essere trattati con i metodi precedenti (teoria di Hodge non abeliana o algebra lineare complessa).

Proprietà di Rigidità

Come sottoprodotto, gli autori identificano nuove connessioni isocliniche coomologicamente rigide.

• Proposizione 9: Per i gruppi di tipo eccezionale, le connessioni isocliniche ellittiche coomologicamente rigide sono anche fisicamente rigide.
• La prova si basa sul fatto che le varietà di braid corrispondenti a questi casi contengono esattamente un punto (sono singleton), il che implica che lo spazio dei moduli è un punto.

Realizzazioni Esplicite

Gli autori confermano la congettura 5.7.(2) di Sage [Sag24] riguardante le connessioni di Coxeter. Dimostrano che le connessioni di Coxeter $\nabla_\nu$ costruite esplicitamente hanno la monodromia unipotente minima prevista dal Teorema 1.

4. Contributi Chiave e Significato

1. Risoluzione dei Casi Eccezionali: Il lavoro risolve definitivamente il problema di Deligne–Simpson per le connessioni isocliniche nei gruppi di tipo eccezionale, un'area precedentemente intrattabile con i metodi classici.
2. Nuova Tecnica Computazionale: Introduce un metodo efficace basato sul conteggio di punti su campi finiti applicato alle varietà di braid. Questo approccio trasforma un problema geometrico complesso in un calcolo di teoria dei caratteri gestibile tramite software specializzati (CHEVIE).
3. Generalizzazione di Lusztig: Estende la mappa di Lusztig (che associa classi di coniugazione nel gruppo di Weyl a classi unipotenti) a casi in cui gli elementi non hanno lunghezza minima nella loro classe di coniugazione e coinvolgono potenze di doppie coset di Bruhat.
4. Connessioni Fisicamente Rigide: Fornisce nuovi esempi concreti di connessioni fisicamente rigide, che sono oggetti fondamentali nella teoria delle rappresentazioni e nella fisica matematica (teoria di gauge, dualità di Langlands geometrica).
5. Collegamento tra Teoria dei Braid e Geometria: Rafforza il legame tra le varietà di braid (centrali nella topologia simpattica e nelle algebre cluster) e la teoria delle connessioni differenziali irregolari.

In sintesi, il paper rappresenta un avanzamento significativo nella comprensione delle connessioni irregolari su curve, fornendo una soluzione completa per i gruppi eccezionali attraverso una potente sintesi di geometria algebrica, teoria dei gruppi finiti e combinatoria dei braid.