2-Local and local derivations on Jordan matrix rings over commutative involutive rings

1. Declaração do Problema

O artigo aborda a classificação de derivações 2-locais e derivações locais em classes específicas de anéis de Jordan e álgebras de Jordan.

• Contexto: Uma derivação $D$ em um anel/álgebra é um mapa linear que satisfaz a regra de Leibniz ($D(xy) = D(x)y + xD(y)$). Uma derivação 2-local $\Delta$ é um mapa tal que, para quaisquer dois elementos $x, y$, existe uma derivação $D_{x,y}$ (dependendo de $x$ e $y$) tal que $\Delta(x) = D_{x,y}(x)$ e $\Delta(y) = D_{x,y}(y)$. Uma derivação local satisfaz esta condição para elementos individuais.
• A Questão Central: Sob quais condições toda derivação 2-local (ou local) é, na verdade, uma derivação global?
• Lacuna Específica: Trabalhos anteriores (por exemplo, Semrl, e extensões pelos autores em [3]) estabeleceram esta propriedade para matrizes simétricas sobre anéis comutativos com involução trivial. No entanto, o problema permanecia aberto para:
  1. Anéis de Jordan de matrizes auto-adjuntas $H_n(\mathcal{R})$ sobre um anel associativo comutativo involutivo unitário $\mathcal{R}$ geral (onde a involução não é necessariamente trivial).
  2. Álgebras de Jordan de mapas com valores em operadores auto-adjuntos sobre conjuntos arbitrários.
  3. A distinção entre derivações "internas" e derivações espaciais gerais nestes contextos de dimensão infinita.

2. Metodologia

Os autores empregam uma abordagem construtiva baseada nas propriedades da multiplicação associativa subjacente e na estrutura das unidades matriciais.

• Redução a Anéis Associativos: Os autores aproveitam o fato de que o anel de Jordan $H_n(\mathcal{R})$ está embutido no anel de matrizes associativo $M_n(\mathcal{R})$. Eles utilizam a relação entre derivações de Jordan e derivações internas da álgebra associativa envolvente.
• Construção de um Gerador Global: A estratégia central envolve provar que, para qualquer derivação 2-local interna $\Delta$, existe um único elemento $\bar{a}$ (especificamente um elemento anti-auto-adjunto ou auto-adjunto, dependendo do contexto) na álgebra envolvente tal que $\Delta(x) = \bar{a}x - x\bar{a}$ para todo $x$.
• Decomposição de Peirce e Unidades Matriciais: As provas dependem fortemente da análise da ação das derivações em unidades matriciais específicas ($e_{i,j}$) e seus correspondentes simétricos ($\bar{e}_{i,j} = e_{i,j} + e_{j,i}$).
  • Eles definem coeficientes específicos $a_{i,j}$ derivados das derivações locais $D_{x,y}$.
  • Eles estabelecem que estes coeficientes são consistentes entre diferentes pares de elementos, permitindo a construção de um elemento global $\bar{a} = \sum a_{i,j}$.
• Argumentos Indutivos e de Limite:
  • Para dimensões finitas ($n \times n$), a prova é algébrica, utilizando indução sobre índices e propriedades dos componentes de Peirce.
  • Para álgebras de operadores de dimensão infinita (envolvendo espaços de Hilbert), os autores utilizam uma sequência de projeções de dimensão finita e limites, aproveitando a cardinalidade enumerável da base do espaço de Hilbert.
• Modificação de Técnicas Anteriores: Os autores notam explicitamente que métodos de seu trabalho anterior [3] (que assumiam involução trivial) falham para anéis involutivos gerais porque certas identidades de comutador não se mantêm. Eles introduzem novas proposições (por exemplo, Proposição 7 no artigo) e modificam a escolha de elementos auxiliares (por exemplo, usando $\bar{e}_{i,j}$ em vez de $e_{i,j}$) para superar estes obstáculos.

3. Contribuições e Resultados Chave

A. Caso de Dimensão Finita: Anéis de Jordan de Matrizes

• Teorema 4 (Resultado Principal): Seja $\mathcal{R}$ um anel associativo comutativo involutivo unitário. Então toda derivação 2-local interna no anel de Jordan $H_n(\mathcal{R})$ de matrizes $n \times n$ auto-adjuntas é uma derivação.
  • Significado: Isso resolve o problema aberto para anéis involutivos gerais, estendendo resultados anteriores que estavam limitados a involuções triviais.
• Teorema 11: O resultado estende-se para álgebras de Jordan $H_n(A)$ onde $A$ é uma álgebra associativa comutativa involutiva unitária.

B. Caso de Dimensão Infinita: Mapas com Valores em Operadores

• Teorema 19: Seja $\Omega$ um conjunto arbitrário e $H$ um espaço de Hilbert separável. Seja $J$ uma subálgebra de Jordan de $M(\Omega, B(H)_{sa})$ contendo unidades matriciais específicas e um elemento específico $x_0$. Então toda derivação espacial 2-local em $J$ é uma derivação.
• Corolários:
  • Teorema 20: Aplica-se à álgebra completa $M(\Omega, B(H)_{sa})$.
  • Teorema 21: Aplica-se à parte auto-adjunta de uma álgebra de von Neumann real do Tipo I.
  • Teorema 22: Aplica-se à álgebra de Jordan de mapas contínuos $C(\Omega, K_{sa}(H))$ (operadores compactos).

C. Derivações Locais

• Teorema 23: Os autores provam que toda derivação espacial local em álgebras de Jordan da forma $M(\Omega, A)$ ou $C(\Omega, A)$ (onde $A$ é $B(H)_{sa}$ ou $K_{sa}(H)$) é uma derivação.
  • Metodologia: Eles utilizam um homomorfismo de avaliação pontual $\phi_t$ para reduzir o problema ao problema de derivação local na álgebra subjacente $A$, o qual é conhecido por ser verdadeiro para $B(H)_{sa}$.

4. Nuances Técnicas

• Interno vs. Espacial: O artigo distingue entre derivações "internas" (geradas por elementos dentro da álgebra) e derivações "espaciais" (implementadas por elementos de uma álgebra envolvente maior). Os resultados mostram que derivações 2-locais internas são derivações internas globais, e derivações 2-locais espaciais são derivações espaciais globais.
• Tratamento de Involução Não-Trivial: Um obstáculo técnico crítico foi que, em anéis com involução não-trivial, a soma de comutadores $[a_k, b_k]$ não necessariamente se anula na diagonal da mesma forma que no caso trivial. Os autores contornaram isso construindo um elemento anti-auto-adjunto específico $\bar{a}$ diretamente a partir dos coeficientes das derivações locais, provando sua existência sem depender do anulação dos comutadores diagonais.

5. Significado

• Resolução de Problemas Abertos: O artigo fecha com sucesso a lacuna referente a derivações 2-locais em anéis de Jordan com involuções não-triviais, um problema que havia resistido a métodos anteriores.
• Generalização: Unifica resultados para anéis de matrizes de dimensão finita e álgebras de operadores de dimensão infinita sob um único quadro teórico.
• Avanço Metodológico: As técnicas desenvolvidas (especificamente a construção do gerador global $\bar{a}$ via consistência de coeficientes) fornecem um conjunto de ferramentas robusto para futuras investigações em álgebras não-associativas e mapas locais/2-locais.
• Aplicações: Estes resultados são fundamentais na teoria estrutural das álgebras de Jordan, com implicações para a mecânica quântica (onde operadores auto-adjuntos representam observáveis) e o estudo de álgebras de operadores (álgebras de von Neumann, álgebras C*).

Em resumo, o artigo estabelece que o comportamento "local" das derivações nestas estruturas de Jordan específicas é rígido: qualquer mapa que localmente imita uma derivação deve globalmente ser uma derivação. Isso confirma a estabilidade da propriedade de derivação nestes sistemas algébricos.