The de Rham cohomology of a Lie group modulo a dense subgroup

Cet article démontre que la cohomologie de de Rham (difféologique) du quotient d'un groupe de Lie par un sous-groupe dense est isomorphe à la cohomologie de l'algèbre de Lie du quotient des algèbres de Lie associées.

L'essentiel

Le Titre : Quand on mélange des groupes et des trous invisibles

Imaginez que vous avez un grand groupe de danseurs (c'est le Groupe de Lie G), tous coordonnés et se déplaçant selon des règles précises. Maintenant, imaginez que vous choisissez un sous-groupe de ces danseurs (le Sous-groupe H) pour former une équipe spéciale.

Normalement, si vous voulez étudier la différence entre le grand groupe et l'équipe spéciale (le quotient G/H), vous les séparez physiquement. Mais ici, les auteurs font quelque chose de très étrange : ils choisissent un sous-groupe H qui est dense.

Qu'est-ce que "dense" ?
Imaginez que vous avez une pièce remplie de sable fin (le groupe G). Si vous mettez quelques grains de sable (H) dans la pièce, ils sont espacés. Mais si H est "dense", c'est comme si les grains de sable étaient partout, si fins et si nombreux qu'ils remplissent chaque recoin de la pièce, même si vous ne pouvez pas les voir individuellement. En mathématiques, cela signifie que H touche chaque point de G, mais H n'est pas "fermé" (il y a des trous microscopiques partout).

Le Problème : La géométrie devient floue

Habituellement, en mathématiques, quand on prend un quotient (G divisé par H), on obtient une nouvelle forme géométrique (une variété). Mais ici, comme H est dense, la forme G/H est "malade".

• Si on essaie de lui donner une topologie classique (comme on le fait pour une sphère ou un tore), tout s'effondre : la forme devient "triviale". C'est comme essayer de dessiner une carte d'un pays où chaque ville est collée à chaque autre ville. On ne voit plus rien, c'est un brouillard total.

Les mathématiciens se sont longtemps dit : "Bon, tant pis, cette forme n'a pas de structure, on ne peut rien calculer dessus."

La Solution : La "Diffo-logie" (La géométrie des plots)

C'est là que Brant Clark et François Ziegler interviennent avec une idée géniale. Au lieu d'utiliser la géométrie classique (qui échoue ici), ils utilisent une géométrie plus flexible appelée Diffo-logie.

L'analogie du "Plot" (ou de l'empreinte) :
Imaginez que vous ne pouvez pas voir la forme G/H directement. Mais vous pouvez envoyer des "sondes" (des plots) pour la toucher.

• Dans la géométrie classique, une sonde doit être un morceau de papier lisse qui colle parfaitement à la surface.
• En diffo-logie, une sonde peut être n'importe quel mouvement lisse que vous pouvez imaginer, tant qu'il respecte certaines règles de cohérence.

Grâce à cette méthode, même si G/H semble être un brouillard topologique, il possède une structure lisse cachée. Les auteurs montrent que cette structure est si riche qu'on peut y définir des "formes différentielles" (des outils pour mesurer des volumes, des courbures, etc.) et calculer sa cohomologie de de Rham.

En termes simples : La cohomologie de de Rham est une façon de compter les "trous" ou les "cycles" d'une forme. Combien de trous a-t-elle ? Est-ce un anneau ? Une sphère ?

La Révélation : Le secret est dans l'algèbre

Le résultat principal du papier est une surprise incroyable. Ils découvrent que pour calculer les "trous" de ce G/H bizarre, il n'a aucun besoin de regarder la géométrie complexe.

Il suffit de regarder l'algèbre de Lie (les règles de base qui gouvernent les mouvements infinitésimaux du groupe).

Voici la formule magique qu'ils trouvent :

La forme géométrique de G/H (avec ses trous) est exactement la même chose que l'algèbre des vecteurs (g/h).

L'analogie du "Plan Architectural" :
Imaginez que G est une immense cathédrale et H est une équipe de nettoyage invisible qui est partout.

• La méthode classique dit : "On ne peut pas voir la cathédrale, donc on ne peut pas la mesurer."
• Clark et Ziegler disent : "Attendez ! Regardez le plan de construction (l'algèbre de Lie). Si vous prenez le plan et que vous enlevez les lignes correspondant à l'équipe de nettoyage, le plan restant vous dit exactement combien de clochers (trous) il y a dans la cathédrale, même si vous ne pouvez pas la voir."

Les Cas Spéciaux (Les Exemples)

Les auteurs donnent des exemples concrets pour illustrer cela :

1. Le tore et la spirale irrationnelle (Le cas classique) :
   Imaginez un tore (un donut) et une ligne qui s'enroule autour de lui sans jamais se refermer, en passant par tous les points (une spirale irrationnelle). C'est le cas H dense.

   • Résultat : La "forme" G/H ressemble à un cercle (elle a 1 trou).
   • L'algèbre confirme : Si on fait le calcul sur les vecteurs, on trouve aussi qu'il y a un trou.

2. Le cas "D-discret" (Le chaos contrôlé) :
   Si H est un sous-groupe très fin, presque comme des points isolés mais qui remplissent l'espace.

   • Résultat : La cohomologie de G/H devient exactement la même que celle du groupe G lui-même. C'est comme si le sous-groupe H n'avait pas "cassé" la structure globale, il l'a juste rendue invisible.

Pourquoi c'est important ?

Ce papier est important car il brise une barrière. Pendant longtemps, on pensait que les sous-groupes denses rendaient les espaces "inutilisables" pour la géométrie.
Les auteurs montrent que :

1. On peut toujours donner un sens à ces espaces grâce à la diffo-logie.
2. La géométrie de ces espaces "malades" est en fait très simple : elle est entièrement dictée par l'algèbre sous-jacente.

C'est comme si on découvrait que même si un château est caché sous un brouillard épais, on peut quand même savoir exactement combien de tours il a, simplement en regardant les fondations (l'algèbre) sans avoir besoin de voir le château lui-même.

En résumé :
Même quand un groupe mathématique est "cassé" par un sous-groupe invisible et dense, sa structure profonde (ses trous, ses cycles) reste intacte et peut être calculée très facilement en utilisant les règles de l'algèbre de base. C'est une victoire de l'algèbre sur la géométrie compliquée.

Résumé technique

1. Contexte et Problématique

L'article s'intéresse au problème de la cohomologie de De Rham d'un espace quotient $G/H$, où $G$ est un groupe de Lie et $H$ un sous-groupe dense de $G$.

• Le problème topologique classique : Si l'on munit $H$ de la topologie induite (topologie de sous-ensemble) et $G/H$ de la topologie quotient, la situation est « stérile » lorsque $H$ est dense. En effet, la topologie de $H$ n'est alors pas une topologie de groupe de Lie, et la topologie quotient de $G/H$ est triviale (l'espace est non séparé, voire indifférentiable au sens classique). Dans ce cadre, l'algèbre des fonctions lisses sur $G/H$ est triviale, rendant la cohomologie de De Rham classique inexistante ou inintéressante.
• L'approche alternative : Les auteurs adoptent le cadre des espaces diffeologiques (introduits par Souriau). Cette catégorie généralise les variétés différentielles en permettant de définir des objets lisses sur des quotients arbitraires (même non séparés) et des sous-objets, tout en conservant une structure de complexe de De Rham $(\Omega^\bullet(X), d)$.

2. Méthodologie

La démarche repose sur l'analyse des formes différentielles sur l'espace quotient diffeologique $X = G/H$.

1. Cadre Diffeologique :

   • On définit les « plots » (applications lisses locales) et les formes différentielles diffeologiques comme des fonctionnelles agissant sur ces plots, compatibles avec les changements de coordonnées.
   • Le quotient $G/H$ est muni de la diffeologie quotient.

2. Caractérisation des formes sur $G/H$ :

   • Les auteurs établissent un isomorphisme entre les formes sur $G/H$ et les formes sur $G$ qui sont :
     • Invariants à droite par $G$ (ou à gauche, via l'inversion).
     • Horizontales par rapport à l'idéal $\mathfrak{h}$ (c'est-à-dire s'annulant si l'un des arguments appartient à $\mathfrak{h}$).
   • La densité de $H$ est cruciale ici : elle permet de montrer que l'invariance par $H$ implique l'invariance par tout $G$ pour les formes lisses.

3. Réduction à l'algèbre de Lie :

   • L'ensemble des formes invariantes à gauche sur $G$ est isomorphe à l'algèbre extérieure $\bigwedge^\bullet \mathfrak{g}^*$.
   • La condition d'horizontalité par rapport à $\mathfrak{h}$ permet de réduire ce complexe à $\bigwedge^\bullet (\mathfrak{g}/\mathfrak{h})^*$.
   • L'opérateur de différentielle extérieure $d$ sur les formes correspond exactement à la différentielle de Chevalley-Eilenberg sur l'algèbre de cohomologie de Lie.

3. Résultats Principaux

Théorème Principal (0.2)

Soit $H$ un sous-groupe dense d'un groupe de Lie $G$. Soit $\mathfrak{g}$ l'algèbre de Lie de $G$ et $\mathfrak{h} = \{Z \in \mathfrak{g} : \exp(tZ) \in H, \forall t \in \mathbb{R}\}$ l'algèbre de Lie de $H$ (qui est un idéal dans $\mathfrak{g}$).
Alors, il existe un isomorphisme de complexes :
$$(\Omega^\bullet(G/H), d) \cong \left( \bigwedge^\bullet (\mathfrak{g}/\mathfrak{h})^*, d_{CE} \right)$$
En conséquence, la cohomologie de De Rham diffeologique est isomorphe à la cohomologie de l'algèbre de Lie du quotient :
$$H^\bullet_{dR}(G/H) \cong H^\bullet(\mathfrak{g}/\mathfrak{h})$$

Cas Particuliers et Corollaires (0.4)

Les auteurs spécialisent ce résultat selon la nature topologique de $H$ (au sens diffeologique, noté « D-») :

• Cas (a) : $H$ est D-connexe.

  • $\mathfrak{g}/\mathfrak{h}$ est une algèbre de Lie abélienne.
  • La différentielle de Chevalley-Eilenberg est nulle.
  • $H^\bullet_{dR}(G/H) \cong \bigwedge^\bullet (\mathfrak{g}/\mathfrak{h})^*$ (algèbre extérieure pleine).
  • Exemple : Le tore $S^1 \times S^1$ modulo une droite irrationnelle (quasicercle). La cohomologie est $\mathbb{R} \oplus \mathbb{R}$, identique à celle d'un cercle, malgré la topologie triviale du quotient.

• Cas (b) : $H$ est D-discret.

  • $\mathfrak{h} = \{0\}$.
  • $H^\bullet_{dR}(G/H) \cong H^\bullet(\mathfrak{g})$.
  • Cela permet de réaliser n'importe quelle cohomologie d'algèbre de Lie comme cohomologie de De Rham d'un quotient par un sous-groupe dense discret.

• Cas (c) : Quotient d'un espace vectoriel $V$ par un sous-groupe additif dense D-discret $A$.

  • $H^\bullet_{dR}(V/A) \cong \bigwedge^\bullet V^*$.

Remarque sur la Connexité

L'article note une subtilité importante : un sous-groupe peut être connexe dans la topologie induite (sous-ensemble) mais ne pas être D-connexe (connexe dans la topologie de groupe de Lie induite). L'exemple (5.7) montre un sous-groupe connexe mais non arc-connexe dans la topologie induite, dont la cohomologie reste celle d'un tore.

4. Contributions et Significativité

1. Résolution d'un problème topologique : L'article démontre que l'outil diffeologique permet de redonner un sens géométrique et cohomologique non trivial à des quotients $G/H$ qui sont topologiquement pathologiques (topologie triviale).
2. Unification algébrique : Il établit un lien direct et rigoureux entre la géométrie des quotients de groupes de Lie denses et l'algèbre de Lie cohomologique, généralisant des résultats classiques (comme ceux de Cartan pour les sous-groupes fermés) au cas dense.
3. Distinction des cohomologies : L'article met en lumière une différence fondamentale entre la cohomologie de De Rham diffeologique et d'autres invariants algébriques (comme la cohomologie cyclique périodique non-commutative ou la cohomologie de Čech diffeologique).
   • Pour le cas du « quasicercle » ($\mathbb{R}/(\mathbb{Z} + \alpha\mathbb{Z})$), la cohomologie de De Rham est celle d'un cercle ($\mathbb{R} \oplus \mathbb{R}$), tandis que la cohomologie de Čech diffeologique ou la cohomologie cyclique reflète la structure du groupe discret $\mathbb{Z}^2$ (donnant $\mathbb{R} \oplus \mathbb{R}^2 \oplus \mathbb{R}$).
4. Preuve constructive : L'article fournit une preuve élémentaire et directe de la formule de cobord de Chevalley-Eilenberg (Annexe B), évitant les inductions opaques ou les appels à des formules de Palais.

Conclusion

Ce travail démontre que, bien que la topologie quotient d'un sous-groupe dense soit triviale, la structure diffeologique conserve une richesse géométrique qui se reflète parfaitement dans l'algèbre de Lie du quotient. Cela offre un cadre robuste pour étudier les « espaces lisses » singuliers ou non séparés, en reliant la géométrie différentielle à la théorie des algèbres de Lie.