Notes on Leibniz $n$-algebras

Resumen Técnico: Notas sobre las $n$-Álgebras de Leibniz

Planteamiento del Problema
El artículo investiga las propiedades estructurales y homológicas de las $n$-álgebras de Leibniz, las cuales generalizan a las $n$-álgebras de Lie, las álgebras de Leibniz y las álgebras de Nambu. Específicamente, los autores analizan el comportamiento de dos functores fundamentales que actúan entre categorías de álgebras de Leibniz con diferentes aridades: el functor olvidadizo generalizado ($U_n^p$) y el functor de Daletskii-Takhtajan ($D_q^p$). El problema central es determinar si estos functores preservan objetos "perfectos" (álgebras iguales a su propio subálgebra derivada), acciones y módulos cruzados. Además, el artículo busca establecer relaciones entre la homología y las extensiones centrales universales de las $n$-álgebras de Leibniz y sus asociadas $p$-álgebras de Leibniz (donde $p = k(n-1) + 1$).

Metodología
Los autores emplean métodos de la teoría de categorías y construcciones algebraicas explícitas dentro del marco de las álgebras $n$-arias no skew-simétricas.

1. Análisis Funcional: El estudio define y analiza el functor olvidadizo generalizado $U_n^p: n\text{Lb} \to p\text{Lb}$, que asigna a una $n$-álgebra de Leibniz $L$ una $p$-álgebra de Leibniz con el mismo espacio vectorial pero con un corchete $p$-ario iterado. De manera similar, se define el functor de Daletskii-Takhtajan generalizado $D_q^p: q\text{Lb} \to p\text{Lb}$, que mapea una $q$-álgebra de Leibniz a una $p$-álgebra de Leibniz mediante potencias tensoriales ($L^{\otimes \kappa}$).
2. Propiedades de Preservación: Los autores prueban rigurosamente si estos functores preservan la propiedad de ser un objeto perfecto (definido como $L = [L^n]$), así como las estructuras de acciones y módulos cruzados.
3. Construcción de Contraejemplos: Para abordar las limitaciones del functor de Daletskii-Takhtajan, los autores construyen contraejemplos específicos utilizando álgebras de Lie y de Leibniz de dimensión finita para demostrar la falla en la preservación de la perfección.
4. Conexiones Homológicas: El artículo construye morfismos de complejos de cadenas entre la homología de Leibniz de un álgebra de Leibniz $L$ y la $n$-homología de Leibniz de su $U_n(L)$.
5. Extensiones Centrales Universales: Utilizando la construcción de la potencia tensorial no abeliana ($L^*_n$), los autores analizan las extensiones centrales universales de las $n$-álgebras de Leibniz perfectas y las comparan con aquellas en la categoría de las $p$-álgebras de Leibniz.

Contribuciones Clave y Resultados

• Preservación por Functores Olvidadizos: El artículo demuestra que el functor olvidadizo generalizado $U_n^p$ es un functor exacto que preserva y refleja objetos perfectos (Teorema 3.5). En consecuencia, si una $n$-álgebra de Leibniz es perfecta, su imagen bajo $U_n^p$ es una $p$-álgebra de Leibniz perfecta.
• Extensión a Módulos Cruzados: Los autores demuestran que $U_n^p$ se extiende a un functor entre categorías de módulos cruzados ($X_n\text{Lb} \to X_p\text{Lb}$). Prueban que si $\mu: L \to P$ es un módulo cruzado de $n$-álgebras de Leibniz, entonces $U_n^p(\mu)$ es un módulo cruzado de $p$-álgebras de Leibniz (Proposición 4.5). Esto incluye la preservación de acciones (Lema 4.2).
• Falla de la Preservación de Daletskii-Takhtajan: En contraste con el functor olvidadizo, el artículo establece que el functor de Daletskii-Takhtajan $D_n$ (y su generalización $D_q^p$) no preserva objetos perfectos en general. Los autores proporcionan contraejemplos explícitos (Ejemplo 5.1) que involucran una 3-álgebra de Lie perfecta y $n$-álgebras de Leibniz perfectas específicas donde el álgebra de producto tensorial resultante no es perfecta.
• Morfismos Homológicos: Se construye un morfismo de complejos de cadenas $h_*$ entre la homología de un álgebra de Leibniz $L$ y la homología de la $n$-álgebra de Leibniz $U_n(L)$ con coeficientes en una correpresentación trivial. Los autores muestran que este mapa es un isomorfismo en la dimensión 0 y un epimorfismo si $L$ es perfecta (Proposición 6.1).
• Extensiones Centrales Universales: El artículo analiza la relación entre la extensión central universal de una $n$-álgebra de Leibniz perfecta $L$ y su extensión central universal en la categoría de las $p$-álgebras de Leibniz. Se muestra que aplicar $U_n^p$ a la extensión central universal de $L$ produce una extensión central en $p\text{Lb}$, lo que conduce a un homomorfismo suryectivo único $\phi: L^*_p \to L^*_n$ (Sección 7).

Significancia y Reivindicaciones
El artículo afirma establecer propiedades estructurales adicionales de los functores que conectan las categorías de álgebras de Leibniz de diversas aridades. Al probar que el functor olvidadizo preserva la perfección y las estructuras de módulos cruzados, los autores proporcionan una herramienta robusta para transferir resultados de aridad menor (por ejemplo, álgebras de Leibniz) a las $n$-álgebras de Leibniz de mayor aridad. Por el contrario, al demostrar la falla del functor de Daletskii-Takhtajan para preservar la perfección, el artículo delinea los límites de la transferencia homológica mediante potencias tensoriales.

La significancia radica en la aplicación de estas propiedades funcionales a la homología y a las extensiones centrales universales. Los resultados aclaran cómo se comporta la potencia tensorial no abeliana (una herramienta clave para describir extensiones centrales universales) bajo cambios de aridad. Específicamente, el artículo proporciona una descripción concreta de la relación entre las extensiones centrales universales de una $n$-álgebra de Leibniz perfecta en las categorías de $n$-álgebras y de $p$-álgebras, ofreciendo un diagrama conmutativo que vincula sus respectivos grupos de homología y potencias tensoriales. El trabajo sirve para unificar la teoría estructural de las $n$-álgebras de Leibniz con los resultados establecidos en las álgebras de Leibniz y las $n$-álgebras de Lie, resaltando al mismo tiempo los comportamientos distintos que surgen de la naturaleza no skew-simétrica de las estructuras de Leibniz.