Commutative algebras satisfying univariate identities with vanishing Peirce polynomial

Resumo Técnico: Álgebras Comutativas que Satisfazem Identidades Univariadas com Polinômio de Peirce Nulo

Enunciado do Problema
O artigo investiga uma classe específica de álgebras comutativas não associativas definidas por identidades polinomiais univariadas $P=0$. Métodos padrão para analisar tais álgebras baseiam-se na decomposição de Peirce associada a idempotentes. Este método utiliza o "polinômio de Peirce" $\rho(P; q)$, derivado da linearização da identidade $P$. As raízes deste polinômio constituem o "espectro de Peirce abstrato", que impõe restrições a priori sobre os autovalores do operador de multiplicação $L(c)$ para qualquer idempotente $c$.

No entanto, existe uma lacuna significativa na teoria para identidades onde o polinômio de Peirce é identicamente nulo ($\rho(P; q) \equiv 0$). Tais identidades, denominadas evanescentes, tornam o espectro de Peirce abstrato o próprio corpo $k$, removendo as restrições espectrais padrão. Os autores focam na mais simples identidade evanescente homogênea não trivial de grau 6:
$$E_1 := (x^3)^2 - (x^2)^3 = 0$$
Álgebras que satisfazem esta identidade são chamadas de (2, 3)-palintrópicas. O problema central é desenvolver uma teoria estrutural para estas álgebras apesar da ausência de restrições espectrais fornecidas pelo polinômio de Peirce de primeira ordem.

Metodologia
Os autores empregam um rigoroso arcabouço algébrico centrado na linearização e na combinatória de monômios não associativos:

1. Operador e Polinômio de Peirce: Eles utilizam o operador de Peirce $\rho: k(\{x\}) \to k[q]$, que mapeia um polinômio não associativo para um polinômio associativo. Para um monômio $x^\alpha$ correspondente a uma árvore binária enraizada $T$, $\rho(x^\alpha; q) = \sum_{v \in L(T)} q^{\text{ht}(v)}$, onde $\text{ht}(v)$ é a altura de uma folha.
2. Identidades Evanescentes: Uma identidade é evanescente se $\rho(P; q) \equiv 0$. Os autores estabelecem que o espaço de identidades evanescentes forma um ideal. Eles identificam que o grau mínimo para identidades evanescentes homogêneas não triviais é 6, gerado por $E_1$ e uma segunda identidade $E_2$.
3. Linearização de Segunda Ordem: Para superar a falta de restrições do polinômio de Peirce de primeira ordem, os autores introduzem o operador de Peirce de segunda ordem $D(P; q, r, s)$. Este operador é derivado da segunda linearização da identidade e avaliado em idempotentes para determinar as "regras de fusão" (como os produtos de subespaços de Peirce se decompõem).
4. Conexão com Álgebras Mediais: O artigo traça paralelos entre álgebras (2, 3)-palintrópicas e álgebras mediais (que satisfazem $[x,y,z,w] = (xy)(zw) - (xz)(yw) = 0$). Eles estabelecem que o operador de Peirce é um homomorfismo do álgebra de polinômios não associativos para uma estrutura de álgebra medial específica em $k[q]$.

Contribuições Principais e Resultados

• Caracterização de Álgebras (2, 3)-Palintrópicas: O artigo define álgebras (2, 3)-palintrópicas como aquelas que satisfazem $(x^3)^2 = (x^2)^3$. Demonstra que esta classe é ampla, abrangendo álgebras de Jordan, álgebra associativa de potência e álgebras mediais.
• Regras de Fusão para $\lambda \neq 1/2$: Apesar da trivialidade do polinômio de Peirce de primeira ordem, os autores provam que, para qualquer idempotente $c$ em uma álgebra (2, 3)-palintrópica, o polinômio de Peirce de segunda ordem de $E_1$ é linear na primeira variável. Isso leva a uma regra de fusão notavelmente simples para autovalores $\lambda, \mu \neq 1/2$:
  $$A_c(\lambda) A_c(\mu) \subseteq A_c(\lambda\mu)$$
  Esta estrutura multiplicativa implica que $A_c(0)$ e $A_c(1)$ são subálgebras e, se $c$ for não singular (ou seja, $1/2 \notin \sigma(c)$), $A_c(0)$ é um ideal.
• Propriedade de Homomorfismo: Um resultado importante é que, para qualquer idempotente não singular $c$ em uma álgebra (2, 3)-palintrópica, o operador de multiplicação $L(c)$ é um homomorfismo de álgebra. Isto estende uma propriedade conhecida das álgebras mediais para esta classe mais ampla.
• Associatividade de Potência: Os autores provam que qualquer álgebra (2, 3)-palintrópica com unidade sobre um corpo cuja característica não divide 30 é associativa de potência. Além disso, o subespaço de Peirce $A_c(1)$ de um idempotente não singular é sempre uma subálgebra associativa de potência.
• Linearização de Terceira Ordem: O artigo deriva fórmulas de linearização de terceira ordem para elementos em subespaços de Peirce. Mostra que, para autovalores $\lambda$ não pertencentes a um conjunto excepcional específico $\Lambda$, qualquer potência monomial $x^\alpha$ de um elemento $x \in A_c(\lambda)$ é proporcional à potência principal $x^{\deg(\alpha)}$.
• Aplicações a Mapeamentos Polinomiais: Os autores conectam estas estruturas algébricas à dinâmica de sistemas. Eles mostram que álgebras (2, 3)-palintrópicas produzem mapeamentos polinomiais comutativos $\Phi_\alpha$ e $\Phi_\beta$ (induzidos por potências monomiais). Se os graus dos monômios forem primos entre si, estes mapeamentos constituem mapeamentos polinomiais integráveis no sentido de Veselov.

Significância
O artigo reivindica significância em várias áreas:

1. Teoria Estrutural: Fornece uma metodologia sistemática para estudar álgebras definidas por identidades evanescentes, uma classe anteriormente difícil de analisar devido à falta de restrições espectrais. Demonstra que a linearização de segunda ordem pode recuperar a rigidez estrutural (regras de fusão) mesmo quando os métodos de primeira ordem falham.
2. Unificação: Posiciona as álgebras (2, 3)-palintrópicas como uma generalização natural das álgebras associativas de potência, analogamente a como as álgebras mediais se relacionam com as álgebras associativas. As cadeias de inclusão (Associativa $\subset$ Jordan $\subset$ Associativa de Potência $\subset$ (2, 3)-palintrópica) e (Medial $\subset$ J-Medial $\subset$ (2, 3)-palintrópica) esclarecem a hierarquia destas estruturas.
3. Exemplos Explícitos: O artigo fornece construções concretas de álgebras (2, 3)-palintrópicas, incluindo isótopos de anéis polinomiais e exemplos específicos de dimensão finita com espectros de Peirce calculados explicitamente, demonstrando a diversidade da classe.
4. Integrabilidade: Oferece uma nova construção algébrica para mapeamentos polinomiais integráveis, ligando identidades algébricas não associativas à teoria de mapeamentos comutativos e sistemas dinâmicos.

Os autores mantêm-se modestos quanto à classificação de álgebras (2, 3)-palintrópicas gerais, observando que, embora os casos simples e nilpotentes sejam provavelmente tratáveis, uma classificação completa permanece um problema em aberto. O trabalho serve primordialmente para iniciar o estudo destas álgebras e estabelecer suas propriedades fundamentais.