Connexion de koszul

Connexion de koszul: Connexion de Koszul

En géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d'un fibré vectoriel. Cette notion a été introduite par Koszul en 1950^{[réf. nécessaire]} et formalise le transport parallèle de vecteurs le long d'une courbe en termes d'équation différentielle ordinaire. Les connexions sont des objets localement définis auxquels sont associés les notions de courbure et de torsion. L'un des exemples les plus simples de connexions de Koszul sans torsion est la connexion de Levi-Civita naturellement définie sur le fibré tangent de toute variété riemannienne.

L'ensemble des connexions de Koszul forme un espace affine réel dont l'espace directeur est l'espace des 1-formes différentielles de B à valeurs dans End(E), le fibré vectoriel des endomorphismes de E. Une connexion sur E induit des connexions sur les fibrés construits à partir de E par des opérations algébriques élémentaires (produit extérieur, produit tensoriel, ...). L'utilisation des connexions permet en particulier d'effectuer un calcul différentiel extérieur raisonnable sur les sections de E. Elles sont fortement utilisées en analyse.

Sommaire

1 Définitions

1.1 Exemple

1.2 Définitions équivalentes

1.3 Structure affine

1.4 Courbure

1.5 Torsion

2 Construction de connexions

2.1 Transport de connexions

2.2 Somme et produit tensoriel

2.3 Connexion de Levi-Civita

3 Applications

3.1 Transport parallèle

3.2 Calcul différentiel extérieur

Définitions

Soit E l'espace total d'un fibré vectoriel réel de rang fini de base B variété différentielle réelle. À une section globale s de E et un champ de vecteurs X de B est associée une section notée $\nabla_Xs$ vérifiant les conditions suivantes :

Linéarité en X : Pour toute fonction différentiable f, et pour tout champ de vecteur X de B, on a :

$\nabla_{fX}s=f.\nabla_Xs$ .

Règle de Leibniz : Pour toute fonction différentiable f et pour tout champ de vecteur X de B, on a :

$\nabla_X(fs)=df(X)s+f\nabla_Xs$ .
La première propriété implique en particulier que la valeur de $\nabla_Xs$ en un point b de B ne dépend en fait que de X(b). La seconde propriété montre au contraire une dépendance par rapport aux variations premières de s en b. En particulier, si s est une section locale de E définie sur U et v est un vecteur de B en un point x de U, alors $\nabla_vs$ est bien défini comme vecteur de E_x. Lorsque E est le fibré tangent de B, on parle simplement de connexion (de Koszul) sur B sans plus de précisions. En général, la connexion est désignée par la lettre $\nabla$ , d ou D.

Exemple

Les sections d'un fibré trivial $B\times \R^n$ sont les fonctions différentiables de B dans Rⁿ. Le fibré $B\times \R^n$ est muni de la connexion de Koszul notée $d 0$ appelée connexion triviale définie par :
$d_0:(X,f)\mapsto df(X)$ .
Naturellement, les connexions de Koszul se transportent par isomorphisme de fibrés vectoriels (on reviendra sur ce point). En particulier tout fibré trivialisable admet des connexions de Koszul. Cependant, cette connexion dépend de la trivialisation choisie.

Un groupe de Lie G est parallélisable et admet donc des connexions de Koszul. Plus exactement, le choix d'une base de l'espace tangent en l'élément neutre induit par translation à gauche une trivialisation de TG ; on dispose donc d'une connexion de Koszul $D 0$ définie comme ci-dessus. Cette connexion ne dépend du choix de la base.

L'existence de connexions sur un fibré quelconque s'appuie sur un argument de partitions de l'unité. En supposant B dénombrable à l'infini, B admet un recouvrement localement fini ${U i}$ au plus dénombrable d'ouverts localement compacts au dessus desquels le fibré E est trivialisable. Il existe une partition de l'unité ${f i}$ , le support de $f i$ étant inclus dans U_i. En particulier, au dessus de U_i, il existe une connexion $\nabla^i$ . La notation $\nabla=\sum_if_i\nabla^i$ fait sens :
$\nabla_Xs(b)=\sum f_i(b).\nabla_X^is(b)$ .
Comme la somme des f_i vaut 1, $\nabla$ verifie la règle de Leibniz et est donc une connexion sur E.

Définitions équivalentes

Selon les auteurs, la définition d'une connexion de Koszul admet de légères variantes. Si $Γ(E)$ désigne l'espace vectoriel des sections de E, une connexion $\nabla$ peut être interprétée comme un opérateur $C^{\infty}(M)$ linéaire en la première variable et R-linéaire en la seconde (vérifiant de plus la règle de Leibniz précédemment citée :
$\nabla:\Gamma(TB)\otimes\Gamma(E)\rightarrow \Gamma(E)$ .
Autre interprétation possible, pour toute section s de E, $\nabla s$ peut être vue comme une 1-forme différentielle sur B à valeurs dans $E n d (E)$ . Dans cette optique, la connexion $\nabla$ est regardé comme un opérateur R linéaire :
$\nabla:\Gamma(E)\rightarrow \Gamma(\Lambda^1T^*B\otimes E)$ .
La règle de Leibniz se traduit alors ainsi : pour toute fonction differentiable f et pour toute section s de E,
$\nabla(fs)=df\otimes s+f\nabla s$ .
En outre, les connexions de Koszul peuvent se définir de manière analogue sur les fibrés vectoriels complexes, en prenant en compte que l'espace des sections est un module sur l'algèbre des fonctions différentiables non plus réelles mais complexes. La seule différence est donc de tenir compte des fonctions différentiables complexes dans la règle de Leibniz.

Structure affine

Si $\nabla_1$ et $\nabla_2$ sont des connexions définies sur un même fibré vectoriel E, alors pour toute section s et pour tout fonction f, on a:
$\nabla^2(fs)=df\otimes s +f\nabla^2s=\nabla^1(fs)+f\left[\nabla^2-\nabla^1\right] s$ .
Leur différence $\alpha=\nabla^2-\nabla_1$ est donc un opérateur $C^{\infty}(M)$ -linéaire sur $Γ(T B)$ à valeurs dans $Γ(E n d (E))$ , ou encore une 1-forme différentielle $α$ à valeurs dans End(E). On écrit symboliquement :
$\nabla^2=\nabla^1+\alpha$ .
L'ensemble des connexions de Koszul sur E est alors naturellement un espace affine d'espace directeur l'espace des 1-formes differentielles à valeurs dans End(E). L'action du groupe G(E) est affine. Plus exactement, pour tout automorphisme g de E, on a :
$g\cdot\nabla^2=g\cdot\nabla^1+g\circ\alpha\circ g^{-1}$ .
En particulier, dans une trivialisation locale de E donnée par un isomorphisme $Φ$ de fibres au dessus de U de $U\times \R^n$ sur $π - 1 (U)$ , une connexion $\nabla$ definie sur E s'écrit :
$\Phi^*\nabla=D_0+\alpha$ ,
où $α$ est une 1-forme differentielle à valeurs matricielles.

Courbure

Article détaillé : Courbure.

La courbure de $\nabla$ est une forme différentielle à valeurs dans le fibré $E n d (E)$ des endomorphismes linéaires de E. Pour tous champs de vecteurs X et Y de B et pour toute section s de E, on pose :
$R(X,Y)s=\nabla_X\nabla_Ys-\nabla_Y\nabla_Xs -\nabla_{[X,Y]}s$ .
Dans une trivialisation locale, en reprenant les notations ci-dessus, si $\Phi^*\nabla=D_0+\alpha$ , alors un rapide calcul donne:
$Φ * R = d α + [α,α],$
où par convention:
$[α,α](X, Y) = α(X)α(Y) - α(Y)α(X)$ .
D'autres notions de courbures pour les connexions de Koszul existent mais elles dépendent de structures supplémentaires.

Torsion

Pour une connexion de Koszul $\nabla$ définie sur une variété différentielle M, on appelle torsion le tenseur T défini sur M par :
$T(X,Y)=\nabla_XY-\nabla_YX-[X,Y]$
Le fait que T soit effectivement un tenseur demande vérification. Une connexion est dite sans torsion lorsque sa torsion est nulle. Si $α$ est une 1-forme différentielle à valeurs dans End(TM), et que $\nabla$ est une connexion sans torsion, alors $\nabla+\alpha$ est sans torsion seulement si $α$ définit une forme symétrique.

Construction de connexions

Transport de connexions

A toute application différentiable $f:B'\rightarrow B$ est associé un fibré vectoriel, noté $f * E$ , dont la fibre en $b'$ soit la fibre de E en $f (b')$ . Toute connexion de Koszul $\nabla$ sur E induit une unique connexion $f^*\nabla$ sur $f * E$ telle que pour toute section globale s de E et pour tout champ de vecteurs X de $B'$ , on a :
$\left[f^*\nabla\right]_X\left[s\circ f\right]=\left[\nabla_Xs\right]\circ f$ .
En particulier, si c: $I\rightarrow B$ est une courbe de B, alors $\nabla$ induit une connexion $c^*\nabla$ sur $c * E$ qui est un fibré vectoriel sur I. Cette connexion induite est uniquement définie par la donnée de $c^*\nabla_{\partial/\partial t}$ qu'on note $\nabla_{c'(t)}$ par un abus de langage. Une section s de E le long de c est une section sur I de $c * E$ .
$s\in \Gamma(c^*E)\rightarrow \nabla_{c'(t)}s\in \Gamma(c^*E)$
Cet opérateur vérifie la règle de leibniz:
$\left[\nabla_{c'(t)}\left[fs\right]\right](t)=f'(t)s(t)+f(t)\left[\nabla_{c'(t)}s\right](t)$ .
Somme et produit tensoriel

Soient $\nabla=\nabla^1$ et $\nabla^2$ deux connexions respectivement définies sur des fibrés vectoriels E=E₁ et E₂ sur une même base B. Sont alors définies :

Une connexion sur la somme directe $E_1\oplus E_2$ , notée $\nabla^1\oplus \nabla^2$ :

$(\nabla_1\oplus\nabla_2)_{X}(s_1\oplus s_2)=\nabla^1_Xs_1\oplus s_2+s_1\oplus \nabla^2_Xs_2$ ;

Une connexion sur le produit tensoriel $E_1\otimes E_2$ , notée $\nabla^1\otimes \nabla^2$ :

$(\nabla^1\otimes \nabla^2)_X(s_1\otimes s_2)=\nabla^1_Xs_1\otimes s_2+s_1\otimes \nabla^2_Xs_2$ ;

Une connexion sur le fibré dual E^* :

$X\cdot \lambda(s)=(\nabla_X\lambda)(s)+\lambda(\nabla_Xs)$ ;

Une connexion sur le fibré $E n d (E 1, E 2)$ :

$\nabla_X(\phi(s))=(\nabla_X\phi)(s)+\phi(\nabla_Xs)$ .
Connexion de Levi-Civita

Article détaillé : Connexion de Levi-Civita.

Une métrique riemannienne g sur une variété différentielle M est un champ de formes bilinéaires symétriques définies positives. Plus exactement, une métrique g de classe $C k$ est la donnée en tout point x d'un produit scalaire $g x$ sur l'espace tangent T_xM, de sorte que pour tous champs de vecteurs X et Y sur M de classe $C k$ , la fonction g(X,Y) soit différentiable de classe $C k$ .

Si $k\geq 2$ , il existe une unique connexion sans torsion sur M, appelée connexion de Levi-Civita, vérifiant : pour tous champs de vecteurs X, Y et Z,
$X\dot g(Y,Z)=g(\nabla_X Y,Z)+g(Y,\nabla_XZ)$
La courbure d'une variété riemannienne réfère à la courbure de sa connexion de Levi-Civita. La connexion de Levi-Civita est importante car elle capte une forte information sur la géométrie locale et globale. On distingue habituellement les variétés de courbure nulle, de courbure positive et de courbure négative. Les variétés riemanniennes "à courbure constante" servent de modèle de comparaison.

Applications

Transport parallèle

Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !

Article détaillé : Transport parallèle.

Si c est une courbe différentiable de B, une section s de E le long de c est dite parallèle lorsqu'elle vérifie l'équation différentielle :
$\nabla{c'(t)}s(t)=0$
Calcul différentiel extérieur

Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !

Une fois fixé une connexion $\nabla$ sur un fibré vectoriel E, il est possible de différentier de manière cohérente les formes différentielles à valeurs dans E. On définit ainsi un opérateur R-linéaire $d^{\nabla}$ qui à une forme différentielle de degré k à valeurs dans E associe une forme différentielle de degré k+1 à valeurs dans E. Cet opérateur de différentiation est uniquement défini par la propriété suivante. Pour toute forme différentielle réelle $α$ et pour toute section s de E, on a :
$d^{\nabla}\left[\alpha\otimes s\right]=d\alpha\otimes s+ \alpha\wedge \nabla s$ ,
où $\nabla s$ se lit comme une 1-forme différentielle à valeurs dans E.
$d^{\nabla}\circ d^{\nabla}$ $d^{\nabla}\omega=R\wedge \omega$
Identité de Bianchi :
$d^{\nabla}R=0$
Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !

Portail des mathématiques

Ce document provient de « Connexion de Koszul ».

Catégorie : Géométrie différentielle

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

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

Connexion De Koszul — En géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d un fibré vectoriel. Cette notion a été introduite par Koszul en 1950[réf. nécessaire] et formalise le transport parallèle de vecteurs le long d une… … Wikipédia en Français
Connexion de Koszul — En géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d un fibré vectoriel. Cette notion a été introduite par Koszul en 1950[réf. nécessaire] et formalise le transport parallèle de vecteurs le long d une… … 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 De Levi-Civita — En géométrie riemannienne, la connexion de Levi Civita est une connexion de Koszul naturellement définie sur toute variété riemannienne ou par extension sur toute variété pseudo riemannienne. Ses propriétés caractérisent la variété riemannienne.… … Wikipédia en Français
Connexion de Levi-Cevita — Connexion de Levi Civita En géométrie riemannienne, la connexion de Levi Civita est une connexion de Koszul naturellement définie sur toute variété riemannienne ou par extension sur toute variété pseudo riemannienne. Ses propriétés caractérisent… … Wikipédia en Français
Connexion de Levi-civita — En géométrie riemannienne, la connexion de Levi Civita est une connexion de Koszul naturellement définie sur toute variété riemannienne ou par extension sur toute variété pseudo riemannienne. Ses propriétés caractérisent la variété riemannienne.… … Wikipédia en Français
Connexion de levi-civita — En géométrie riemannienne, la connexion de Levi Civita est une connexion de Koszul naturellement définie sur toute variété riemannienne ou par extension sur toute variété pseudo riemannienne. Ses propriétés caractérisent la variété riemannienne.… … Wikipédia en Français
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. 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

Mark and share
Search through all dictionaries
Translate…
Search Internet

Share the article and excerpts