Lorentzian manifolds Theorems in general relativity Theorems in mathematical physics Geroch's splitting theorem