Riemannian geometry
The splitting theorem is a classical theorem in Riemannian geometry.