Non-abelian Extensions of Lie algebras with derivations

1. Enunciato del Problema

Il lavoro affronta due problemi interconnessi nella teoria delle algebre di Lie dotate di derivazioni (denominate coppie LieDer):

1. Classificazione delle Estensioni Non Abeliane: Come classificare le estensioni non abeliane di una coppia LieDer $(g, D)$ tramite un'altra coppia LieDer $(h, K)$. Un'estensione non abeliana è una successione esatta corta di coppie LieDer:
   $$0 \longrightarrow (h, K) \xrightarrow{i} (\hat{g}, \hat{D}) \xrightarrow{p} (g, D) \longrightarrow 0$$
   dove $\hat{D}$ è una derivazione su $\hat{g}$ compatibile con $K$ e $D$.

2. Estendibilità delle Derivazioni: Data un'estensione non abeliana di algebre di Lie $0 \to h \to \hat{g} \to g \to 0$ e una coppia di derivazioni $(K, D) \in \text{Der}(h) \times \text{Der}(g)$, in quali condizioni esiste una derivazione $\hat{D}$ su $\hat{g}$ tale che $\hat{D}|_h = K$ e $D \circ p = p \circ \hat{D}$? Gli autori cercano una classe di ostacolo per questo problema di esistenza.

2. Metodologia

Gli autori impiegano quattro quadri matematici distinti ma unificati per affrontare questi problemi, generalizzando risultati classici dalla coomologia delle algebre di Lie al contesto delle coppie LieDer:

• Coomologia Non Abeliana: Definiscono un secondo gruppo di coomologia non abeliana $H^2_{\text{nab}}(g, D; h, K)$ utilizzando 2-cocicli non abeliani $(\varrho, \omega, \chi)$.
• Algebre di Lie Gradiate Differenziali (DGLA) e Groupoidi di Deligne: Costruiscono una specifica DGLA $L_{g,h}$ i cui elementi di Maurer-Cartan di grado 1 corrispondono ai 2-cocicli non abeliani. Le classi di equivalenza delle estensioni sono identificate con l'insieme delle componenti connesse ($\pi_0$) del gruppoide di Deligne associato.
• Algebre di Lie 2: Utilizzano la categoria omotopica delle algebre di Lie 2 strette con derivazioni strette (coppie Lie2Der). Stabiliscono un isomorfismo tra la coomologia non abeliana e le classi di omotopia degli omomorfismi tra specifiche coppie Lie2Der.
• Nuclei $(g, D)$: Introducono il concetto di nucleo $(g, D)$ (un omomorfismo da $g$ alle derivazioni esterne di $h$ compatibile con $D$ e $K$) per decomporre il problema di classificazione in sottoproblemi di esistenza e parametrizzazione.

3. Contributi e Risultati Chiave

A. Classificazione tramite Coomologia Non Abeliana (Sezione 2)

• Definizione: Gli autori definiscono un 2-cociclo non abeliano come una terna $(\varrho, \omega, \chi)$ che soddisfa specifiche condizioni di compatibilità coinvolgenti le parentesi di Lie e le derivazioni $D$ e $K$.
  • $\varrho: g \to \text{Der}(h)$ (azione)
  • $\omega: \wedge^2 g \to h$ (termine di curvatura/estensione)
  • $\chi: g \to h$ (termine di sollevamento della derivazione)
• Teorema 2.7: Esiste una biiezione tra l'insieme delle classi di equivalenza delle estensioni non abeliane, denotato $\text{Ext}_{\text{nab}}(g, D; h, K)$, e il secondo gruppo di coomologia non abeliana $H^2_{\text{nab}}(g, D; h, K)$.

B. Approccio DGLA e Gruppoide di Deligne (Sezione 3)

• Costruzione: Viene costruita una DGLA $L_{g,h}$ tale che i suoi elementi di Maurer-Cartan di grado 1 corrispondano esattamente all'insieme dei 2-cocicli non abeliani $Z^2_{\text{nab}}(g, D; h, K)$.
• Risultato: L'insieme delle componenti connesse del gruppoide di Deligne associato a questa DGLA è isomorfo a $H^2_{\text{nab}}(g, D; h, K)$. Ciò fornisce una caratterizzazione omotopica delle estensioni.

C. Rappresentazione tramite Algebra di Lie 2 (Sezione 4)

• Rappresentazione: Gli autori costruiscono una specifica algebra di Lie 2 stretta con derivazione, denotata $(h_{\text{Der}}, K_{\text{Der}})$, costruita a partire dalle derivazioni di $h$.
• Rappresentabilità: Dimostrano che il funtore che mappa una coppia LieDer $(g, D)$ nell'insieme delle sue estensioni $\text{Ext}_{\text{nab}}(g, D; h, K)$ è rappresentabile nella categoria omotopica delle coppie Lie2Der. Nello specifico:
  $$\text{Ext}_{\text{nab}}(g, D; h, K) \cong \text{hHom}_{\text{LD}}((g, D), (h_{\text{Der}}, K_{\text{Der}}))$$
  dove $\text{hHom}$ denota le classi di omotopia degli omomorfismi.

D. Nuclei $(g, D)$ e Teoria degli Ostacoli (Sezione 5)

• Definizione di Nucleo: Un nucleo $(g, D)$ è un omomorfismo $k: g \to \text{Out}(h)$ che soddisfa una condizione di compatibilità con $D$ e $K$.
• Decomposizione: La classificazione delle estensioni è suddivisa in:
  1. Esistenza: Quali nuclei sono "integrabili" (cioè, derivano da un'estensione effettiva)?
  2. Parametrizzazione: Per un nucleo integrabile fissato, qual è l'insieme delle estensioni?
• Teorema 5.8: Per un nucleo integrabile fissato $k$, l'insieme delle estensioni è uno spazio affine modellato sul secondo gruppo di coomologia LieDer con coefficienti nel centro di $h$: $H^2_{\text{LieDer}}(g, D; z(h), K)_k$.
• Teorema 5.15 (Ostacolo all'Esistenza): Un nucleo $k$ è integrabile se e solo se una specifica classe di coomologia $ch(k) \in H^3_{\text{LieDer}}(g, D; z(h), K)_k$ si annulla. Questa classe è costruita a partire dal fallimento del nucleo di sollevarsi a un'azione compatibile con la derivazione.

E. Estendibilità delle Derivazioni (Sezione 6)

• Applicazione: Gli autori applicano il quadro precedente al problema di estendere le derivazioni.
• Compatibilità: Una coppia $(K, D)$ è detta compatibile se esiste una mappa lineare $\chi: g \to h$ che soddisfa una specifica equazione derivata dalla proprietà di derivazione.
• Teorema 6.4: Una coppia di derivazioni $(K, D)$ è estendibile a $\hat{g}$ se e solo se:
  1. Sono compatibili.
  2. La classe di ostacolo $W(K, D) \in H^2(g, z(h))$ si annulla.
  • La classe di ostacolo è definita come $W(K, D) = [d^F_\varrho \chi + \delta(\omega)]$, dove $\varrho$ e $\omega$ sono derivati dalla struttura dell'estensione.
• Coerenza: Nel caso di estensioni centrali, questo risultato recupera la nota classe di ostacolo definita nella letteratura precedente (ad esempio, [25]).

4. Significato

• Unificazione: Il lavoro unisce con successo quattro approcci principali alle estensioni non abeliane (coomologia, DGLA, algebre di Lie 2 e nuclei) nel contesto specifico delle algebre di Lie con derivazioni.
• Generalizzazione: Generalizza i risultati classici sulle estensioni non abeliane di algebre di Lie (dove $D=0$) e sulle estensioni centrali di coppie LieDer al caso non abeliano completo.
• Teoria degli Ostacoli: Fornisce una classe di ostacolo concreta e calcolabile ($H^3$ per l'integrabilità dei nuclei e $H^2$ per l'estendibilità delle derivazioni) per problemi che erano precedentemente meno compresi in presenza di derivazioni.
• Insight Categorico: Stabilendo la rappresentabilità nella categoria omotopica delle algebre di Lie 2, il lavoro collega la teoria algebrica delle estensioni con strutture categoriali superiori, offrendo nuovi strumenti per la futura ricerca nella teoria delle deformazioni e nella teoria di Lie superiore.

In sintesi, questo lavoro fornisce una teoria strutturale completa per le estensioni non abeliane di coppie LieDer, offrendo sia strumenti di classificazione sia criteri espliciti di ostacolo per l'estendibilità delle derivazioni.