Variété d'Einstein

Un article de Wikipédia, l'encyclopédie libre.

Les variétés d'Einstein sont un concept de géométrie différentielle et de physique théorique, étroitement relié à l'équation d'Einstein de la relativité générale. Il s'agit de variétés riemanniennes ou pseudo-riemanniennes dont la courbure de Ricci est proportionnelle à la métrique. Elles forment donc des solutions de l'équation d'Einstein dans le vide, avec une constante cosmologique non nécessairement nulle, mais sans se limiter au cadre de la géométrie lorentzienne utilisé en relativité générale, qui postule trois dimensions d'espace et une dimension de temps.

Définition[modifier | modifier le code]

Définition classique[modifier | modifier le code]

Sur une variété pseudo-riemannienne, on dispose notamment du tenseur métrique et du tenseur de courbure de Ricci , qui sont deux tenseurs de même type (2,0). La variété est dite d'Einstein lorsqu'il existe un rapport de proportionnalité constant entre ces deux tenseurs : en tout point de la variété, et pour tous vecteurs et de l'espace tangent en ce point, [Besse 1].

La constante peut être exprimée en prenant la trace dans cette relation : la courbure scalaire est constante et vaut (en notant la dimension de la variété).

En dimension 2 ou 3, la courbure de Ricci détermine totalement le tenseur de courbure et une variété est d'Einstein si et seulement si elle est à courbure constante[Besse 2]. La famille des espaces à courbure constante [1] est bien connue et l'étude des variétés d'Einstein n'a donc de pertinence que pour les dimensions 4 ou plus.

On peut trouver une autre définition, en apparence plus large, des variétés d'Einstein, où l'on ne demande pas que le coefficient de proportionnalité soit constant. Mais s'il existe une fonction telle qu'en tout point de la variété on ait , une telle fonction est nécessairement constante. Il y a bien équivalence avec la définition[Besse 3].

Formulation variationnelle[modifier | modifier le code]

Dans le cadre des variétés riemanniennes compactes de dimension au moins 3, les variétés d'Einstein peuvent également être introduites comme solutions d'un problème variationnel.

On définit la courbure scalaire totale d'une variété riemannienne compacte comme l'intégrale de la courbure scalaire , soit (où désigne la mesure riemannienne issue de la métrique). Cette expression définit une fonction de la métrique, qualifiée de fonctionnelle riemannienne car elle est compatible avec l'opération de pullback. C'est une fonction homogène, et il est pertinent de limiter l'étude aux métriques de volume total 1 ; c'est également une fonction différentiable, de gradient . Les métriques d'Einstein sont exactement les points critiques de la fonctionnelle réduite à l'espace des métriques de volume 1 sur la variété [Besse 4].

Exemples[modifier | modifier le code]

Propriétés[modifier | modifier le code]

Variétés d'Einstein en dimension 4[modifier | modifier le code]

Pour les variétés compactes et orientables de dimension 4, il existe des invariants topologiques s'exprimant simplement en fonction de la courbure : la caractéristique d'Euler-Poincaré et la signature (en) . De ces expressions, on peut tirer une condition nécessaire pour que la variété admette une métrique d'Einstein : c'est l'inégalité de Hitchin-Thorpe[Besse 5]

Cette condition n'est en revanche pas suffisante et différentes familles de contre-exemples ont été introduites[2],[3].

Notes et références[modifier | modifier le code]

  1. cette expression consacrée sous-entend qu'il s'agit de la courbure sectionnelle
  2. C. LeBrun, Four-manifolds without Einstein Metrics, Math. Res. Letters 3 (1996) p. 133-147.
  3. A. Sambusetti Einstein manifolds and obstructions to the existence of Einstein metrics, Rendiconti di Matematica e delle sue Applicazioni (1998), série VII,18
  1. définition 1.95, p. 44
  2. proposition 1.120, p. 49
  3. théorème 1.97, p. 44
  4. théorème 4.21, p. 120
  5. théorème 6.35, p. 161

Voir aussi[modifier | modifier le code]

Bibliographie[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Liens externes[modifier | modifier le code]