Module-Valued 2-Local Derivations on Reductive Lie Algebras

Résumé technique : Dérivations 2-locales à valeurs dans un module sur des algèbres de Lie réductives

Énoncé du problème
Cet article traite de la classification des dérivations 2-locales d'une algèbre de Lie réductive $\mathfrak{g}$ de dimension finie vers un $\mathfrak{g}$-module $V$ quelconque de dimension finie. Une application $\Delta: \mathfrak{g} \to V$ est définie comme une dérivation 2-locale si, pour chaque paire d'éléments $x, y \in \mathfrak{g}$, il existe une véritable dérivation $D_{x,y}: \mathfrak{g} \to V$ telle que $\Delta(x) = D_{x,y}(x)$ et $\Delta(y) = D_{x,y}(y)$. La question centrale est de savoir si toute dérivation 2-locale est nécessairement une dérivation linéaire, ou si des applications non linéaires « exceptionnelles » existent.

Les auteurs s'appuient sur des travaux antérieurs : l'introduction des dérivations 2-locales par Šemrl [3], la preuve que les dérivations 2-locales sur les algèbres de Lie semi-simples de dimension finie sont des dérivations [1], et la formulation à valeurs dans un module pour les $\mathfrak{sl}_2(\mathbb{C})$-modules simples [4].

Méthodologie
La stratégie de preuve procède par une décomposition de l'algèbre de Lie réductive $\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$, où $\mathfrak{s} = [\mathfrak{g}, \mathfrak{g}]$ est semi-simple et $\mathfrak{z} = Z(\mathfrak{g})$ est le centre. L'analyse est divisée en deux composantes principales :

1. Le cas semi-simple ($\mathfrak{g} = \mathfrak{s}$) :

   • Réduction : En utilisant la semi-simplicité (réductibilité complète) et le fait que les dérivations s'annulent sur l'annulateur du module, le problème est réduit au cas où $V$ est un $\mathfrak{s}$-module irréductible, non trivial et fidèle.
   • Réalisateurs affines : Les auteurs utilisent le fait que pour une dérivation 2-locale $\Delta$, l'ensemble $R_x(\Delta) = \{v \in V : xv = \Delta(x)\}$ est un espace affine non vide. L'intersection de ces espaces détermine l'existence d'un vecteur global $v$ tel que $\Delta = D_v$.
   • Géométrie algébrique et actions de groupes : La preuve emploie la représentation du groupe algébrique simplement connexe $G$ associé à $\mathfrak{s}$. En utilisant des éléments $V$-réguliers dans une sous-algèbre de Cartan et l'action de $\exp_G(E)$ et $\exp_G(F)$ (où $E, F$ sont des sommes de vecteurs de racines), les auteurs établissent que la somme de certains sous-espaces est directe.
   • Éléments semi-simples : La Proposition 3.2 démontre que toute dérivation 2-locale coïncide avec une dérivation intérieure $D_v$ sur tous les éléments semi-simples de $\mathfrak{g}$.
   • Éléments nilpotents : Pour les éléments non semi-simples $x = s + e$, les auteurs utilisent le théorème de Jacobson–Morozov pour injecter la partie nilpotente $e$ dans un triplet $\mathfrak{sl}_2$. Un lemme technique (Lemme 4.1) impliquant des opérateurs semi-simples et des $\mathfrak{sl}_2$-modules est utilisé pour montrer que la condition 2-locale force la dérivation à s'annuler sur la partie nilpotente également, à condition qu'elle s'annule sur les éléments semi-simples.

2. Le cas réductif ($\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$) :

   • Décomposition du module : Le module $V$ est décomposé en $sV \oplus V^s$.
   • Composante abélienne : Le comportement sur le centre $\mathfrak{z}$ est analysé à l'aide du Lemme 5.1, qui classifie les dérivations 2-locales sur les algèbres de Lie abéliennes. Il établit que de telles applications sont la somme d'une dérivation linéaire et d'une application homogène dans l'ensemble des points fixes $M^{\mathfrak{a}}$.
   • Synthèse : Les résultats pour la partie semi-simple (qui sont des dérivations intérieures) et la partie abélienne sont combinés pour caractériser l'ensemble complet des dérivations 2-locales sur $\mathfrak{g}$.

Contributions clés et résultats

• Théorème 1.1 (Cas semi-simple) : Toute dérivation 2-locale d'une algèbre de Lie semi-simple $\mathfrak{s}$ de dimension finie vers un $\mathfrak{s}$-module $V$ de dimension finie est une dérivation. Cela généralise les résultats précédents pour les algèbres simples au cas des algèbres semi-simples avec des modules arbitraires.
• Théorème 1.2 (Classification réductive) : Pour une algèbre de Lie réductive $\mathfrak{g} = \mathfrak{s} \oplus \mathfrak{z}$, l'ensemble des dérivations 2-locales est donné par :
  $$2\text{LocDer}(\mathfrak{g}, V) = \text{Der}(\mathfrak{g}, V) + \{H \circ \text{pr}_{\mathfrak{z}} : H \in \text{Homog}(\mathfrak{z}, V^{\mathfrak{g}})\}$$
  où $\text{Homog}$ désigne les applications homogènes. Cela implique que toute dérivation 2-locale $\Delta$ admet la forme :
  $$\Delta(s + z) = (s + z)u + f(z) + H(z)$$
  où $u \in V^{\mathfrak{s}}$, $f$ est une dérivation linéaire de $\mathfrak{z}$ vers $V^{\mathfrak{s}}$, et $H$ est une application homogène de $\mathfrak{z}$ vers $V^{\mathfrak{g}}$.
• Corollaire 1.3 (Condition de linéarité) : Une dérivation 2-locale est une dérivation si et seulement si $\dim \mathfrak{z} \le 1$ ou $V^{\mathfrak{g}} = 0$.
  • Si $\dim \mathfrak{z} \ge 2$ et $V^{\mathfrak{g} \neq 0}$, il existe des dérivations 2-locales exceptionnelles qui sont des applications homogènes non linéaires.
  • Si $V$ est complètement réductible, la forme se simplifie en $\Delta(s+z) = (s+z)v + H(z)$.

Signification
L'article affirme que sa conclusion sert d'« analogue Lie-module du principe non linéaire de Gleason–Kahane–Żelazko ». Conceptuellement, il démontre que dans le contexte des algèbres de Lie réductives, la condition de « réalisabilité à deux points » (être une dérivation 2-locale) est suffisante pour forcer l'existence d'un « réalisateur global » (une dérivation unique), sauf dans des cas spécifiques impliquant le centre de l'algèbre et les points fixes du module. Ce travail étend la compréhension des propriétés locales-globales dans la cohomologie des algèbres de Lie et la théorie des modules, en identifiant précisément les conditions structurelles (dimension du centre et existence d'invariants) sous lesquelles apparaissent des dérivations 2-locales non linéaires.