Ricci curvature
Later the splitting theorem was extended to Lorentzian manifolds with nonnegative Ricci curvature in the time-like directions.