Coactions of cocommutative Hopf algebras on skew polynomial rings

Resumen Técnico: Cocuaciones de Álgebras de Hopf Cocomutativas sobre Anillos de Polinomios Sesgados

Planteamiento del Problema
El artículo aborda la clasificación de las álgebras de Hopf cocomutativas que coactan de forma fielmente interna sobre anillos de polinomios sesgados de un parámetro, denotados como $A_q(n) = k \langle x_1, \dots, x_n \rangle / (x_j x_i - q x_i x_j \mid i < j)$, para $n=2$ y $n=3$. Este problema se enmarca dentro del contexto más amplio de la comprensión de las simetrías de grupos cuánticos de álgebras regulares de Artin–Schelter (AS). Específicamente, los autores pretenden generalizar la clasificación de Crawford sobre las graduaciones de grupos en álgebras regulares AS de dos dimensiones y determinar hasta qué punto existen cocuaciones de álgebras de Hopf no conmutativas o cocomutativas sobre estos anillos.

Metodología
Los autores emplean la construcción del álgebra de Hopf de coacción universal de Manin, denotada como $\text{aut}(A_q(n))$, como la herramienta central. La estrategia se basa en la observación de que un álgebra de Hopf es un álgebra de grupo si y solo si es cocomutativa y está generada por sus elementos de tipo grupo. En consecuencia, la clasificación de las graduaciones de grupos (y, más generalmente, de las cocuaciones de Hopf cocomutativas) se reduce a clasificar los cocientes cocomutativos de $\text{aut}(A_q(n))$.

La metodología procede mediante los siguientes pasos:

1. Presentación Explícita de $\text{aut}(A_q(n))$: Los autores derivan primero una presentación explícita del álgebra de Hopf de coacción derecha universal $\text{aut}(A_q(n))$ para un $q \in k^*$ y $n \in \mathbb{N}$ arbitrarios. Esto se logra construyendo el álgebra de Hopf de coacción izquierda de la dual cuadrática $A_q^!$ (un álgebra de Grassmann cuántica) y utilizando el isomorfismo $\text{aut}_r(A_q) \cong \text{aut}_\ell(A_q^!)$.
2. Involutivización: Dado que las álgebras de Hopf cocomutativas son involutivas (es decir, $S^2 = \text{id}$), los autores computan primero la "involutivización" de $\text{aut}(A_q(n))$, denotada como $H_q(n) = \text{aut}(A_q(n))_{\text{inv}}$, mediante el cociente por el ideal generado por $S^2(x) - x$.
3. Clasificación de Cocientes Cocomutativos: El núcleo del trabajo consiste en analizar los cocientes cocomutativos máximos de $H_q(n)$. Esto se realiza imponiendo la condición de cocomutatividad ($\Delta = \Delta^{\text{op}}$) en los generadores de $H_q(n)$ y resolviendo el sistema de relaciones resultante.
4. Análisis Dimensional:
   • Para $n=2$, los autores analizan las relaciones en $H_q(2)$ para determinar la estructura de sus cocientes cocomutativos.
   • Para $n=3$, utilizan una estrategia de reducción. Al analizar las consecuencias de la cocomutatividad, demuestran que si existe un cociente cocomutativo, ciertos generadores fuera de la diagonal deben anularse, lo que permite reducir el problema al caso $n=2$ mediante subálgebras específicas.

Contribuciones Clave y Resultados

1. Presentación Explícita de $\text{aut}(A_q(n))$:
   El artículo proporciona una presentación completa de $\text{aut}(A_q(n))$ para cualquier $q$ y $n$. El álgebra está generada por elementos $x_{ij}$ y $D^{-1}$ (donde $D$ es el determinante cuántico), sujetos a relaciones que involucran la $q$-conmutación de filas, relaciones de menores cuánticos y fórmulas específicas para la coproducto, la counit y el antipoda que involucran menores cuánticos. Esto llena un vacío en la literatura donde las presentaciones explícitas para $q$ y $n$ arbitrarios no estaban disponibles previamente.

2. Clasificación para $n=2$ (Teorema 1.2):
   Para el anillo de polinomios sesgados de dos variables $A_q(2)$, los autores clasifican los cocientes cocomutativos máximos de $\text{aut}(A_q(2))$:

   • Si $q \neq -1$, las únicas cocuaciones cocomutativas fielmente internas son por cocientes de Hopf del álgebra de grupo $k\mathbb{Z}_2$ y de las álgebras de Hopf $A(0, q^{\pm 1})$ (definidas como $k\langle x^{\pm 1}, y \rangle / (yx - qxy)$ con $x$ de tipo grupo y $y$ $x^n$-semiprimitivo).
   • Si $q = -1$, existe una cocuación adicional por cocientes de Hopf de $k\Gamma$, donde $\Gamma = \langle f, g \mid f^2 = g^2 \rangle$.
   • Corolario: Esto recupera el resultado de Crawford de que $A_q(2)$ admite una graduación fiel por un grupo no abeliano si y solo si $q = -1$.

3. Clasificación para $n=3$ (Teorema 1.3):
   Para el anillo de tres variables $A_q(3)$ con $q \neq \pm 1$, los autores prueban que las únicas cocuaciones cocomutativas fielmente internas son por cocientes de Hopf de:

   • El álgebra de grupo $k\mathbb{Z}_3$.
   • Las álgebras de Hopf $B_{q^{\pm 1}}$ y $C_{q^{\pm 1}}$, que son extensiones específicas de $A(0, q^{\pm 1})$ que involucran tres generadores.
   • Corolario: $A_q(3)$ no admite una graduación fiel por un grupo no abeliano para $q \neq \pm 1$. El artículo señala que para $q = -1$, existen graduaciones no abelianas (vía la estructura de extensión de Ore $A_{-1}(3) \cong A_{-1}(2)[z; \sigma]$).

4. Aplicaciones a la Dimensión GK y Cosemisimplicidad:

   • Los autores abordan una pregunta de Chan–Walton–Zhang sobre álgebras de Hopf no conmutativas de dimensión GK 1 que coactan sobre $A_q(2)$. Muestran que si $q$ no es una raíz de la unidad, no existen tales álgebras de Hopf no conmutativas y cocomutativas.
   • Respecto a la Pregunta 8.4 (Bichon) sobre cocuaciones de Hopf cosemisimples en dominios conmutativos, los autores demuestran que el álgebra de Hopf involutiva universal $H_1(3)$ que coacta sobre $k[x, y, z]$ es no conmutativa, no noetheriana y tiene dimensión GK infinita. Esto contrasta con el caso $n=2$ donde el álgebra involutiva universal es conmutativa.

Significado
El artículo afirma su importancia en tres áreas principales:

1. Generalización del Resultado de Crawford: Extiende con éxito la clasificación de las graduaciones de grupos de la dimensión 2 a la dimensión 3, estableciendo que las graduaciones de grupos no abelianos en anillos de polinomios sesgados están altamente restringidas (esencialmente limitadas al caso $q=-1$).
2. Perspectiva Estructural: Al proporcionar una presentación explícita de $\text{aut}(A_q(n))$, los autores permiten el estudio posterior de las simetrías cuánticas de estas álgebras. La construcción de la involutivización $H_q(n)$ sirve como un paso intermedio necesario para el análisis de las simetrías cocomutativas.
3. Distinción entre Dimensiones: Los resultados resaltan una distinción nítida entre las álgebras regulares AS de baja dimensión ($n=2$) y de mayor dimensión ($n \ge 3$) respecto a sus estructuras de simetría. Específicamente, el artículo muestra que mientras que $n=2$ permite graduaciones de grupos no abelianos en $q=-1$, en $n=3$ esto no ocurre (para $q$ genérico), y el álgebra de coacción involutiva universal para $n \ge 3$ exhibe un comportamiento significativamente más complejo (no conmutativo, dimensión GK infinita) comparado con el caso conmutativo para $n=2$.

Los autores declaran explícitamente que sus métodos no proporcionan información sobre las cocuaciones de álgebras de Hopf no cocomutativas, ni clasifican completamente las graduaciones de grupos para todos los $q$ en dimensión 3 (excluyendo específicamente $q = \pm 1$ debido a la complejidad computacional, aunque proporcionan resultados parciales para $q=-1$). Se señala que el trabajo futuro sobre álgebras regulares más generales es un esfuerzo separado que involucra superpotenciales.