Quasi-reductive supergroups with small even parts

1. Il Problema

L'articolo si propone di classificare e descrivere tutti i supergruppi affini e algebrici $G$ (definiti su un campo algebricamente chiuso $k$ di caratteristica zero o dispari) il cui più grande sottogruppo pari (o parte pari), denotato come $G_{ev}$, è isomorfo a uno dei seguenti gruppi classici:

• $GL_2$
• $SL_2$
• $PSL_2$

Motivazione:
Questo problema nasce dallo studio dei centralizzatori di tori nei supergruppi quasi-riduttivi. Se $G$ è un supergruppo quasi-riduttivo e $S$ è un toro in $G_{ev}$, il centralizzatore $Cent_G(S)$ è anch'esso un supergruppo quasi-riduttivo. In particolare, per un toro massimale $T$ e un sistema di radici $\Delta$, i sottogruppi $G_\alpha = Cent_G(T_\alpha)$ (dove $T_\alpha = \ker(\alpha)$) sono gruppi riduttivi di rango semisemplice 0 o 1. Nel caso di rango 1, la parte pari di $G_\alpha$ è isomorfa a $GL_2 \times T'$, $SL_2 \times T'$ o $PSL_2 \times T'$. Pertanto, la comprensione strutturale dei supergruppi con parte pari $GL_2, SL_2$ o $PSL_2$ è fondamentale per la teoria strutturale dei supergruppi quasi-riduttivi, specialmente in caratteristica positiva.

2. Metodologia

L'approccio adottato si basa sulla corrispondenza di coppie di Harish-Chandra.

• Corrispondenza: Ogni supergruppo algebrico $G$ è univocamente determinato (a meno di isomorfismo) dalla coppia $(G_{ev}, \mathfrak{g}_{\bar{1}})$, dove $\mathfrak{g}_{\bar{1}}$ è lo spazio vettoriale pari (la parte dispari del superalgebra di Lie) considerato come un modulo per l'azione di $G_{ev}$ tramite l'azione aggiunta. La struttura di supergruppo è codificata da una mappa bilineare simmetrica $[\cdot, \cdot]: \mathfrak{g}_{\bar{1}} \times \mathfrak{g}_{\bar{1}} \to \mathfrak{g}_{\bar{0}}$ che soddisfa condizioni di equivarianza e l'identità di Jacobi super ($[[v,v],v]=0$).
• Riduzione: Poiché il radicale unipotente $Ru(G)$ di un supergruppo quasi-riduttivo è puramente dispari, lo studio si riduce all'analisi dei supergruppi riduttivi (dove $Ru(G)=e$).
• Analisi dei Moduli: L'autore analizza la struttura del modulo $\mathfrak{g}_{\bar{1}}$ sotto l'azione di $SL_2$ o $GL_2$, classificando le possibili decomposizioni in moduli semplici o indecomponibili e le relative strutture di parentesi di Lie compatibili.

3. Risultati Chiave e Contributi

A. Caso $G_{ev} \simeq SL_2$ (Sezione 3)

L'autore classifica tutti i moduli $\mathfrak{g}_{\bar{1}}$ tali che la coppia di Harish-Chandra $(SL_2, \mathfrak{g}_{\bar{1}})$ definisca un supergruppo quasi-riduttivo. I risultati principali (Teorema 3.18) mostrano che, a meno del radicale unipotente, $\mathfrak{g}_{\bar{1}}$ deve essere isomorfo a uno dei seguenti moduli $SL_2$:

1. 0: Il supergruppo è $SL_2$ (coppia banale).
2. $L(1)$: Corrisponde al supergruppo $SpO(2|1)$.
3. $L(0) \oplus L(2)$: Corrisponde al supergruppo $H(0 \oplus 2)$. Qui $L(2) \simeq \mathfrak{sl}_2$ e $L(0) \simeq k$. La parentesi di Lie è definita in modo che $[L(0), L(0)]=0$, $[L(2), L(2)]=0$ e $[b, x] = bx$ per $b \in L(0), x \in \mathfrak{sl}_2$.
4. $V(3)$ (Weyl module): Questo caso si verifica solo se la caratteristica del campo è $p=3$. Corrisponde al supergruppo quasi-riduttivo $H(3/1)$, che è "quasi-semplice" nel senso forte.

B. Caso $G_{ev} \simeq PSL_2$ (Sezione 4)

Poiché la categoria dei moduli $PSL_2$ è un sottocategoria piena dei moduli $SL_2$ (dove $-I_2$ agisce trivialmente), i risultati si riducono a quelli precedenti.

• I possibili moduli sono $0$e$L(0) \oplus L(2)$.
• Il supergruppo associato a $L(0) \oplus L(2)$ è isomorfo a $H(0 \oplus 2) / \mu_2$.

C. Caso $G_{ev} \simeq GL_2$ (Sezione 5)

Questo è il caso più complesso. La classificazione dipende dalla decomposizione di $\mathfrak{g}_{\bar{1}}$ rispetto all'azione del centro $Z \simeq \mathbb{G}_m$ di $GL_2$. Si definiscono i sottospazi pesati $(\mathfrak{g}_{\bar{1}})_k$. La struttura è determinata dalle parentesi $[(\mathfrak{g}_{\bar{1}})_k, (\mathfrak{g}_{\bar{1}})_{-k}]$.

I casi principali identificati sono:

1. Deformazioni del supergruppo Queer $Q(2)$:
   • Se $k=0$ e $[(\mathfrak{g}_{\bar{1}})_0, (\mathfrak{g}_{\bar{1}})_0] = \mathfrak{gl}_2$, si ottiene una famiglia di supergruppi $Q(2; a, c)$.
   • Questi sono deformazioni di $Q(2)$ (ottenuto per $a=1, c=1/2$). L'isomorfismo tra $Q(2; a, c)$ e $Q(2; a', c')$ dipende da un parametro scalare $\alpha$.
2. Casi con $k \neq 0$ e $[(\mathfrak{g}_{\bar{1}})_k, (\mathfrak{g}_{\bar{1}})_{-k}] = \mathfrak{sl}_2$:
   • Si definiscono le famiglie $S(t)$ e $L(t)$ basate su moduli della forma $L((t+1, t-1)) \oplus N_k$ e $L((t, t)) \oplus N_{-k}$, con parentesi di Lie specifiche.
   • $S(t) \simeq S(t')$ se e solo se $t = \pm t'$.
3. Casi con $[(\mathfrak{g}_{\bar{1}})_k, (\mathfrak{g}_{\bar{1}})_{-k}] = \mathfrak{gl}_2$ (e $p \nmid k$):
   • Si ottiene la famiglia $H(t)$, dove $\mathfrak{g}_{\bar{1}} \simeq L((t, t-1)) \oplus L((1-t, -t))$.
   • Sorprendentemente, tutte le algebre di Lie super $H(t)$ sono isomorfe a $\mathfrak{sl}(2|1)$.
   • $H(t) \simeq H(t')$ se e solo se $t = t'$ o $t + t' = 1$.
   • In particolare, $H(1) \simeq SL(2|1)$.

4. Applicazioni e Conclusioni (Sezione 6)

I risultati ottenuti vengono applicati per descrivere la struttura dei centralizzatori di tori $Cent_G(T_\alpha)$ in un supergruppo quasi-riduttivo $G$.

• Riduttività: Viene dimostrato che se $G$ è un supergruppo quasi-riduttivo e riduttivo, allora il suo sottogruppo di Cartan (il centralizzatore di un toro massimale) è anch'esso riduttivo.
• Struttura dei Centralizzatori: I centralizzatori $G_\alpha$ sono descritti come estensioni di supergruppi riduttivi (classificati nelle sezioni precedenti) per radicali solvabili.
• Ipotesi: L'autore formula l'ipotesi che il centralizzatore di un qualsiasi toro in un supergruppo quasi-riduttivo e riduttivo sia esso stesso un supergruppo riduttivo.

5. Significato

Questo lavoro fornisce una tassonomia completa dei "mattoni fondamentali" (con parte pari piccola) della teoria dei supergruppi algebrici.

• Completezza: Risolve il problema di classificazione per le parti pari $SL_2, PSL_2, GL_2$, identificando nuovi supergruppi (come le deformazioni $Q(2; a, c)$ e le famiglie $S(t), L(t), H(t)$) e le loro relazioni di isomorfismo.
• Struttura Teorica: Collega la teoria dei supergruppi alla teoria delle rappresentazioni dei gruppi riduttivi in caratteristica positiva, evidenziando fenomeni specifici come la dipendenza dalla caratteristica $p=3$ per certi casi ($H(3/1)$) e la non banalità delle estensioni non split.
• Strumento Futuro: Fornisce gli strumenti necessari per analizzare la struttura locale dei supergruppi più generali attraverso lo studio dei loro centralizzatori di tori, un passo cruciale per una teoria strutturale completa analoga a quella dei gruppi riduttivi classici.

In sintesi, Zubkov estende la classificazione dei gruppi di Lie super a casi non banali, rivelando una ricca varietà di strutture che dipendono dalla caratteristica del campo e dalle proprietà di dualità dei moduli, ponendo le basi per lo studio sistematico dei supergruppi quasi-riduttivi.