Vecteur de Killing conforme

Modèle:Homonymes En géométrie riemannienne, un vecteur de Killing conforme ou un champ de vecteurs de Killing conforme ou un champ conforme est un champ de vecteurs correspondant à une variation infinitésimale d'une isotopie conforme pour une métrique pseudoriemannienne. En l'absence d'orbites périodiques, après une transformation conforme correctement choisie sur la métrique, le champ de vecteurs devient un champ de vecteurs de Killing ; cela peut être réalisé au moins localement. Sans être forcément de Killing un champ conforme possède des propriétés proches.

Les vecteurs de Killing interviennent notamment en relativité générale.

En géométrie symplectique, les champs de dilatation en sont des équivalents.

Définition

Etant donnée une métrique pseudoriemannienne g sur une variété différentielle M, une application conforme de M est un difféomorphisme $\mathrm{\Phi }:M\to M$ tel que ${\mathrm{\Phi }}^{*}g=f.g$ où f est une fonction strictement positive. La métrique ${\mathrm{\Phi }}^{*}g$ est dite conforme à g. Les isométries riemanniennes sont des cas particuliers d'applications conformes. L'ensemble des applications conformes forme un sous-groupe du groupe des difféomorphismes de M. Avec les bonnes structures, il en est un sous-groupe de Lie.

On définit un vecteur de Killing conforme comme un champ de vecteurs X dont le flot est constitué d'applications conformes. Ici, le flot est seulement localement défini : X n'est pas nécessairement complet. Cette propriété équivaut à ce que la dérivée de Lie ${ℒ}_{X}g$ soit proportionnelle à g. Les vecteurs de Killing sont donc par définition les variations premières des isotopies conformes (isotopie d'applications conformes). Plus exactement, si $g_t$ est une isotopie conforme, alors

$X_t=\frac{d{g}_t}{dt}\circ g_t^{-1}$

est un champ de vecteurs de Killing dépendant d'un paramètre réel t. L'identité ci-dessus donne une correspondance biunivoque entre les isotopies conformes et les champs de vecteurs de Killing conformes dépendant d'un paramètre réel.

L'ensemble des vecteurs de Killing conformes est stable par addition et multiplication par des fonctions. Il forme un sous-module de l'espace des champs de vecteurs. Le crochet de Lie de deux vecteurs de Killing conformes est un vecteur de Killing conforme. Donc, l'ensemble des vecteurs de Killing forment une sous-algèbre de Lie de l'algèbre des champs de vecteurs. Cette sous-algèbre de Lie peut être vue comme l'algèbre de Lie du groupe de Lie des applications conformes de $(M,g)$. Ce groupe est de dimension infinie.

Équation dans une carte locale

Un vecteur de Killing ξ est défini par l'équation

$D_a{\xi }_b+D_b{\xi }_a=0$,

où D est la dérivation convariante associée à la métrique. Lors d'une transformation conforme, la métrique g est transformée selon

$g_{ab}\to {\overline{g}}_{ab}={\mathrm{\Omega }}^2{g}_{ab}$,

où Ω est une fonction ne s'annulant pas. À l'aide de ces définitions, il est possible de calculer l'équivalent de l'équation de Killing à laquelle obéit le vecteur ξ, mais en utilisant la dérivation covariante $\overline{D}$ associée à la nouvelle métrique ${\overline{g}}_{ab}$. On trouve ainsi

${\overline{D}}_a{\xi }_b+{\overline{D}}_b{\xi }_a=\frac{2}{n}\left({\overline{D}}_c{\xi }^c\right)g_{ab}$,

où n est la dimension de l'espace considéré. Modèle:Boîte déroulante

Propriété

Si v et w sont deux vecteurs tangents en p et orthogonaux pour la métrique g précédemment introduite, on a, pour tout champ de vecteurs de Killing conforme :

$g({\mathrm{\nabla }}_{v}X,w)+g(v,{\mathrm{\nabla }}_{w}X)=0$

Si X est un champ de vecteurs de Killing, l'identité précédente reste plus généralement vraie pour tous vecteurs v et w tangents en p. Modèle:Boîte déroulante

En particulier, si v est un vecteur isotropique, $g(v,v)=0$, alors v est orthogonal à lui-même. Pour tout champ de vecteurs de Killing conforme X, on a :

$g(v,v)=0\Rightarrow g({\mathrm{\nabla }}_{v}X,v)=0$

En particulier si c est une géodésique de vecteur vitesse isotrope, alors le produit scalaire de X avec le vecteur vitesse est constant :

$\frac{d}{dt}g(X(c(t)),c^{\prime }(t))=g({\mathrm{\nabla }}_{c^{\prime }(t)}X,c^{\prime }(t))+g(X,{\mathrm{\nabla }}_{c^{\prime }(t)}{c}^{\prime }(t))=0+g(X,0)=0$

Cette propriété de conservation intervient notamment en géométrie lorentzienne pour traiter des géodésiques de genre lumière.

Voici une autre façon de l'obtenir en utilisant l'expression des champs de vecteurs de Killing conformes dans les cates locales. Si l'on note ${\overline{u}}^a$ le vecteur tangent d'un géodésique associée à la métrique $\overline{g}$, alors en contractant l'équation à laquelle obéissent les vecteurs de Killing conformes à ${\overline{u}}^a{\overline{u}}^b$, on obtient

${\overline{u}}^a{\overline{D}}_a\left({\overline{u}}^b{\xi }_b\right)=\frac{1}{n}\left({\overline{D}}^c{\xi }_c\right){\overline{u}}^d{\overline{u}}_d$.

Dans le cas d'un géodésique de genre temps, la norme ${\overline{u}}^d{\overline{u}}_d$ est non nulle et la quantité ${\overline{u}}^b{\xi }_b$ n'est en général pas conservée. Par contre, dans le cas d'une géodésique de genre lumière, où ${\overline{u}}^d{\overline{u}}_d=0$, alors la quantité ${\overline{u}}^b{\xi }_b$ est conservée.

Voir aussi

• Modèle:Lien
• Vecteur de Killing
• Transformation conforme

Référence

• Modèle:Livre Wald, pages 443 et 444.