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

Resumen Técnico: Álgebras de Lie Completas y Cocompletas con Propiedades de Tipo Inyectivo y Proyectivo

Planteamiento del Problema
El artículo investiga las propiedades estructurales de las álgebras de Lie de dimensión finita sobre un cuerpo de característica cero, buscando específicamente analogías de los conceptos de objetos inyectivos y proyectivos presentes en la categoría de módulos. En la teoría de módulos, los objetos inyectivos y proyectivos se caracterizan por la división de las secuencias exactas cortas. Los autores abordan si existen caracterizaciones similares en la categoría de las álgebras de Lie. Una complicación fundamental surge porque la categoría de las álgebras de Lie no es abeliana; por consiguiente, las extensiones admiten dos nociones distintas de división:

1. División semitrivial: La extensión $0 \to A \to B \to C \to 0$ se divide como una suma semidirecta $B \cong A \rtimes_\rho C$ para alguna acción $\rho$.
2. División trivial: La extensión se divide como una suma directa $B \cong A \oplus_{\text{Lie}} C$.

Las cuestiones centrales son: ¿Bajo qué condiciones sobre $A$ toda extensión por $A$ se divide trivialmente? ¿Bajo qué condiciones sobre $C$ toda extensión de $C$ se divide trivialmente?

Metodología
Los autores emplean una combinación de teoría estructural de álgebras de Lie, álgebra homológica y computación algorítmica.

• Análisis Estructural: El artículo utiliza el teorema de Levi y el teorema de Ado para analizar las propiedades de extensión. Distingue entre extensiones generales y extensiones centrales (donde el núcleo reside en el centro del álgebra total).
• Caracterización Homológica: El estudio aprovecha la cohomología de álgebras de Lie, específicamente el segundo grupo de cohomología $H^2(C, K)$, para caracterizar las propiedades de división. Los autores relacionan la anulación de los grupos de cohomología con la existencia de homomorfismos de división.
• Propiedades de Levantamiento: El artículo reformula las condiciones de división como propiedades de levantamiento para homomorfismos, paralelamente a las definiciones de módulos inyectivos y proyectivos, pero adaptándolas a las restricciones específicas de los ideales de álgebras de Lie y las derivaciones.
• Implementación Algorítmica: Los autores desarrollan algoritmos explícitos basados en constantes de estructura para verificar la completitud y la cocompletitud. Estos algoritmos resuelven sistemas lineales derivados de la definición del centro, las derivaciones y el operador de cobordeza para 2-formas.
• Clasificación: Los métodos se aplican para clasificar álgebras de Lie completas y cocompletas hasta dimensión 4 sobre los cuerpos reales y complejos.

Contribuciones Clave y Resultados

1. Propiedades de Tipo Inyectivo y Álgebras de Lie Completas (Teorema 1):
   El artículo establece el recíproco del teorema clásico de Jacobson. Demuestra que un álgebra de Lie $A$ es completa (centro trivial y solo derivaciones internas) si y solo si toda extensión de cualquier álgebra de Lie $C$ por $A$ se divide trivialmente.

   • Esto identifica la completitud como una propiedad de "tipo inyectivo".
   • Los autores proporcionan cuatro caracterizaciones equivalentes, incluyendo una propiedad de levantamiento de homomorfismos. Crucialmente, demuestran que esta propiedad de levantamiento requiere que la imagen del mapa fuente sea un sumando directo de Lie del objetivo, una condición estrictamente más débil que la inyectividad categórica total (como se muestra en el Ejemplo 3.5).
   • Se proporciona un algoritmo (Algoritmo 1) para verificar la completitud comprobando si el centro es trivial y si la dimensión del álgebra de derivaciones es igual a la dimensión del álgebra de Lie.

2. No Existencia de Objetos Proyectivos Globales (Teorema 2):
   El artículo demuestra que ningún álgebra de Lie no trivial posee una propiedad global de "tipo proyectivo". Específicamente, para cada álgebra de Lie $C$ no trivial, existe una extensión por algún álgebra de Lie $A$ que no se divide trivialmente. Esto revela una asimetría estructural entre los aspectos inyectivos y proyectivos en la categoría de las álgebras de Lie.

3. Álgebras de Lie Cocomplete y Extensiones Centrales (Teorema 3 y 4):
   Para recuperar un análogo proyectivo, los autores restringen el alcance a las extensiones centrales.

   • Definen un álgebra de Lie $C$ como cocomplete si toda extensión central de $C$ se divide trivialmente.
   • El Teorema 3 proporciona caracterizaciones equivalentes para la cocompletitud, incluyendo una propiedad de levantamiento para homomorfismos desde $C$ donde el núcleo del mapa objetivo es central.
   • La Proposición 4.6 establece el criterio cohomológico: $C$ es cocompleta si y solo si $H^2(C, K) = 0$. Esto implica que todas las álgebras de Lie semisimples son cocompletas.
   • La Proposición 4.8 analiza la estabilidad de la cocompletitud bajo sumas directas, mostrando que una suma directa es cocompleta si y solo si todos los sumandos son cocompletos y al menos $m-1$ de ellos son perfectos.

4. Caso Casi Abeliano (Teorema 4):
   El artículo proporciona una condición espectral necesaria y suficiente para que un álgebra de Lie casi abeliana (una extensión de dimensión 1 de un ideal abeliano por una derivación $D$) sea cocompleta. El álgebra es cocompleta si y solo si $D$ es un automorfismo y ningún par de autovalores $\lambda, \mu$ de $D$ satisface $\lambda + \mu = 0$.

5. Resultados Computacionales:
   Utilizando los algoritmos desarrollados, los autores tabulan todas las álgebras de Lie completas y cocompletas de dimensión $\le 4$ sobre los cuerpos reales y complejos. Observan que, mientras que las álgebras semisimples son tanto completas como cocompletas, la clase de las álgebras cocompletas es estrictamente mayor (por ejemplo, incluye el álgebra de Lie afín). Por el contrario, ningún álgebra de Lie nilpotente no abeliana es cocompleta.

Significancia
El artículo afirma resolver la cuestión de los análogos inyectivos y proyectivos en la categoría de las álgebras de Lie mediante la distinción entre contextos globales y restringidos (centrales).

• Clarifica que la completitud es la condición estructural precisa para el comportamiento de "tipo inyectivo" respecto a la división trivial de extensiones generales, aunque es estrictamente más débil que la inyectividad categórica.
• Demuestra que un objeto de "tipo proyectivo" global no existe, lo que requiere la introducción de la cocompletitud como concepto dual restringido a extensiones centrales.
• El trabajo tiende un puente entre la teoría estructural de Lie y el álgebra homológica, proporcionando criterios cohomológicos explícitos ($H^2(C, K)=0$) y algoritmos prácticos para identificar estas clases.
• La clasificación de ejemplos de baja dimensión sirve como un conjunto de datos fundacional para estudios posteriores, resaltando la interacción entre semisimplicidad, nilpotencia y la división de extensiones.