Globalization of Partial Group Actions on Not Necessarily Associative Algebras and Covariant Representations

A continuación presento un resumen técnico detallado del artículo "Globalization of Partial Group Actions on Not Necessarily Associative Algebras and Covariant Representations", escrito por Mikhailo Dokuchaev, Emmanuel Jerez y José L. Vilca-Rodríguez.

1. Planteamiento del Problema

El trabajo aborda la generalización de la teoría de acciones parciales de grupos desde el contexto clásico de álgebras asociativas unitarias hacia el ámbito más amplio de álgebras no asociativas que pertenecen a una variedad arbitraria $\mathcal{V}(I)$ (definida por un conjunto de identidades $I$).

Los problemas centrales que el artículo intenta resolver son:

• El problema de la globalización: Dada una acción parcial de un grupo $G$ sobre un álgebra $A \in \mathcal{V}(I)$, ¿es posible construir un álgebra global $B \in \mathcal{V}(I)$ y una acción global de $G$ sobre $B$ tal que la acción original sea la restricción de esta?
• Representaciones covariantes: ¿Cómo se comportan las representaciones covariantes (pares de representaciones del grupo y módulos sobre el álgebra que satisfacen ciertas condiciones de compatibilidad) bajo el proceso de globalización?
• Estructuras no asociativas: ¿Se puede extender la construcción conocida como "$\Lambda$-construcción" (usada previamente para módulos y álgebras asociativas) a variedades de álgebras no asociativas (como álgebras de Lie, Jordan, alternativas, etc.) preservando las identidades que definen la variedad?

2. Metodología

Los autores emplean una metodología basada en la teoría de categorías y la construcción de álgebras libres en variedades, utilizando la siguiente estrategia:

• La $\Lambda$-construcción: Se basa en la construcción original presentada en [31] para módulos. Dada una acción parcial $\alpha$ sobre un módulo $M$, se define el módulo $\Lambda(M)$ como el cociente de $K G \otimes M$ por un submódulo generado por relaciones de la forma $g \otimes \alpha_h(m) - gh \otimes m$.
• Extensión a Variedades $\mathcal{V}(I)$:
  • Para acciones parciales ideales (donde las imágenes son ideales bilateros), demuestran que la estructura de álgebra en $\Lambda(A)$ se define naturalmente y que, bajo ciertas condiciones en las identidades de la variedad, $\Lambda(A)$ permanece dentro de $\mathcal{V}(I)$.
  • Para acciones parciales generalizadas (donde las imágenes son subálgebras, no necesariamente ideales), utilizan el álgebra libre $F_I(\Lambda(A))$ generada por el módulo $\Lambda(A)$ en la variedad $\mathcal{V}(I)$, y luego cuotientan por un ideal específico para forzar la compatibilidad con la multiplicación original.
• Análisis Categórico: Estudian el comportamiento funtorial de estas construcciones, definiendo categorías de representaciones covariantes parciales y globales, y demostrando la existencia de pares adjuntos.
• Productos Semidirectos: Analizan la interacción entre la globalización y los productos semidirectos de álgebras de Lie.

3. Contribuciones Clave y Resultados

A. Globalización de Acciones Parciales en Variedades $\mathcal{V}(I)$

• Caso de Representaciones Ideales: Si $\pi: G \to \text{End}_0(A)$ es una representación parcial ideal (las imágenes son ideales), los autores construyen un álgebra $\Lambda(A) \in \mathcal{V}(I)$ que posee una acción global de $G$.
  • Teorema 2.6: Bajo la hipótesis de que las identidades de la variedad $I$ son tales que cada monomio contiene al menos una variable específica (cumplido por álgebras asociativas, de Lie, Jordan, etc.), $(\Lambda(A), \iota)$ es una globalización universal de la acción parcial inducida. Además, $\Lambda(A)$ hereda la estructura de la variedad.
• Caso de Acciones Generalizadas: Para acciones donde las imágenes son subálgebras (no ideales), definen $\Omega(A) = F_I(\Lambda(A))/J$, donde $J$ es el ideal generado por las relaciones que fuerzan la compatibilidad con la multiplicación original.
  • Teorema 2.14: El par $(\Omega(A), \nu)$ constituye una acción global universal para cualquier acción parcial generalizada en $\mathcal{V}(I)$. Si la acción es globalizable, esta construcción proporciona una globalización.

B. Representaciones Covariantes y Dilataciones

• Definición de Representaciones Covariantes Parciales: Introducen la noción de par $(\pi, M)$ donde $M$ es un módulo sobre el álgebra $A$ y $\pi$ es una representación parcial del grupo, satisfaciendo condiciones de compatibilidad con la acción del grupo sobre el álgebra.
• El Functor $\Lambda$: Demuestran que la construcción $\Lambda$ eleva una representación covariante parcial $(\pi, M)$ a una representación covariante global $(\Lambda(\pi), \Lambda(M))$ sobre el álgebra globalizada $\Lambda(A)$.
• Adjunción: Definen una categoría de "representaciones covariantes dilatacidas" (Dilations) y prueban el Teorema 3.9, estableciendo que el functor $\Lambda$ es adjunto izquierdo de un functor de restricción $F$ desde las representaciones dilatacidas hacia las representaciones covariantes parciales. Esto caracteriza universalmente el proceso de globalización a nivel de representaciones.

C. Productos Semidirectos de Álgebras de Lie

• Teorema 4.2: El resultado más significativo en el contexto de álgebras de Lie es que la globalización conmuta con los productos semidirectos. Si $L$ actúa por derivaciones sobre $M$ y se tienen representaciones parciales compatibles, entonces:
  $$\Lambda(L \ltimes M) \cong \Lambda(L) \ltimes \Lambda(M)$$
  Esto demuestra que la estructura de producto semidirecto se preserva bajo la globalización, y las acciones grupales inducidas son isomorfas.

4. Significado e Impacto

Este trabajo es fundamental por varias razones:

1. Generalización Unificada: Unifica la teoría de acciones parciales más allá del ámbito asociativo, abarcando estructuras algebraicas no asociativas cruciales en matemáticas y física (como las álgebras de Lie, fundamentales en la teoría de simetrías y mecánica cuántica).
2. Resolución del Problema de Globalización: Proporciona una solución constructiva y universal al problema de la globalización para una clase muy amplia de álgebras, resolviendo la incertidumbre sobre si las acciones parciales en variedades no asociativas pueden siempre "incrustarse" en acciones globales dentro de la misma variedad.
3. Herramientas para Representaciones: La teoría de representaciones covariantes y la adjunción demostrada ofrecen nuevas herramientas para estudiar módulos sobre álgebras con simetrías parciales, lo cual es esencial en la teoría de representaciones de grupos y álgebras de Lie.
4. Aplicabilidad: La demostración de que la construcción $\Lambda$ se comporta bien con productos semidirectos de Lie abre la puerta a la aplicación de estas técnicas en problemas de cohomología, deformaciones y teoría de campos en contextos no asociativos.

En resumen, el artículo extiende exitosamente el marco teórico de las acciones parciales de grupos, proporcionando herramientas robustas (la construcción $\Lambda$ y $\Omega$) para globalizar estas acciones en el vasto territorio de las álgebras no asociativas, manteniendo la coherencia estructural y las propiedades universales.