Action accessible and weakly action representable varieties of algebras

Resumen Técnico: Variedades de Álgebras de Accesibilidad de Acción y de Representabilidad de Acción Débil

Planteamiento del Problema

Este artículo investiga la relación entre dos propiedades categóricas en el contexto de las variedades de álgebras no asociativas sobre un cuerpo: accesibilidad de acción y representabilidad de acción débil.

En categorías semi-abelianas, las acciones internas sobre un objeto $X$ corresponden a extensiones partidas. Una categoría es representable de acción si el funtor de acciones es naturalmente isomórfico a un funtor hom $\text{Hom}(-, [X])$. Una noción más débil, la representabilidad de acción débil, requiere solo un monomorfismo natural $\text{Act}(-, X) \hookrightarrow \text{Hom}(-, T)$ para algún objeto $T$. Se establece que la representabilidad de acción implica la representabilidad de acción débil, la cual, a su vez, implica la accesibilidad de acción.

El problema central abordado es si la implicación inversa se cumple, específicamente:

1. ¿Implica la representabilidad de acción débil la accesibilidad de acción en el contexto de los álgebras no asociativas? (El artículo señala que la inversa es conocida por ser falsa en general, pero busca contraejemplos específicos en álgebras).
2. ¿Se preserva la propiedad de ser débilmente representable de acción al tomar subvariedades?

Antes de este trabajo, existía la pregunta abierta de si existía una variedad de álgebras no asociativas que fuera accesible de acción pero que no fuera débilmente representable de acción. Además, mientras que J. R. A. Gray había demostrado que las variedades de grupos $n$-solubles ($n \geq 3$) no son débilmente representables de acción, el estatus de los grupos nilpotentes ($k \geq 3$) y los grupos solubles ($n=2$) permanecía sin resolver. Del mismo modo, el comportamiento de estas propiedades en las variedades de álgebras de Lie (específicamente en las subvariedades nilpotentes y solubles) era desconocido.

Metodología

Los autores emplean un método basado en la propiedad de amalgamación (AP) y una proposición específica de J. R. A. Gray (Proposición 1.3). La estrategia central consiste en demostrar que una variedad específica $\mathcal{X}$ no es débilmente representable de acción mediante la construcción de un contraejemplo a la propiedad de amalgamación dentro de esa variedad, asegurando al mismo tiempo que la amalgamación existe en una categoría más amplia que es representable de acción.

La prueba se basa en la siguiente estructura lógica (Proposición 1.3):

1. Identificar una variedad $\mathcal{X}$ como una subcategoría de Birkhoff de una categoría representable de acción $\mathcal{C}$ (por ejemplo, $\mathcal{C} = \text{Grp}$ o $\mathcal{C} = \text{Lie}$).
2. Construir dos monomorfismos $m, m': S \hookrightarrow B$ y $S \hookrightarrow B'$ dentro de $\mathcal{X}$ que no pueden ser amalgamados en ningún objeto de $\mathcal{X}$.
3. Mostrar que estos monomorfismos pueden ser amalgamados en la categoría más grande $\mathcal{C}$ mediante monomorfismos $u, u'$ en un objeto $D$.
4. Demostrar la existencia de un objeto $X$ en $\mathcal{X}$ y un monomorfismo $v: D \hookrightarrow [X]$ (donde $[X]$ es el objeto representante en $\mathcal{C}$) tal que las extensiones partidas inducidas por la composición $v \circ u$ y $v \circ u'$ permanezcan dentro de la subvariedad $\mathcal{X}$.

Si se cumplen estas condiciones, $\mathcal{X}$ no puede ser débilmente representable de acción.

Para ejecutar esto, los autores utilizan:

• Para Grupos: Un ejemplo específico de B. H. Neumann que involucra un grupo abeliano $S$ y grupos 2-nilpotentes $B, B'$ que no pueden ser amalgamados en ningún grupo soluble. Los autores refinan esto construyendo representaciones específicas en $\text{Aut}(X)$ (donde $X = \mathbb{Z}_5^3$) para probar que los semidirectos productos resultantes son $k$-nilpotentes o 2-solubles.
• Para Álgebras de Lie: Una adaptación del ejemplo de Neumann utilizando álgebras de Lie. Construyen un álgebra abeliana $S$ y dos copias del álgebra de Heisenberg de 3 dimensiones ($B, B'$). Demuestran que, aunque $B$ y $B'$ pueden ser amalgamados en $\mathfrak{gl}(3, F)$, la amalgamación fuerza al álgebra resultante a contener un subálgebra isomórfica a $\mathfrak{sl}(2, F)$, la cual es simple y no soluble. Esta contradicción demuestra la imposibilidad de la amalgamación dentro de la variedad de álgebras de Lie solubles (o nilpotentes).

Contribuciones Clave y Resultados

1. Refinamiento del Resultado de Gray sobre Grupos:
   El artículo demuestra que las variedades de grupos $k$-nilpotentes (para $k \geq 3$) y grupos 2-solubles no son débilmente representables de acción. Esto extiende el resultado previo de Gray que cubría los grupos $n$-solubles para $n \geq 3$.

   • Resultado: Teorema 2.1 y Corolario 2.2.

2. Nuevos Contraejemplos en Álgebras No Asociativas:
   El artículo establece que las variedades de álgebras de Lie $k$-nilpotentes (para $k \geq 3$) y álgebras de Lie $n$-solubles (para $n \geq 2$) no son débilmente representables de acción.

   • Resultado: Teorema 3.1 y Corolario 3.2.
   • Significado: Estos son los primeros ejemplos conocidos de variedades de álgebras no asociativas que son accesibles de acción pero que fallan en ser débilmente representables de acción.

3. Resolución de Preguntas Abiertas:
   Los resultados proporcionan respuestas negativas a las preguntas abiertas planteadas en la literatura previa:

   • El recíproco de "débilmente representable de acción $\implies$ accesible de acción" no se cumple en el contexto de las variedades de álgebras no asociativas.
   • La propiedad de ser débilmente representable de acción no se preserva al tomar subvariedades. Específicamente, la variedad de álgebras de Lie ($\text{Lie}$) es representable de acción (y, por lo tanto, débilmente representable de acción), pero sus subvariedades de álgebras $k$-nilpotentes y $n$-solubles no lo son.

Significado

El artículo afirma que estos hallazgos clarifican fundamentalmente la jerarquía de las propiedades categóricas en las variedades algebraicas. Al proporcionar contraejemplos concretos dentro de los contextos bien estudiados de las álgebras de Lie y los grupos, los autores demuestran que las restricciones estructurales requeridas para la representabilidad de acción débil no son heredadas por las subvariedades, incluso cuando la variedad madre posee la forma más fuerte de representabilidad de acción. Esto refina la comprensión de la "propiedad de amalgamación" como una condición necesaria para la representabilidad de acción débil en categorías semi-abelianas. El trabajo no propone nuevas aplicaciones o propuestas experimentales futuras, sino que se enfoca estrictamente en la clasificación teórica de estas variedades algebraicas.