Varieties of bicommutative algebras with identity of degree three

Resumo Técnico: Variedades de Álgebras Biccomutativas com Identidade de Grau Três

Enunciado do Problema
O artigo aborda a classificação das variedades de álgebras bicomutativas sobre um corpo $K$ de característica zero que satisfazem uma identidade polinomial de grau três. Uma álgebra bicomutativa é uma álgebra não associativa que satisfaz a identidade comutativa à direita $(x_1x_2)x_3 = (x_1x_3)x_2$ e a identidade comutativa à esquerda $x_1(x_2x_3) = x_2(x_1x_3)**. Embora a estrutura da álgebra bicomutativa livre$F(B)$ e seus invariantes numéricos (série de Hilbert, sequências de codimensão) tenham sido previamente estabelecidos por Dzhumadil'daev, Ismailov e Tulenbaev, uma descrição completa das subvariedades definidas por identidades de grau três permanecia um problema em aberto. Adicionalmente, o artigo busca estabelecer condições necessárias e suficientes para que uma variedade de álgebras bicomutativas possua um reticulado distributivo de subvariedades.

Metodologia
Os autores empregam a teoria das representações do grupo simétrico $S_n$ e do grupo linear geral $GL_d(K)$ para analisar os componentes multilineares $P_n(B)$ da álgebra bicomutativa livre.

1. Estrutura da Teoria das Representações: O componente multilinear $P_n(B)$ é decomposto em uma soma direta de módulos irredutíveis $S_n$, $M(\lambda)$, onde $\lambda$ é uma partição de $n$. A multiplicidade $m(\lambda)$ desses módulos determina a sequência de co-caracteres $\chi_n(B)$.
2. Abordagem da Teoria dos Grafos: Os autores descrevem o reticulado de subvariedades utilizando grafos orientados. Os vértices representam submódulos irredutíveis $S_n$, e as arestas direcionadas indicam que as identidades em um módulo são consequências das identidades em outro. As subvariedades correspondem a subgrafos dessa estrutura.
3. Isomorfismo Algébrico: A análise é conduzida dentro de uma álgebra específica $G_d$, que é isomorfa à álgebra relativamente livre $F_d(B)$. $G_d$ é construída utilizando uma álgebra polinomial em $2d$ variáveis com uma regra de multiplicação específica que simplifica o tratamento das consequências das identidades.
4. Vetores de Peso Máximo: Os autores utilizam vetores de peso máximo para gerar submódulos irredutíveis. Eles calculam explicitamente as consequências das identidades de grau 3 (especificamente as linearizações de polinômios de grau 3) para determinar quais identidades de grau superior são geradas, caracterizando assim as sequências de co-caracteres das subvariedades resultantes.

Principais Contribuições e Resultados

1. Classificação das Identidades de Grau 3:
   O artigo identifica que qualquer identidade de grau 3 em uma álgebra bicomutativa é uma combinação linear de dois tipos fundamentais:

   • Tipo 1 (Simétrico à Direita/Esquerda): $f^{(3)}(x) = \alpha_1 x(xx) + \alpha_2 (xx)x = 0$.
   • Tipo 2 (Baseado em Comutador): $f^{(2,1)}(x, y) = \beta_1 x(xy - yx) + \beta_2 (xy - yx)x = 0$.

   Os autores fornecem uma descrição completa das variedades $U_\alpha$ (definidas pelo Tipo 1) e $V_\beta$ (definidas pelo Tipo 2) para todos os coeficientes possíveis $(\alpha_1, \alpha_2)$ e $(\beta_1, \beta_2)$.

2. Sequências de Co-caracteres e Estrutura de Módulo:
   Para cada caso dos coeficientes (por exemplo, $\alpha_1\alpha_2(\alpha_1+\alpha_2)(\alpha_1-\alpha_2) \neq 0$, $\alpha_2=0$, etc.), os autores determinam a decomposição exata do módulo $S_n$ $P_n(U_\alpha)$ e $P_n(V_\beta)$.

   • Eles calculam as multiplicidades $m(\lambda)$ para partições $\lambda$ de $n$.
   • Eles identificam casos específicos onde as multiplicidades excedem 1 (especificamente $m(2,1)=2$ ou $m(4)=2$) e casos onde a sequência de co-caracteres se anula para $n \geq 4$ ou $n \geq 5$.
   • Os resultados são resumidos em proposições detalhando os geradores dos submódulos irredutíveis $GL_d(K)$ para cada variedade específica.

3. Reticulado de Subvariedades:
   O artigo constrói os grafos direcionados $\Gamma(U_\alpha)$ e $\Gamma(V_\beta)$ para os vários casos. Esses grafos mapeiam explicitamente as relações de inclusão entre as subvariedades. Os autores demonstram como a estrutura desses grafos muda com base nos parâmetros das identidades definidoras, fornecendo uma representação visual e algébrica do reticulado de subvariedades.

4. Condição para Reticulado Distributivo:
   O artigo estabelece uma condição necessária e suficiente para que o reticulado de subvariedades de uma variedade de álgebra bicomutativa $W$ seja distributivo.

   • Teorema: O reticulado $L(W)$ é distributivo se e somente se todas as multiplicidades $m(\lambda)$ na sequência de co-caracteres $\chi_n(W)$ satisfizerem $m(\lambda) \leq 1$.
   • Aplicação: Esta condição é equivalente a $W$ satisfazer ambas uma identidade não trivial do Tipo 1 e uma identidade não trivial do Tipo 2. Se uma variedade satisfizer apenas um tipo de identidade, ela pode conter multiplicidades maiores que 1 (especificamente $m(2,1)=2$), resultando em um reticulado não distributivo.

Significado
O artigo fornece uma descrição estrutural completa das subvariedades de álgebras bicomutativas definidas por identidades de grau três. Ao traduzir o problema para a linguagem da teoria dos grafos e da teoria das representações, os autores oferecem um método sistemático para analisar o reticulado de subvariedades. A principal contribuição teórica é a caracterização da propriedade distributiva do reticulado de subvariedades, vinculando-a diretamente às multiplicidades na sequência de co-caracteres e à satisfação simultânea de identidades polinomiais específicas. Este trabalho estende estudos anteriores sobre a álgebra bicomutativa livre e as subvariedades geradas por álgebras de baixa dimensão, preenchendo uma lacuna na classificação de variedades que satisfazem identidades de baixo grau.