No label defined (Q4459714)

It is now well-known that the abstract boundary construction of Scott and Szekeres is a general and flexibly usable way for defining singularities in general relativity. This construction also proves the high utility when applied to questions on more general boundary features of space-time. Within this construction an essential singularity is a non-regular boundary point which is accessible by a geodesic with finite affine parameter distance and is not removable. The relation between the result recently obtained by Ashley and Scott about this matter and the classical singularity theorem of Penrose and Hawking now enables the authors of this paper to obtain a new abstract boundary singularity theorem, which may be summarized as follows: Suppose \((M,g)\) is a maximally extended space-time satisfying the condition of the Hawking theorem. Let \(\gamma\) be a past incomplete casual geodesic through \(p\in M\) predicted by the theorem. Then there exist a \(C^\infty\) embedding \(\phi\) of \(M\) into a 4-dimensional manifold \(\widehat M\) and a boundary point \(q\in\partial_\phi M<\widehat M\) such that \(q\) is a limit point of \(\gamma\) and is a boundary essential singularity. For the entire collection see [Zbl 1029.00028].