On the multiplicities of the central cocharacter of algebras with polynomial identities

Resumo Técnico: Sobre as Multiplicidades do Cocaracter da Central de Álgebras com Identidades Polinomiais

Enunciado do Problema
O artigo aborda a classificação de álgebras associativas sobre um corpo de característica zero baseada em suas sequências de comprimentos de co-dimensão e de co-dimensão central. Enquanto a teoria das identidades polinomiais (teoria PI) estudou extensivamente as sequências de codimensões ($c_n(A)$), que medem a dimensão dos polinômios multilineares módulo identidades, este trabalho foca nos invariantes estruturais mais refinados: o comprimento de co-dimensão ($l_n(A)$), o comprimento de co-dimensão central ($l^z_n(A)$) e o comprimento de co-dimensão central próprio ($l^\delta_n(A)$).

Essas sequências contam o número de componentes irredutíveis (multiplicidades) na decomposição dos espaços de polinômios multilineares, polinômios centrais e polinômios centrais próprios, respectivamente, sob a ação do grupo simétrico $S_n$. O problema central é classificar variedades de álgebras onde essas sequências são limitadas por uma constante. Trabalhos anteriores classificaram variedades com comprimento de co-dimensão limitado por 4; este artigo estende a classificação para variedades com comprimento de co-dimensão limitado por 7 e comprimento de co-dimensão central limitado por 2.

Metodologia
Os autores empregam uma combinação de teoria de representação, teoria da estrutura de álgebras de dimensão finita e a teoria de ideais T e espaços T.

1. Teoria de Representação de $S_n$ e $GL_m$: O artigo utiliza a decomposição dos espaços $P_n(A)$, $P^z_n(A)$ e $\Delta_n(A)$ em módulos irredutíveis de $S_n$ indexados por partições $\lambda \vdash n$. As multiplicidades $m_\lambda$, $m^z_\lambda$ e $m^\delta_\lambda$ são computadas usando a correspondência entre caracteres de $S_n$ e caracteres do grupo linear geral $GL_m$ (Proposição 3.1).
2. Vetores de Peso Máximo: Para determinar multiplicidades não nulas, os autores constroem vetores de peso máximo específicos $f_{T_\lambda}$ associados a tabelas de Young e testam se eles pertencem ao ideal T ou ao espaço T da álgebra (Proposição 3.2).
3. Estrutura de Álgebras de Dimensão Finita: A classificação depende fortemente da decomposição de álgebras da forma $A = F + J(A)$, onde $J(A)$ é o radical de Jacobson. O radical é decomposto em subespaços $J_{10}, J_{01}, J_{00}, J_{11}$ com base em sua interação com o elemento identidade.
4. Contenção e Exclusão de Variedades: O núcleo da metodologia envolve provar que, se uma variedade $\text{var}(A)$ não contém álgebras "críticas" específicas (como $G_4, A_7, A_9$, etc.), então $A$ deve ser PI-equivalente a uma soma direta de álgebras mais simples. Isso é alcançado através da análise do desaparecimento de produtos específicos de componentes do radical (por exemplo, $J_{10}J_{00} = \{0\}$), o que força a álgebra a satisfazer certas identidades.

Contribuições Principais e Resultados

• Computação Explícita de Invariantes: O artigo fornece descrições explícitas do cocaracter, cocaracter central e cocaracter central próprio, juntamente com suas sequências de comprimento de co-dimensão correspondentes, para uma ampla gama de álgebras específicas. Estas incluem:

  • Subálgebras de matrizes triangulares superiores ($UT_m$) tais como $A_1, A_2, A_4, \dots, A_{10}$ e seus duais.
  • Álgebras de Grassmann e suas subálgebras ($G, G_{2k}, G_4$).
  • Somas diretas dessas álgebras (por exemplo, $G_4 \oplus A_1, A_4 \oplus A_2$).
  • O artigo estabelece os valores exatos de $l_n(A)$, $l^z_n(A)$ e $l^\delta_n(A)$ para essas álgebras para $n$ suficientemente grande.

• Classificação de Variedades de Comprimento de Co-dimensão Limitado (Teorema 4.11):
  Os autores estabelecem uma classificação completa, até equivalência PI, de todas as álgebras cujo comprimento de co-dimensão $l_n(A)$ é limitado por 6. O resultado afirma que, se uma álgebra $A$ não contém nenhuma álgebra de um conjunto específico $I$ (que inclui $A_7, A_8, A_9, A_{10}, G_6$ e várias somas diretas), então $A$ é PI-equivalente a uma soma direta de uma álgebra nilpotente e uma de uma lista finita de álgebras específicas (por exemplo, $N, C \oplus N, A_1 \oplus N, G_4 \oplus N$, etc.).

  • Corolário 4.13: Estende isso para caracterizar álgebras com comprimento de co-dimensão exatamente 7.

• Classificação de Variedades de Comprimento de Co-dimensão Central Limitado (Teorema 5.6):
  O artigo classifica variedades onde a sequência de comprimento de co-dimensão central $l^z_n(A)$ é limitada por 2. Ele prova que, se uma álgebra $A$ evita um conjunto específico $R$ (contendo $A_1 \oplus A^*_1, A_4, G_4 \oplus A_1$, etc.), então $A$ é PI-equivalente a uma soma direta de uma álgebra nilpotente e uma de um conjunto restrito de álgebras (por exemplo, $N, C \oplus N, A_1 \oplus N, G_4 \oplus N$).

• Relação entre Crescimento e Comprimento de Co-dimensão:
  O trabalho reforça a conexão entre o crescimento polinomial de codimensões e a limitação das sequências de comprimento de co-dimensão, estendendo essa relação para contextos centrais e centrais próprios.

Significância e Alegações
O artigo afirma estender a literatura existente sobre a classificação de variedades PI. Embora resultados anteriores (especificamente em [7, 18]) tivessem classificado variedades com comprimento de co-dimensão limitado por 4, este trabalho empurra a fronteira para 7. Os autores enfatizam que ir além das subvariedades de $var(UT_2)$ (que cobre comprimentos de co-dimensão até 4) revela um nível de complexidade significativamente maior, exigindo o estudo de álgebras fora desta variedade para compreender comprimentos de co-dimensão superiores.

Além disso, o artigo fornece a primeira classificação explícita de variedades baseadas em sequências de comprimento de co-dimensão central limitadas por uma constante (especificamente 2). Os autores observam que, embora uma classificação baseada em comprimentos de co-dimensão central próprios ($l^\delta_n$) pareça difícil devido à existência de álgebras com comprimento de co-dimensão central próprio zero (como matrizes em bloco triangulares com $k>1$), a sequência de comprimento de co-dimensão central oferece um caminho viável e rico para a classificação.

Os resultados são apresentados como uma caracterização completa da forma estrutural de álgebras que satisfazem estas condições de limitação, fornecendo uma lista definitiva de classes de equivalência PI para estas restrições de crescimento específicas.