pseudo-riemannian manifold