semi-riemannian manifold