Complete and cocomplete Lie algebras with injective- and projective-type properties

Resumo Técnico: Álgebras de Lie Completas e Cocompletas com Propriedades do Tipo Injetivo e Projetivo

Enunciado do Problema
O artigo investiga as propriedades estruturais de álgebras de Lie de dimensão finita sobre um corpo de característica zero, buscando análogos aos conceitos de objetos injetivos e projetivos encontrados na categoria de módulos. Na teoria de módulos, objetos injetivos e projetivos são caracterizados pelo cisão de sequências exatas curtas. Os autores abordam se caracterizações semelhantes existem na categoria das álgebras de Lie. Uma complicação fundamental surge porque a categoria das álgebras de Lie não é abeliana; consequentemente, as extensões admitem duas noções distintas de cisão:

1. Cisão semitrivial: A extensão $0 \to A \to B \to C \to 0$ possui uma cisão como soma semidireta $B \cong A \rtimes_\rho C$ para alguma ação $\rho$.
2. Cisão trivial: A extensão possui uma cisão como soma direta $B \cong A \oplus_{\text{Lie}} C$.

As questões centrais são: Sob quais condições sobre $A$ toda extensão por $A$ possui cisão trivial? Sob quais condições sobre $C$ toda extensão de $C$ possui cisão trivial?

Metodologia
Os autores empregam uma combinação de teoria estrutural de álgebras de Lie, álgebra homológica e computação algorítmica.

• Análise Estrutural: O artigo utiliza o teorema de Levi e o teorema de Ado para analisar propriedades de extensão. Distingue entre extensões gerais e extensões centrais (onde o núcleo reside no centro da álgebra total).
• Caracterização Homológica: O estudo utiliza a cohomologia de álgebras de Lie, especificamente o segundo grupo de cohomologia $H^2(C, K)$, para caracterizar propriedades de cisão. Os autores relacionam o desaparecimento dos grupos de cohomologia com a existência de homomorfismos de cisão.
• Propriedades de Levantamento (Lifting): O artigo reformula condições de cisão como propriedades de levantamento para homomorfismos, paralelizando as definições de módulos injetivos e projetivos, mas adaptando-as às restrições específicas de ideais e derivações de álgebras de Lie.
• Implementação Algorítmica: Os autores desenvolvem algoritmos explícitos baseados em constantes de estrutura para verificar completude e cocompletude. Esses algoritmos resolvem sistemas lineares derivados do centro, derivações e do operador de contorno para 2-formas.
• Classificação: Os métodos são aplicados para classificar álgebras de Lie completas e cocompletas até a dimensão 4 sobre corpos reais e complexos.

Principais Contribuições e Resultados

1. Propriedades do Tipo Injetivo e Álgebras de Lie Completas (Teorema 1):
   O artigo estabelece o inverso do clássico teorema de Jacobson. Prova que uma álgebra de Lie $A$ é completa (centro trivial e apenas derivações internas) se, e somente se, toda extensão de qualquer álgebra de Lie $C$ por $A$ possui cisão trivial.

   • Isso identifica a completude como uma propriedade "do tipo injetivo".
   • Os autores fornecem quatro caracterizações equivalentes, incluindo uma propriedade de levantamento de homomorfismo. Crucialmente, demonstram que essa propriedade de levantamento exige que a imagem do mapa de origem seja um somando direto de Lie do alvo, uma condição estritamente mais fraca que a injetividade categórica total (como mostrado no Exemplo 3.5).
   • Um algoritmo (Algoritmo 1) é fornecido para verificar a completude, checando se o centro é trivial e se a dimensão da álgebra de derivações é igual à dimensão da álgebra de Lie.

2. Não Existência de Objetos Projetivos Globais (Teorema 2):
   O artigo prova que nenhuma álgebra de Lie não-trivial possui uma propriedade global "do tipo projetivo". Especificamente, para toda álgebra de Lie não-trivial $C$, existe uma extensão por alguma álgebra de Lie $A$ que não possui cisão trivial. Isso revela uma assimetria estrutural entre os aspectos injetivos e projetivos na categoria das álgebras de Lie.

3. Álgebras de Lie Cocomplete e Extensões Centrais (Teoremas 3 e 4):
   Para recuperar um análogo projetivo, os autores restringem o escopo para extensões centrais.

   • Eles definem uma álgebra de Lie $C$ como cocomplete se toda extensão central de $C$ possui cisão trivial.
   • O Teorema 3 fornece caracterizações equivalentes para a cocompletude, incluindo uma propriedade de levantamento para homomorfismos de $C$ onde o núcleo do mapa alvo é central.
   • A Proposição 4.6 estabelece o critério cohomológico: $C$ é cocompleta se, e somente se, $H^2(C, K) = 0$. Isso implica que todas as álgebras de Lie semissimples são cocompletas.
   • A Proposição 4.8 analisa a estabilidade da cocompletude sob somas diretas, mostrando que uma soma direta é cocompleta se, e somente se, todos os somandos são cocompletos e pelo menos $m-1$ deles são perfeitos.

4. Caso Quase Abeliano (Teorema 4):
   O artigo fornece uma condição espectral necessária e suficiente para que uma álgebra de Lie quase abeliana (uma extensão unidimensional de um ideal abeliano por uma derivação $D$) seja cocompleta. A álgebra é cocompleta se, e somente se, $D$ é um automorfismo e nenhum par de autovalores $\lambda, \mu$ de $D$ satisfaz $\lambda + \mu = 0$.

5. Resultados Computacionais:
   Utilizando os algoritmos desenvolvidos, os autores tabularão todas as álgebras de Lie completas e cocompletas de dimensão $\le 4$ sobre os corpos reais e complexos. Eles observam que, embora as álgebras semissimples sejam tanto completas quanto cocompletas, a classe das álgebras cocompletas é estritamente maior (incluindo, por exemplo, a álgebra de Lie afim). Inversamente, nenhuma álgebra de Lie nilpotente não-abeliana é cocompleta.

Significância
O artigo afirma resolver a questão dos análogos injetivos e projetivos na categoria das álgebras de Lie ao distinguir entre contextos globais e restritos (centrais).

• Esclarece que a completude é a condição estrutural precisa para o comportamento "do tipo injetivo" em relação à cisão trivial de extensões gerais, embora seja estritamente mais fraca que a injetividade categórica.
• Demonstra que um objeto global "do tipo projetivo" não existe, tornando necessária a introdução da cocompletude como um conceito dual restrito a extensões centrais.
• O trabalho une a teoria estrutural de Lie com a álgebra homológica, fornecendo critérios cohomológicos explícitos ($H^2(C, K)=0$) e algoritmos práticos para identificar essas classes.
• A classificação de exemplos de baixa dimensão serve como um conjunto de dados fundamental para estudos posteriores, destacando a interação entre semissimplicidade, nilpotência e a cisão de extensões.