pseudo-Riemannian manifold