A Splitting Theorem for non-positively curved Lorentzian spaces

We prove a splitting theorem for Lorentzian pre-length spaces with global non-positive timelike curvature. Additionally, we extend the first variation formula to spaces with any timelike curvature bound, either from above or below, and different from 0.