Rigidity and Cohomology of Seaweed Lie Algebras

1. Problématique et Contexte

Les algèbres de Lie « seaweed » (ou sous-algèbres biparaboliques) sont définies comme l'intersection de deux sous-algèbres paraboliques opposées dans une algèbre de Lie simple complexe. Elles constituent une classe riche et structurée, se situant entre les sous-algèbres paraboliques et les sous-algèbres de Levi. Bien que leur structure combinatoire (via les « meanders ») et leurs propriétés invariantes aient été largement étudiées, leur cohomologie adjointe $H^*(\mathfrak{s}, \mathfrak{s})$ n'avait pas été déterminée de manière générale.

La détermination de cette cohomologie est cruciale pour la théorie des déformations :

• $H^2(\mathfrak{s}, \mathfrak{s})$ régit les déformations infinitésimales.
• $H^3(\mathfrak{s}, \mathfrak{s})$ régit la théorie des obstructions.
• Si $H^*(\mathfrak{s}, \mathfrak{s}) = 0$, l'algèbre est dite rigide (ou absolument rigide).

L'objectif principal de l'article est de classifier la rigidité cohomologique des algèbres seaweed et de fournir une description explicite de leur cohomologie adjointe.

2. Méthodologie

Les auteurs adoptent une approche structurale combinant la théorie des représentations, la suite spectrale de Hochschild-Serre et des identités algébriques spécifiques (opérateur de Casimir).

A. Décomposition et Indécomposabilité

L'étude repose sur la décomposition vectorielle $\mathfrak{s} = \mathfrak{r} \oplus \mathfrak{n}$, où $\mathfrak{r}$ est la partie réductive et $\mathfrak{n}$ le radical nilpotent.

• Théorème clé (2.4) : Une algèbre seaweed est indécomposable si et seulement si son centre $Z(\mathfrak{s})$ est trivial ($Z(\mathfrak{s}) = \{0\}$).
• Si $\mathfrak{s}$ est décomposable, elle se scinde en une somme directe $\mathfrak{s} \cong Z(\mathfrak{s}) \oplus \mathfrak{q}$, où $\mathfrak{q} = \mathfrak{s}/Z(\mathfrak{s})$ est une somme directe d'algèbres seaweed indécomposables.

B. Cas Indécomposable : Suite Spectrale et Opérateur de Casimir

Pour les algèbres indécomposables, les auteurs utilisent la suite spectrale de Hochschild-Serre associée à la décomposition de Levi $\mathfrak{s} = \mathfrak{r} \ltimes \mathfrak{n}$.

• La page $E_2$ est donnée par $E_2^{p,q} = H^p(\mathfrak{r}, H^q(\mathfrak{n}, \mathfrak{s}))$.
• L'objectif est de prouver que $H^q(\mathfrak{n}, \mathfrak{s})^\mathfrak{r} = \{0\}$ pour tout $q \ge 0$.
• Cas $q=0$ : Correspond au centre $Z(\mathfrak{s})$, qui est nul par hypothèse d'indécomposabilité.
• Cas $q \ge 1$ : La preuve utilise un opérateur d'homotopie combiné à une identité de Casimir. En montrant que l'opérateur de Casimir modifié agit comme une application de mise à l'échelle non dégénérée sur les cocycles invariants, les auteurs démontrent que tout cocycle est un cobord, forçant ainsi la cohomologie à s'annuler.

C. Cas Décomposable : Réduction par le Centre

Pour les algèbres décomposables, la structure de produit semi-direct $\mathfrak{s} \cong Z(\mathfrak{s}) \rtimes \mathfrak{q}$ est exploitée.

• Les auteurs appliquent un théorème de Coll et Gerstenhaber concernant la cohomologie des produits semi-directs où l'idéal est abélien.
• Cela permet d'exprimer la cohomologie de $\mathfrak{s}$ en termes de puissances extérieures du dual du centre et de la cohomologie du quotient $\mathfrak{q}$.

3. Résultats Principaux

Le théorème principal (Théorème 1.1) établit une dichotomie complète :

1. Rigidité Absolue des Cas Indécomposables :
   Si $\mathfrak{s}$ est une algèbre seaweed indécomposable, alors :
   $$H^*(\mathfrak{s}, \mathfrak{s}) = 0$$
   Cela implique que toutes les algèbres seaweed indécomposables sont absolument rigides. Aucune déformation non triviale n'existe pour ces algèbres.

2. Description Cohomologique des Cas Décomposables :
   Si $\mathfrak{s}$ est décomposable, alors pour tout $n \ge 0$ :
   $$H^n(\mathfrak{s}, \mathfrak{s}) \cong \bigoplus_{i+j=n} \left( \bigwedge^i Z(\mathfrak{s})^* \otimes H^j(\mathfrak{s}/Z(\mathfrak{s}), \mathfrak{s}) \right)$$

   • Conséquence majeure : Le centre $Z(\mathfrak{s})$ est la source unique de toute cohomologie adjointe non triviale.
   • Le quotient $\mathfrak{q} = \mathfrak{s}/Z(\mathfrak{s})$ étant une somme d'algèbres indécomposables, sa propre cohomologie adjointe est nulle ($H^*(\mathfrak{q}, \mathfrak{q}) = 0$), ce qui simplifie considérablement le calcul des termes de la somme.

4. Contributions Techniques et Exemples

• Unification : L'article traite les cas rigides et non rigides dans un seul cadre théorique, généralisant les résultats antérieurs (comme ceux d'Elashvili et Rakviashvili pour le type A) à toutes les algèbres simples complexes.
• Calculs explicites :
  • Pour le type $A_2$ (indécomposable), les auteurs vérifient explicitement l'annulation de $H^2(\mathfrak{n}, \mathfrak{s})^\mathfrak{r}$ en utilisant une base de Chevalley et l'opérateur de Casimir, confirmant la rigidité.
  • Pour le type $G_2$ (décomposable), ils montrent comment la déformation infinitésimale (élément de $H^2$) émerge strictement du centre. Une déformation non triviale introduit une interaction entre des éléments qui commutaient auparavant, transformant l'algèbre en une structure qui n'est plus une algèbre seaweed.

5. Signification et Implications

• Théorie de la Rigidité : Ce travail étend la théorie de la rigidité des sous-algèbres paraboliques (théorème de Tolpygo) aux algèbres seaweed. Il identifie l'absence de centre comme la condition nécessaire et suffisante pour la rigidité complète.
• Réduction Computationnelle : Pour les algèbres décomposables, le théorème permet de réduire le calcul de la cohomologie (souvent coûteux) à des calculs sur le quotient $\mathfrak{q}$ (plus petit) et sur le centre (abélien).
• Limites de la Catégorie : Les exemples montrent que les algèbres seaweed ne sont pas stables sous déformation formelle (une déformation peut sortir de la catégorie des algèbres seaweed). Cela suggère que les algèbres seaweed doivent être vues comme une sous-classe d'une famille plus large (les algèbres de « proset »), dont la cohomologie fait l'objet de travaux futurs.
• Signification Géométrique : La décomposition de l'espace de déformation en composantes tensorielles (liées au centre et au quotient) fait écho à la théorie de Kodaira-Spencer et Frölicher-Nijenhuis pour les variétés analytiques complexes, suggérant des directions de déformation distinctes.

En résumé, cet article résout le problème de la cohomologie adjointe pour les algèbres seaweed, établissant que leur rigidité est entièrement dictée par la structure de leur centre, et fournissant une formule universelle pour calculer leurs déformations potentielles.