Quasi-reductive supergroups with small even parts

Titel: Quasi-reductieve Supergroepen met Kleine Even Delen

Auteur: A. N. Zubkov
Context: Representatietheorie van algebraïsche supergroepen, Lie superalgebra's en Harish-Chandra paren.

---

1. Probleemstelling

Het doel van dit artikel is een volledige classificatie te geven van (affine en algebraïsche) supergroepen $G$ waarvan het grootste even (super)ondergroep $G_{ev}$ isomorf is met een van de volgende klassieke groepen:

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

Deze classificatie wordt gemotiveerd door de studie van centralisatoren van tori in quasi-reductieve supergroepen. Als $G$ een quasi-reductieve supergroep is en $S$ een torus in $G_{ev}$, dan is de centralisator $Cent_G(S)$ ook een quasi-reductieve supergroep. De structuur van deze centralisatoren hangt sterk af van de subgroepen met een semisimple rang van één, die vaak isomorf zijn aan $GL_2$, $SL_2$ of $PSL_2$ (vermenigvuldigd met een torus). Het begrijpen van de supergroepen met deze specifieke "even delen" is dus fundamenteel voor de structurele theorie van quasi-reductieve supergroepen, vooral in positieve karakteristiek.

2. Methodologie

De auteur maakt gebruik van de Harish-Chandra paar-methode. Dit is een equivalentie tussen de categorie van algebraïsche supergroepen en de categorie van Harish-Chandra paren $(G, V)$, waarbij:

• $G$ een algebraïsche groep is (in dit geval $GL_2$, $SL_2$ of $PSL_2$).
• $V$ een $G$-module is (de "oneven" deel $G_{\bar{1}}$).
• Er een symmetrische bilineaire afbeelding $[\cdot, \cdot]: V \times V \to \text{Lie}(G)$ bestaat die $G$-equivariant is en voldoet aan de Jacobi-identiteit-achtige voorwaarde $[[v, v], v] = 0$.

De aanpak bestaat uit de volgende stappen:

1. Reductie: Aangezien de unipote radicaal $Ru(G)$ van een quasi-reductieve supergroep puur oneven is, kan men zonder verlies van generaliteit aannemen dat $G$ reductief is (d.w.z. $Ru(G) = e$).
2. Modulair Analyse: De auteur analyseert de mogelijke structuren van de $G$-module $V = G_{\bar{1}}$ en de bijbehorende Lie-haak. Dit omvat het bestuderen van:
   • De decompositie van $V$ in irreducibele $G$-modules.
   • De interactie tussen verschillende gewichtsklassen (gebaseerd op de actie van het centrum $Z$ van $GL_2$).
   • De beperkingen die de voorwaarde $[[v, v], v] = 0$ oplegt aan de structuurconstantes.
3. Karakteristieke Afhankelijkheid: Het onderzoek onderscheidt expliciet tussen karakteristiek 0 en positieve karakteristiek $p$. In positieve karakteristiek spelen Frobenius-kernen, blok-decomposities van modules en de Loewy-lengte een cruciale rol.

3. Belangrijkste Resultaten

De paper classificeert alle mogelijke Harish-Chandra paren voor de drie gevallen van $G_{ev}$.

A. Het geval $G_{ev} \cong SL_2$

Voor een reductieve supergroep met $G_{ev} \cong SL_2$ is de oneven deel $G_{\bar{1}}$ (als $SL_2$-module) isomorf met één van de volgende structuren (waarbij $L(n)$ de irreducibele module van dimensie $n+1$ aanduidt en $V(n)$ de Weyl-module):

1. $G_{\bar{1}} = 0$: De supergroep is puur even ($G \cong SL_2$).
2. $G_{\bar{1}} \cong L(1)$: Dit leidt tot de supergroep $SpO(2|1)$.
3. $G_{\bar{1}} \cong L(0) \oplus L(2)$: Dit correspondeert met de supergroep $H(0 \oplus 2)$. De Lie-haak op $L(2) \cong \mathfrak{sl}_2$ is de standaard haak, en $L(0)$ werkt als een scalair.
4. $G_{\bar{1}} \cong V(3)$ (alleen in karakteristiek $p=3$): Dit correspondeert met de supergroep $H(3/1)$. De auteur bewijst dat dit de enige niet-triviale structuur is in deze dimensie voor $p=3$.

B. Het geval $G_{ev} \cong PSL_2$

Deze gevallen worden gereduceerd tot de $SL_2$-gevallen waarbij de centrale element $-I_2$ triviaal werkt.

• De enige niet-triviale gevallen zijn afgeleid van $H(0 \oplus 2)$, specifiek $H(0 \oplus 2)/\mu_2$.

C. Het geval $G_{ev} \cong GL_2$

Dit is het meest complexe geval. De structuur hangt af van de actie van het centrum $Z \cong \mathbb{G}_m$. De ruimte $G_{\bar{1}}$ decomposeert in gewichtsklassen $M_k$ onder de actie van $Z$. De niet-triviale paren $(M_k, M_{-k})$ worden geanalyseerd op basis van de beeldruimte van de Lie-haak $[M_k, M_{-k}]$.

De auteur onderscheidt drie hoofdfamilies voor $[M_k, M_{-k}]$:

1. Beeld is $\mathfrak{z}$ (het centrum): Leidt tot triviale structuren of split-super-groepen.
2. Beeld is $\mathfrak{sl}_2$:
   • Voor $k=0$: $G_{\bar{1}} \cong \mathfrak{gl}_2$. Dit leidt tot de supergroepen $Q(2; a, c)$, die deformaties zijn van de "queer" supergroep $Q(2)$. De isomorfieklassen worden bepaald door parameters $a, c$ (tot op schaling).
   • Voor $k \neq 0$ (en $p|k$): Dit leidt tot de supergroepen $S(t)$ en $L(t)$. De auteur bewijst dat $S(t) \cong S(t')$ en $L(t) \cong L(t')$ dan en slechts dan als $t = \pm t'$.
3. Beeld is $\mathfrak{gl}_2$:
   • Dit komt alleen voor als $p \nmid k$.
   • Dit leidt tot de supergroepen $H(t)$. De auteur bewijst dat $H(t) \cong H(t')$ dan en slechts dan als $t = t'$ of $t + t' = 1$.
   • Een opmerkelijk resultaat is dat alle Lie superalgebra's $H(t)$ isomorf zijn met $\mathfrak{sl}(2|1)$ (en dus $H(1)$), hoewel de supergroepen zelf niet noodzakelijk isomorf zijn als algebraïsche supergroepen (behalve onder de bovenstaande voorwaarden).

4. Toepassingen en Conclusies

De resultaten worden toegepast op de beschrijving van centralisatoren van tori ($Cent_G(T_\alpha)$) in quasi-reductieve supergroepen.

• De auteur toont aan dat de Cartan supergroep $T$ (de centralisator van een maximale torus) reductief is als $G$ reductief is.
• De structuur van $Cent_G(T_\alpha)$ wordt beschreven in termen van de eerder geclassificeerde supergroepen ($SL_2$, $GL_2$, etc.) en hun radicaal.
• Er wordt een hypothese geformuleerd (Hypothese 6.6): Als $G$ een quasi-reductieve en reductieve supergroep is, dan is de centralisator van elke torus $S$ in $G_{ev}$ ook een reductieve supergroep.

5. Significatie

• Volledige Classificatie: Het artikel biedt een volledige lijst van quasi-reductieve supergroepen met de kleinste niet-triviale even delen. Dit vult een gat in de literatuur, aangezien eerdere werken zich vaak beperkten tot klassieke supergroepen of specifieke gevallen.
• Structuurtheorie: De resultaten leggen de basis voor het begrijpen van de lokale structuur van willekeurige quasi-reductieve supergroepen via hun centralisatoren.
• Nieuwe Familie van Groepen: De introductie en classificatie van de families $Q(2; a, c)$, $S(t)$, $L(t)$ en $H(t)$ introduceert nieuwe, niet-triviale voorbeelden van algebraïsche supergroepen, met name in positieve karakteristiek.
• Verband met Queer Groepen: De paper toont aan dat de bekende queer supergroep $Q(2)$ slechts een speciaal geval is van een bredere familie van deformaties.

Kortom, dit werk is een fundamentele bijdrage aan de representatietheorie van supergroepen, die de brug slaat tussen de theorie van reductieve groepen en de complexere wereld van supergroepen in positieve karakteristiek.