Timelike completeness as an obstruction to \(C^{0}\)-extensions (Q1751296)

A smooth Lorentzian manifold is said to be \(C^k\)-inextendible if it cannot be isometrically embedded as a proper subset into another Lorentzian manifold of the same dimension with a \(C^k\) -regular metric. The authors prove that a smooth (at least \(C^2\)) time-oriented globally hyperbolic Lorentzian manifold \(M\) that admits a \(C^0\)-extension must contain a time-like geodesic that has an end point on the boundary of \(M\). As a consequence, it follows that a smooth (at least \(C^2\)) time-oriented Lorentzian manifold that is time-like geodesically complete and globally hyperbolic is \(C^0\)-inextendible.