The space-time cut locus

Let (M, g) be a space-time with Lorentzian distance functiond. If (M, g) is distinguishing andd is continuous, then (M, g) is shown to be causally continuous. Furthermore, a strongly causal space-time (M, g) is globally hyperbolic iff the Lorentzian distance is always finite valued for all metricsg′ conformal tog. Lorentzian distance may be used to define cut points for space-times and the analogs of a number of results holding for Riemannian cut loci may be established for space-time cut loci. For instance in a globally hyperbolic space-time, any timelike (or respectively, null) cut pointq of p along the geodesicc must be either the first conjugate point ofp or else there must be at least two maximal timelike (respectively, null) geodesics fromp toq. Ifq is a closest cut point ofp in a globally hyperbolic space-time, then eitherq is conjugate top or elseq is a null cut point. In globally hyperbolic space-times, no point has a farthest nonspacelike cut point.