Connexion de Ehresmann

En géométrie différentielle, une connexion de Ehresmann (d'après le mathématicien français Charles Ehresmann qui a le premier formalisé ce concept) est une version de la notion de connexion qui est définie sur des fibrés. En particulier, elle peut être non-linéaire, puisqu'un espace fibré n'a pas de notion de linéarité qui lui soit naturellement adaptée. Cependant, une connexion de Koszul (parfois aussi appelée connexion linéaire) en est un cas particulier. Un autre cas important est celui des connexions principales (en) sur un fibré principal, auxquelles on impose d'être équivariantes (en) sous l'action principale du groupe de Lie.

Sommaire

1 Introduction
2 Définition formelle
3 Propriétés
4 Cas particuliers
5 Notes et références
- 5.1 Notes
- 5.2 Références
6 Pour aller plus loin

Introduction

Rappelons d'abord qu'en géométrie différentielle, une connexion de Koszul (ou dérivée covariante) est un opérateur différentiel linéaire qui prend la dérivée directionnelle de la section d'un fibré vectoriel de façon covariante. Cela permet de formuler la notion de section d'un fibré parallèle à la direction d'un vecteur : une section s sera parallèle au vecteur X si ∇_Xs = 0. Et donc une dérivée covariante fournit deux choses principales : un opérateur différentiel "et" une notion de ce que signifie être parallèle à une direction.

Une connexion de Ehresmann laisse tomber complètement l'opérateur différentiel et définit axiomatiquement une connexion en termes de section parallèle dans chaque direction (Ehresmann 1950). Spécifiquement, une connexion de Ehresmann fixe un sous-espace vectoriel dans chaque espace tangent de l'ensemble du fibré. Ce sous-espace vectoriel est appelé l'"espace horizontal". Une section s est dite horizontale (c'est-à-dire parallèle) dans la direction X si ds(X) appartient à l'espace horizontal. Ici, nous considérons s comme une fonction s : M → E de la base M vers le fibré E, de telle sorte que ds : TM → s*TE est alors l'opérateur différentiel associé entre les espaces tangents. Il est parfois appelé le "pushforward". L'ensemble des espaces horizontaux forme un sous-fibré vectoriel de TE.

Ceci a l'avantage immédiat de rendre une '"connexion de Ehresmann"' définissable sur une classe de structures bien plus large que les fibrés vectoriels. En particulier, elle est bien définie sur les fibrés au sens général du terme. De plus, la plupart des traits de la dérivée covariante sont préservés : transport parallèle, courbure, et holonomie.

Ce qui manque à une '"connexion de Ehresmann"' par rapport à une connexion de Koszul, mis à part la linéarité, c'est la "covariance" Avec la dérivée covariante classique, la covariance apparaît comme une propriété a posteriori de la dérivation. Pour la construire, on définit la loi de transformation des symboles de Christoffel — qui ne sont pas covariants — et ensuite la covariance générale de la dérivée en résulte comme une conséquence. Mais pour une "connexion de Ehresmann", il est possible d'imposer dès le début un principe de covariance généralisé par l'introduction d'un groupe de Lie qui agit sur les fibres du fibré. La condition adéquate à satisfaire est que, dans un certain sens, les espaces horizontaux soient équivariants (en) sous l'action du groupe.

En touche finale, signalons qu'une "connexion de Ehresmann" peut être représentée comme une forme différentielle, à peu près de la même manière qu'une forme de connexion (en). Si le groupe agit sur les fibres et que la connexion est équivariante, alors la forme sera aussi équivariante. De plus la forme de connexion permet de donner une définition de la courbure qui soit aussi une forme de courbure (en).

Définition formelle

Soit p: E → M un fibré C^∞^[1]. Soit V = ker (dp : TE → p*TM) le fibré vertical (en) constitué des vecteurs tangents aux fibres E, de telle sorte que la fibre de V en e∈E est T_e(E_p(e)).

Définition via les sous-espaces horizontaux

Une connexion de Ehresmann sur E est un sous-fibré régulier H de TE, appelé le fibré horizontal (en) de la connexion, qui est un supplémentaire de V, dans le sens où il définit une décomposition en somme directe : TE = H⊕V (Kolář, Michor et Slovák).

De façon plus détaillée, le fibré horizontal a les propriétés suivantes :

Pour chaque point e ∈ E, H_e est un sous-espace vectoriel de l'espace tangent T_eE à E en e, appelé le "sous-espace horizontal" de la connexion en e.
H_e dépend régulièrement de e.
Pour chaque e ∈ E, H_e n V_e = {0}.
Chaque vecteur tangent de T_eE (pour chaque e∈E) est la somme d'une composante horizontale et d'une composante verticale, de telle sorte que T_eE = H_e + V_e.

En termes plus sophistiqués, une telle donnée d'espaces horizontaux satisfaisant ces propriétés correspond précisément à la section régulière d'un fibré des jets de différentielles J¹E →E.

Définition via une forme de connexion

De façon équivalente, soit v la projection sur le fibré vertical V selon H (de telle sorte que H = ker v). Elle est déterminée par la décomposition en "somme directe" de TE en ses parties verticale et horizontale mentionnée ci-dessus. Elle est parfois appelée la forme de connexion de la connexion de Ehresmann. Ainsi v est un endomorphisme du fibré vectoriel TE avec les propriétés suivantes :

v² = v ;
l'image de v est V.

Inversement, si v est un endomorphisme du fibré vectoriel TE satisfaisant ces deux propriétés, alors H = ker v est le sous-fibré horizontal d'une connexion de Ehresmann.

Transport parallèle par relèvement horizontaux

Une connexion de Ehresmann prescrit aussi une manière de relever des courbes depuis la variété de base M jusque dans l'espace total du fibré E de telle sorte que les tangentes aux courbes soient horizontales^[2]. Ces relèvements horizontaux sont un analogue direct du transport parallèle pour d'autres versions du formalisme des connexions.

De façon spécifique, supposons que γ(t) est une courbe régulière de M passant par le point x = γ(0). Soit e∈ E_x un point de la fibre sur x. Un relèvement de γ passant par e est une courbe $\tilde{\gamma}(t)$ de l'espace total E telle que : $\tilde{\gamma}(0) = e$ , et $\pi(\tilde{\gamma}(t)) = \gamma(t).$ Un relèvement est horizontal si, de plus, chaque tangente de la courbe est contenue dans le sous-fibré horizontal de TE : $\tilde{\gamma}'(t) \in H_{\tilde{\gamma}(t)}.$

On peut montrer en utilisant le théorème du rang appliqué à π et v que chaque vecteur X∈T_xM a un unique relèvement en un vecteur $\tilde{X} \in T_e E$ . En particulier, le champ tangent à γ engendre un champ de vecteur horizontal dans l'espace total du fibré induit (en) γ*E. Selon le théorème de Cauchy-Lipschitz, ce champ de vecteur est intégrable. Ainsi, pour chaque courbe γ et chaque point e sur x=γ(0), il existe un unique relèvement horizontal de γ passant par e pour un temps t suffisamment petit.

Remarquons que, dans le cas général, le relèvement horizontal d'une connexion de Ehresmann, est dépendant du chemin. Quand deux courbes régulières de M, qui coïncident en γ₁(0) = γ₂(0) = x₀ et qui se coupent aussi en un autre point x₁∈M, sont relevée horizontalement dans E de telle sorte qu'elle passent par le même point e∈π^-1(x₀), elle passerons en général par des points différents de π^-1(x₁). Ceci a une conséquence importante pour la géométrie différentielle des fibrés : l'espace des sections de H n'est pas une sous-algèbre de Lie de l'espace des champs de vecteurs sur E, parce que, en général, il n'est pas fermé pour le crochet de Lie de champs de vecteurs. La courbure de la connexion mesure ce défaut de fermeture sous l'action du crochet de Lie.

Propriétés

Courbure

Soit v une connexion de Ehresmann. Alors la courbure de v est donnée par^[3]

$R = \tfrac{1}{2}[v,v]$

où [-,-] est le crochet de Frölicher-Nijenhuis (en) v ∈ Ω¹(E,TE) avec lui-même. Ainsi R ∈ Ω²(E,TE) est la forme différentielle de degré 2(ou 2-forme) sur E à valeurs dans TE définie par : $R(X,Y) = v\left([(\mathrm{id} - v)X,(\mathrm{id} - v)Y]\right)$ , ou, en d'autres termes : $R (X, Y) = [X H, Y H] V$ , où X = X_H + X_V est la décomposition en somme directe dont les composantes sont respectivement dans H et V. De cette dernière expression de la courbure, nous voyons qu'elle est identiquement nulle si et seulement si le sous-fibré horizontal est intégrable au sens de Frobenius. Ainsi la courbure mesure la condition d'intégrabilité (en) pour que sous-fibré horizontal donne des sections transversales du fibré E → M.

La courbure d'une connexion de Ehresmann satisfait aussi une version de l'identité de Bianchi :

[v, R] = 0

où encore une fois [-,-] désigne le crochet de Frölicher-Nijenhuis de ∈ Ω¹(E,TE) et R ∈ Ω²(E,TE).

Complétude

Une connexion de Ehresmann permet aux courbes d'avoir localement un unique relèvement horizontal. Une connexion de Ehresmann est dite complète si les courbes peuvent être relevées horizontalement sur l'ensemble de leur domaine de définition.

Holonomie

Le fait qu'une connexion soit plate correspond localement à l'intégrabilité au sens de Frobénius des espaces horizontaux. A l'opposé, une courbure qui ne s'annule pas, implique la présence d'une holonomie de la connexion^[4].

Cas particuliers

Fibrés principaux et connexions principales

Article détaillé : connexion principale (en)

Soit E un fibré G-principal sur M. Alors une connexion de Ehresmann H sur E est dite connexion de Ehresmann principale^[5] si elle est invariante l'action de G sur E au sens où : $H e g = d(R g) e (H e)$ pour tout e∈E et g∈G; ici $d(R g) e$ est la différentielle de l'action à droite de g sur E au point e.

Les sous-groupes à un paramètre de G agissent verticalement on E. La différentielle of cette action permet d'identifier le sous-espace $V e$ avec l'algèbre de Lie g du groupe G, par exemple par l'application $\iota\colon V_e\to \mathfrak g$ . La forme de connexion v de la connexion de Ehresmann peut être interprétée comme une 1-forme ω sur E à valeurs dans g définie par ω(X)=ι(v(X)).

Ainsi réinterprété, la forme de connexion ω satisfait les deux propriétés suivantes :

elle se transforme de façon équivariante sous l'action du groupe G : $R_h^*\omega=\hbox{Ad}(h^{-1})\omega$ pour tout h ∈G, où R_h^* est le pullback sous l'action à droite et Ad est la représentation adjointe de G sur son algèbre de Lie ;
elle fait correspondre les champs de vecteurs verticaux à leur éléments associés dans l'algèbre de Lie: ω(X)=ι(X) pour tout X ∈V.

Inversement, on peut montrer qu'une telle 1-forme à valeur dans G sur un fibré principal engendre une distribution horizontale qui satisfait les propriété mentionnées ci-dessus.

A partir d'une trivialisation locale, on peut réduire ω aux champs de vecteur horizontaux dans cette trivialisation. Cela définit une 1-forme ω' sur B par pullback (en). La forme ω' détermine ω complètement mais de façon dépendante de la trivialisation. (Souvent, cette forme est aussi appelée une forme de connexion (en) et notée simplement ω.)

Fibré vectoriel et dérivées covariantes

Article détaillé : connexion de Koszul.

Soit E un fibré vectoriel régulier sur M. Une connexion de Ehresmann H sur E est dite connexion linéaire de Ehresmann si H_e dépend linéairement de e ∈ E_x pour chaque x ∈ M. Plus précisément, soit S_λ la multiplication scalaire par λ sur E, et soit $\sigma:E \times_M E \to E$ l'addition. Alors H est linéaire si et seulement si pour tout x ∈ M, les propriétés suivantes sont satisfaites :

$H λ e = d(S λ) e (H e)$ pour tout e ∈ E et tout scalaire λ.
$d\sigma(H\boxtimes H)=H$ où $H\boxtimes H$ est le sous-fibré horizontal sur $E\times_M E$ .

Puisque E est un fibré vectoriel, son fibré vertical V est isomorphe à π*E. Et donc, si if s est une section de of E, alors v(ds):TM→s*V=s*π*E=E. Le fait que la connexion de Ehresmann est linéaire implique que c'est un homomorphisme de fibré vectoriel, et il est donc donné par une section ∇s du fibré vectoriel Hom(TM,E), appelé la dérivée covariante de s.

Réciproquement, une dérivée covariante ∇ sur un fibré vectoriel définit une connexion de Ehresmann linéaire par H_e, pour e ∈ E avec x=π(e), comme étant l'image ds_x(TM) où s est une section de E telle que ∇s_x=0.

Remarquons que pour des raisons historiques, le terme "linéaire" (ou le terme "affine" — cf. Connexion affine), quand il est appliqué à des connexions, est parfois utilisé pour désigner des connexions sur le fibré tangent ou un fibré principal.

Fibrés associés

Une connexion de Ehresmann sur un fibré muni d'une structure de groupe peut parfois engendrer une connexion de Ehresmann sur un fibré associé (en). Par exemple, une connexion linéaire dans un fibré vectoriel E, en munissant E de la notion de "parallélisme" comme indiqué ci-dessus, induit une connexion sur le fibré principal PE des repères tangents à E. Inversement, une connexion dans PE induit une connexion linéaire dans E pourvu que la connexion dans PE soit équivariante sous l'action du groupe linéaire de transformation des repères de l'espace tangent (et ainsi elle est une connexion principale). Il n'est pas toujours possible qu'une connexion de Ehresmann induise, de façon naturelle, une connexion sur un fibré associé, en particulier dans le cas où elle n'est pas équivariante.

Supposons que E est un fibré associé à P, de telle sorte que E = P ×_G F. Une G-connexion sur E est une connexion de Ehresmann telle que l'application de transport parallèle τ : F_x → F_x′ est donnée par une G-transformation des fibres (pour des points x et x′ de "M" suffisamment proche et joint par une courbe)^[6].

Pour une connexion principale sur P, on obtient une G-connexion sur le fibré associé E = P ×_G F par pullback (en).

Inversement, à partir d'une G-connexion sur E donnée, il est possible de retrouver la connexion principale sur le fibré principal "P" associé. Pour retrouver cette connexion principale, on introduit la notion de repère sur la fibre type "F". Puisque G est un groupe de Lie de dimension finie^[7] qui agit effectivement sur F, il existe une configuration finie de points (y₁,...,y_m) dans F tels que la G-orbite R = {(gy₁,...,gy_m) | g ∈ G} soit un espace homogène principal de G. On peut voir R comme étant une généralisation de la notion de repère pour une action de "G" sur F. Remarquons que puisque R est un espace homogène principal oiur G, le fibré E(R) associé à E avec la fibre type R est équivalent au fibré principal associé à E. Mais c'est aussi un sous-fibré du m-produit de fibré de E avec lui-même. La distribution des espaces horizontaux sur E induit une distribution d'espace sur ce fibré produit. Puisque les applications du transport parallèle associées à la connexion sont des G-applications, elles préservent le sous-espace E(R), et ainsi la G-connexion s'abaisse en une G-principale sur E(R).

En résumé, il y a une correspondance bijective (à une équivalence près) entre les connexions abaissées des connexions principales sur les fibrés associés, et les G-connexions sur les fibrés associés. Pour cette raison, dans la catégorie des fibrés avec une structure de groupe G, la connexion principale contient toutes les informations concernant les G-connexions sur les fibrés associés. En conséquence, on travaille habituellement directement avec la connexion principale, à moins qu'il n'y ait une raison majeure pour prendre en considération les connexions sur les fibrés associés (comme c'est le cas, par exemple, pour les connexions de Cartan (en)).

Notes et références

Notes

↑ Ces considérations s'appliquent également à la situation plus générale dans laquelle p:E →M est une submersion surjective, c'est-à-dire où E est une variété fibrée sur M. Dans une généralisation alternative due à (Lang 1999) et (Eliason 1967), E et M sont des variétés de Banach, où E est un espace fibré sur M comme ci-dessus.
↑ Cf. (Kobayashi et Nomizu) et (Kolář, Michor et Slovák)
↑ (Kolář, Michor et Slovák)
↑ L'holonomie des connexions de Ehresmann dans les espaces fibrés s'appelle parfois l'holonomie de Ehresmann-Reeb ou holonomie de la feuille en référence à la première étude détaillée utilisant des connexions de Ehresmann pour étudier des variétés feuilletées (en) dans (Reeb 1952)
↑ cf. (Kobayashi et Nomizu) Volume 1
↑ Voir aussi (Lumiste 2001b).
↑ Par souci de simplicité, nous supposons que G est de dimension finie, bien que cette hypothèse puisse être abandonnée avec seulement quelques modifications mineures.

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ehresmann connection » (voir la liste des auteurs)
(en) Charles Ehresmann, « Les connexions infinitésimales dans un espace fibré différentiable », dans Colloque de Toplogie, Bruxelles, 1950, p. 29–55
(en) H. I. Eliason, « Geometry of manifolds of maps », dans Journal of Differential Geometry, vol. 1, 1967, p. 169–194
(en) Shoshichi Kobayashi (en) et Katsumi Nomizu, Foundations of Differential Geometry, vol. 1 et 2, New York, Wiley, 1996, poche (ISBN 978-0-471-15733-5) et (ISBN 978-0471157328)
(en) Ivan Kolář, Peter Michor (de) et Jan Slovák, Natural operators in differential geometry, Springer-Verlag, 1993, PDF [lire en ligne]
(en) Serge Lang, Fundamentals of differential geometry, New York, Springer-Verlag, 1999, 2^e éd. (ISBN 978-0-387-98593-0)
(en) Ülo Lumiste, « Connection on a fibre bundle », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2001a (ISBN 978-1556080104) [lire en ligne]
(en) Ülo Lumiste, « Connections on a manifold », dans M. Hazewinkel, Encyclopædia of Mathematics, 2001b [lire en ligne]
Georges Reeb (en), Sur certaines propriétés topologiques des variétés feuilletées, Herman, 1952

Pour aller plus loin

(en) Raoul Bott, « Topological obstruction to integrability », dans Proc. Symp. Pure Math., Amer. Math. Soc., 1970, p. 127-131

Portail de la géométrie

Catégorie :

Géométrie différentielle

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Connexion de Ehresmann de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Connexion d'Ehresmann — Connexion de Ehresmann En géométrie différentielle, une connexion de Ehresmann (d après le mathématicien français Charles Ehresmann qui a le premier formalisé ce concept) est une version de la notion de connexion qui est définie sur des fibrés.… … Wikipédia en Français
Connexion (Mathématiques) — Transport parallèle sur une sphère En géométrie différentielle, la connexion est un outil pour réaliser le transport parallèle. La notion a été introduite par par Charles Ehresmann et Jean Louis Koszul en 1951. Il existe plusieurs présentations… … Wikipédia en Français
Connexion (mathematiques) — Connexion (mathématiques) Transport parallèle sur une sphère En géométrie différentielle, la connexion est un outil pour réaliser le transport parallèle. La notion a été introduite par par Charles Ehresmann et Jean Louis Koszul en 1951. Il existe … Wikipédia en Français
Connexion (mathématiques) — Transport parallèle sur une sphère En géométrie différentielle, la connexion est un outil pour réaliser le transport parallèle. Il existe plusieurs présentations qui dépendent de l utilisation faite. Cette notion a été développée au début des… … Wikipédia en Français
Connexion affine — Une connexion affine sur la sphère fait rouler le plan affine tangent d un point à un autre. Dans ce déplacement, le point de contact trace une courbe du plan : le développement. En mathématiques, et plus précisément en géométrie… … Wikipédia en Français
Charles Ehresmann — De gauche à droite : Georges Reeb, Paul Vincensini et Charles Ehresmann en 1949 à Oberwolfach Charles Ehresmann est un mathématicien alsacien, né à Strasbourg le 19 avril 1905 et mort à Amiens le 22 septembre 1979 … Wikipédia en Français
Transport parallèle — Connexion (mathématiques) Transport parallèle sur une sphère En géométrie différentielle, la connexion est un outil pour réaliser le transport parallèle. La notion a été introduite par par Charles Ehresmann et Jean Louis Koszul en 1951. Il existe … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants … Wikipédia en Français
Jacques Feldbau — est un mathématicien français, né le 22 octobre 1914, dans une famille juive traditionaliste d Alsace dont il partageait les valeurs et les convictions religieuses, et mort le 22 avril 1945 au camp de Ganacker, annexe du camp… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Connexion de Ehresmann

Sommaire

Introduction

Définition formelle