The relationship between local derivations and local automorphisms of some associative algebras

1. Problema e Contexto

O artigo investiga as propriedades de derivadas locais e automorfismos locais em álgebras associativas nilpotentes naturalmente graduadas de dimensão cinco, especificamente as álgebras $\pi_2$ e $\pi_3$, definidas pela sequência característica $C(A) = (3, 2)$.

O trabalho aborda três questões centrais propostas por Ayupov, Eldique e Kudaybergenov (Problemas 1) para álgebras de dimensão finita:

1. O grupo de todos os automorfismos locais, $LocAut(A)$, é um grupo de Lie?
2. O espaço vetorial de todas as derivadas locais, $LocDer(A)$, forma uma álgebra de Lie em relação aos colchetes de Lie?
3. Se as duas afirmações anteriores forem verdadeiras, as álgebras de Lie $Lie(LocAut(A))$e$LocDer(A)$ são isomorfas?

O contexto histórico menciona que, para certas álgebras (como álgebras de Cayley e álgebras de Leibniz simples), essas propriedades já foram estabelecidas, mas a questão permanece aberta ou requer verificação para álgebras associativas nilpotentes específicas.

2. Metodologia

Os autores utilizam uma abordagem algébrica combinatória e analítica, baseada nos seguintes pilares:

• Classificação de Matrizes: Determinação explícita das formas matriciais gerais para automorfismos, derivadas, automorfismos locais e derivadas locais nas álgebras $\pi_2$ e $\pi_3$.
• Análise de Sistemas Lineares: Para caracterizar os operadores locais, os autores impõem a condição de que, para qualquer elemento $\nu \in A$, deve existir um operador "global" (automorfismo ou derivada) que coincida com o operador local em $\nu$. Isso gera sistemas de equações lineares cujas soluções definem as restrições sobre os coeficientes das matrizes locais.
• Teoremas de Princípios (Theorem 5): Uso de princípios gerais que relacionam as entradas das matrizes de derivadas globais com as de derivadas locais, permitindo deduzir a estrutura das matrizes locais sem resolver o sistema completo para cada caso individualmente.
• Cálculo de Exponenciais de Matrizes: Para estabelecer a relação entre derivadas locais e automorfismos locais, os autores calculam a exponencial de matrizes de derivadas locais ($\exp(\nabla) = I + \sum \frac{\nabla^n}{n!}$) e verificam se o resultado pertence ao conjunto de automorfismos locais.
• Geometria Diferencial: Análise da estrutura do conjunto de matrizes de automorfismos locais como subvariedades suaves (manifolds) no espaço das matrizes $5 \times 5$, verificando se são grupos de Lie.

3. Contribuições e Resultados Principais

A. Caracterização Matricial

Os autores derivaram as formas matriciais exatas para os operadores em questão:

• Automorfismos Globais vs. Locais: Para $\pi_2$ e $\pi_3$, a forma geral da matriz de um automorfismo local não coincide com a de um automorfismo global.
  • Exemplo em $\pi_2$: Enquanto os automorfismos globais têm restrições polinomiais específicas nos elementos diagonais (ex: $a_{2,2} = a_{1,1}^2$), os automorfismos locais permitem que certos elementos sejam independentes (ex: $b_{2,2}$ é livre, desde que não nulo), desde que satisfaçam condições de existência de solução para o sistema linear associado.
• Conclusão Imediata: Existem automorfismos locais e derivadas locais que não são automorfismos ou derivadas globais. Isso resolve negativamente a conjectura de que "local implica global" para estas álgebras específicas.

B. Estrutura de Álgebra de Lie

• Teorema 10 e 11: Foi provado que o espaço vetorial de todas as derivadas locais, $LocDer(\pi_2)$ e $LocDer(\pi_3)$, forma uma álgebra de Lie sob o colchete de Lie padrão $[\nabla, \Delta] = \nabla\Delta - \Delta\nabla$.
• Isso fornece uma solução positiva para a segunda parte dos Problemas 1 de Ayupov-Eldique-Kudaybergenov para estas álgebras.

C. Relação via Exponencial

• Teorema 13 e 14: Os autores estabeleceram uma relação direta entre o grupo de automorfismos locais e a álgebra de derivadas locais através da função exponencial.
  • Para $\pi_3$: $LocAut^+(\pi_3) = \{ \exp(\nabla) : \nabla \in LocDer(\pi_3) \}$.
  • Para $\pi_2$: $LocAut(\pi_2) = \{ \exp(\nabla) : \nabla \in LocDer(\pi_2) \}$.
• O cálculo explícito das potências das matrizes e das séries de Taylor mostrou que a exponencial de uma derivada local resulta sempre em um automorfismo local, e vice-versa (para a componente conexa).

D. Estrutura de Grupo de Lie

• Teorema 15 e 16: Foi demonstrado que os grupos de automorfismos locais $LocAut(\pi_2)$ e $LocAut(\pi_3)$ são grupos de Lie.
• A prova envolveu mostrar que o conjunto de matrizes correspondentes forma uma subvariedade suave (embedding) no espaço das matrizes $5 \times 5$.
  • Para $\pi_2$, a dimensão é 11.
  • Para $\pi_3$, o conjunto é a união de duas variedades suaves disjuntas (devido ao sinal $\pm$ em $b_{3,3} = \pm b_{1,1}^3$), formando uma variedade suave de dimensão 7.
• Consequentemente, o espaço tangente a esses grupos coincide com a álgebra de derivadas locais, confirmando a isomorfismo $Lie(LocAut(A)) \cong LocDer(A)$.

4. Significado e Impacto

Este trabalho é significativo por várias razões:

1. Resolução de Problemas Abertos: Fornece uma solução positiva completa para os Problemas 1 de Ayupov-Eldique-Kudaybergenov no contexto específico de álgebras associativas naturalmente graduadas de dimensão cinco ($\pi_2$ e $\pi_3$).
2. Contraponto à Conjectura "Local = Global": Demonstra que, ao contrário do que ocorre em álgebras de von Neumann ou $C^*$, em álgebras associativas nilpotentes finitas, a propriedade de ser "local" é estritamente mais fraca que ser "global". A existência de automorfismos locais que não são automorfismos globais é um fenômeno não trivial.
3. Estrutura Geométrica: Estabelece que, mesmo quando o conjunto de automorfismos locais não é topologicamente fechado (o que impede a aplicação direta do Teorema de Cartan), ele ainda possui uma estrutura de grupo de Lie suave, conectando a análise algébrica com a geometria diferencial.
4. Metodologia Robusta: O uso de séries de potências e análise de sistemas lineares paramétricos oferece um modelo para estudar propriedades locais em outras classes de álgebras não associativas ou associativas.

Em suma, o paper confirma que, para as álgebras $\pi_2$ e $\pi_3$, o conjunto de derivadas locais forma uma álgebra de Lie, o conjunto de automorfismos locais forma um grupo de Lie, e existe um isomorfismo natural entre eles via exponencial, apesar da existência de operadores locais que não são globais.