A classification of nilpotent compatible Lie algebras

Résumé technique : Une classification des algèbres de Lie compatibles nilpotentes

Énoncé du problème
L'article traite du problème de la classification des algèbres de Lie compatibles nilpotentes sur un corps arbitraire de caractéristique différente de 2. Une algèbre de Lie compatible est définie comme un espace vectoriel $\mathfrak{g}$ muni de deux crochets de Lie, $[-,-]$ et $\{-,-\}$, tels que toute combinaison linéaire $\lambda[-,-] + \mu\{-,-\}$ demeure un crochet de Lie. Cette condition est équivalente à la satisfaction d'une « identité de Jacobi mixte ». Bien que les algèbres de Lie compatibles apparaissent dans divers contextes, notamment l'équation de Yang-Baxter classique, les systèmes intégrables et la théorie de la déformation, une classification structurelle complète, particulièrement pour le cas nilpotent, n'avait pas encore été établie jusqu'à la dimension 4. Les auteurs visent à combler cette lacune en étendant les techniques de classification existantes à cette variété algébrique spécifique.

Méthodologie
Les auteurs généralisent la méthode de Skjelbred-Sund, initialement développée pour la classification des algèbres de Lie nilpotentes, au cadre des algèbres possédant deux produits. Le cœur de leur approche repose sur le cadre théorique suivant :

1. Théorie de la cohomologie : En utilisant la théorie de la cohomologie pour les algèbres de Lie compatibles introduite dans [15], les auteurs définissent les extensions centrales via des 2-cocycles. Ils établissent que toute algèbre de Lie compatible de dimension finie peut être construite comme une séquence d'extensions centrales partant de l'algèbre de dimension zéro.
2. Extensions centrales et admissibilité : Une extension centrale $\mathfrak{g}_\omega$ d'une algèbre de Lie compatible $\mathfrak{g}$ par un espace vectoriel $V$ est construite à l'aide d'un cocycle $\omega \in Z^2(\mathfrak{g}, V)$. Les auteurs se concentrent sur les extensions centrales « pleines » où le centre de l'extension est exactement $V$. Ils introduisent le concept de cocycles « admissibles », qui garantissent que l'extension est pleine et ne possède pas de « composantes centrales » (sommes directes de la forme $\mathfrak{i} \oplus Kx$ où $x$ est central).
3. Critère d'isomorphisme : L'article prouve que deux extensions centrales pleines $\mathfrak{g}_\omega$ et $\mathfrak{g}_\theta$ sont isomorphes si et seulement si leurs cocycles correspondants appartiennent à la même orbite sous l'action du groupe d'automorphismes $\text{Aut}(\mathfrak{g})$ et du groupe linéaire général $\text{GL}(V)$. Plus précisément, ils réduisent le problème de la classification à la détermination des orbites des sous-espaces dans le second groupe de cohomologie $H^2(\mathfrak{g}, K)$ sous l'action de $\text{Aut}(\mathfrak{g})$.
4. Classification algorithmique : Un algorithme inductif est proposé :
   • Commencer par la classification des algèbres de Lie compatibles nilpotentes jusqu'à la dimension $n-1$.
   • Pour chaque algèbre $\mathfrak{g}$ de la liste, calculer son centre, son groupe d'automorphismes et son second groupe de cohomologie.
   • Identifier les cocycles admissibles (ceux dont l'intersection avec le centre a un annihilateur trivial).
   • Calculer les orbites de l'action de $\text{Aut}(\mathfrak{g})$ sur les sous-espaces pertinents de $H^2(\mathfrak{g}, K)$.
   • Construire des extensions pour chaque orbite et ajouter les algèbres possédant des composantes centrales (sommes directes avec des centres de dimension 1).

Contributions clés

• Extension de Skjelbred-Sund : L'article adapte avec succès la méthode de Skjelbred-Sund à la variété des algèbres de Lie compatibles, prouvant les théorèmes nécessaires concernant les extensions centrales et les critères d'isomorphisme pour les algèbres possédant deux produits.
• Gestion de la skew-isomorphie : Les auteurs définissent et distinguent explicitement l'isomorphisme ($\cong$) et la skew-isomorphie ($\cong^*$), où les deux crochets sont permutés. Ils fournissent une liste complète des skew-isomorphismes parmi les algèbres classifiées, notant que certaines algèbres sont auto-skew-isomorphes tandis que d'autres forment des paires.
• Classification explicite : Les auteurs fournissent une classification complète et explicite de toutes les algèbres de Lie compatibles nilpotentes jusqu'à la dimension 4.

Résultats
La classification est présentée pour un corps de base $K$ de caractéristique $\neq 2$. Les résultats sont résumés comme suit :

• Dimensions 1 et 2 : Il n'y a qu'une seule classe d'isomorphisme dans chaque dimension, toutes deux étant abéliennes.
• Dimension 3 :
  • Il y a 3 classes d'isomorphisme et 1 famille à un paramètre.
  • Les classes incluent l'algèbre abélienne, deux algèbres où un seul crochet est non trivial (isomorphe à l'algèbre de Heisenberg pour un crochet et abélienne pour l'autre), et une famille où les deux crochets sont non triviaux et proportionnels.
• Dimension 4 :
  • Il y a 12 classes d'isomorphisme, 6 familles à un paramètre, et 1 famille à deux paramètres.
  • La classification inclut des algèbres avec des composantes centrales (sommes directes d'algèbres de dimension inférieure) et des extensions non triviales.
  • Les classes d'isomorphisme dépendent des propriétés du corps. Spécifiquement, pour les familles impliquant des paramètres $\beta$, les algèbres $NCL_{4,9}^\beta$ et $NCL_{4,14}^\beta$ sont isomorphes si et seulement si le rapport de leurs paramètres possède une racine cubique dans $K$.
  • Si le corps de base est cubiquement clos (chaque élément possède une racine cubique), le nombre de classes d'isomorphisme distinctes est réduit : les familles à un paramètre se réduisent à des classes uniques, et la famille à deux paramètres se réduit à une famille à un paramètre.

L'article fournit un tableau complet (Section 4.5) listant toutes les algèbres jusqu'à la dimension 4, leurs relations définissantes et la dimension de leurs centres. La section 4.6 détaille les relations de skew-isomorphie, montrant que beaucoup d'algèbres de la liste sont skew-isomorphes à d'autres de la liste (par exemple, $NCL_{3,2} \cong NCL_{3,3}$), tandis que certaines sont auto-skew-isomorphes.

Signification
L'article revendique sa signification en fournissant la première classification complète des algèbres de Lie compatibles nilpotentes dans les basses dimensions. Ce travail sert de étape fondamentale pour l'analyse structurelle ultérieure de ces algèbres, qui sont pertinentes en physique mathématique (par exemple, les structures bi-Hamiltoniennes et les systèmes intégrables). En établissant la machinerie cohomologique et l'algorithme de classification, les auteurs permettent des extensions futures vers des dimensions plus élevées et d'autres variétés de structures algébriques compatibles. Les résultats clarifient également la relation entre les deux crochets de Lie, démontant que la condition de compatibilité impose des contraintes structurelles spécifiques qui distinguent ces algèbres de simples paires d'algèbres de Lie.