Near-Trinions: Complete Classification of Unital Three-Dimensional Real Associative Algebras

Resumo Técnico: Near-Trinions: Classificação Completa de Álgebras Associativas Reais Unitárias Tridimensionais

Enunciado do Problema
Embora o teorema de Frobenius (1878) estabeleça definitivamente que não existem álgebras de divisão reais tridimensionais, a classificação de álgebras associativas reais tridimensionais gerais permanece um problema distinto. O autor, Joel A. Shelton, aborda a existência e a classificação desses objetos, denominados "near-trinions" (quase-trinions). A questão central é determinar o conjunto completo de classes de isomorfismo para álgebras $\mathbb{R}$-associativas, unitárias e de dimensão três.

Metodologia
O artigo emprega uma abordagem estrutural baseada na estratificação das álgebras pela dimensão de seu radical de Jacobson, $d = \dim_{\mathbb{R}} \text{rad}(A)$. Como a álgebra é unitária e tridimensional, $d$ é restrito ao conjunto $\{0, 1, 2\}$ (pois $d=3$ implicaria que a álgebra é nilpotente, contradizendo a existência de uma unidade). A classificação procede através de três estratos:

1. Estrato Semissimples ($d=0$): O teorema de Wedderburn–Artin é aplicado. Como a álgebra é semissimples, ela se decompõe em um produto direto de anéis de matrizes sobre álgebras de divisão. O teorema de Frobenius restringe as álgebras de divisão sobre $\mathbb{R}$ a $\mathbb{R}$, $\mathbb{C}$ e $\mathbb{H}$. Restrições dimensionais ($n^2 \dim D = 3$) eliminam $\mathbb{H}$ e $M_2(\mathbb{R})$, deixando apenas combinações específicas de $\mathbb{R}$ e $\mathbb{C}$.
2. Estrato de Radical Unidimensional ($d=1$): O quociente $A/\text{rad}(A)$ é uma álgebra semissimples de dimensão dois, isomorfa a $\mathbb{R}^2$ ou $\mathbb{C}$.
   • O caso $A/\text{rad}(A) \cong \mathbb{C}$ é provado como impossível via uma obstrução de sinal característica: se o gerador do radical $\eta$ fosse atuado pela unidade imaginária $i$ do quociente, derivar-se-ia $i \cdot \eta = c\eta$ para $c \in \mathbb{R}$, levando a $c^2 = -1$, que não possui solução real.
   • O caso $A/\text{rad}(A) \cong \mathbb{R}^2$ é analisado usando a decomposição de Peirce relativa aos idempotentes ortogonais do quociente. O gerador do radical está localizado ou em um canto diagonal (resultando em uma álgebra comutativa) ou em um canto fora da diagonal (resultando em uma álgebra não comutativa).
3. Estrato de Radical Bidimensional ($d=2$): O quociente é isomorfo a $\mathbb{R}$, tornando a álgebra local. A classificação divide-se com base em se o quadrado do radical se anula ($\text{rad}(A)^2 = 0$) ou é não nulo.

Resultos Principais
O artigo estabelece que existem exatamente seis classes de isomorfismo de near-trinions. Estas são apresentadas com representantes canônicos, tabelas de multiplicação explícitas e um conjunto de invariantes de teoria de módulos suficientes para distinguir cada par.

As seis classes são:

• $d=0$ (Semissimples):
  • (NT1) $\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R}$
  • (NT2) $\mathbb{R} \times \mathbb{C}$
• $d=1$ (Radical unidimensional):
  • (NT3) $\mathbb{R} \times \mathbb{R}[\varepsilon]/(\varepsilon^2)$ (Comutativa; radical no canto de Peirce diagonal)
  • (NT6) $T_2(\mathbb{R})$ (Não comutativa; radical no canto de Peirce fora da diagonal)
• $d=2$ (Radical bidimensional):
  • (NT4) $\mathbb{R}[\varepsilon_1, \varepsilon_2]/(\varepsilon_1^2, \varepsilon_2^2, \varepsilon_1\varepsilon_2)$ (Quadrado do radical é zero)
  • (NT5) $\mathbb{R}[x]/(x^3)$ (Quadrado do radical é não nulo; comprimento de Loewy 3)

Invariantes Distintivos
O artigo demonstra a irredundância (nenhuma das duas classes é isomórfica) usando os seguintes invariantes:

• Dimensão do radical ($d$): Separa os três estratos.
• Comutatividade: Distingue NT3 de NT6 dentro do estrato $d=1$.
• Comprimento de Loewy ($\ell\ell(A)$) e $\text{rad}(A)^2$: Distingue NT4 de NT5 dentro do estrato $d=2$.
• Contagem de idempotentes: Distingue NT1 de NT2 dentro do estrato $d=0$.

Significância e Contribuição
O artigo observa que, embora a classificação de álgebras de baixa dimensão tenha sido abordada anteriormente (especificamente por Scheffers em 1891 e Kobayashi et al. em tratamentos modernos), a contribuição deste trabalho reside em seu arcabouço metodológico e profundidade explicativa.

• Coerência Narrativa: O enquadramento de "near-trinion" conecta a classificação ao contexto histórico da não existência de álgebras de divisão tridimensionais.
• Explicação Estrutural: Diferente de abordagens baseadas em coordenadas que variam constantes de estrutura para enumerar classes, este artigo explica por que a classificação assume sua forma específica. Ele elucida por que a dimensão do radical é restrita a $\{0, 1, 2\}$, por que o caso $d=1$ se bifurca estritamente em comutatividade, e por que um corpo residual de $\mathbb{C}$ é estruturalmente impossível nesta dimensão sobre $\mathbb{R}$.
• Comparação com Trabalhos Anteriores: O artigo mapeia explicitamente suas seis classes para as entradas na classificação de Kobayashi et al., confirmando concordância enquanto fornece uma derivação distinta via estratificação do radical de Jacobson e decomposição de Peirce.

Limitações e Direções Futuras
A classificação é específica para álgebras associativas, unitárias e de dimensão finita sobre $\mathbb{R}$. O autor observa que os resultados não se estendem a dimensões infinitas (onde o Lema de Nakayama e os limites do radical podem falhar) ou álgebras não associativas (Lie, Jordan, octônions). Uma direção proposta para trabalhos subsequentes é a classificação sobre corpos finitos, onde a obstrução de sinal usada no caso $d=1$ (a insolubilidade de $c^2 = -1$) pode não se sustentar, potencialmente alterando o número de classes de isomorfismo.