On cyclic invariants of the free associative algebra

1. Problema e Contexto

O artigo situa-se no campo da Teoria de Invariantes Não Comutativa. Enquanto a teoria clássica de invariantes (comutativa) estuda o anel de polinômios $K[X_d]$ sob a ação de grupos lineares, este trabalho foca na álgebra associativa livre $K\langle X_d \rangle$ (polinômios não comutativos em $d$ variáveis).

O problema central abordado é a descrição da estrutura da álgebra de invariantes $K\langle X_d \rangle^G$ quando $G$ é um grupo cíclico $C_d$ agindo por permutação cíclica das variáveis ($x_1 \to x_2 \to \dots \to x_d \to x_1$).

O trabalho aborda duas estruturas distintas:

1. Estrutura de Álgebra Livre: Determinar geradores livres e a série de Hilbert da álgebra de invariantes.
2. Estrutura de S-Álgebra: Investigar a álgebra de invariantes sob a ação adicional do grupo simétrico $Sym(n)$ (introduzida por Kharchenko), que permuta as posições das variáveis dentro de monômios de grau $n$. O objetivo é encontrar conjuntos geradores finitos para esta estrutura.

2. Metodologia

Os autores empregam uma combinação de técnicas de álgebra linear, teoria de grupos e combinatória algébrica:

• Mudança de Base (Diagonalização): Para simplificar a ação do gerador $\rho$ do grupo cíclico $C_d$, os autores realizam uma mudança de base no espaço vetorial gerado por $X_d$. Eles introduzem variáveis $y_k$ (base de Fourier) que são autovetores de $\rho$, onde $\rho(y_k) = \varepsilon^k y_k$ ($\varepsilon$ é uma raiz primitiva $d$-ésima da unidade). Isso transforma a ação do grupo em uma ação diagonal simples.
• Cálculo da Série de Hilbert: Utilizam o teorema de Dicks e Formanek (análogo não comutativo da fórmula de Molien) para calcular a série de Hilbert da álgebra de invariantes:
  $$H(K\langle X_d \rangle^G, t) = \frac{1}{|G|} \sum_{g \in G} \frac{1}{1 - \text{tr}(g)t}$$
• Construção de Geradores Livres: Na base diagonalizada $Y_d = \{y_0, \dots, y_{d-1}\}$, identificam os monômios invariantes como aqueles onde a soma dos índices é congruente a 0 módulo $d$. Eles definem um conjunto de geradores livres baseado em monômios que não podem ser decompostos em produtos de invariantes menores (critério de "irredutibilidade" no semigrupo livre).
• Análise de S-Álgebras: Investigam como os geradores da álgebra comutativa de invariantes $K[Y_d]^{C_d}$ se relacionam com a estrutura de S-álgebra não comutativa. Eles demonstram que os mesmos monômios que geram a versão comutativa também geram a versão não comutativa como S-álgebra, utilizando a ação de permutação para reordenar variáveis.
• Caso Específico $d=3$: Realizam cálculos explícitos para o caso $d=3$ (grupo $C_3$) tanto na base diagonalizada quanto na base original das variáveis $x_i$, estabelecendo correspondências explícitas entre os geradores.

3. Principais Contribuições e Resultados

A. Série de Hilbert e Geradores Livres

Os autores provam que, para qualquer corpo $K$ de característica zero:

• A série de Hilbert da álgebra de invariantes $K\langle X_d \rangle^{C_d}$ é dada por:
  $$H(K\langle X_d \rangle^{C_d}, t) = \frac{1 - (d-1)t}{1 - dt}$$
• A dimensão do componente homogêneo de grau $n$ é $d^{n-1}$.
• Eles fornecem um algoritmo indutivo para construir um conjunto de geradores livres homogêneos. O número de geradores livres de grau $n$ é $(d-1)^{n-1}$.
• O conjunto de geradores livres consiste em monômios $y_{i_1} \dots y_{i_n}$ tais que $\sum i_j \equiv 0 \pmod d$, e nenhum prefixo do monômio satisfaz essa condição (exceto o próprio monômio).

B. Estrutura de S-Álgebra

• Teorema de Geração: Eles demonstram que a S-álgebra $(C\langle Y_d \rangle^{C_d}, \circ)$ é gerada pelos mesmos monômios que geram a álgebra comutativa de invariantes $C[Y_d]^{C_d}$ (conforme descrito por Noether e refinado por eles para o caso cíclico).
• Exemplos Concretos:
  • Para $d=3$, os geradores são $y_0, y_1y_2, y_1^3, y_2^3$.
  • Para $d=4$, o conjunto gerador inclui $y_0$, produtos de grau 2 ($y_1y_3, y_2^2$), grau 3 e grau 4 específicos.
• Transferência para a Base Original: O trabalho transfere esses resultados para a base canônica $X_d = \{x_1, \dots, x_d\}$. Para $d=3$, eles mostram que a S-álgebra $(K\langle X_3 \rangle^{C_3}, \circ)$ é gerada pelas somas cíclicas clássicas:
  • $v_1 = x_1 + x_2 + x_3$
  • $v_2 = x_1x_2 + x_2x_3 + x_3x_1$
  • $v_{31} = x_1^2x_2 + x_2^2x_3 + x_3^2x_1$
  • $v_{32} = x_1x_2^2 + x_2x_3^2 + x_3x_1^2$
• Minimalidade: Eles provam que este conjunto de geradores para $d=3$ é mínimo e que a estrutura não depende da escolha da base do espaço vetorial subjacente.

C. Conjectura sobre S-Álgebras

Os autores propõem a Conjectura 5.2: "Dois sistemas geradores mínimos de uma S-subálgebra de $(K\langle X_d \rangle, \circ)$ possuem o mesmo número de elementos de um dado grau". O caso $d=3$ tratado no artigo serve como confirmação parcial desta conjectura.

4. Significado e Relevância

• Avanço na Teoria Não Comutativa: O artigo preenche uma lacuna importante na teoria de invariantes não comutativos, fornecendo uma descrição completa e explícita para o caso de grupos cíclicos, que são fundamentais mas complexos devido à não comutatividade.
• Generalização de Resultados Clássicos: Estende resultados conhecidos da teoria comutativa (como os de Noether e Chevalley-Shephard-Todd) para o contexto não comutativo, mostrando onde as estruturas coincidem (como na geração por somas cíclicas) e onde divergem (na estrutura de geradores livres).
• Ferramentas Computacionais: A apresentação de algoritmos para a construção de bases e geradores oferece ferramentas práticas para cálculos em álgebras de invariantes não comutativas.
• Fundamentação para Estudos Futuros: A conjectura sobre a invariância do número de geradores em S-álgebras abre novas direções de pesquisa para a classificação de subálgebras invariantes sob ações combinatórias.

Em resumo, o artigo estabelece uma teoria robusta para invariantes cíclicos em álgebras livres, fornecendo fórmulas exatas para dimensões, bases explícitas e conjuntos geradores finitos para a estrutura de S-álgebra, com aplicações diretas para a compreensão da estrutura algébrica de polinômios não comutativos sob simetrias.