BGG Sequences -- A Riemannian perspective

1. Problématique et Contexte

Les séquences de Bernstein-Gelfand-Gelfand (BGG) sont originellement issues de la théorie des représentations des algèbres de Lie semi-simples complexes, où elles fournissent des résolutions de modules de Verma. Ces constructions ont été généralisées dans les années 1990 aux géométries paraboliques, un cadre englobant des structures géométriques variées (conformes, projectives, CR, etc.) dont les modèles homogènes sont des variétés de drapeaux généralisées $G/P$.

Cependant, l'application de ces constructions aux géométries courbes (non plates) repose sur des outils techniques avancés et abstraits, notamment les faisceaux de tractors et les connexions de Cartan. Bien que puissants, ces outils rendent la construction difficilement accessible pour des applications concrètes, notamment en mathématiques appliquées (théorie de l'élasticité, relativité numérique) où l'on travaille souvent sur des domaines de $\mathbb{R}^n$ ou des variétés riemanniennes spécifiques.

Le problème central abordé par l'article est de fournir une construction explicite des séquences BGG pour les structures conformes et projectives sur des variétés riemanniennes (ou munies d'une connexion linéaire), sans faire appel à la théorie des géométries paraboliques ni aux faisceaux de tractors. L'objectif est de combler le fossé entre la théorie abstraite des géométries paraboliques et les constructions simplifiées existantes pour les domaines plats de $\mathbb{R}^n$, tout en permettant l'extension à des métriques courbes.

2. Méthodologie

L'auteur développe une approche hybride combinant la géométrie différentielle classique et la théorie des représentations, en évitant les structures de Cartan. La méthodologie se décompose en plusieurs étapes clés :

1. Cadre Algébrique et Représentations :

   • Pour le cas conforme, l'auteur utilise le groupe orthogonal $O(b)$ d'une forme bilinéaire de signature $(1, n+1)$ sur $\mathbb{R}^{n+2}$. Les représentations irréductibles de ce groupe sont décomposées selon une $|1|$-graduation ($V = \bigoplus V_j$).
   • Pour le cas projectif, le groupe $SL(n+1, \mathbb{R})$ est utilisé avec une graduation similaire.
   • Ces décompositions algébriques induisent des décompositions de fibrés vectoriels associés sur la variété $M$.

2. Connexion Tordue (Twisted Connection) :

   • Au lieu d'utiliser une connexion de tractor canonique, l'auteur définit une connexion tordue $\nabla^V$ sur les fibrés associés $V_M$.
   • Cette connexion est construite à partir de la connexion de Levi-Civita (ou d'une connexion linéaire préservant le volume) $\nabla$, d'opérations algébriques $\bullet$ issues de l'action de l'algèbre de Lie, et d'un tenseur de courbure modifié (tenseur de Schouten $P$).
   • La formule est : $\nabla^V_\xi s = \nabla_\xi s + \xi \bullet s - P(\xi) \bullet s$.
   • La courbure de cette connexion $\nabla^V$ est exprimée explicitement en termes du tenseur de Weyl $W$ et du tenseur de Cotton-York $Y$. Elle est plate si et seulement si la géométrie est plate (conformément ou projectivement).

3. Suite de de Rham Tordue et Cohomologie :

   • On considère la suite de de Rham tordue $(\Omega^*(M, V_M), d_{\nabla^V})$.
   • L'opérateur $\partial$, induit par la différentielle de l'algèbre de Lie abélienne $g_{-1}$, permet de définir des sous-fibrés de cohomologie $H^k(g_{-1}, V)$. Ces fibrés, notés $\Upsilon_k$, sont des quotients de $\Lambda^k T^*M \otimes V_M$.
   • L'auteur utilise la théorie des représentations (notamment le théorème de Kostant) pour identifier ces fibrés de cohomologie comme des objets géométriques standards (ex: tenseurs symétriques sans trace, formes différentielles, etc.).

4. Construction des Opérateurs BGG :

   • L'idée centrale est de « compresser » la suite de de Rham tordue (qui agit sur des fibrés complexes) en une suite d'opérateurs différentiels agissant sur les fibrés de cohomologie $\Upsilon_k$.
   • Cela nécessite la construction d'un opérateur de scission (splitting operator) $S$ qui permet de relever une section de $\Upsilon_k$ en une section de $V_M$ de manière canonique.
   • Les opérateurs BGG $D$ sont ensuite définis comme la projection orthogonale de $d_{\nabla^V}(S(\sigma))$ sur le fibré $\Upsilon_{k+1}$.

3. Contributions Clés

• Construction Explicite sans Tractors : L'article fournit une construction complète des séquences BGG conformes et projectives sur des variétés riemanniennes générales, en utilisant uniquement la métrique (ou la connexion) et la théorie des représentations, sans passer par le formalisme des géométries paraboliques.
• Généralisation aux Métriques Courbes : Contrairement aux travaux précédents limités aux domaines de $\mathbb{R}^n$ (où la métrique est plate), cette construction gère la courbure. L'auteur montre comment les termes de courbure (Weyl, Cotton-York) apparaissent naturellement dans la définition de la connexion tordue et dans les formules des opérateurs.
• Formules Universelles : L'article dérive des formules universelles pour les opérateurs BGG d'ordre 1 et 2 (Théorème 2.9), reliant directement l'ordre de l'opérateur à la position des composantes de la graduation dans la représentation.
• Lien avec les Applications : La construction est présentée de manière à être directement utilisable pour le développement de méthodes numériques (calcul éléments finis extérieurs) pour des systèmes surdéterminés comme les équations de l'élasticité linéaire ou la relativité générale.

4. Résultats Principaux

• Théorème 2.2 / 3.2 : La courbure de la connexion tordue $\nabla^V$ est donnée par $R^V(\xi, \eta) = W(\xi, \eta) \bullet s + Y(\xi, \eta) \bullet s$. Cela établit que la suite est un complexe (i.e., $d_{\nabla^V}^2 = 0$) si et seulement si la géométrie est plate (conformément ou projectivement).
• Théorème 2.7 : Dans le cas plat, la suite BGG est une résolution fine du faisceau des sections parallèles de $V_M$ et calcule la même cohomologie que la suite de de Rham tordue.
• Théorème 2.8 : Dans le cas non plat, il existe une relation étroite entre les sections parallèles de $\nabla^V$ et le noyau du premier opérateur BGG. En particulier, les sections « normales » (solutions du premier opérateur qui s'étendent en sections parallèles) sont caractérisées par des conditions tensorielles explicites (ex: champs de Killing conformes s'annulant sur le tenseur de Weyl).
• Exemples Concrets :
  • Cas Conforme : Pour la représentation standard, le premier opérateur BGG est l'opérateur de Killing conforme. Pour la représentation adjointe, on retrouve l'opérateur de Killing sur les tenseurs symétriques sans trace.
  • Cas Projectif : Pour la représentation standard duale, le premier opérateur est lié à l'équation de Ricci plate. Pour la représentation $\Lambda^2 V^*$, on retrouve le complexe de Calabi (fondamental pour l'élasticité linéaire).

5. Signification et Impact

Cet article est significatif pour plusieurs raisons :

1. Accessibilité : Il rend la « machinerie BGG » accessible aux géomètres et analystes qui ne maîtrisent pas la théorie profonde des géométries paraboliques et des connexions de Cartan.
2. Pont Interdisciplinaire : Il facilite l'interaction entre les mathématiciens purs (théorie des représentations, géométrie différentielle) et les mathématiciens appliqués (analyse numérique, physique mathématique). En fournissant des formules explicites sur des variétés riemanniennes, il permet d'adapter les méthodes de calcul éléments finis (FEEC) à des problèmes géométriques complexes comme l'élasticité sur des courbes ou la relativité numérique.
3. Généralité : Il montre que les structures conformes et projectives, souvent vues comme des affaiblissements de la structure riemannienne, possèdent leurs propres séquences BGG intrinsèques qui peuvent être construites directement à partir de la métrique riemannienne sous-jacente.
4. Outils pour l'Analyse : La construction des opérateurs de scission et la compréhension de la relation entre les systèmes surdéterminés et les connexions plates (prolongement géométrique) offrent de nouveaux outils pour l'étude de la régularité et de la stabilité des solutions d'équations aux dérivées partielles en géométrie.

En résumé, Andreas Čap réussit à « démystifier » la construction BGG pour les géométries conformes et projectives en la ramenant à un cadre riemannien explicite, ouvrant ainsi la voie à de nouvelles applications numériques et théoriques.