On the affine Springer fibers inside the invariant center of the small quantum group

Sintesi Tecnica: Fibre di Affine Springer nel Centro Invariante del Piccolo Gruppo Quantistico

Enunciazione del Problema
Il lavoro affronta la realizzazione geometrica della parte invariante sotto $G^\vee$ del centro, denotata $Z(u^\vee_\zeta)^{G^\vee}$, del piccolo gruppo quantistico $u^\vee_\zeta$ associato a una algebrica di Lie semplice $\mathfrak{g}^\vee$ e a una radice dell'unità $\zeta$. Nello specifico, gli autori mirano a calcolare la dimensione di una sottoalgebra definita geometricamente, $Z(u^\vee_\zeta)^{G^\vee}_{\text{geom}}$, costruita tramite la teoria di affine Springer. Inoltre, nel caso in cui $G = SL_n$, il lavoro indaga un raffinamento bigradato di tale risultato, cercando di collegare la geometria delle fibre di affine Springer alla combinatoria dei coinvarianti diagonali e alla struttura del centro del gruppo quantistico.

Metodologia
Gli autori impiegano una sintesi della teoria di affine Springer, della teoria delle rappresentazioni del gruppo di Weyl e della geometria delle fibrature di Hitchin.

1. Decomposizione Geometrica: L'oggetto geometrico centrale è l'intersezione $Gr_{\gamma, \zeta} = Gr_\gamma \cap Gr_\zeta$, dove $Gr_\gamma$ è una fibra di affine Springer e $Gr_\zeta$ rappresenta i punti fissi sotto un'azione ciclica di gruppo. Utilizzando la decomposizione dell'erba affine in varietà di bandiera affini parziali indicizzate dal gruppo di Weyl affine esteso $\widetilde{W}$, gli autori esprimono $Gr_{\gamma, \zeta}$ come un'unione disgiunta di "fibre di Spaltenstein affini" ($fl_{\gamma, \ell}^{P_\lambda}$).
2. Decomposizione in Blocchi e Teoria delle Rappresentazioni: La coomologia $H^*(Gr_{\gamma, \zeta})$ si decompone secondo le orbite di $\widetilde{W}$ che agiscono sul reticolo dei co-caratteri $\Lambda$. Gli autori utilizzano l'azione di Springer e l'azione punto (monodromia) su questi gruppi di coomologia. Relazionano la coomologia di ciascun blocco alla teoria delle rappresentazioni del gruppo di Weyl finito $W$, identificando specificamente gli invarianti sotto l'azione punto con specifici sottospazi dell'anello dei coinvarianti diagonali $DR_W$.
3. Strumenti Combinatori: I calcoli dimensionali si basano su numeri di Coxeter–Catalan razionali generalizzati e numeri di Kreweras. Gli autori utilizzano la rappresentazione permutazionale di $W$ su $\Lambda/\ell\Lambda$ per enumerare i blocchi e applicano la reciprocità di Frobenius per calcolare le dimensioni degli spazi invarianti.
4. Raffinamento di Tipo A: Per $G=SL_n$, gli autori sfruttano i teoremi di shuffle razionali e la teoria dell'operatore nabla $\nabla$ che agisce sulle funzioni simmetriche. Interpretano la bigraduazione sulla coomologia tramite l'omologia di Borel–Moore equivariante della "parte positiva" della fibra di affine Springer, collegandola all'anello dei coinvarianti diagonali $DR_n$.
5. Connessione con la Fibratura di Hitchin: Per fornire una prospettiva geometrica alternativa sulla bigraduazione, gli autori studiano la fibratura di Hitchin parabolica. Costruiscono una degenerazione di curve spettrali per relazionare la coomologia delle fibre di affine Springer alla filtrazione perversa sulle fibre di Hitchin, ipotizzando che tale filtrazione corrisponda alla bigraduazione sui coinvarianti diagonali.

Contributi e Risultati Chiave

• Formula Dimensionale (Teorema 1.1): Gli autori derivano una formula dimensionale precisa per la sottoalgebra geometrica $Z(u^\vee_\zeta)^{G^\vee}_{\text{geom}}$. Dimostrano che:
  $$\dim Z(u^\vee_\zeta)^{G^\vee}_{\text{geom}} = \text{Cat}_W((h+1)\ell - h, h)$$
  dove $\text{Cat}_W$ è il numero di Coxeter–Catalan razionale generalizzato, $h$ è il numero di Coxeter e $\ell$ è l'ordine della radice dell'unità. Questo risultato è ottenuto tramite decomposizione in blocchi e argomenti combinatori che coinvolgono il numero di orbite $W$ in specifici quozienti di reticolo.

• Connessione ai Numeri di Catalan Razionali (Corollario 1.4): Nel caso $G=SL_n$, la formula dimensionale si semplifica nel numero di Catalan razionale $((n+1)\ell - n, n)$, confermando una congettura di Igor Frenkel per la parte invariante sotto $G^\vee$ del centro (sotto l'assunzione che l'immersione geometrica sia un isomorfismo).

• Bigraduazione e Coinvarianti Diagonali (Teorema 3.8): Assumendo una congettura da [13] riguardante i gruppi Tori nell'azione del reticolo, gli autori stabiliscono che il carattere di Frobenius bigradato degli invarianti del reticolo della coomologia della fibra di affine Springer coincide con la torsione di segno dell'anello dei coinvarianti diagonali $DR_n$. Nello specifico, $\text{Frob}_{q,t}(H^*(Fl_\gamma^I)^\Lambda) = \omega_X \nabla e_n$.

• Analisi del Blocco Subregolare (Corollario 3.4): Per pesi subregolari di tipo A, gli autori calcolano esplicitamente le dimensioni bigradate dei blocchi del centro e mostrano che corrispondono alle dimensioni bigradate della coomologia dei fasci coerenti sulla risoluzione di Springer, risolvendo una specifica congettura da [31].

• Interpretazione Geometrica delle Sottoalgebre (Sezione 4): Il lavoro identifica il centro di Harish-Chandra, l'ideale di Higman e il quoziente di Verlinde all'interno del modello geometrico. Dimostra che il centro di Harish-Chandra corrisponde alla coomologia delle varietà di bandiera parziali, l'ideale di Higman ai socli di questi blocchi e il quoziente di Verlinde alle teste dei blocchi regolari.

• Filtrazione Perversa ed Elementi di Lefschetz (Sezione 5): Gli autori propongono una connessione tra la bigraduazione sul centro e la filtrazione perversa sulla coomologia delle fibre di Hitchin paraboliche. Identificano l'elemento di Lefschetz (indotto dal fibrato lineare determinante) con il "determinante di Haiman" nell'anello dei coinvarianti diagonali e ipotizzano che l'azione risultante di $sl_2$ coincida con l'azione per prodotto wedge del campo bivettoriale di Poisson sulla risoluzione di Springer (Congettura 5.8).

Significato e Affermazioni
Il lavoro afferma di fornire una formula dimensionale completa per la sottoalgebra geometrica del centro del piccolo gruppo quantistico, derivata indipendentemente dai confronti con le fibre di affine Springer ellittiche utilizzati in [10], affidandosi invece alla decomposizione in blocchi e alla combinatoria di Coxeter–Catalan.

Gli autori sottolineano che il loro lavoro chiarisce la struttura del centro nel caso $G=SL_n$ introducendo una bigraduazione che si allinea con l'anello dei coinvarianti diagonali. Affermano che i loro risultati confermano la Congettura 1.3 (che l'immersione geometrica sia un isomorfismo) in specifici casi di basso rango (tipi $A_1$ fino ad $A_4$, $B_2$, $G_2$) confrontando le dimensioni con calcoli noti di coomologia di Hochschild.

Il lavoro inquadra modestamente le sue scoperte sulla bigraduazione e sull'azione di $sl_2$ come congetturali, affidandosi alla validità della congettura "Hilb-vs-Quot" [28] e alla congettura principale di [13]. Gli autori dichiarano che la loro costruzione geometrica delle degenerazioni di curve spettrali offre una potenziale via per dimostrare l'equivalenza delle due bigraduazioni proposte (combinatoria vs. filtrazione perversa), ma ciò rimane un oggetto di verifica futura. Il lavoro serve a unificare le prospettive delle fibre di affine Springer, dei fasci coerenti sulla risoluzione di Springer e dei coinvarianti diagonali nel contesto del piccolo gruppo quantistico.