On the representability of actions of unital algebras

Resumen Técnico: Sobre la Representabilidad de Acciones de Álgebras Unitarias

Planteamiento del Problema
El artículo investiga la representabilidad de las acciones internas en el contexto de álgebras no asociativas unitarias sobre un cuerpo. En el álgebra categórica, una categoría es representable en acciones si el funtor de extensiones divididas (o acciones internas) sobre un objeto $X$ es naturalmente isomorfo al funtor hom $\text{Hom}(-, [X])$, donde $[X]$ es un objeto denominado "actor". Si bien esta propiedad se cumple para los grupos (donde $[X] = \text{Aut}(X)$) y para las álgebras de Lie, se sabe que falla para muchas variedades de álgebras no asociativas, como las álgebras asociativas conmutativas.

Trabajos previos establecieron que, en el marco de las categorías semi-abelianas (que incluyen álgebras no unitarias), la representabilidad en acciones es una propiedad altamente restrictiva, caracterizando esencialmente solo a las álgebras abelianas y de Lie. Los autores abordan la cuestión de si esta restricción persiste al centrar la atención en las álgebras unitarias. Específicamente, examinan las categorías de álgebras unitarias idealmente exactas (que generalmente no son puntuadas, a diferencia de las categorías semi-abelianas) para determinar si la presencia de una unidad multiplicativa restaura la representabilidad en acciones.

Metodología
Los autores emplean una combinación de técnicas de álgebra categórica y álgebra universal:

1. Categorías Idealmente Exactas: Trabajan dentro del marco de las categorías idealmente exactas (introducidas por G. Janelidze), que generalizan las categorías semi-abelianas para incluir contextos no puntuados como la categoría de anillos unitarios ($\text{Ring}$) y anillos conmutativos unitarios ($\text{CRing}$). La representabilidad en acciones en este contexto se define con respecto a la categoría tramo semi-abeliana $(\mathcal{U} \downarrow 0)$.
2. Actores Débiles Externos: Para variedades operádicas y accesibles en acciones de álgebras no asociativas, los autores utilizan la construcción del actor débil externo $E(X)$. Este es un álgebra parcial construida a partir de pares de endomorfismos que satisfacen identidades específicas (las reglas $\lambda/\mu$) derivadas de las ecuaciones definitorias de la variedad.
3. El Mapeo Canónico: Una herramienta central es el homomorfismo canónico de álgebras parciales $\text{Inn}: X \to E(X)$, definido mapeando un elemento $x$ a sus operadores de multiplicación izquierda y derecha $(L_x, R_x)$.
4. Variedades Cerradas por Unidad: El análisis se centra en las variedades cerradas por unidad, donde adjuntar una unidad externa a un álgebra preserva la pertenencia a la variedad. Esto permite a los autores relacionar las propiedades de las álgebras unitarias con la variedad subyacente no unitaria.

Contribuciones y Resultados Clave

• Fallo de Accesibilidad en Categorías Unitarias Generales: El artículo demuestra que, en general, las categorías de álgebras unitarias ni siquiera son accesibles en acciones (una condición más débil que la representabilidad). Específicamente, la Proposición 4.11 prueba que las categorías de álgebras conmutativas unitarias ($\text{Com}_1$) y de álgebras no asociativas unitarias ($\text{Alg}_1$) fallan en ser accesibles en acciones. Esto se muestra construyendo un álgebra conmutativa unitaria específica de dimensión 6 donde las extensiones divididas no admiten morfismos hacia objetos fieles.

• Caracterización de la Unitariedad mediante el Actor Débil Externo: Para una variedad operádica, accesible en acciones y cerrada por unidad $\mathcal{V}$, los autores prueban una equivalencia crucial (Teorema 5.6): Para cualquier álgebra $X$ en $\mathcal{V}$, el mapeo canónico $\text{Inn}: X \to E(X)$ es un isomorfismo si y solo si $X$ es un álgebra unitaria.

  • Si $X$ es unitaria, el núcleo de $\text{Inn}$ (el aniquilador) es trivial, y la existencia de una unidad permite que cada elemento del actor débil externo sea determinado unívocamente por su acción sobre la unidad, asegurando la sobreyectividad.
  • Si $\text{Inn}$ es un isomorfismo, la imagen inversa del par identidad $(\text{id}_X, \text{id}_X)$ proporciona una unidad multiplicativa para $X$.

• Teorema Principal sobre Representabilidad en Acciones: El resultado central (Teorema 5.7) establece que si $\mathcal{V}$ es una variedad operádica, accesible en acciones y cerrada por unidad, entonces la categoría idealmente exacta $\mathcal{V}_1$ de álgebras unitarias en $\mathcal{V}$ es representable en acciones. Además, el actor de cualquier álgebra unitaria $X$ es la propia $X$.

  • Esto implica que, para tales variedades, el funtor de extensiones divididas de un álgebra unitaria $X$ es representable por $X$.
  • Este resultado se aplica a álgebras asociativas unitarias, álgebras asociativas conmutativas unitarias, álgebras alternativas unitarias y álgebras Jacobi-Jordan unitarias (en característica 3).

• Extensión a Álgebras de Poisson: Los autores extienden estos hallazgos a las álgebras de Poisson unitarias ($\text{Pois}_1$) y a las álgebras de Poisson conmutativas unitarias ($\text{CPois}_1$). Mediante el uso de la construcción explícita del actor general estricto universal (USGA) para las categorías de interés de Orzech, prueban (Teoremas 6.7 y 6.8) que estas categorías son representables en acciones, siendo el actor de un álgebra de Poisson unitaria la propia álgebra.

Significado y Afirmaciones
El artículo afirma resolver un contraste significativo entre los contextos no unitario y unitario en el álgebra no asociativa. Mientras que la representabilidad en acciones en el contexto semi-abeliano (no unitario) es rara (limitada esencialmente a las álgebras de Lie), la introducción de una unidad multiplicativa en variedades operádicas, accesibles en acciones y cerradas por unidad restaura esta propiedad universalmente.

Los autores destacan que, para las álgebras unitarias en estas variedades específicas, el "actor" no es un objeto externo complejo (como un álgebra de bimultiplicadores o un álgebra de derivaciones), sino el propio álgebra. Esto simplifica la estructura categórica de las acciones para las álgebras unitarias, sugiriendo que la presencia de una unidad altera fundamentalmente el comportamiento de las extensiones divididas y las acciones internas, haciéndolas representables de una manera directa e intrínseca. El trabajo también proporciona un método concreto para verificar la representabilidad en acciones en nuevas variedades mediante la comprobación de la propiedad de estar cerrada por unidad y la existencia de reglas $\lambda/\mu$.