Complete and cocomplete Lie algebras with injective- and projective-type properties

Résumé technique : Algèbres de Lie complètes et cocomplètes avec propriétés de type injectif et projectif

Énoncé du problème
L'article étudie les propriétés structurelles des algèbres de Lie de dimension finie sur un corps de caractéristique nulle, en cherchant spécifiquement des analogues aux concepts d'objets injectifs et projectifs présents dans la catégorie des modules. Dans la théorie des modules, les objets injectifs et projectifs sont caractérisés par la scission des suites exactes courtes. Les auteurs abordent la question de savoir si des caractérisations similaires existent dans la catégorie des algèbres de Lie. Une complication fondamentale surgit car la catégorie des algèbres de Lie n'est pas abélienne ; par conséquent, les extensions admettent deux notions distinctes de scission :

1. Scission semi-triviale : l'extension $0 \to A \to B \to C \to 0$ se scinde en une somme semi-directe $B \cong A \rtimes_\rho C$ pour une certaine action $\rho$.
2. Scission triviale : l'extension se scinde en une somme directe $B \cong A \oplus_{\text{Lie}} C$.

Les questions centrales sont : Sous quelles conditions sur $A$ toute extension par $A$ se scinde trivialement ? Sous quelles conditions sur $C$ toute extension de $C$ se scinde trivialement ?

Méthodologie
Les auteurs emploient une combinaison de la théorie structurelle des algèbres de Lie, de l'algèbre homologique et du calcul algorithmique.

• Analyse structurelle : L'article utilise le théorème de Levi et le théorème d'Ado pour analyser les propriétés d'extension. Il distingue les extensions générales des extensions centrales (où le noyau réside dans le centre de l'algèbre totale).
• Caractérisation homologique : L'étude s'appuie sur la cohomologie des algèbres de Lie, spécifiquement le deuxième groupe de cohomologie $H^2(C, K)$, pour caractériser les propriétés de scission. Les auteurs relient l'annulation des groupes de cohomologie à l'existence d'homomorphismes de scission.
• Propriétés de relèvement : L'article reformule les conditions de scission comme des propriétés de relèvement pour les homomorphismes, parallèlement aux définitions des modules injectifs et projectifs, mais en adaptant ces définitions aux contraintes spécifiques des idéaux et des dérivations des algèbres de Lie.
• Implémentation algorithmique : Les auteurs développent des algorithmes explicites basés sur les constantes de structure pour vérifier la complétude et la cocomplétude. Ces algorithmes résolvent des systèmes linéaires dérivés du centre, des dérivations et de l'opérateur de cobord de la 2-forme.
• Classification : Les méthodes sont appliquées pour classer les algèbres de Lie complètes et cocomplètes jusqu'à la dimension 4 sur les corps réels et complexes.

Contributions clés et résultats

1. Propriétés de type injectif et algèbres de Lie complètes (Théorème 1) :
   L'article établit la converse du théorème classique de Jacobson. Il prouve qu'une algèbre de Lie $A$ est complète (centre trivial et seules dérivations intérieures) si et seulement si toute extension de toute algèbre de Lie $C$ par $A$ se scinde trivialement.

• Cela identifie la complétude comme une propriété de "type injectif".
• Les auteurs fournissent quatre caractérisations équivalentes, incluant une propriété de relèvement d'homomorphisme. Crucialement, ils démontrent que cette propriété de relèvement exige que l'image de la morphisme source soit un somme direct de Lie du de la cible, une condition strictement plus faible que l'injectivité catégorique complète (comme le montre l'Exemple 3.5).
• Un algorithme (Algorithme 1) est fourni pour vérifier la complétude en vérifiant si le centre est trivial et si la dimension de l'algèbre des dérivations est égale à la dimension de l'algèbre de Lie.

2. Nonexistence d'objets projectifs globaux (Théorème 2) :
   L'article prouve qu'aucune algèbre de Lie non triviale ne possède de propriété de "type projectif" globale. Spécifiquement, pour toute algèbre de Lie $C$ non triviale, il existe une extension par une algèbre de Lie $A$ qui ne se scinde pas trivialement. Cela révèle une asymétrie structurelle entre les aspects injectifs et projectifs dans la catégorie des algèbres de Lie.

3. Algèbres de Lie cocomplètes et extensions centrales (Théorèmes 3 & 4) :
   Pour récupérer un analogue projectif, les auteurs restreignent le champ d'application aux extensions centrales.

• Ils définissent une algèbre de Lie $C$ comme étant cocomplète si toute extension centrale de $C$ se scinde trivialement.
• Le Théorème 3 fournit des caractérisations équivalentes pour la cocomplétude, incluant une propriété de relèvement pour les homomorphismes de $C$ où le noyau de la cible est central.
• La Proposition 4.6 établit le critère cohomologique : $C$ est cocomplète si et seulement si $H^2(C, K) = 0$. Cela implique que toutes les algèbres de Lie semi-simples sont cocomplètes.
• La Proposition 4.8 analyse la stabilité de la cocomplétude sous les sommes directes, montrant qu'une somme directe est cocomplète si et seulement si tous les facteurs sont cocomplets et qu'au moins $m-1$ d'entre eux sont parfaits.

4. Cas presque abélien (Théorème 4) :
   L'article fournit une condition spectrale nécessaire et suffisante pour qu'une algèbre de Lie presque abélienne (une extension unidimensionnelle d'un idéal abélien par une dérivation $D$) soit cocomplète. L'algèbre est cocomplète si et seulement si $D$ est un automorphisme et qu'aucune paire de valeurs propres $\lambda, \mu$ de $D$ ne satisfait $\lambda + \mu = 0$.

5. Résultats computationnels :
   En utilisant les algorithmes développés, les auteurs tabulent toutes les algèbres de Lie complètes et cocomplètes de dimension $\le 4$ sur les corps réels et complexes. Ils notent que bien que les algèbres semi-simples soient à la fois complètes et cocomplètes, la classe des algèbres cocomplètes est strictement plus large (elle inclut par exemple l'algèbre de Lie affine). Inversement, aucune algèbre de Lie nilpotente non abélienne n'est cocomplète.

Signification
L'article affirme résoudre la question des analogues injectifs et projectifs dans la catégorie des algèbres de Lie en distinguant les contextes globaux et restreints (centraux).

• Il clarifie que la complétude est la condition structurelle précise pour le comportement de "type injectif" concernant la scission triviale des extensions générales, bien qu'elle soit strictement plus faible que l'injectivité catégorique.
• Il démontre qu'un objet de "type projectif" global n'existe pas, nécessitant l'introduction de la cocomplétude comme concept dual restreint aux extensions centrales.
• Ce travail fait le pont entre la théorie structurelle des algèbres de Lie et l'algèbre homologique, fournissant des critères cohomologiques explicites ($H^2(C, K)=0$) et des algorithmes pratiques pour identifier ces classes.
• La classification des exemples de basse dimension sert de base de données fondamentale pour des études ultérieures, soulignant l'interaction entre semi-simplicité, nilpotence et la scission des extensions.