Invariant Algebraic $D$-Modules on Connected Reductive Groups

1. Problema e Motivazione

L'articolo si occupa della classificazione dei moduli D algebrici invarianti per traslazione sinistra di rango finito su gruppi algebrici affini complessi connessi.
La motivazione originale risiede nello studio degli schemi di commutazione (commuting schemes) $C_n(\mathfrak{g})$ e delle loro proprietà invarianti, un problema legato alla teoria delle rappresentazioni e ai fasci di Higgs. Mentre la descrizione delle classi di coniugazione di $n$-uple di matrici che commutano è complessa per $n \ge 2$, gli autori adottano un approccio geometrico più "grezzo" ma potente: studiare i moduli D invarianti.

Il problema centrale è classificare questi moduli D fino all'isomorfismo. In particolare, gli autori verificano e generalizzano la Congettura B di Wei, che ipotizza un isomorfismo tra i moduli D invarianti su un gruppo $G$ e quelli sul suo quoziente per il sottogruppo derivato $G/[G,G]$ (il toro abeliano), tramite il pullback lungo la mappa di abelianizzazione.

2. Metodologia

Gli autori utilizzano una descrizione concreta dei moduli D invarianti basata sulla teoria delle connessioni piatte:

1. Corrispondenza Moduli-Connessioni: Un modulo D invariante di rango $n$ su un gruppo $G$ è equivalente a una connessione piatta algebrica sul fibrato vettoriale banale $O_G^{\oplus n}$, definita da una forma 1-invariante $\alpha$ a valori in matrici ($\alpha \in M_n(\Omega_G)$) che soddisfa l'equazione di Maurer-Cartan ($d\alpha + \alpha \wedge \alpha = 0$), modulo trasformazioni di gauge algebriche.
2. Riduzione a Rappresentazioni del Lie: Grazie alla struttura invariante, tali connessioni sono parametrizzate da omomorfismi di algebre di Lie $\rho: \mathfrak{g} \to \mathfrak{gl}_n$.
3. Strategia di Copertura: Per i gruppi semisemplici e riduttivi, gli autori sfruttano la copertura centrale semplicemente connessa $\pi: G^{sc} \to G$. Poiché $G^{sc}$ è semplicemente connesso, ogni rappresentazione dell'algebra di Lie si integra in un omomorfismo di gruppo $\tilde{\rho}: G^{sc} \to GL_n$.
4. Discesa (Descent): Il problema si riduce a capire quando una connessione banale su $G^{sc}$ (ottenuta tramite gauge transformation da $\tilde{\rho}$) discende a un modulo ben definito su $G$. Questo dipende dall'azione del nucleo finito $\Gamma = \ker(\pi)$ sulla fibra. La classificazione diventa quindi uno studio delle strutture $\Gamma$-equivarianti sul fibrato banale.

3. Risultati Principali e Contributi Chiave

A. Caso Semisemplice Connesso

Sia $G$ un gruppo semisemplice complesso connesso e $\pi: G^{sc} \to G$ la sua copertura centrale semplicemente connessa, con nucleo finito $\Gamma$.

• Teorema 1.2: Esiste una biiezione naturale tra le classi di isomorfismo dei moduli D invarianti di rango $n$ su $G$ e le classi di coniugazione delle rappresentazioni del gruppo finito $\Gamma$ in $GL_n$:
  $$\{ \text{Moduli D invarianti su } G \} / \cong \quad \longleftrightarrow \quad \text{Hom}(\Gamma, GL_n) / GL_n$$
• Teorema 1.3: La categoria abeliana dei moduli D invarianti su $G$ è equivalente alla categoria delle rappresentazioni finite-dimensional di $\Gamma$ ($\text{Rep}(\Gamma)$).
• Corollario 1.4: La categoria è semisemplice e i gruppi di estensione $\text{Ext}^i$ per $i > 0$ sono nulli.

B. Caso del Gruppo Lineare Generale ($GL_r$)

Per $G = GL_r$, il sottogruppo derivato è $SL_r$ (semplicemente connesso) e il quoziente è il toro $G_m$ tramite il determinante.

• Teorema 1.5: La mappa di pullback lungo il determinante induce una biiezione tra le classi di isomorfismo dei moduli D su $GL_r$ e quelli su $G_m$. Questo conferma la Congettura B per $GL_r$.
• Classificazione: Poiché i moduli su $G_m$ sono classificati da rappresentazioni del gruppo fondamentale $\pi_1(G_m) \cong \mathbb{Z}$, ne consegue che i moduli su $GL_r$ sono classificati da $\text{Hom}(\mathbb{Z}, GL_n) / GL_n$.

C. Caso Riduttivo Connesso (Risultato Generale)

Per un gruppo riduttivo connesso $G$, si considera la mappa di abelianizzazione $ab: G \to G^{ab} = G/[G,G]$.

• Teorema 1.8:
  1. Se il nucleo $\Gamma$ della copertura semplicemente connessa del sottogruppo derivato $G_{der}$ è banale (cioè $G_{der}$ è semplicemente connesso), allora il pullback lungo $ab$ è una biiezione (Congettura B verificata).
  2. In generale, il pullback è iniettivo, ma non suriettivo. Esiste un invariante di monodromia derivata $\mu_{der}$ che mappa i moduli D su $G$ verso $\text{Hom}(\Gamma, GL_n)/GL_n$. L'immagine del pullback corrisponde esattamente alla fibra sopra la classe banale (rappresentazione nulla).
  • Significato: La classificazione completa richiede sia un modulo sul toro (parte abeliana) sia una rappresentazione del nucleo finito $\Gamma$ (parte semisemplice non semplicemente connessa).

D. Cohomologia e Sistemi Locali

Gli autori derivano conseguenze topologiche e coomologiche per il caso semisemplice:

• Teorema 1.9: La coomologia di De Rham di un modulo D invariante $M_V$ su $G$ è isomorfa alla parte $\Gamma$-invariante della coomologia di De Rham della copertura $G^{sc}$ tensored con la rappresentazione $V$.
• Teorema 1.10: Esiste un'equivalenza di categorie tensoriali tra le rappresentazioni di $\Gamma$ e i sistemi locali invarianti sulla varietà complessa $G^{an}$.
• Teorema 1.11: La coomologia dei sistemi locali associati è calcolata esplicitamente in termini della coomologia di $G^{sc}$ e della rappresentazione $V$.

4. Significato e Impatto

1. Risoluzione della Congettura di Wei: Il lavoro conferma la congettura per i gruppi lineari generali e fornisce la correzione necessaria per i gruppi riduttivi generali, mostrando che la "semplice" riduzione al toro fallisce quando il sottogruppo derivato non è semplicemente connesso.
2. Struttura Categorica: Dimostra che la categoria dei moduli D invarianti su un gruppo semisemplice è equivalente a una categoria di rappresentazioni di un gruppo finito, rendendo la categoria semisemplice. Questo è un risultato forte che semplifica enormemente lo studio di tali oggetti (nessuna estensione non banale).
3. Ponte tra Algebra e Topologia: Il lavoro collega esplicitamente la teoria dei moduli D algebrici (oggetti algebrici) alla teoria dei sistemi locali e della monodromia (oggetti topologici/analitici) su varietà complesse, sfruttando la copertura universale.
4. Applicazioni Future: La classificazione ottenuta fornisce gli strumenti per analizzare la coomologia di schemi di commutazione e fasci di Higgs su gruppi riduttivi, offrendo una base solida per ricerche future in teoria delle rappresentazioni e geometria algebrica.

In sintesi, il paper fornisce una classificazione completa e rigorosa dei moduli D invarianti su gruppi riduttivi complessi, rivelando che la loro struttura è governata interamente dalla topologia del gruppo (tramite il suo nucleo fondamentale) e dalla sua parte abeliana.