Resumo Técnico: Isomorfismos de Lie e de Jordan de Álgebras de Matrizes Triangulares sobre Anéis Associativos

Enunciado do Problema

O artigo aborda a classificação estrutural de isomorfismos de Lie e de Jordan entre álgebras de matrizes triangulares superiores, denotadas por $T(R)$ e $T(S)$, onde $R$ e $S$ são $\Phi$-álgebras associativas unitárias sobre um anel comutativo associativo $\Phi$ contendo 1.

Embora a estrutura de tais isomorfismos seja bem compreendida para anéis semiprimitivos (por exemplo, anéis de matrizes completas) e casos específicos de matrizes triangulares sobre anéis comutativos sem idempotentes próprios, uma descrição geral para álgebras de matrizes triangulares sobre anéis associativos arbitrários (que são geralmente não semiprimitivos e podem carecer de idempotentes próprios completos) permaneceu incompleta. Especificamente, o artigo busca descrever isomorfismos $\phi: T(R) \to T(S)$ sem assumir que $\phi$ é $R$-linear ou que o anel base $\Phi$ é livre de 2-torsão ou de idempotentes próprios.

Metodologia

O autor emprega uma estratégia de decomposição baseada nas propriedades dos idempotentes no anel base $\Phi$. A metodologia procede através dos seguintes passos lógicos:

1. Decomposição via Idempotentes: A técnica central envolve identificar um idempotente $h \in \Phi$ que divide o problema em dois componentes distintos: um onde o isomorfismo se comporta como um homomorfismo padrão (associado a $h$) e outro onde ele se comporta como um anti-homomorfismo (associado a $1-h$).
2. Análise de Álgebras de Lie Adjuntas: Para isomorfismos de Lie, a análise é conduzida nas álgebras de Lie adjuntas $T(R)(-)$ e $T(S)(-)$, onde a multiplicação é substituída pelo comutador $[x, y] = xy - yx$. O estudo foca no quociente das álgebras pelos ideais centrais $\Phi \cdot I_R$ e $\Phi \cdot I_S$.
3. Normalização Indutiva de Idempotentes: Um componente técnico crítico é a prova indutiva (Lemmas 3.2 e 4.2) demonstrando que, até o nível de conjugação por matrizes invertíveis específicas (do grupo unitriangular superior $UT(n, S)$ e do grupo diagonal $Diag(S^*)$), o isomorfismo pode ser normalizado para mapear as unidades de matriz padrão $e_{ii}(h)$ para $e_{ii}(h)$.
   • Isso envolve analisar os centralizadores de conjuntos de idempotentes ortogonais e utilizar a estrutura da parte estritamente triangular superior $A(R)$.
   • As provas dependem das relações de comutador (para Lie) e das relações de produto de Jordan $x \circ y = xy + yx$ (para Jordan) para restringir as imagens das unidades de matriz.
4. Redução para Isomorfismos de Anel Base: Uma vez que as unidades de matriz são normalizadas, o isomorfismo mostra-se induzindo um mapeamento sobre as entradas do anel subjacente. As propriedades de linearidade e multiplicatividade (ou anti-multiplicatividade) deste mapa induzido são derivadas da preservação do colchete de Lie ou do produto de Jordan nas unidades de matriz.
5. Tratamento de Anti-isomorfismos: Para o componente correspondente a $1-h$, o artigo utiliza o anti-isomorfismo $\tau_S: T(S) \to T(S^{op})$ para transformar o problema em um solucionável pelo caso do homomorfismo, efetivamente mostrando que a parte "anti" do isomorfismo corresponde a um anti-isomorfismo dos anéis subjacentes.

Principais Contribuições e Resultados

1. Classificação de Isomorfismos de Lie (Teorema 1)

O artigo estabelece que qualquer isomorfismo de Lie $\phi$ entre as álgebras de Lie adjuntas das álgebras de matrizes triangulares (modulo ideais centrais) pode ser decomposto. Especificamente, existe um idempotente $h \in \Phi$ tal que:

• No componente $hR$, $\phi$ levanta para um isomorfismo padrão $\psi_1: hR \to hS$.
• No componente $(1-h)R$, $\phi$ levanta para um anti-isomorfismo $\psi_2: (1-h)R \to (1-h)S$.
• O mapa total é uma composição desses mapas de anel, levantados para o nível de matriz, e conjugado por elementos invertíveis $g_1 \in UT(n, S)$ e $g_2 \in Diag(S^*)$.
• Formalmente, $\phi$ levanta para $b_{g_1} b_{g_2} (\widehat{\psi_1} - \widehat{\psi_2})$.

2. Classificação de Isomorfismos de Jordan (Teorema 2)

Da mesma forma, para isomorfismos de Jordan $\phi: T(R) \to T(S)$, o artigo prova que existe um idempotente $h \in \Phi$ tal que $\phi$ levanta para:

• Uma soma de uma parte de homomorfismo e uma parte de anti-homomorfismo, conjugada pelos mesmos tipos de matrizes invertíveis.
• Formalmente, $\phi = b_{g_1} b_{g_2} (\widehat{\psi_1} + \widehat{\psi_2})$.

3. Generalização de Trabalhos Anteriores

Os resultados generalizam descrições anteriores encontradas na literatura:

• Eles estendem o trabalho de Doković [14] e Cao [12] sobre $T(\Phi)$ (onde o anel base é comutativo) para o caso onde $R$ é uma $\Phi$-álgebra associativa arbitrária.
• Eles estendem os resultados de Beidar, Brešar e Chebotar [8] e Liu e Tsai [17, 18] referentes a anéis sem idempotentes próprios ou sem 2-torsão para o caso geral onde tais restrições não são assumidas.

Significância e Alegações

O artigo alega que os Teoremas 1 e 2 são novos mesmo no caso específico de automorfismos de $T(R)$ onde $R$ é uma $\Phi$-álgebra comutativa. A novidade reside na remoção da suposição de que o automorfismo de Lie ou de Jordan $\phi$ deve ser $R$-linear. Ao permitir que $\phi$ seja meramente $\Phi$-linear, o artigo fornece uma descrição estrutural mais abrangente que leva em conta a potencial divisão da álgebra via idempotentes no anel base $\Phi$.

O trabalho completa a descrição desses isomorfismos para a classe de álgebras de matrizes triangulares sobre anéis associativos, preenchendo uma lacuna deixada por estudos anteriores que eram restritos a anéis semiprimitivos, anéis sem 2-torsão ou anéis sem idempotentes próprios. Os resultados confirmam que a estrutura de tais isomorfismos é fundamentalmente determinada pela decomposição do anel base em partes que suportam homomorfismos e partes que suportam anti-homomorfismos, mediada por conjugações de matrizes padrão.