Non-abelian Extensions of Lie algebras with derivations

1. Probleemstelling

Het artikel behandelt twee onderling verbonden problemen in de theorie van Lie-algebra's uitgerust met derivaties (genaamd LieDer-paren):

1. Classificatie van niet-abeliaanse extensies: Hoe classificeert men niet-abeliaanse extensies van een LieDer-paar $(g, D)$ door een ander LieDer-paar $(h, K)$? Een niet-abeliaanse extensie is een korte exacte rij van LieDer-paren:
   $$0 \longrightarrow (h, K) \xrightarrow{i} (\hat{g}, \hat{D}) \xrightarrow{p} (g, D) \longrightarrow 0$$
   waarbij $\hat{D}$ een derivatie op $\hat{g}$ is die compatibel is met $K$ en $D$.

2. Uitbreidbaarheid van derivaties: Gegeven een niet-abeliaanse extensie van Lie-algebra's $0 \to h \to \hat{g} \to g \to 0$ en een paar derivaties $(K, D) \in \text{Der}(h) \times \text{Der}(g)$, onder welke voorwaarden bestaat er dan een derivatie $\hat{D}$ op $\hat{g}$ zodat $\hat{D}|_h = K$ en $D \circ p = p \circ \hat{D}$? De auteurs zoeken een obstructieklass voor dit bestaansprobleem.

2. Methodologie

De auteurs maken gebruik van vier distincte maar verenigde wiskundige kaders om deze problemen aan te pakken, waarbij ze klassieke resultaten uit de cohomologie van Lie-algebra's generaliseren naar de context van LieDer-paren:

• Niet-abeliaanse cohomologie: Zij definiëren een tweede niet-abeliaanse cohomologiegroep $H^2_{\text{nab}}(g, D; h, K)$ met behulp van niet-abeliaanse 2-cocycli $(\varrho, \omega, \chi)$.
• Differentiaal-gegradeerde Lie-algebra's (DGLA) en Deligne-grooïden: Zij construeren een specifieke DGLA $L_{g,h}$ waarvan de Maurer-Cartan-elementen van graad 1 corresponderen met niet-abeliaanse 2-cocycli. De equivalentieklassen van extensies worden geïdentificeerd met de verzameling van samenhangende componenten ($\pi_0$) van de bijbehorende Deligne-grooïde.
• Lie 2-algebra's: Zij maken gebruik van de homotopie-categorie van strikte Lie 2-algebra's met strikte derivaties (Lie2Der-paren). Zij stellen een isomorfisme vast tussen de niet-abeliaanse cohomologie en de homotopieklassen van homomorfismen tussen specifieke Lie2Der-paren.
• $(g, D)$-kernen: Zij introduceren het concept van een $(g, D)$-kern (een homomorfisme van $g$ naar de buitenste derivaties van $h$ dat compatibel is met $D$ en $K$) om het classificatieprobleem op te splitsen in subproblemen van bestaan en parametrisatie.

3. Belangrijkste bijdragen en resultaten

A. Classificatie via niet-abeliaanse cohomologie (Sectie 2)

• Definitie: De auteurs definiëren een niet-abeliaanse 2-cocycle als een drietal $(\varrho, \omega, \chi)$ dat voldoet aan specifieke compatibiliteitsvoorwaarden die de Lie-haakjes en de derivaties $D$ en $K$ betrekken.
  • $\varrho: g \to \text{Der}(h)$ (actie)
  • $\omega: \wedge^2 g \to h$ (kromming/extensieterm)
  • $\chi: g \to h$ (term voor het liften van derivaties)
• Stelling 2.7: Er bestaat een bijectie tussen de verzameling van equivalentieklassen van niet-abeliaanse extensies, aangeduid als $\text{Ext}_{\text{nab}}(g, D; h, K)$, en de tweede niet-abeliaanse cohomologiegroep $H^2_{\text{nab}}(g, D; h, K)$.

B. DGLA- en Deligne-grooïde-aanpak (Sectie 3)

• Constructie: Een DGLA $L_{g,h}$ wordt geconstrueerd zodat zijn Maurer-Cartan-elementen van graad 1 exact corresponderen met de verzameling van niet-abeliaanse 2-cocycli $Z^2_{\text{nab}}(g, D; h, K)$.
• Resultaat: De verzameling van samenhangende componenten van de Deligne-grooïde die geassocieerd is met deze DGLA is isomorf met $H^2_{\text{nab}}(g, D; h, K)$. Dit biedt een homotopische karakterisering van de extensies.

C. Representatie via Lie 2-algebra (Sectie 4)

• Representatie: De auteurs construeren een specifieke strikte Lie 2-algebra met derivatie, aangeduid als $(h_{\text{Der}}, K_{\text{Der}})$, opgebouwd uit de derivaties van $h$.
• Representeerbaarheid: Zij bewijzen dat de functor die een LieDer-paar $(g, D)$ afbeeldt op de verzameling van zijn extensies $\text{Ext}_{\text{nab}}(g, D; h, K)$ representabel is in de homotopie-categorie van Lie2Der-paren. Specifiek:
  $$\text{Ext}_{\text{nab}}(g, D; h, K) \cong \text{hHom}_{\text{LD}}((g, D), (h_{\text{Der}}, K_{\text{Der}}))$$
  waarbij $\text{hHom}$ homotopieklassen van homomorfismen aanduidt.

D. $(g, D)$-kernen en obstructietheorie (Sectie 5)

• Definitie van kern: Een $(g, D)$-kern is een homomorfisme $k: g \to \text{Out}(h)$ dat voldoet aan een compatibiliteitsvoorwaarde met $D$ en $K$.
• Decompositie: De classificatie van extensies wordt opgesplitst in:
  1. Bestaan: Welke kernen zijn "integreerbaar" (d.w.z. ontstaan ze uit een daadwerkelijke extensie)?
  2. Parametrisatie: Voor een vaste integreerbare kern, wat is de verzameling van extensies?
• Stelling 5.8: Voor een vaste integreerbare kern $k$ is de verzameling van extensies een affiene ruimte gemodelleerd op de tweede LieDer-cohomologiegroep met coëfficiënten in het centrum van $h$: $H^2_{\text{LieDer}}(g, D; z(h), K)_k$.
• Stelling 5.15 (Obstructie voor bestaan): Een kern $k$ is integreerbaar dan en slechts dan als een specifieke cohomologieklass $ch(k) \in H^3_{\text{LieDer}}(g, D; z(h), K)_k$ verdwijnt. Deze klasse wordt geconstrueerd uit het falen van de kern om te liften naar een actie die compatibel is met derivaties.

E. Uitbreidbaarheid van derivaties (Sectie 6)

• Toepassing: De auteurs passen het vorige kader toe op het probleem van het uitbreiden van derivaties.
• Compatibiliteit: Een paar $(K, D)$ wordt compatibel genoemd als er een lineaire afbeelding $\chi: g \to h$ bestaat die voldoet aan een specifieke vergelijking die is afgeleid uit de eigenschap van derivaties.
• Stelling 6.4: Een paar derivaties $(K, D)$ is uitbreidbaar naar $\hat{g}$ dan en slechts dan als:
  1. Zij compatibel zijn.
  2. De obstructieklass $W(K, D) \in H^2(g, z(h))$ verdwijnt.
  • De obstructieklass wordt gedefinieerd als $W(K, D) = [d^F_\varrho \chi + \delta(\omega)]$, waarbij $\varrho$ en $\omega$ zijn afgeleid uit de extensiestructuur.
• Consistentie: In het geval van centrale extensies herstelt dit resultaat de bekende obstructieklass die is gedefinieerd in eerdere literatuur (bijv. [25]).

4. Betekenis

• Unificatie: Het artikel verenigt succesvol vier belangrijke benaderingen van niet-abeliaanse extensies (cohomologie, DGLA, Lie 2-algebra's en kernen) binnen de specifieke context van Lie-algebra's met derivaties.
• Generalisatie: Het generaliseert klassieke resultaten over niet-abeliaanse extensies van Lie-algebra's (waarbij $D=0$) en centrale extensies van LieDer-paren naar het volledige niet-abeliaanse geval.
• Obstructietheorie: Het biedt een concrete, berekenbare obstructieklass ($H^3$ voor kern-integreerbaarheid en $H^2$ voor uitbreidbaarheid van derivaties) voor problemen die eerder minder goed werden begrepen in aanwezigheid van derivaties.
• Categorisch inzicht: Door representabiliteit vast te stellen in de homotopie-categorie van Lie 2-algebra's, verbindt het artikel de algebraïsche theorie van extensies met hogere categorische structuren, en biedt het nieuwe hulpmiddelen voor toekomstig onderzoek in vervormingstheorie en hogere Lie-theorie.

Kortom, dit werk biedt een uitgebreide structurele theorie voor niet-abeliaanse extensies van LieDer-paren, en biedt zowel classificatietools als expliciete obstructiecriteria voor de uitbreidbaarheid van derivaties.