Deformations of Jordan Algebras via the Jordan Defect: An Explicit Low--Degree Deformation Complex

Resumo Técnico: Deformações de Álgebras de Jordan via Defeito de Jordan

1. O Problema

A teoria de deformação de álgebras de Jordan é tradicionalmente governada por uma estrutura de $L_\infty$ que surge de uma resolução cofibrante do operad de Jordan. Como o operad de Jordan não é quadrático, essa estrutura envolve múltiplos colchetes de ordem superior ($n \geq 3$), o que torna a descrição teórica completa extremamente complexa e difícil de aplicar em cálculos práticos.

O problema central que o autor aborda é a falta de uma descrição explícita e pronta para computação das equações de deformação de baixo grau e das relações de equivalência para uma álgebra de Jordan específica. Embora a teoria operádica garanta a existência de grupos de cohomologia, ela não fornece um método direto para resolver problemas de rigidez ou deformação infinitesimal sem recorrer a resoluções homotópicas abstratas.

2. Metodologia

O autor propõe uma abordagem baseada no "Defeito de Jordan" ($J(\mu)$). A metodologia segue estes passos:

• Polarização e o Defeito: Em característica 0, a identidade de Jordan (que é uma identidade cúbica no produto e quártica nos elementos) é equivalente à sua polarização de quatro variáveis. O autor define o Jordan defect $J(\mu)$ como um mapa multilinear simétrico que codifica essa identidade. Uma aplicação $\mu$ é uma álgebra de Jordan se, e somente se, $J(\mu) = 0$.
• Linearização: Em vez de construir todo o complexo operádico, o autor foca na linearização do defeito. Ao derivar $J(\mu + t\phi)$ em relação a $t$ em $t=0$, obtém-se um diferencial linear $d_\mu$.
• Construção do Complexo de Baixo Grau: O autor define um complexo de cochain truncado:
  $$C^1(J) \xrightarrow{\delta_\mu} C^2(J) \xrightarrow{d_\mu} C^3(J)$$
  Onde:
  • $C^1(J)$ representa os endomorfismos (mudanças de coordenadas/equivalência).
  • $C^2(J)$ representa as deformações infinitesimais potenciais.
  • $C^3(J)$ contém os espaços de obstrução.

3. Principais Contribuições

• Formalismo do Defeito de Jordan: A introdução de uma única identidade polinomial ($J(\mu)=0$) que resume a estrutura de Jordan, permitindo que a teoria de deformação seja tratada via álgebra linear direta.
• Complexo de Deformação Explícito: A definição de diferenciais concretos:
  • O diferencial de equivalência $\delta_\mu$ (que caracteriza a ação de gauge).
  • O diferencial de Jordan linearizado $d_\mu$ (que caracteriza a condição de cociclo).
• Redução à Álgebra Linear: A demonstração de que, para qualquer álgebra de Jordan finita, as questões de deformação infinitesimal e rigidez podem ser resolvidas através de sistemas lineares finitos, sem a necessidade de ferramentas de homotopia de ordem superior.

4. Resultados

• Classificação de Deformações: O segundo grupo de cohomologia $H^2_\mu$ do complexo proposto classifica precisamente as deformações infinitesimais modulo equivalência de primeira ordem.
• Espaço de Obstrução: O autor define o espaço de obstrução primária como o quociente canônico $\text{Obs}^3_\mu := C^3(J) / \text{im}(d_\mu)$, que contém o impedimento para estender deformações infinitesimais para ordens superiores.
• Validação por Exemplos:
  • Dimensão 1: Demonstra que $H^2_\mu = 0$ para o caso trivial.
  • Números Duais: Fornece um cálculo explícito mostrando que uma deformação específica é um cociclo não trivial, provando que $\dim H^2_\mu = 1$.
  • Matrizes Simétricas $3 \times 3$: Confirma que o complexo é compatível com a teoria clássica ao detectar a rigidez formal de $\text{Sym}_3(k)$.

5. Significância

A importância deste trabalho reside na ponte entre a teoria operádica abstrata e a computação algébrica prática. Enquanto a teoria de $L_\infty$ fornece o quadro conceitual completo, o método do "Defeito de Jordan" fornece as ferramentas para o cientista matemático ou computacional realizar cálculos reais em álgebras de Jordan específicas. O trabalho simplifica o estudo da rigidez e das deformações, transformando problemas de topologia algébrica e teoria de operads em problemas de álgebra linear de baixo grau.