American Mathematical Society, Transactions of the American Mathematical Society, 10(363), p. 5367-5379, 2011
DOI: 10.1090/s0002-9947-2011-05299-2
Full text: Download
In this article, the Lorentzian manifolds isometrically embeddable in L N \mathbb {L}^N (for some large N N , in the spirit of Nash’s theorem) are characterized as a subclass of the set of all stably causal spacetimes; concretely, those which admit a smooth time function τ τ with | ∇ τ | > 1 |∇ τ |>1 . Then, we prove that any globally hyperbolic spacetime ( M , g ) (M,g) admits such a function, and, even more, a global orthogonal decomposition M = R × S , g = − β d t 2 + g t M=\mathbb {R} \times S, g=-β dt^2 + g_t with bounded function β β and Cauchy slices. In particular, a proof of a result stated by C.J.S. Clarke is obtained: any globally hyperbolic spacetime can be isometrically embedded in Minkowski spacetime L N \mathbb {L}^N . The role of the so-called “folk problems on smoothability” in Clarke’s approach is also discussed.