A classification of nilpotent compatible Lie algebras

Resumen Técnico: Una Clasificación de las Álgebras de Lie Compatibles Nilpotentes

Planteamiento del Problema
El artículo aborda el problema de la clasificación de las álgebras de Lie compatibles nilpotentes sobre un campo arbitrario de característica distinta de 2. Una álgebra de Lie compatible se define como un espacio vectorial $\mathfrak{g}$ equipado con dos corchetes de Lie, $[-,-]$ y $\{-,-\}$, tales que cualquier combinación lineal $\lambda[-,-] + \mu\{-,-\}$ sigue siendo un corchete de Lie. Esta condición es equivalente a satisfacer una "identidad de Jacobi mixta". Si bien las álgebras de Lie compatibles surgen en diversos contextos, incluyendo la ecuación de Yang-Baxter clásica, sistemas integrables y teoría de deformaciones, no se había establecido una clasificación estructural completa, particularmente para el caso nilpotente, hasta la dimensión 4. Los autores pretenden llenar este vacío extendiendo las técnicas de clasificación existentes a esta variedad algebraica específica.

Metodología
Los autores generalizan el método de Skjelbred-Sund, desarrollado originalmente para clasificar álgebras de Lie nilpotentes, al entorno de las álgebras con dos productos. El núcleo de su enfoque se basa en el siguiente marco teórico:

1. Teoría de Cohomología: Utilizando la teoría de cohomología para álgebras de Lie compatibles introducida en [15], los autores definen extensiones centrales mediante 2-cociclos. Establecen que cualquier álgebra de Lie compatible finita dimensional puede construirse como una secuencia de extensiones centrales partiendo del álgebra de dimensión cero.
2. Extensiones Centrales y Admisibilidad: Una extensión central $\mathfrak{g}_\omega$ de un álgebra de Lie compatible $\mathfrak{g}$ por un espacio vectorial $V$ se construye utilizando un cociclo $\omega \in Z^2(\mathfrak{g}, V)$. Los autores se centran en extensiones centrales "completas" donde el centro de la extensión es exactamente $V$. Introducen el concepto de cociclos "admisibles", los cuales aseguran que la extensión sea completa y no posea "componentes centrales" (sumandos directos de la forma $\mathfrak{i} \oplus Kx$ donde $x$ es central).
3. Criterio de Isomorfismo: El artículo demuestra que dos extensiones centrales completas $\mathfrak{g}_\omega$ y $\mathfrak{g}_\theta$ son isomórficas si y solo si sus cociclos correspondientes pertenecen a la misma órbita bajo la acción del grupo de automorfismos $\text{Aut}(\mathfrak{g})$ y del grupo lineal general $\text{GL}(V)$. Específicamente, reducen el problema de la clasificación a determinar las órbitas de los subespacios en el segundo grupo de cohomología $H^2(\mathfrak{g}, K)$ bajo la acción de $\text{Aut}(\mathfrak{g})$.
4. Clasificación Algorítmica: Se propone un algoritmo inductivo:
   • Partir de la clasificación de las álgebras de Lie compatibles nilpotentes hasta la dimensión $n-1$.
   • Para cada álgebra $\mathfrak{g}$ en la lista, calcular su centro, su grupo de automorfismos y su segundo grupo de cohomología.
   • Identificar cociclos admisibles (aquellos con intersección de anulador trivial con el centro).
   • Calcular las órbitas de la acción de $\text{Aut}(\mathfrak{g})$ sobre los subespacios relevantes de $H^2(\mathfrak{g}, K)$.
   • Construir extensiones para cada órbita y añadir álgebras con componentes centrales (sumas directas con centros de dimensión 1).

Contribuciones Clave

• Extensión de Skjelbred-Sund: El artículo adapta con éxito el método de Skjelbred-Sund a la variedad de las álgebras de Lie compatibles, demostrando los teoremas necesarios respecto a las extensiones centrales y los criterios de isomorfismo para álgebras con dos productos.
• Manejo de la Escuezo-Isomorfía: Los autores definen y distinguen explícitamente entre isomorfismo ($\cong$) y esquezo-isomorfismo ($\cong$), donde los dos corchetes se intercambian. Proporcionan una lista completa de esquezo-isomorfismos entre las álgebras clasificadas, señalando que algunas álgebras son auto-esquezo-isomórficas mientras que otras forman pares.
• Clasificación Explícita: Los autores proporcionan una clasificación completa y explícita de todas las álgebras de Lie compatibles nilpotentes hasta la dimensión 4.

Resultados
La clasificación se presenta para un campo base $K$ de característica $\neq 2$. Los resultados se resumen de la siguiente manera:

• Dimensiones 1 y 2: Solo hay una clase de isomorfismo en cada dimensión, ambas siendo abelianas.
• Dimensión 3:
  • Hay 3 clases de isomorfismo y 1 familia de un parámetro.
  • Las clases incluyen el álgebra abeliana, dos álgebras donde solo un corchete es no trivial (isomorfas al álgebra de Heisenberg en un corchete y abelianas en el otro), y una familia donde ambos corchetes son no triviales y proporcionales.
• Dimensión 4:
  • Hay 12 clases de isomorfismo, 6 familias de un parámetro y 1 familia de dos parámetros.
  • La clasificación incluye álgebras con componentes centrales (sumas directas de álgebras de menor dimensión) y extensiones no triviales.
  • Las clases de isomorfismo dependen de las propiedades del campo. Específicamente, para las familias que involucran parámetros $\beta$, las álgebras $NCL_{4,9}^\beta$ y $NCL_{4,14}^\beta$ son isomórficas si y solo si la razón de sus parámetros tiene una raíz cúbica en $K$.
  • Si el campo base es cúbicamente cerrado (cada elemento tiene una raíz cúbica), el número de clases de isomorfismo distintas se reduce: las familias de un parámetro colapsan en clases individuales, y la familia de dos parámetros se reduce a una familia de un parámetro.

El artículo proporciona una tabla exhaustiva (Sección 4.5) que enumera todas las álgebras hasta la dimensión 4, sus relaciones definitorias y la dimensión de sus centros. La Sección 4.6 detalla las relaciones de esquezo-isomorfía, mostrando que muchas álgebras de la lista son esquezo-isomórficas a otras en la lista (por ejemplo, $NCL_{3,2} \cong NCL_{3,3}$), mientras que algunas son auto-esquezo-isomórficas.

Significado
El artículo reclama su importancia al proporcionar la primera clasificación completa de las álgebras de Lie compatibles nilpotentes en dimensiones bajas. Este trabajo sirve como un paso fundacional para el análisis estructural posterior de estas álgebras, las cuales son relevantes en la física matemática (por ejemplo, estructuras bi-hamiltonianas y sistemas integrables). Al establecer la maquinaria cohomológica y el algoritmo de clasificación, los autores permiten futuras extensiones a dimensiones superiores y otras variedades de estructuras algebraicas compatibles. Los resultados también aclaran la relación entre los dos corchetes de Lie, demostrando que la condición de compatibilidad impone restricciones estructurales específicas que distinguen a estas álgebras de simples pares de álgebras de Lie.