Flat extensions of principal connections and the Chern-Simons $3$-form

Cet article introduit la notion d'extension plate d'une connexion principale, établit un lien entre l'existence de telles extensions et la nullité de l'invariant de Chern-Simons sur les variétés de dimension 3, et applique ces résultats pour obtenir des obstructions globales à l'immersion conforme, lorentzienne ou équiaffine de telles variétés dans l'espace euclidien $\mathbb{R}^4$.

L'essentiel

Imaginez que vous êtes un architecte qui doit construire des maisons (des formes géométriques) sur un terrain très spécial : un monde à trois dimensions. Votre défi est de savoir si vous pouvez placer ces maisons dans un espace plus grand, comme un immense hangar à quatre dimensions, sans les déformer.

Ce papier de recherche est comme un manuel de détection de défauts pour ces architectes. Il utilise un outil mathématique très puissant appelé la forme de Chern-Simons.

Voici une explication simple, étape par étape, avec des analogies :

1. Le problème : Comment savoir si une maison rentre dans le hangar ?

Imaginons que vous ayez une petite maison en bois (votre monde à 3 dimensions) et que vous vouliez la glisser dans un grand hangar (l'espace à 4 dimensions).

• Parfois, la maison rentre parfaitement, sans être tordue.
• Parfois, elle ne rentre pas du tout, ou alors elle doit être écrasée ou déformée pour passer.

Les mathématiciens veulent une règle simple pour dire : "Attends, cette maison ne rentrera jamais dans le hangar sans se briser."

2. L'outil magique : La "Forme de Chern-Simons"

Pour détecter ce problème, les auteurs utilisent une sorte de "thermomètre mathématique" appelé la forme de Chern-Simons.

• Imaginez que cette forme mesure la "torsion" ou la "complexité" de votre maison.
• Si la maison est trop tordue, le thermomètre affiche un chiffre bizarre (un nombre qui n'est pas un entier).
• Si la maison est bien faite pour rentrer dans le hangar, le thermomètre doit afficher un chiffre très spécial : soit zéro, soit un nombre entier (comme 1, 2, 3...).

Si le thermomètre affiche un chiffre bizarre (par exemple 1,5), c'est le signe que la maison ne peut pas entrer dans le hangar sans être cassée.

3. La nouvelle idée : Les "Extensions Plates"

C'est ici que les auteurs apportent leur grande nouveauté. Ils se demandent : "Comment savoir si notre maison a une chance de rentrer dans le hangar ?"

Ils introduisent le concept d'extension plate.

• L'analogie : Imaginez que votre maison est un dessin sur un morceau de papier. Pour savoir si elle rentre dans le hangar, vous essayez de "déplier" ce papier pour le coller à l'intérieur d'un grand cube parfait (le hangar).
• Si vous pouvez étirer votre dessin sur le cube sans le froisser ni le plier (c'est ce qu'ils appellent une "extension plate"), alors votre maison est compatible avec le hangar.
• Si vous ne pouvez pas le faire sans froisser le papier, alors il y a un problème.

Le papier dit essentiellement : "Si vous pouvez trouver cette 'extension plate' (ce dépliement parfait), alors votre thermomètre de torsion (Chern-Simons) doit afficher un chiffre parfait (0 ou un entier)."

4. Les applications concrètes (Les exemples du papier)

Les auteurs appliquent cette règle à trois types de "maisons" différentes :

• Les maisons classiques (Espace Riemannien) :
  C'est le cas classique étudié par Chern et Simons il y a longtemps. Si vous avez une surface courbe (comme une sphère ou un tore) et que vous voulez la mettre dans l'espace 4D, cette règle vous dit : "Si la torsion de votre surface n'est pas un nombre entier, c'est impossible de la mettre dans l'espace 4D sans la déformer."

  • Exemple : Ils montrent que la sphère projective réelle (une forme mathématique un peu bizarre) ne peut pas entrer dans l'espace 4D. C'est comme essayer de mettre un ballon trop gonflé dans une boîte trop petite : ça ne passe pas.

• Les maisons de l'espace-temps (Espace Lorentzien) :
  Ici, on parle de l'univers tel que nous le connaissons, avec le temps et l'espace. Les règles sont un peu différentes.

  • Si votre univers peut être plongé dans un certain type d'espace 4D, le thermomètre doit afficher un entier.
  • S'il peut être plongé dans un autre type d'espace, le thermomètre doit afficher zéro.
  • C'est comme si l'univers avait deux types de portes d'entrée : l'une exige un ticket pair, l'autre exige un ticket nul.

• Les maisons "à volume fixe" (Immersion Équi-affine) :
  Imaginez que votre maison est faite d'une matière qui ne peut ni être comprimée ni étirée (comme de l'eau dans un sac). Vous voulez la mettre dans le hangar 4D en gardant son volume exact.

  • Les auteurs prouvent que si votre maison a une certaine torsion (mesurée par Chern-Simons), elle ne pourra jamais entrer dans le hangar en gardant son volume intact.
  • Ils appliquent cela à la sphère projective (encore elle !) et disent : "Non, elle ne rentre pas, même si on essaie de la manipuler sans la comprimer."

En résumé

Ce papier est une boussole mathématique.

1. Il définit une nouvelle façon de vérifier si un objet géométrique peut être "déplié" dans un espace plus grand (l'extension plate).
2. Il prouve que si cet objet peut être déplié, alors sa "torsion" (l'invariant de Chern-Simons) doit respecter des règles strictes (être un entier ou zéro).
3. Si la torsion ne respecte pas ces règles, c'est la preuve irréfutable que l'objet ne peut pas exister dans cet espace plus grand sans être brisé ou déformé.

C'est un outil puissant pour dire "Non" à des constructions géométriques impossibles, que ce soit pour des sphères, des univers courbés ou des formes qui gardent leur volume.

Résumé technique

1. Problématique et Contexte

Les formes et invariants de Chern–Simons sont des invariants secondaires fondamentaux en géométrie et en topologie, particulièrement pour les variétés de dimension impaire. Pour une connexion $\theta$ à valeurs dans une algèbre de Lie $\mathfrak{g}$ sur une variété de dimension 3, la forme de Chern–Simons est définie par :
$$CS(\theta) = \langle \theta, d\theta \rangle + \frac{1}{3}\langle \theta, [\theta, \theta] \rangle$$
où $\langle \cdot, \cdot \rangle$ est une forme bilinéaire symétrique invariante.

L'article s'intéresse à la signification géométrique de la vanishing (annulation) ou de l'intégralité de l'invariant de Chern–Simons associé à une connexion principale $\theta$ sur un fibré trivial au-dessus d'une variété close orientée $M^3$. Plus précisément, les auteurs cherchent à relier l'existence de certaines structures géométriques (comme les immersions isométriques ou équi-affines) à des propriétés topologiques de ces invariants. Le problème central est de déterminer sous quelles conditions l'existence d'une telle immersion force l'invariant de Chern–Simons à s'annuler ou à prendre des valeurs entières.

2. Méthodologie

La méthodologie repose sur l'introduction d'une nouvelle notion géométrique : l'extension plate (flat extension) d'une connexion principale.

A. Définition de l'extension plate

Soit $G$ un sous-groupe de Lie d'un groupe de Lie plus grand $\tilde{G}$. On suppose que l'algèbre de Lie $\tilde{\mathfrak{g}}$ est munie d'une forme bilinéaire invariante $\langle \cdot, \cdot \rangle$ dont la restriction à $\mathfrak{g}$ est non dégénérée, permettant la décomposition $\tilde{\mathfrak{g}} = \mathfrak{g} \oplus \mathfrak{g}^\perp$.
Une extension plate de type $(\tilde{G}, G)$ d'une connexion $\theta$ sur un fibré principal $P \to M$ est un morphisme de fibrés $F : P \to \tilde{G}$ tel que :
$$\theta = F^*(\mu_{\tilde{G}}^\top)$$
où $\mu_{\tilde{G}}$ est la forme de Maurer–Cartan de $\tilde{G}$ et $\mu_{\tilde{G}}^\top$ est sa composante dans $\mathfrak{g}$.

B. Identité algébrique clé (Théorème 5.1)

Le cœur technique de l'article réside dans une identité algébrique démontrée pour les formes à valeurs dans $\tilde{\mathfrak{g}}$. Si $\psi = \psi^\top + \psi^\perp$ est une forme à valeurs dans $\tilde{\mathfrak{g}}$ satisfaisant la condition $[\psi^\perp, \psi^\perp] \in \Omega^2(N, \mathfrak{g})$, alors la forme de Chern–Simons se décompose comme suit :
$$CS(\psi) = CS(\psi^\top) + \langle \psi^\perp, \Theta^\perp \rangle$$
où $\Theta$ est la courbure de $\psi$.
Si $\psi$ est plat (c'est-à-dire satisfait l'équation de Maurer–Cartan $d\psi + \frac{1}{2}[\psi, \psi] = 0$), alors $\Theta = 0$, et l'identité devient :
$$CS(\psi) = CS(\psi^\top)$$
Cela signifie que la forme de Chern–Simons est « aveugle » à la composante $\psi^\perp$ lorsque la forme globale est plate.

C. Application aux invariants

En appliquant cette identité à une extension plate $F$, on obtient que la forme de Chern–Simons de la connexion $\theta$ sur $M$ est le tiré en arrière de la forme de Chern–Simons de la forme de Maurer–Cartan de $\tilde{G}$.
$$\sigma^* CS(\theta) = (F \circ \sigma)^* CS(\mu_{\tilde{G}})$$
L'intégrale de cette forme sur $M$ dépend donc de la classe de cohomologie $[CS(\mu_{\tilde{G}})] \in H^3(\tilde{G}, \mathbb{R})$. Si cette classe est entière (dans $H^3(\tilde{G}, \mathbb{Z})$), l'invariant de Chern–Simons de $\theta$ est un entier. Si elle est exacte, l'invariant s'annule.

3. Résultats Principaux

Les auteurs établissent plusieurs théorèmes reliant l'existence d'immersions à la valeur de l'invariant de Chern–Simons :

1. Cas Riemannien (Immersion isométrique dans $\mathbb{R}^4$) :
   Pour une variété riemannienne orientée $(M, g)$ de dimension 3, l'existence d'une immersion isométrique dans l'espace euclidien $\mathbb{R}^4$ implique l'existence d'une extension plate de type $(SO(4), SO(3))$.

   • Résultat : L'invariant de Chern–Simons de $(M, g)$ s'annule (ou est entier selon la normalisation). Cela redonne l'obstruction classique de Chern–Simons : une telle immersion n'existe que si l'invariant est entier (et s'annule pour des choix de normalisation optimaux).

2. Cas Lorentzien (Immersion dans $\mathbb{R}^{3,1}$ et $\mathbb{R}^{2,2}$) :
   Pour une variété lorentzienne orientée $(M, g)$ admettant un repère orthonormé global :

   • Une immersion isométrique dans $\mathbb{R}^{2,2}$ (signature $(+,+,-,-)$) implique que l'invariant de Chern–Simons (à valeurs réelles) s'annule.
   • Une immersion isométrique dans $\mathbb{R}^{3,1}$ (signature $(+,+,+,-)$) implique que l'invariant est un entier.
   • La différence provient de la topologie des groupes : $H^3(SO_0(2,2), \mathbb{R}) = 0$ tandis que $H^3(SO_0(3,1), \mathbb{R}) \cong \mathbb{R}$.

3. Cas Équi-affine (Immersion dans $\mathbb{R}^4$) :
   Pour une variété de dimension 3 munie d'une connexion torsion-free $\nabla$ préservant un volume $\nu$, l'existence d'une immersion équi-affine dans $\mathbb{R}^4$ (avec une connexion plate et un volume standard) implique l'existence d'une extension plate de type $(SL(4, \mathbb{R}), SL(3, \mathbb{R}))$.

   • Résultat : L'invariant de Chern–Simons associé à $\nabla$ s'annule.

4. Contre-exemples et Obstructions :
   Les auteurs appliquent ces résultats pour montrer l'inexistence d'immersions globales pour certaines variétés :

   • L'espace projectif réel $\mathbb{RP}^3$ muni de sa métrique standard n'admet aucune immersion isométrique dans $\mathbb{R}^4$ (obstruction connue).
   • Plus fortement, $\mathbb{RP}^3$ muni de sa connexion de Levi-Civita et de son volume standard n'admet aucune immersion équi-affine globale dans $\mathbb{R}^4$.
   • Des métriques lorentziennes sur $SU(2)$ (sphères de Berger lorentziennes) sont construites pour montrer que l'invariant de Chern–Simons peut être non entier, empêchant ainsi toute immersion isométrique dans $\mathbb{R}^{3,1}$ ou $\mathbb{R}^{2,2}$.

4. Contributions Clés

• Concept d'extension plate : Introduction d'un cadre unificateur reliant les connexions principales à des formes de Maurer–Cartan de groupes plus grands.
• Identité de « partial blindness » : Démonstration que pour les formes plates, la forme de Chern–Simons ne détecte que la composante dans le sous-algèbre, simplifiant considérablement le calcul des invariants dans des contextes géométriques complexes.
• Unification des obstructions : Le cadre théorique unifie des résultats dispersés (Riemannien, Lorentzien, Équi-affine, CR) sous une même bannière topologique.
• Nouvelles obstructions : Découverte d'obstructions pour les immersions équi-affines et lorentziennes qui n'étaient pas aussi clairement formulées auparavant.

5. Signification

Cet article offre une compréhension profonde de la relation entre la géométrie locale (immersions, connexions) et la topologie globale (invariants de Chern–Simons).

• En Géométrie Différentielle : Il fournit un outil puissant pour tester l'existence d'immersions dans des espaces ambients spécifiques (euclidiens, lorentziens, affines).
• En Topologie : Il clarifie le rôle des classes de cohomologie des groupes de Lie ($H^3(G, \mathbb{Z})$) dans la quantification des invariants géométriques.
• En Physique Théorique : Bien que l'article soit purement mathématique, la méthode de lien entre les structures de connexion et les invariants topologiques résonne avec les théories de jauge et la théorie des cordes où les termes de Chern–Simons jouent un rôle central.

En résumé, Čap, Flood et Mettlers démontrent que l'existence d'une immersion géométrique spécifique force la connexion induite à admettre une « extension plate », ce qui, via une identité algébrique élégante, contraint l'invariant de Chern–Simons à des valeurs discrètes (entiers ou zéro), fournissant ainsi des obstructions topologiques rigoureuses.