Commuting maps of inflated algebras

Résumé technique : Applications commutantes d'algèbres gonflées

Énoncé du problème
Cet article étudie la structure des applications commutantes sur une classe spécifique d'algèbres associatives connues sous le nom d'algèbres gonflées. Soit $K$ un corps de caractéristique différente de 2, et soit $A$ une algèbre associative sur $K$. Une application $K$-linéaire $\theta: A \to A$ est définie comme une application commutante si elle satisfait $[\theta(x), x] = 0$ pour tout $x \in A$, où le crochet de Lie est défini par $[x, y] = xy - yx$.

Le problème central est de déterminer si toute application commutante sur une algèbre gonflée est standard. Une application est dite standard si elle prend la forme :
$$\theta(x) = cx + \lambda x + \mu(x)$$
où $c \in K$, $\lambda \in Z(A)$ (le centre de $A$), et $\mu$ est une application $K$-linéaire à valeurs dans $Z(A)$. Si $A$ est unitaire, la notion d'application standard coïncide avec celle d'une application propre (où $c=0$). L'article vise à classifier ces applications spécifiquement pour les algèbres gonflées, qui servent de déformations des algèbres de matrices pleines $M_n(K)$ et jouent un rôle dans la théorie des représentations des groupes classiques et quantiques.

Méthodologie
Les auteurs adoptent une approche constructive dépendante d'une base pour analyser l'action des applications commutantes. La méthodologie procède comme suit :

1. Représentation algébrique : Les algèbres gonflées $M(V, \gamma)$ sont réalisées comme des algèbres de matrices $(M_n(K), P)$ avec une multiplication modifiée $A \cdot B = APB$, où $P$ est une matrice représentant une forme bilinéaire $\gamma$. En utilisant des isomorphismes (Lemme 2.1), les auteurs réduisent le cas général à la forme canonique $M_n(r)$, où $P$ est une matrice diagonale avec $r$ uns et $n-r$ zéros.
2. Analyse de base : Les auteurs utilisent les unités matricielles standard $\{e_{ij}\}$ comme base pour $M_n(r)$. Ils expriment l'application commutante $\theta$ en termes de constantes de structure $C_{ij}^{xy}$ telles que $\theta(e_{ij}) = \sum C_{ij}^{xy} e_{xy}$.
3. Contraintes de commutateur : En utilisant la propriété définissante $[\theta(x), x] = 0$ et la condition équivalente $[\theta(x), y] = [x, \theta(y)]$ pour les éléments de base (Lemme 3.1), les auteurs dérivent un système d'équations linéaires pour les coefficients $C_{ij}^{xy}$.
4. Distinction de cas : L'analyse est scindée en fonction du rang $r$ de la matrice définissante $P$ :
   • Cas 1 ($\hat{J} = \emptyset$) : Correspond à l'algèbre de matrices pleine $M_n(K)$ (où $r=n$).
   • Cas 2 ($\hat{J} \neq \emptyset$) : Correspond au cas où l'algèbre n'est pas une algèbre de matrices pleine (où $r < n$).
     Les auteurs éliminent systématiquement les termes non diagonaux et non centraux dans le développement de $\theta(e_{ij})$ en égalisant les coefficients d'unités matricielles spécifiques dans les relations de commutateur.

Contributions et résultats clés
Le résultat principal est le Théorème 3.9, qui établit ce qui suit :

1. Forme standard : Toute application commutante $\theta$ sur une algèbre gonflée $M_n(r)$ est standard. Plus précisément, $\theta$ peut être décomposée en une multiplication scalaire, une multiplication centrale et une application linéaire à valeurs centrales.
2. Propre vs impropre :
   • Si $\hat{J} = \emptyset$ (c'est-à-dire que l'algèbre est l'algèbre de matrices pleine $M_n(K)$), toute application commutante est propre (le terme scalaire $c$ est nul).
   • Si $\hat{J} \neq \emptyset$ (c'est-à-dire que l'algèbre est un gonflement propre avec $r < n$), il existe des applications commutantes qui sont impropres (non standards au sens des applications propres, bien qu'elles restent standards au sens large autorisant un scalaire $c$).
3. Généralisation : Dans la Remarque 3.11, les auteurs étendent ces résultats aux algèbres de semigroupes de Munn $M(m, n, P)$ (algèbres de matrices généralisées). Ils démontrent que l'isomorphisme $M(m, n, P) \cong M(m, n, \text{diag}(I_r, 0))$ permet d'appliquer les mêmes techniques de preuve, concluant que toute application commutante sur $M(m, n, P)$ est également standard.

Portée et affirmations
L'article situe son travail dans le contexte plus large des identités fonctionnelles et de la théorie de Lie, citant les travaux fondateurs de Posner, Brešar et Cheung. Les auteurs affirment que leurs résultats fournissent une caractérisation complète des applications commutantes sur les algèbres gonflées, une classe d'algèbres qui inclut les algèbres de matrices pleines comme cas particulier mais englobe également des structures plus générales issues de la théorie des représentations.

La portée réside dans :

• Compléter la classification : Fournir une description structurelle définitive des applications commutantes pour les algèbres gonflées, distinguant clairement le cas unitaire/algèbre de matrices pleine (où les applications sont propres) du cas non unitaire/rang partiel (où les multiples scalaires deviennent nécessaires).
• Unification : Démontrer que la théorie des applications commutantes sur ces algèbres, qui sont des déformations de $M_n(K)$, suit un schéma cohérent avec les algèbres de matrices pleines, à condition que la définition de « standard » inclue le terme scalaire $c$ pour les cas non unitaires.
• Extension : Élargir la portée des résultats connus des algèbres de matrices triangulaires et généralisées à la classe spécifique des algèbres de semigroupes de Munn.

Les auteurs ne prétendent pas découvrir de nouvelles applications, mais plutôt résoudre la question structurelle des applications commutantes pour cette classe algébrique spécifique, contribuant ainsi au développement continu de la théorie des identités fonctionnelles.