Théorème de Cartan-von Neumann

John von Neumann démontre en 1929 le théorème dans le cas des groupes linéaires.

En mathématiques, le théorème de Cartan-von Neumann, ou théorème du sous-groupe fermé, est un théorème de la théorie des groupes de Lie. Soit Modèle:Formule un sous-groupe fermé d'un groupe de Lie Modèle:Formule, alors Modèle:Formule est un groupe de Lie dont la structure différentielle (et donc la topologie du groupe) est déduite de celle de Modèle:Formule par plongement de groupes de LieModèle:,Modèle:,. C'est l'un des nombreux résultats connus sous le nom de théorème de Cartan, publié pour la première fois en 1930 par Élie Cartan, qui s'est inspiré de la preuve de John von Neumann de 1929 d'un cas particulier pour les groupes de transformations linéaires.

Un sous-groupe de Lie plongé Modèle:Formule est fermé donc un sous-groupe est un sous-groupe de Lie plongé si et seulement s'il est fermé. De manière équivalente, Modèle:Formule est un sous-groupe de Lie plongé si et seulement si sa topologie de groupe est égale à sa topologie induite par celle de Modèle:Formule.

Aperçu

Soit $G$ être un groupe de Lie d'algèbre de Lie correspondante $𝔤$, et $H$ un sous-groupe fermé arbitraire de $G$. Il faut montrer que $H$ est une sous-variété lisse plongée dans $G$. La première étape consiste à identifier un candidat pour l’algèbre de Lie de $H$, c'est-à-dire l'espace tangent de $H$ en l'identité. La difficulté est qu'aucun hypothèse de lissité n'est faite sur $H$ et il n'est donc pas clair comment définir son espace tangent. On définit l'« algèbre de Lie » $𝔥$ de $H$ par$$𝔥=\{X\mid e^{tX}\in H,\mathrm{\forall }t\in ℝ\}.$$Il n'est pas difficile de montrer que $𝔥$ est une sous-algèbre de Lie de $𝔤$. En particulier, $𝔥$ est un sous-espace de $𝔤$, que l’on pourrait espérer être l’espace tangent de $H$ en l'identité.

Le point est de montrer que $𝔥$ capture en fait tous les éléments de $H$ suffisamment proches de l’identité. Autrement dit, il est nécessaire de prouver le lemme suivant :

On peut écrire tout élément $g\in W$ (pas nécessairement dans $H$) comme $g=e^X$ pour $X=\log (g)$, ce sont les coordonnées exponentielles. Le lemme, une fois établi, dit que (en coordonnées exponentielles, $X$ correspond à un point dans $H$ précisément si $X$ appartient à $𝔥\subset 𝔤$ . Or $𝔥$ es un sous-espace de $𝔤$, cela signifie que $𝔥\subset 𝔤$ est localement l'inclusion ${ℝ}^k\subset {ℝ}^n$, avec $k=\dim (𝔥)$ et $n=\dim (𝔤)$. Ainsi, dans un système de coordonnées correct, $H\subset G$ ressemble localement à ${ℝ}^k\subset {ℝ}^n$, qui est une condition suffisante.

Il convient de noter que Rossmann montre que pour tout sous-groupe $H$ de $G$ (pas nécessairement fermé), l'algèbre de Lie $𝔥$ de $H$ définie plus haut est une sous-algèbre de Lie de $𝔤$. La composante identité de $H$ est une sous-variété immergée de $G$ mais pas plongée.

En particulier, le lemme énoncé ci-dessus n’est pas valable si $H$ n'est pas fermé.

Exemple de sous-groupe non fermé

Le tore Modèle:Formule . Imaginez une hélice courbée disposée sur la surface représentant Modèle:Formule . Si Modèle:Formule est rationnelle, l'hélice se refermera sur elle-même en (1, 1) après p rotations en φ et q rotations en θ. Si a est irrationnel, l’hélice s’enroule indéfiniment autour de Modèle:Formule.

Soit Modèle:Formule tore et un sous-groupe fermé en hélice enroulé autour du tore :$$G={𝕋}^2=\{\left(\begin{array}{cc}{e}^{2\pi i\theta }& 0\\ 0& e^{2\pi i\varphi }\end{array}\right)|\theta ,\varphi \in ℝ\},$$et$$H=\{\left(\begin{array}{cc}{e}^{2\pi i\theta }& 0\\ 0& e^{2\pi ia\theta }\end{array}\right)|\theta \in ℝ\}\text{d'algèbre de Lie }𝔥=\{\left(\begin{array}{cc}i\theta & 0\\ 0& ia\theta \end{array}\right)|\theta \in ℝ\},$$avec Modèle:Formule irrationnel. Alors Modèle:Formule est dense dans Modèle:Formule et donc non fermé. Un petit sous-ensemble ouvert pour la topologie induite Modèle:Formule de Modèle:Formule est composé d'une infinité de segments de droite presque parallèles à la surface du tore. En particulier Modèle:Formule n'est pas localement connexe par arcs. Dans la topologie du groupe Modèle:Formule, les petits ouverts sont des portions de courbe unique à la surface du tore et Modèle:Formule est localement connexe par arcs. Le groupe Modèle:Formule n'est pas un groupe de Lie.

D'autre part l’injection Modèle:Formule est une immersion injective analytique, mais pas un homéomorphisme, donc n'est pas un plongement.

Applications

En raison du théorème, certains auteurs choisissent de définir les groupes de Lie linéaires comme sous-groupes fermés de Modèle:Formule ou Modèle:Formule. Dans ce cadre, on prouve que tout élément du groupe suffisamment proche de l'identité est l'exponentielle d'un élément de l'algèbre de Lie. (La preuve est pratiquement identique à la preuve du théorème des sous-groupes fermés présentée ci-dessous. ) Il s'ensuit que chaque sous-groupe fermé est une sous-variété plongée de Modèle:Formule. Modèle:Théorème Le théorème des sous-groupes fermés simplifie désormais considérablement les hypothèses, élargissant a priori la classe des espaces homogènes. Chaque sous-groupe fermé donne un espace homogène.

Conditions de fermeture

Quelques conditions suffisantes pour que Modèle:Formule soit fermé, donc un groupe de Lie intégré, sont données ci-dessous.

• Tous les groupes classiques sont fermés dans Modèle:Formule, où Modèle:Formule est $ℝ$, $ℂ$, ou $ℍ$, les quaternions.
• Un sous-groupe localement fermé est fermé. Un sous-groupe est localement fermé si chaque point a un voisinage dans Modèle:Formule tel que Modèle:Formule est fermé dans Modèle:Formule.
• Si Modèle:Formule, où Modèle:Formule est un groupe compact et Modèle:Formule est un ensemble fermé, alors Modèle:Formule est fermé.
• Si G est simplement connexe et $𝔥\subset 𝔤$ est un idéal, alors le sous-groupe de Lie connexe d'algèbre de Lie $𝔥$ est fermé.

Bibliographie

• Modèle:Ouvrage. Voir en particulier p. 441.
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage