La géométrie pseudo-riemannienne est une extension de la géométrie riemannienne ; au même titre que, en algèbre bilinéaire, l'étude des formes bilinéaires symétriques généralisent les considérations sur les métriques euclidiennes. Cependant, cette géométrie présente des aspects non intuitifs des plus surprenants.
Une métrique pseudo-riemannienne sur une variété différentielle M de dimension n est une famille g= de formes bilinéaires symétriques non dégénérées sur les espaces tangents de signature constante (p,q). La donnée (M,g) est appelée variété pseudo-riemannienne. La géométrie pseudo-riemannienne est l'étude de ces structures, de leurs particularités et des relations qu'elles entretiennent entre elles.
Les variétés pseudo-riemanniennes représentent une classe importante de variétés différentielles, regroupant en particulier les variétés riemanniennes et les variétés lorentziennes :
Une variété pseudo-riemannienne est riemannienne lorsque la signature de la métrique est (n,0) ou (0,n). géométrie riemannienne
Une variété pseudo-riemannienne est dite lorentzienne lorsque la signature de la métrique est (n-1,1) ou (1,n-1). géométrie lorentzienne
Comme en géométrie riemannienne, il existe une mesure naturelle v sur toute variété pseudo-riemannienne (M,g), localement donnée par l'unique forme volume valant 1 sur toute base pseudo-orthonormée. Si la variété est orientable, la forme volume est globalement définie.
De plus, le théorème fondamental de la géométrie riemannienne s'étend au cadre pseudo-riemannien : il existe une unique connexion, appelée connexion de Levi-Civita, sans torsion, et métrique, au sens où, pour tous champs de vecteurs X, Y et Z, on a :
Les géodésiques sont les courbes c vérifiant :
L'existence d'une connexion de Levi-Civita implique les conséquences de rigidité suivantes :
Une isométrie f d'une variété pseudo-riemannienne (M,g), fixant un point m, et telle que , est l'identité.
Le groupe d'isométrie d'une variété pseudo-riemannienne de dimension n est un groupe de Lie de dimension finie, au plus .