Non-abelian Extensions of Lie algebras with derivations

1. Formulação do Problema

O artigo aborda dois problemas interligados na teoria de álgebras de Lie equipadas com derivações (denominadas pares LieDer):

1. Classificação de Extensões Não-Abelianas: Como classificar extensões não-abelianas de um par LieDer $(g, D)$ por outro par LieDer $(h, K)$. Uma extensão não-abeliana é uma sequência exata curta de pares LieDer:
   $$0 \longrightarrow (h, K) \xrightarrow{i} (\hat{g}, \hat{D}) \xrightarrow{p} (g, D) \longrightarrow 0$$
   onde $\hat{D}$ é uma derivação em $\hat{g}$ compatível com $K$ e $D$.

2. Extensibilidade de Derivações: Dada uma extensão não-abeliana de álgebras de Lie $0 \to h \to \hat{g} \to g \to 0$ e um par de derivações $(K, D) \in \text{Der}(h) \times \text{Der}(g)$, sob quais condições existe uma derivação $\hat{D}$ em $\hat{g}$ tal que $\hat{D}|_h = K$ e $D \circ p = p \circ \hat{D}$? Os autores buscam uma classe de obstrução para este problema de existência.

2. Metodologia

Os autores empregam quatro estruturas matemáticas distintas, porém unificadas, para abordar esses problemas, generalizando resultados clássicos da cohomologia de álgebras de Lie para o contexto de pares LieDer:

• Cohomologia Não-Abeliana: Eles definem um segundo grupo de cohomologia não-abeliana $H^2_{\text{nab}}(g, D; h, K)$ usando 2-cociclos não-abelianos $(\varrho, \omega, \chi)$.
• Álgebras de Lie Gradadas Diferenciais (DGLA) e Grupos de Deligne: Eles constroem uma DGLA específica $L_{g,h}$ cujos elementos de Maurer-Cartan de grau 1 correspondem aos 2-cociclos não-abelianos. As classes de equivalência de extensões são identificadas com o conjunto de componentes conexas ($\pi_0$) do grupoide de Deligne associado.
• Álgebras de Lie 2: Eles utilizam a categoria de homotopia de álgebras de Lie 2 estritas com derivações estritas (pares Lie2Der). Eles estabelecem um isomorfismo entre a cohomologia não-abeliana e as classes de homotopia de homomorfismos entre pares Lie2Der específicos.
• $(g, D)$-Núcleos: Eles introduzem o conceito de um $(g, D)$-núcleo (um homomorfismo de $g$ para as derivações externas de $h$ compatível com $D$ e $K$) para decompor o problema de classificação em subproblemas de existência e parametrização.

3. Contribuições e Resultados Principais

A. Classificação via Cohomologia Não-Abeliana (Seção 2)

• Definição: Os autores definem um 2-cociclo não-abeliano como uma tripla $(\varrho, \omega, \chi)$ satisfazendo condições específicas de compatibilidade envolvendo os colchetes de Lie e as derivações $D$ e $K$.
  • $\varrho: g \to \text{Der}(h)$ (ação)
  • $\omega: \wedge^2 g \to h$ (termo de curvatura/extensão)
  • $\chi: g \to h$ (termo de levantamento de derivação)
• Teorema 2.7: Existe uma bijeção entre o conjunto de classes de equivalência de extensões não-abelianas, denotado $\text{Ext}_{\text{nab}}(g, D; h, K)$, e o segundo grupo de cohomologia não-abeliana $H^2_{\text{nab}}(g, D; h, K)$.

B. Abordagem via DGLA e Grupoide de Deligne (Seção 3)

• Construção: Uma DGLA $L_{g,h}$ é construída de modo que seus elementos de Maurer-Cartan de grau 1 correspondam exatamente ao conjunto de 2-cociclos não-abelianos $Z^2_{\text{nab}}(g, D; h, K)$.
• Resultado: O conjunto de componentes conexas do grupoide de Deligne associado a esta DGLA é isomorfo a $H^2_{\text{nab}}(g, D; h, K)$. Isso fornece uma caracterização homotópica das extensões.

C. Representação via Álgebra de Lie 2 (Seção 4)

• Representação: Os autores constroem uma álgebra de Lie 2 estrita específica com derivação, denotada $(h_{\text{Der}}, K_{\text{Der}})$, construída a partir das derivações de $h$.
• Representabilidade: Eles provam que o functor que mapeia um par LieDer $(g, D)$ para o conjunto de suas extensões $\text{Ext}_{\text{nab}}(g, D; h, K)$ é representável na categoria de homotopia de pares Lie2Der. Especificamente:
  $$\text{Ext}_{\text{nab}}(g, D; h, K) \cong \text{hHom}_{\text{LD}}((g, D), (h_{\text{Der}}, K_{\text{Der}}))$$
  onde $\text{hHom}$ denota classes de homotopia de homomorfismos.

D. $(g, D)$-Núcleos e Teoria de Obstrução (Seção 5)

• Definição de Núcleo: Um $(g, D)$-núcleo é um homomorfismo $k: g \to \text{Out}(h)$ satisfazendo uma condição de compatibilidade com $D$ e $K$.
• Decomposição: A classificação de extensões é dividida em:
  1. Existência: Quais núcleos são "integráveis" (ou seja, surgem de uma extensão real)?
  2. Parametrização: Para um núcleo integrável fixo, qual é o conjunto de extensões?
• Teorema 5.8: Para um núcleo integrável $k$ fixo, o conjunto de extensões é um espaço afim modelado no segundo grupo de cohomologia LieDer com coeficientes no centro de $h$: $H^2_{\text{LieDer}}(g, D; z(h), K)_k$.
• Teorema 5.15 (Obstrução à Existência): Um núcleo $k$ é integrável se e somente se uma classe de cohomologia específica $ch(k) \in H^3_{\text{LieDer}}(g, D; z(h), K)_k$ se anula. Esta classe é construída a partir da falha do núcleo em levantar-se para uma ação compatível com derivação.

E. Extensibilidade de Derivações (Seção 6)

• Aplicação: Os autores aplicam a estrutura anterior ao problema de estender derivações.
• Compatibilidade: Um par $(K, D)$ é chamado compatível se existir um mapa linear $\chi: g \to h$ satisfazendo uma equação específica derivada da propriedade de derivação.
• Teorema 6.4: Um par de derivações $(K, D)$ é extensível a $\hat{g}$ se e somente se:
  1. Eles são compatíveis.
  2. A classe de obstrução $W(K, D) \in H^2(g, z(h))$ se anula.
  • A classe de obstrução é definida como $W(K, D) = [d^F_\varrho \chi + \delta(\omega)]$, onde $\varrho$ e $\omega$ são derivados da estrutura da extensão.
• Consistência: No caso de extensões centrais, este resultado recupera a classe de obstrução conhecida definida na literatura anterior (por exemplo, [25]).

4. Significado

• Unificação: O artigo unifica com sucesso quatro abordagens principais para extensões não-abelianas (cohomologia, DGLA, álgebras de Lie 2 e núcleos) dentro do contexto específico de álgebras de Lie com derivações.
• Generalização: Ele generaliza resultados clássicos sobre extensões não-abelianas de álgebras de Lie (onde $D=0$) e extensões centrais de pares LieDer para o caso não-abeliano completo.
• Teoria de Obstrução: Ele fornece uma classe de obstrução concreta e computável ($H^3$ para integrabilidade de núcleos e $H^2$ para extensibilidade de derivações) para problemas que eram anteriormente menos compreendidos na presença de derivações.
• Insight Categórico: Ao estabelecer a representabilidade na categoria de homotopia de álgebras de Lie 2, o artigo conecta a teoria algébrica de extensões com estruturas categóricas superiores, oferecendo novas ferramentas para pesquisas futuras em teoria de deformação e teoria de Lie superior.

Em resumo, este trabalho fornece uma teoria estrutural abrangente para extensões não-abelianas de pares LieDer, oferecendo tanto ferramentas de classificação quanto critérios explícitos de obstrução para a extensibilidade de derivações.