Connexion de Levi-Civita

Modèle:Homon Modèle:Ébauche 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. Notamment, les géodésiques, courbes minimisant localement la distance riemannienne, sont exactement les courbes pour lesquelles le vecteur vitesse est parallèle. De plus, la courbure de la variété se définit à partir de cette connexion ; des conditions sur la courbure imposent des contraintes topologiques sur la variété.

La connexion de Levi-Civita est appelée en référence au mathématicien italien Tullio Levi-Civita (1873 - 1941) qui a introduit les concepts de transport parallèle pour les besoins de la relativité générale.

L'exemple des surfaces paramétrées

La considération des surfaces paramétrées permet de comprendre le cheminement qui conduit à la définition de la connexion de Levi-Civita. Soient une surface paramétrée $(u,v)\mapsto M(u,v)$ plongée dans l'espace de dimension 3, et $X$ et $Y$ deux champs de vecteurs tangents à cette surface. Le plan tangent admet pour base locale les vecteurs $e_u=\frac{\partial M}{\partial u}$ et $e_v=\frac{\partial M}{\partial v}$. Notons $X_u$ et $X_v$ les composantes de $X$ dans cette base, et de même pour $Y$.

On souhaite décrire l'évolution du champ $Y$ lorsqu'on suit une ligne de champ de $X$, et en particulier définir une dérivation de $Y$ dans la direction $X$. Plaçons-nous pour cela en un point $M$ de la surface, et considérons un déplacement $t\mapsto M+tX(M)$. Ce point n'appartient pas nécessairement à la surface, aussi projetons-le orthogonalement en un point $N$ de la surface. On peut penser à définir la dérivée de $Y$ dans la direction $X$ au point $M$ comme étant égal à $\underset{t\to 0}{\lim }\frac{Y(N)-Y(M)}{t}$. Mais l'expression de cette limite comporte deux parties. La première, égale à $(X_u\frac{\partial Y_u}{\partial u}+X_v\frac{\partial Y_u}{\partial v})e_u+(X_u\frac{\partial Y_v}{\partial u}+X_v\frac{\partial Y_v}{\partial v})e_v$, est une combinaison linéaire des deux vecteurs de la base locale du plan tangent à la surface au point $M$. L'autre est une forme bilinéaire symétrique de $X$ et de $Y$ qui fait intervenir les dérivées secondes de la fonction $M$. Notons-la $\mathrm{d}{M}^2(X,Y)$. Pour obtenir une limite qui soit élément du plan tangent, on projette orthogonalement cette deuxième partie sur le plan tangent. On obtient alors une expression ${\mathrm{\nabla }}_{X}Y$, somme de la première partie, et d'une forme bilinéaire symétrique de $X$ et de $Y$ s'exprimant à partir des coefficients de la première forme fondamentale $g$ et de leurs dérivées. Si pour tout $i$ et $j$ valant $u$ ou $v$, on pose ${\mathrm{\nabla }}_{e_i}{e}_j={\mathrm{\Gamma }}_{ij}^u{e}_u+{\mathrm{\Gamma }}_{ij}^v{e}_v$, alors :

${\mathrm{\nabla }}_{X}Y=(X_u\frac{\partial Y_u}{\partial u}+X_v\frac{\partial Y_u}{\partial v}+\sum _{ij}{X}_i{Y}_j{\mathrm{\Gamma }}_{ij}^u)e_u+(X_u\frac{\partial Y_v}{\partial u}+X_v\frac{\partial Y_v}{\partial v}+\sum _{ij}{X}_i{Y}_j{\mathrm{\Gamma }}_{ij}^v)e_v$.

Les coefficients ${\mathrm{\Gamma }}_{ij}^k$ s'appellent symboles de Christoffel. Par ailleurs, on peut vérifier que l'opérateur $\mathrm{\nabla }$ vérifie les propriétés suivantes :

• ${\mathrm{\nabla }}_{fX}Y=f{\mathrm{\nabla }}_{X}Y$ pour toute fonction $f$ ;
• ${\mathrm{\nabla }}_X(fY)=df(X)Y+f{\mathrm{\nabla }}_{X}Y$ ;
• ${\mathrm{\nabla }}_{X}Y-{\mathrm{\nabla }}_{Y}X=[X,Y]$ où [ , ] désigne le crochet de Lie ;
• $Z\cdot g(X,Y)=g({\mathrm{\nabla }}_{Z}X,Y)+g(X,{\mathrm{\nabla }}_{Z}Y)$ pour tout champ $X$, $Y$, $Z$.

Ce sont ces propriétés qui vont servir d'axiomes afin de définir une connexion de Levi-Civita dans le cas général d'une variété riemannienne.

Définition axiomatique

Modèle:Loupe Une métrique pseudo-riemannienne $g$ de classe $C^k$ sur une variété différentielle $M$ est la donnée d'une famille $g_x$ de formes bilinéaires symétriques non dégénérées sur les espaces tangents $T_{x}M$, de sorte que pour tous champs de vecteurs $X$ et $Y$ de classe $C^k$, la fonction $g(X,Y)$ soit de classe $C^k$. La signature de $g$ est localement constante sur $U$. La métrique $g$ est dite riemannienne si en tout point $x$ la forme $g_x$ est (définie) positive.

Dans ce cadre il est possible d'énoncer le théorème fondamental de la géométrie riemannienne : il existe une unique connexion de Koszul $\mathrm{\nabla }$ sur $T_{x}M$, appelée connexion de Levi-Civita vérifiant les deux conditions :

1. $\mathrm{\nabla }$ est sans torsion : pour tous champs de vecteurs $X$ et $Y$,${\mathrm{\nabla }}_{X}Y-{\mathrm{\nabla }}_{Y}X=[X,Y]$ ;
2. $g$ est parallèle : pour tous champs de vecteurs $X$, $Y$ et $Z$, on a :

$Z\cdot g(X,Y)=g({\mathrm{\nabla }}_{Z}X,Y)+g(X,{\mathrm{\nabla }}_{Z}Y)$.

On peut suivre une démarche d'analyse-synthèse pour établir unicité puis existence. En présupposant l'existence de la connexion, des manipulations algébriques simples conduisent à la relation

$2g({\mathrm{\nabla }}_{X}Y,Z)=X\cdot g(Y,Z)+Y\cdot g(Z,X)-Z\cdot g(X,Y)+g([X,Y],Z)+g([Z,X],Y)-g([Y,Z],X)$.

Par non dégénérescence de g, la connexion ∇ est uniquement déterminée par cette égalité. Cela prouve l'unicité sous réserve d'existence. Ce calcul présente aussi un intérêt pratique : on le retrouvera au-dessous en cherchant à exprimer la connexion dans un système de coordonnées locales. Cependant les auteurs font souvent remarquer qu'une telle expression est en réalité moins utile que les propriétés caractéristiques énoncées dans le théorème lui-même.

Ensuite, on prouve l'existence, en justifiant qu'en introduisant ${\mathrm{\nabla }}_{X}Y$ par cette formule pour des champs X et Y quelconques, on a une expression bien définie, qui est une connexion, sans torsion, et telle que $g$ est parallèle.

Coordonnées locales

Considérons une carte locale de coordonnées $(x_i)$ en un point de la variété riemannienne, et soit $(e_i)$ la base locale correspondant aux dérivations par rapport aux $x_i$. Soient $g_{ij}=g(e_i,e_j)$ les composantes du tenseur métrique g dans la base locale. Les propriétés axiomatiques de la connexion permettent de déterminer les symboles de Christoffel ${\mathrm{\Gamma }}_{ij}^k$ tels que (en notation d'Einstein) :

${\mathrm{\nabla }}_{e_i}{e}_j={\mathrm{\Gamma }}_{ij}^k{e}_k$

On prouve en effet que (en notation d'Einstein) :

${\mathrm{\Gamma }}_{ij}^k=\frac{1}{2}{g}^{km}(\frac{\partial g_{mi}}{\partial x^j}+\frac{\partial g_{mj}}{\partial x^i}-\frac{\partial g_{ij}}{\partial x^m})$

où le tenseur $g^{km}$ est l'inverse du tenseur $g_{ij}$.

Réciproquement, soient X et Y deux champs de vecteurs de composantes respectives $X^i$ et $Y^i$ dans la base locale. On peut reconstituer ${\mathrm{\nabla }}_{X}Y$ à partir des coefficients de Christoffel. On a en effet (en notation d'Einstein) :

${\mathrm{\nabla }}_{X}Y=X^i\frac{\partial Y^j}{\partial x^i}{e}_j+X^i{Y}^j{\mathrm{\Gamma }}_{ij}^k{e}_k$

qu'on peut également écrire :

${\mathrm{\nabla }}_{X}Y=X^i\frac{\partial Y^j}{\partial x^i}{e}_j+Y^j{\mathrm{\nabla }}_X{e}_j$

Cette expression est analogue à une composition des vitesses telle qu'on en rencontre dans les changements de référentiels en physique. Supposons que X désigne la vitesse avec laquelle on parcourt un arc paramétré de la variété différentielle. On peut alors interpréter ${\mathrm{\nabla }}_{X}Y$ comme la vitesse absolue avec laquelle Y varie lorsqu'on se déplace le long de l'arc. La quantité $X^i\frac{\partial Y^j}{\partial x^i}{e}_j$ représente la vitesse relative avec laquelle Y varie dans la base $(e_j)$. La quantité $Y^j{\mathrm{\nabla }}_X{e}_j$ est la vitesse d'entraînement, vitesse à laquelle Y varierait si ses composantes dans la base $(e_j)$ étaient constantes. Cette dernière vitesse est due uniquement à la façon dont les vecteurs de base varient au cours du déplacement. Lorsque les ${\mathrm{\nabla }}_X{e}_j$ sont nuls, on dit que la base $(e_j)$ est transportée parallèlement à l'arc parcouru. Les variations de Y sont alors dues uniquement aux variations de ces composantes dans la dite base.

Exemples

Métriques induites

Soit M une variété, et N une sous-variété munie de la métrique induite par celle de M. Alors la connexion de Levi-Civita ${\mathrm{\nabla }}^N$ s'obtient à partir de celle de M en la projetant orthogonalement sur l'espace tangent à N. Autrement dit, pour tout vecteur V et W tangents à N, $\underset{V}{\overset{N}{\mathrm{\nabla }}}W$ est le projeté orthogonal sur l'espace tangent à N de $\underset{V}{\overset{M}{\mathrm{\nabla }}}W$.

Métriques conformes

Deux métriques g et g' sont dites conformes si, en chaque point de la variété, elles sont proportionnelles l'une à l'autre. Le coefficient de proportionnalité étant strictement positif et dépendant du point considéré, il existe une fonction f telle que g' = e^2f.g. La connexion de Levi-Civita de g' est alors donnée par :

$\mathrm{\nabla }{\text{'}}_{X}Y={\mathrm{\nabla }}_{X}Y+\mathrm{d}f(X)Y+\mathrm{d}f(Y)X-g(X,Y)\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{d}(f)$

où le gradient de f est pris relativement à la métrique g.

Voir aussi

• Connexion affine
• Dérivée covariante