Tenseur de torsion

Illustration de la torsion le long d'une géodésique.

En géométrie différentielle, la torsion constitue, avec la courbure, une mesure de la façon dont une base mobile évolue le long des courbes, et le tenseur de torsion en donne l'expression générale dans le cadre des variétés, c'est-à-dire des « espaces courbes » de toutes dimensions.

La torsion se manifeste en géométrie différentielle classique comme une valeur numérique associée à chaque point d'une courbe de l'espace euclidien. En termes imagés, si la courbure quantifie le caractère plus ou moins accentué des virages pris par une courbe en comparant celle-ci à un cercle dit « osculateur », la torsion marque la tendance à sortir du plan de ce cercle, en vrillant soit dans le même sens qu'une vis, soit dans le sens inverse.

Le tenseur de torsion, qui est en réalité un champ tensoriel, en est une version étendue au cadre des variétés diférentielles munies d'une connexion D. Il est défini par la formule :

$T(X,Y)=D_{X}Y-D_{Y}X-[X,Y]$

où [X,Y] est le crochet de Lie des champs de vecteurs X et Y. En considérant ${\partial }_i$ une base de l'espace tangent, la connexion $D$ se développe en $D_{X}Y=(X^i{\partial }_i{Y}^k+X^i{Y}^j{\mathrm{\Gamma }}_{ij}^k){\partial }_k$, le tenseur de torsion peut s'exprimer en coordonnées locales de la manière suivante :

$T(X,Y)=(X^i{\partial }_i{Y}^k+X^i{Y}^j{\mathrm{\Gamma }}_{ij}^k){\partial }_k-(Y^i{\partial }_i{X}^k+Y^i{X}^j{\mathrm{\Gamma }}_{ij}^k){\partial }_k-(X^i{\partial }_i{Y}^k-Y^i{\partial }_i{X}^k){\partial }_k$

$T(X,Y)=X^i{Y}^j({\mathrm{\Gamma }}_{ij}^k-{\mathrm{\Gamma }}_{ji}^k){\partial }_k$

La connexion est dite sans torsion quand ce tenseur est constamment nul. C'est le cas par exemple de la connexion de Levi-Civita en géométrie riemannienneModèle:,.

Voir aussi

• Torsion d'une courbe
• Connexion (mathématiques)
• Tenseur de courbure