Factorizations, classifying complements problem and deformation maps for Lie-Yamaguti algebras

Resumen Técnico: Factorizaciones, Problema de Clasificación de Complementos y Mapas de Deformación para Álgebras de Lie-Yamaguti

1. Planteamiento del Problema y Contexto
Las álgebras de Lie-Yamaguti son estructuras algebraicas no asociativas que generalizan tanto a las álgebras de Lie como a los sistemas triples de Lie, caracterizadas por una operación binaria y una operación ternaria. Este artículo aborda tres problemas interconectados dentro de este marco:

• El Problema de Factorización: Describir y clasificar las álgebras de Lie-Yamaguti $E$ que se descomponen en dos subálgebras $g$ y $h$ (es decir, $E = g + h$ y $g \cap h = \{0\}$).
• El Problema de Clasificación de Complementos: Dada una inclusión $g \subset E$, identificar y clasificar todas las subálgebras $h$ que complementan a $g$ en $E$.
• Mapas de Deformación: Investigar aplicaciones lineales que relacionan estas estructuras, las cuales unifican diversos operadores como homomorfismos, derivaciones, homomorfismos cruzados y operadores de Rota-Baxter.

El artículo señala que, aunque estos problemas están bien estudiados para las álgebras de Lie (a menudo mediante productos bicruzados y mapas de deformación), la presencia de la operación ternaria en las álgebras de Lie-Yamaguti introduce complejidades específicas que requieren supuestos "fuertes" para establecer correspondencias análogas.

2. Metodología
El autor emplea un enfoque estructural fundamentado en la teoría de pares acoplados y productos bicruzados:

• Pares Acoplados y Productos Bicruzados: El artículo utiliza el concepto de par acoplado de álgebras de Lie-Yamaguti, que involucra dos álgebras y acciones mutuas que satisfacen condiciones de compatibilidad específicas. El producto bicruzado asociado $g \bowtie h$ se construye para servir como modelo de las álgebras factorizadas.
• Caracterización mediante Gráficos: Una herramienta metodológica central es el análisis del gráfico de una aplicación lineal $r: h \to g$. El artículo establece que $r$ es un mapa de deformación si y solo si su gráfico es una subálgebra de Lie-Yamaguti del producto bicruzado.
• Marcos Cohomológicos y de Álgebras $L_\infty$: Para estudiar las deformaciones, el autor construye un complejo de cocadenas y un álgebra $L_\infty$. Esta última se deriva de una estructura de "datos-V" que involucra el álgebra de Lie graduada de aplicaciones multilineales sobre el producto bicruzado. Esto permite caracterizar los mapas de deformación como elementos de Maurer-Cartan.

3. Contribuciones y Resultados Clave

• Factorización y Factorización Fuerte:
  El artículo distingue entre la factorización general y la factorización fuerte. Se dice que una álgebra de Lie-Yamaguti $E$ se factoriza fuertemente a través de $g$ y $h$ si, además de $E = g+h$ y $g \cap h = \{0\}$, las operaciones ternarias satisfacen $Jg, h, hK \subset g$ y $Jh, g, gK \subset h$.

  • Teorema 3.7: Una álgebra de Lie-Yamaguti se factoriza fuertemente a través de $g$ y $h$ si y solo si es isomorfa al producto bicruzado $g \bowtie h$ asociado a un par acoplado. El artículo señala que, sin la condición "fuerte", esta correspondencia no necesariamente se cumple debido a la operación ternaria.

• Mapas de Deformación y Unificación:
  El autor define un mapa de deformación $r: h \to g$ dentro de un par acoplado.

  • Unificación: Se demuestra que la definición generaliza homomorfismos, derivaciones, homomorfismos cruzados y operadores de Rota-Baxter relativos (de peso 0 y 1) sobre álgebras de Lie-Yamaguti.
  • Estructuras Inducidas: Un mapa de deformación $r$ induce una nueva estructura de álgebra de Lie-Yamaguti en el espacio vectorial $h$ (denotada $h_r$) y una representación de $h_r$ sobre $g$.
  • Propiedad del Gráfico: Una aplicación lineal es un mapa de deformación si y solo si su gráfico es una subálgebra de Lie-Yamaguti del producto bicruzado.

• Clasificación de Complementos:
  Abordando el problema de clasificación de complementos para un complemento fuerte $g$-complemento $h$ en $E$:

  • Teorema 4.9: Cualquier otro complemento $g$ en $E$ surge como el gráfico de un mapa de deformación $r: h \to g$ en el par acoplado canónico asociado con $(g, h)$.
  • Clasificación: El conjunto de clases de isomorfismo de complementos $g$ en $E$ está en biyección con el conjunto de clases de equivalencia de mapas de deformación, denotado $DM(g, h) / \sim$. Esto define un "índice de factorización" $[E:g]_f$.

• Cohomología y Álgebras $L_\infty$:

  • Cohomología: El artículo define la cohomología de un mapa de deformación $r$, la cual unifica las cohomologías de los diversos operadores mencionados anteriormente. Esto se construye utilizando el álgebra de Lie-Yamaguti inducida $h_r$ y su representación sobre $g$.
  • Caracterización de Maurer-Cartan: El Teorema 5.6 establece que los mapas de deformación son precisamente los elementos de Maurer-Cartan de un álgebra $L_\infty$ específica construida a partir del par acoplado.
  • Álgebra Rectora: Para un mapa de deformación $r$ dado, se construye un nuevo álgebra $L_\infty$ (la "álgebra rectora") torciendo la estructura original mediante $r$. El Teorema 5.7 establece que las deformaciones lineales de $r$ están controladas por los elementos de Maurer-Cartan de esta álgebra rectora.

• Sistemas Triples de Lie:
  El artículo extiende estos resultados a los sistemas triples de Lie (donde el corchete binario es trivial), definiendo pares acoplados, productos bicruzados y mapas de deformación específicamente para esta subclase.

4. Significado y Afirmaciones
El artículo afirma proporcionar un marco unificado para comprender la factorización y la clasificación de complementos en las álgebras de Lie-Yamaguti, reflejando resultados conocidos para las álgebras de Lie pero adaptados a las complejidades de la operación ternaria.

• Demuestra que el producto bicruzado es el modelo estructural correcto para la factorización fuerte.
• Introduce los mapas de deformación como un concepto unificador que abarca diversos operadores algebraicos, permitiendo así que una única teoría cohomológica describa la teoría de deformaciones de estos diversos operadores.
• Proporciona una caracterización de Maurer-Cartan para estos mapas, vinculando la definición algebraica de los mapas de deformación con el lenguaje geométrico y homotópico de las álgebras $L_\infty$.
• La construcción del álgebra rectora $L_\infty$ ofrece un mecanismo para controlar y clasificar las deformaciones lineales de estos operadores, generalizando resultados existentes sobre operadores de Rota-Baxter y derivaciones.

El trabajo se presenta como un desarrollo teórico dentro del álgebra no asociativa, con el objetivo de extender la teoría estructural de las álgebras de Lie al contexto más amplio de las álgebras de Lie-Yamaguti sin inventar nuevas aplicaciones o propuestas experimentales.