Coactions of cocommutative Hopf algebras on skew polynomial rings

Resumo Técnico: Cocorações de Álgebras de Hopf Cocomutativas sobre Anéis Polinomiais Torcidos

Enunciado do Problema
O artigo aborda a classificação de álgebras de Hopf cocomutativas que coragem de forma fiel interna (inner-faithfully) sobre anéis polinomiais torcidos de um parâmetro, denotados por $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$ e $n=3$. Este problema é enquadrado no contexto mais amplo da compreensão das simetrias de grupos quânticos de álgebras regulares de Artin–Schelter (AS). Especificamente, os autores visam generalizar a classificação de Crawford de graduações de grupo em álgebras regulares AS de duas dimensões e determinar a extensão em que existem corações de álgebras de Hopf não-abelianas ou corações de álgebras de Hopf cocomutativas não-comutativas sobre esses anéis.

Metodologia
Os autores utilizam a construção da álgebra de Hopf de coração universal de Manin, denotada por $\text{aut}(A_q(n))$, como a ferramenta central. A estratégia baseia-se na observação de que uma álgebra de Hopf é uma álgebra de grupo se, e somente se, é cocomutativa e gerada por seus elementos group-like. Consequentemente, a classificação de graduações de grupo (e, mais genericamente, de corações cocomutativas) é reduzida à classificação dos quocientes cocomutativos de $\text{aut}(A_q(n))$.

A metodologia procede nos seguintes passos:

1. Apresentação Explícita de $\text{aut}(A_q(n))$: Os autores primeiro derivam uma apresentação explícita da álgebra de Hopf de coração direita universal $\text{aut}(A_q(n))$ para qualquer $q \in k^*$ e $n \in \mathbb{N}$. Isso é alcançado construindo a álgebra de Hopf de coração esquerda do dual quadrático $A_q^!$ (uma álgebra de Grassmann quântica) e utilizando o isomorfismo $\text{aut}_r(A_q) \cong \text{aut}_\ell(A_q^!)$.
2. Involutização: Uma vez que as álgebras de Hopf cocomutativas são involutivas (ou seja, $S^2 = \text{id}$), os autores primeiro computam a "involutização" de $\text{aut}(A_q(n))$, denotada por $H_q(n) = \text{aut}(A_q(n))_{\text{inv}}$, ao quotientar pelo ideal gerado por $S^2(x) - x$.
3. Classificação de Quocientes Cocomutativos: O núcleo do trabalho envolve a análise dos quocientes cocomutativos maximais de $H_q(n)$. Isso é feito impondo a condição de cocomutatividade ($\Delta = \Delta^{\text{op}}$) sobre os geradores de $H_q(n)$ e resolvendo o sistema de relações resultante.
4. Análise Dimensional:
   • Para $n=2$, os autores analisam as relações em $H_q(2)$ para determinar a estrutura de seus quocientes cocomutativos.
   • Para $n=3$, eles utilizam uma estratégia de redução. Ao analisar as consequências da cocomutatividade, mostram que, se um quociente cocomutativo existir, certos geradores fora da diagonal devem desaparecer, permitindo que o problema seja reduzido ao caso $n=2$ via subálgebras específicas.

Contribuições Principais e Resultados

1. Apresentação Explícita de $\text{aut}(A_q(n))$:
   O artigo fornece uma apresentação completa de $\text{aut}(A_q(n))$ para qualquer $q$ e $n$. A álgebra é gerada por elementos $x_{ij}$ e $D^{-1}$ (onde $D$ é o determinante quântico), sujeitos a relações envolvendo a $q$-comutação de linhas, relações de menores quânticos e fórmulas específicas para o coproduto, counit e antipode envolvendo menores quânticos. Isso preenche uma lacuna na literatura onde apresentações explícitas para qualquer $q$ e $n$ não estavam anteriormente disponíveis.

2. Classificação para $n=2$ (Teorema 1.2):
   Para o anel polinomial torcido de duas variáveis $A_q(2)$, os autores classificam os quocientes cocomutativos maximais de $\text{aut}(A_q(2))$:

   • Se $q \neq -1$, as únicas corações cocomutativas fielmente internas são por quocientes de Hopf da álgebra de grupo $k\mathbb{Z}_2$ e das álgebras de Hopf $A(0, q^{\pm 1})$ (definidas como $k\langle x^{\pm 1}, y \rangle / (yx - qxy)$ com $x$ sendo group-like e $y$ sendo $x^n$-skew primitive).
   • Se $q = -1$, existe uma coração adicional por quocientes de Hopf de $k\Gamma$, onde $\Gamma = \langle f, g \mid f^2 = g^2 \rangle$.
   • Corolário: Isso recupera o resultado de Crawford de que $A_q(2)$ admite uma graduação fiel por um grupo não-abeliano se, e somente se, $q = -1$.

3. Classificação para $n=3$ (Teorema 1.3):
   Para o anel de três variáveis $A_q(3)$ com $q \neq \pm 1$, os autores provam que as únicas corações cocomutativas fielmente internas são por quocientes de Hopf de:

   • A álgebra de grupo $k\mathbb{Z}_3$.
   • As álgebras de Hopf $B_{q^{\pm 1}}$ e $C_{q^{\pm 1}}$, que são extensões específicas de $A(0, q^{\pm 1})$ envolvendo três geradores.
   • Corolário: $A_q(3)$ não admite uma graduação fiel por um grupo não-abeliano para $q \neq \pm 1$. O artigo observa que, para $q = -1$, graduações não-abelianas existem (via a estrutura de extensão de Ore $A_{-1}(3) \cong A_{-1}(2)[z; \sigma]$).

4. Aplicações à Dimensão GK e Cosemisimplicidade:

   • Os autores abordam uma questão de Chan–Walton–Zhang sobre álgebras de Hopf não-comutativas de dimensão GK 1 corando sobre $A_q(2)$. Eles mostram que, se $q$ não é uma raiz da unidade, nenhuma dessas álgebras de Hopf não-comutativas e cocomutativas existe.
   • Em relação à Questão 8.4 (Bichon) sobre corações cosemissímples em domínios comutativos, os autores demonstram que a álgebra de Hopf involutiva universal $H_1(3)$ que cora sobre $k[x, y, z]$ é não-comutativa, não-Noetheriana e possui dimensão GK infinita. Isso contrasta com o caso $n=2$, onde a álgebra involutiva universal é comutativa.

Significância
O artigo afirma significância em três áreas principais:

1. Generalização do Resultado de Crawford: Ele expande com sucesso a classificação de graduações de grupo da dimensão 2 para a dimensão 3, estabelecendo que graduações de grupo não-abelianas em anéis polinomiais torcidos são altamente restritas (essencialmente limitadas ao caso $q=-1$).
2. Insight Estrutural: Ao fornecer uma apresentação explícita de $\text{aut}(A_q(n))$, os autores permitem o estudo posterior das simetrias quânticas para essas álgebras. A construção da involutização $H_q(n)$ serve como um passo intermediário necessário para analisar simetrias cocomutativas.
3. Distinção entre Dimensões: Os resultados destacam uma distinção nítida entre álgebras regulares AS de baixa dimensão ($n=2$) e de maior dimensão ($n \ge 3$) em relação às suas estruturas de simetria. Especificamente, o artigo mostra que, enquanto $n=2$ permite graduações de grupo não-abelianas em $q=-1$, $n=3$ não permite (para $q$ genérico), e a álgebra de coração involutiva universal para $n \ge 3$ exibe um comportamento significativamente mais complexo (não-comutativa, dimensão GK infinita) comparado ao caso comutativo para $n=2$.

Os autores declaram explicitamente que seus métodos não fornecem informações sobre corações por álgebras de Hopf não-cocomutativas, nem classificam totalmente as graduações de grupo para todos os $q$ na dimensão 3 (especificamente excluindo $q = \pm 1$ devido à complexidade computacional, embora forneçam resultados parciais para $q=-1$). O trabalho futuro sobre álgebras regulares mais gerais é notado como um empreendimento separado envolvendo superpotenciais.