Lorentzian geometry in the large