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

1. Énoncé du problème

L'article traite de la classification des dérivations 2-locales et des dérivations locales sur des classes spécifiques d'anneaux de Jordan et d'algèbres de Jordan.

• Contexte : Une dérivation $D$ sur un anneau/une algèbre est une application linéaire satisfaisant la règle de Leibniz ($D(xy) = D(x)y + xD(y)$). Une dérivation 2-locale $\Delta$ est une application telle que pour tout couple d'éléments $x, y$, il existe une dérivation $D_{x,y}$ (dépendant de $x$ et $y$) telle que $\Delta(x) = D_{x,y}(x)$ et $\Delta(y) = D_{x,y}(y)$. Une dérivation locale satisfait cette condition pour des éléments individuels.
• La question centrale : Dans quelles conditions toute dérivation 2-locale (ou locale) est-elle en réalité une dérivation globale ?
• Lacune spécifique : Des travaux antérieurs (par exemple, Semrl, et des extensions par les auteurs dans [3]) ont établi cette propriété pour les matrices symétriques sur des anneaux commutatifs avec une involution triviale. Cependant, le problème restait ouvert pour :
  1. Les anneaux de Jordan de matrices auto-adjointes $H_n(\mathcal{R})$ sur un anneau associatif commutatif unitaire involutif général $\mathcal{R}$ (où l'involution n'est pas nécessairement triviale).
  2. Les algèbres de Jordan d'applications à valeurs dans des opérateurs auto-adjoints sur des ensembles arbitraires.
  3. La distinction entre les dérivations « internes » et les dérivations spatiales générales dans ces contextes de dimension infinie.

2. Méthodologie

Les auteurs adoptent une approche constructive basée sur les propriétés de la multiplication associative sous-jacente et sur la structure des unités matricielles.

• Réduction aux anneaux associatifs : Les auteurs exploitent le fait que l'anneau de Jordan $H_n(\mathcal{R})$ est plongé dans l'anneau de matrices associatif $M_n(\mathcal{R})$. Ils utilisent la relation entre les dérivations de Jordan et les dérivations internes de l'algèbre associative enveloppante.
• Construction d'un générateur global : La stratégie centrale consiste à prouver que pour toute dérivation interne 2-locale $\Delta$, il existe un unique élément $\bar{a}$ (spécifiquement un élément anti-auto-adjoint ou auto-adjoint selon le contexte) dans l'algèbre enveloppante tel que $\Delta(x) = \bar{a}x - x\bar{a}$ pour tout $x$.
• Décomposition de Peirce et unités matricielles : Les preuves reposent fortement sur l'analyse de l'action des dérivations sur des unités matricielles spécifiques ($e_{i,j}$) et leurs symétriques ($\bar{e}_{i,j} = e_{i,j} + e_{j,i}$).
  • Ils définissent des coefficients spécifiques $a_{i,j}$ dérivés des dérivations locales $D_{x,y}$.
  • Ils établissent que ces coefficients sont cohérents à travers différents couples d'éléments, permettant la construction d'un élément global $\bar{a} = \sum a_{i,j}$.
• Arguments inductifs et limites :
  • Pour les dimensions finies ($n \times n$), la preuve est algébrique, utilisant l'induction sur les indices et les propriétés des composantes de Peirce.
  • Pour les algèbres d'opérateurs de dimension infinie (impliquant des espaces de Hilbert), les auteurs utilisent une suite de projections de dimension finie et des limites, exploitant la cardinalité dénombrable de la base de l'espace de Hilbert.
• Modification des techniques précédentes : Les auteurs notent explicitement que les méthodes de leur travail antérieur [3] (qui supposait une involution triviale) échouent pour les anneaux involutifs généraux car certaines identités de commutateur ne sont pas valables. Ils introduisent de nouvelles propositions (par exemple, la Proposition 7 dans l'article) et modifient le choix des éléments auxiliaires (par exemple, en utilisant $\bar{e}_{i,j}$ au lieu de $e_{i,j}$) pour surmonter ces obstacles.

3. Contributions et résultats clés

A. Cas de dimension finie : Anneaux de Jordan de matrices

• Théorème 4 (Résultat principal) : Soit $\mathcal{R}$ un anneau associatif commutatif unitaire involutif. Alors toute dérivation interne 2-locale sur l'anneau de Jordan $H_n(\mathcal{R})$ de matrices $n \times n$ auto-adjointes est une dérivation.
  • Signification : Cela résout le problème ouvert pour les anneaux involutifs généraux, étendant les résultats précédents limités aux involutions triviales.
• Théorème 11 : Le résultat s'étend aux algèbres de Jordan $H_n(A)$ où $A$ est une algèbre associative commutative unitaire involutive.

B. Cas de dimension infinie : Applications à valeurs dans des opérateurs

• Théorème 19 : Soit $\Omega$ un ensemble arbitraire et $H$ un espace de Hilbert séparable. Soit $J$ une sous-algèbre de Jordan de $M(\Omega, B(H)_{sa})$ contenant des unités matricielles spécifiques et un élément spécifique $x_0$. Alors toute dérivation spatiale 2-locale sur $J$ est une dérivation.
• Corollaires :
  • Théorème 20 : S'applique à l'algèbre complète $M(\Omega, B(H)_{sa})$.
  • Théorème 21 : S'applique à la partie auto-adjointe d'une algèbre de von Neumann réelle de type I.
  • Théorème 22 : S'applique à l'algèbre de Jordan des applications continues $C(\Omega, K_{sa}(H))$ (opérateurs compacts).

C. Dérivations locales

• Théorème 23 : Les auteurs prouvent que toute dérivation spatiale locale sur les algèbres de Jordan de la forme $M(\Omega, A)$ ou $C(\Omega, A)$ (où $A$ est $B(H)_{sa}$ ou $K_{sa}(H)$) est une dérivation.
  • Méthodologie : Ils utilisent un homomorphisme d'évaluation ponctuelle $\phi_t$ pour réduire le problème au problème de dérivation locale sur l'algèbre sous-jacente $A$, qui est connu pour être vrai pour $B(H)_{sa}$.

4. Nuances techniques

• Interne vs Spatiale : L'article distingue les dérivations « internes » (générées par des éléments au sein de l'algèbre) des dérivations « spatiales » (implémentées par des éléments d'une plus grande algèbre enveloppante). Les résultats montrent que les dérivations 2-locales internes sont des dérivations internes globales, et que les dérivations 2-locales spatiales sont des dérivations spatiales globales.
• Gestion de l'involution non triviale : Un obstacle technique critique était que, dans les anneaux avec involution non triviale, la somme des commutateurs $[a_k, b_k]$ ne s'annule pas nécessairement sur la diagonale de la même manière que dans le cas trivial. Les auteurs ont contourné cela en construisant un élément anti-auto-adjoint spécifique $\bar{a}$ directement à partir des coefficients des dérivations locales, prouvant son existence sans s'appuyer sur l'annulation des commutateurs diagonaux.

5. Importance

• Résolution de problèmes ouverts : L'article comble avec succès le vide concernant les dérivations 2-locales sur les anneaux de Jordan avec involutions non triviales, un problème qui avait résisté aux méthodes précédentes.
• Généralisation : Il unifie les résultats pour les anneaux de matrices de dimension finie et les algèbres d'opérateurs de dimension infinie sous un cadre théorique unique.
• Avancement méthodologique : Les techniques développées (spécifiquement la construction du générateur global $\bar{a}$ via la cohérence des coefficients) fournissent une boîte à outils robuste pour les futures investigations sur les algèbres non associatives et les applications locales/2-locales.
• Applications : Ces résultats sont fondamentaux dans la théorie structurelle des algèbres de Jordan, avec des implications pour la mécanique quantique (où les opérateurs auto-adjoints représentent des observables) et l'étude des algèbres d'opérateurs (algèbres de von Neumann, algèbres C*).

En résumé, l'article établit que le comportement « local » des dérivations sur ces structures de Jordan spécifiques est rigide : toute application qui imite localement une dérivation doit être globalement une dérivation. Cela confirme la stabilité de la propriété de dérivation dans ces systèmes algébriques.