title: Invariant de courbure (relativité générale)
text: # Invariant de courbure (relativité générale)
  
  En relativité générale, les invariants de courbure sont un ensemble de scalaires formé à partir des tenseurs de Riemann, Weyl et Ricci. Cet ensemble représente la courbure, et éventuellement les opérations telles que les contractions, les dérivées covariantes et la dualisation de Hodge.
  
  Certains invariants formés à partir de ces tenseurs de courbure jouent un rôle important dans la classification des espaces-temps. Les invariants sont en réalité moins puissants pour distinguer localement les variétés lorentziennes non-isométriques que pour distinguer les variétés riemanniennes. Cela signifie qu'ils sont plus limités dans leurs applications que pour les variétés dotées d'un tenseur métrique positif défini.
  
  ## Principaux invariants
  
  Les principaux invariants des tenseurs de Riemann et de Weyl sont certains invariants polynomiaux quadratiques.
  
  Les principaux invariants du tenseur de Riemann d'une variété lorentzienne à quatre dimensions sont :
  
  * Le scalaire de Kretshmann $K_{1}=R_{abcd}R^{abcd}$
  * Le scalaire de Chern-Pontryagin $K_{2}={^{*}R_{abcd}}R^{abcd}$
  * Le scalaire d'Euler $K_{3}={^{*}R_{abcd}^{*}}R^{abcd}$
  
  Ce sont des invariants polynomiaux quadratiques (somme des carrés des composants). Quelques auteurs définissent le scalaire de Chern-Pontryagin en utilisant le duale droit plutôt que le duale gauche.
  
  Le premier d'entre eux a été introduit par Eric Kretschmann. Les deux autres noms sont quelque peu anachroniques, mais depuis que les intégrales des deux derniers sont liées au nombre d'instanton pour l'un et au caractéristique d'Euler pour l'autre, on peut les comprendre.
  
  Les principaux invariants du tenseur de Weyl sont :
  
  * $I_{1}=C_{abcd}C^{abcd}$
  * $I_{2}={^{*}C_{abcd}}C^{abcd}$
  
  (Parce que ${^{*}C^{*}}_{abcd}=-C_{abcd}$, il n'est pas nécessaire de définir un troisième invariant principal pour le tenseur de Weyl.)
  
  ## Relation avec la décomposition de Ricci
  
  Il existe une relation entre la décomposition de Ricci et les invariants de courbures. Si on applique cette décomposition au tenseur de Riemann pour donner un tenseur de Weyl ainsi qu'une somme de tenseurs du quatrième rang, qui sont par ailleurs construits à partir du tenseur du second rang de Ricci et du scalaire de Ricci., on observe que ces deux ensembles d'invariants sont liés (en dimension 4).
  
  $K_{1}=I_{1}+R_{ab}R^{ab}-{1 \over 3}R^{2}$
  
  $K_{3}=-I_{1}+R_{ab}R^{ab}-{2 \over 3}R^{2}$
  
  ## Relation avec la décomposition de Bel
  
  En quatre dimensions, la décomposition de Bel du tenseur de Riemann par rapport à un champ vectoriel de temps ${\vec {X}}$, pas nécessairement en géodésique ou en hypersurface orthogonal, se compose de trois parties :
  
  * Le tenseur de la gravité électronique $E[{\vec {X}}]_{ab}=R_{ambn}X^{m}X^{n}$
  * Le tenseur de la gravité magnétique $B[{\vec {X}}]_{ab}={^{*}R_{ambn}}X^{m}X^{n}$
  * Le tenseur de la gravité topologique $L[{\vec {X}}]_{ab}={^{*}R_{ambn}}X^{m}X^{n}$
  
  À cause du fait qu'ils soient tous transversaux, ils peuvent être représentés comme des opérateurs linéaires de vecteurs en trois dimensions, ou comme des matrices réelles 3x3. Ils sont respectivement symétriques, sans trace, et symétriques (6,8,6 composants linéaires indépendants, pour un total de 20). Si nous nommons ces opérateurs respectivement E,B, et L, les principaux invariants de Riemann sont obtenus comme suit :
  
  * $K_{1}/4$ est la trace de E² + L² - 2 B $B^{T},$
  * $-K_{2}/8$ est la trace de B ( E - L ),
  * $K_{3}/8$ est la trace de E L - B².
  
  ## Expression dans le formalisme de Newman-Penrose
  
  En termes de scalaires de Weyl dans le formalisme de Newman-Penrose, les principaux invariants du tenseur de Weyl peuvent être obtenus en prenant les parties réelles et imaginaires de l'expression
  
  $I_{1}-iI_{2}=16$ $(3\Psi _{2}^{2}+\Psi _{0}\Psi _{4}-4\Psi _{1}\Psi _{3})$
  
  Le principal invariant quadratique du tenseur de Ricci, $R_{ab}R^{ab}$, peut être obtenu avec une expression plus compliquée impliquant les scalaires de Ricci.
  
  