Space-time extensions II
The global extendibility of smooth causal geodesically incomplete spacetimes is investigated. Denote by γ one of the incomplete non-extendible causal geodesics of a causal geodesically incomplete spacetime (M,gab). First, it is shown that it is always possible to select a synchronised family of causal geodesics Γ and an open neighbourhood U of a final segment of γ in M such that U is comprised by members of Γ, and suitable local coordinates can be defined everywhere on U provided that γ does not terminate either on a tidal force tensor singularity or on a topological singularity. It is also shown that if, in addition, the spacetime, (M,gab), is globally hyperbolic, and the components of the curvature tensor, and its covariant derivatives up to order k−1 are bounded on U, and also the line integrals of the components of the kth-order covariant derivatives are finite along the members of Γ---where all the components are meant to be registered with respect to a synchronised frame field on U---then there exists a Ck− extension Φ:(M,gab)→(M,gab) so that for each γˉ∈Γ, which is inextendible in (M,gab), the image, Φ∘γˉ, is extendible in (M,gab). Finally, it is also proved that whenever γ does terminate on a topological singularity (M,gab) cannot be generic.