Abstract
Penrose’s crucial contributions to General Relativity, symbolized by his 1965 singularity theorem, received (half of) the 2020 Nobel prize in Physics. A renewed interest in the ideas and implications behind that theorem, its later developments, and other Penrose’s ideas improving our understanding of the gravitational field thereby emerged. In this paper I highlight some of the advancements motivated by the theorem that were developed over the years. I also identify some common misconceptions about the theorem’s implications. A modern perspective on the concept of closed trapped submanifolds, based on the mean curvature vector, is advocated.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The importance of Penrose’s contributions [113,114,115,116,117,118,119,120,121,122,123, 125, 127, 128] to the understanding of the gravitational field and the global structure of spacetime is enormous. In particular, his 1965 singularity theorem [116, 144] was a gigantic milestone in the history of General Relativity (GR) that changed the field for ever more. As argued elsewhere [142, 144], this result genuinely started the post-Einsteinian era of GR.
The beautiful and fundamental concept of closed trapped surface was introduced as the key assumption to prove the theorem in [116] and most of the many singularity theorems that came later [72, 73, 135]. I will devote a substantial part of this contribution to this idea from a modern perspective, and to highlight some of its less-known properties as well as to the improvements that are currently fashionable. I will also discuss some common misconceptions about the implications of the singularity theorem, and discuss its shortcomings and strengths.
However, Penrose’s impact onto GR is much deeper and wider than the singularity theorem and includes many other wonderful and fruitful ideas, such as using the spinorial approach [105, 113], conformal treatment of spacetime [114, 115, 118, 119], causal properties of spacetime and the causal boundary [59, 85, 121], asymptotic conserved quantities [39, 106, 107], gravitational waves and their collision [81, 117], black holes [120, 122, 126] and, of course, the question of –weak and strong– cosmic censorship [122,123,124] (the list is far from complete!).
I will also dwell into these subjects, especially for those advancements arising from the 1965 theorem, presenting some (hopefully) interesting remarks that are not usually considered in the standard literature. A notable exception will be cosmic censorship that I will just discuss tangentially herein and for which I refer to [156] and to Landsman’s contribution to this Special Issue [90] where the subject is masterly discussed.
2 The 1965 theorem, and a 2022 version
The original Penrose “singularity” theorem is actually an incompleteness theorem and contained the following assumptions
-
1.
A 4-dimensional Lorentzian manifold with a metric g of class \(C^2\) and causally oriented.
-
2.
a non-compact \(C^3\) Cauchy hypersurface \(\Sigma \)
-
3.
a closed future-trapped surface
-
4.
\(R_{\mu \nu } k^\mu k^\nu \ge 0\) for all null \(k^\mu \) (null convergence condition, \(R_{\mu \nu }\) is the Ricci tensor)
-
5.
all null geodesics are complete towards the future of \(\Sigma \)
The proof of the theorem showed that these 5 hypotheses are inconsistent. Hence, by following the traditional reformulation of the theorem [72, 73], one usually states it by saying that, if 1–4 hold, then spacetime must have future-incomplete null geodesics. Observe that the theorem is independent of the Einstein field equations
where \(R=R^\mu {}_\mu \) is the scalar curvature, G is Newton’s gravitational constant, c is the speed of light in vacuum and \(\Lambda \) the cosmological constant.
Let me scrutinize these 5 assumptions and their meaning.
2.1 Incompleteness, causal boundary and isocausality
Consider first hypothesis 5 whose negation, as just mentioned, became the standard conclusion of the general singularity theorems [72, 135, 144]. The main problem with what relativists want to consider singularities is that spacetime breaks down at them, so that singularities are not part of the spacetime [57]. Still, physical curves are good pointers and they do belong to the spacetime. By using curves that are maximally extended to the future, say, (that is, no further continuation of the curve is feasible to the future) such curves may be complete or not. In the former case they go up to infinity in the future, in the latter case the canonical parameter (affine parameter for geodesics) only achieves a finite value and they are pointing towards a problem within reach: the singularity. Under the influence of Hawking [66,67,68,69,70, 72] and Geroch [56, 57] (geodesic) incompleteness eventually became the standard characterization of singularities proven by the theorems.
Actually, the ideas contained in the previous paragraph are the fundaments for the construction of the causal boundary [59] assuming some basic causal properties, such as a distinguishing spacetime (for the causal ladder and more on causality see [54, 101, 103]). Basically, instead of working with points in spacetime one deals with causal curves, and their pasts and futures. If a curve terminates (to the future) at a given point, then the past of the causal curve and that of its endpoint are the same. Similarly, mutatis mutandis, for curves that start from a point in the past. Thus we can replace points by pasts and futures of curves. Obviously, some identifications are required, but these technicalities can usually be resolved satisfactorily. Now, to this set of pasts and futures we can add the future and past sets that are not the future or past of any point. They correspond to futures and pasts of inextendible causal curves, and are then considered to be the elements of a new, larger, set which contains all the points of the spacetime plus “points on the boundary”. Basically, this defines the causal boundary as those points on the larger set that are not points of the original manifold. The causal boundary contains both points at infinity and singularities –as also does the conformal boundary [49, 72, 115, 119]. For the history and development of these important concepts I refer to [42, 54]. For the most advanced and up-to-date constructions, see [42,43,44,45,46].
The ideas of the causal boundary are based on the more fundamental causality theory. Classical references are [72, 121, 135] but more recent, more complete accounts are given in [54, 101, 103] and some references therein. In particular, one can consider abstract definitions of causal spaces [21, 85] which go beyond the scope of GR. For the case of a Lorentzian manifold, the whole causality theory is based on the fundamental result that states that in any normal neighbourhood of any point p the exponential map defines a light-cone on the manifold (as the image of the null cone in \(T_p M\)) such that null geodesics are precisely on that light cone and any other causal curve lies in the interior of the cone from the point that it fails to be a null geodesic on [10, 21, 54, 72, 84, 135]. This basic result can actually be improved in many ways by lowering the differentiability of the metric and other requirements [101]. Sometimes, this result is interpreted as the local equivalence of causality with that of flat spacetime. Unfortunately, this is an erroneous belief if causal equivalence is assumed to mean conformal equivalence, as it is customary. This question was addressed in [85] where the authors proved, by providing a counterexample, that the local equivalence of causal (conformal) structure between different Lorentzian manifolds is simply a chimera: it does not hold.
The definition of local causal equivalence that they used was as follows (see also the discussion in [54]):
For each point p of the Lorentzian manifold (M, g) there exists a small open neighbourhood \(U_p\) of p and a homeomorphism \(h_p\) of \(U_p\) onto an open subset of Minkowski spacetime such that \(h_p\) is a causal isomorphism.
Here, assuming that (M, g) is distinguishing [101, 103, 135], a causal isomorphism is actually a smooth conformal isometry [54]. The failure of this “natural” definition is an unsatisfactory situation that can be remedied by adopting a better definition of causal equivalence introduced in [53]; isocausality. Two spacetimes \((M,g_1)\) and \((M,g_2)\) are said to be isocausal if the there exist (i) a diffeomorphism \(\Phi \) that sends every future-pointing vector in \((M,g_1)\) to a future-pointing vector in \((M,g_2)\) and (ii) another diffeomorphism \(\Psi \) that sends every future-pointing vector in \((M,g_2)\) to a future-pointing vector in \((M,g_1)\). The important point here is to realize that \(\Psi \) does not necessarily have to be \(\Phi ^{-1}\). Actually, \(\Psi =\Phi ^{-1}\) only when \(g_1\) and \(g_2\) are conformally related. Isocausality preserves most of the causal properties of Lorentzian manifolds [52, 53] though may not preserve the causal boundary [44].
With the concept of isocausality, the above characterization of local causal equivalence can be modified as [54]:
For each point p of the Lorentzian manifold (M, g) there exists a small open neighbourhood \(U_p\) of p and an open subset \(\mathcal{U}\) of Minkowski spacetime such that \(U_p\) and \(\mathcal{U}\) are isocausal.
Using this new definition, any two Lorentzian manifolds (of the same dimension) are locally isocausal [54].
2.2 Cauchy hypersurfaces: global hyperbolicity
Consider now hypothesis 2, existence of a non-compact Cauchy hypersurface. A partial Cauchy hypersurface \(\Sigma \) is any edgeless closed acausal set. Acausality means that no pair of points in the set are causally related. For the definition of edge see [72, 135], it basically states that it has no end. The Cauchy development or domain of dependence [58] of \(\Sigma \), denoted by \(D(\Sigma )\), is given by all points x such that either every future-directed, or every past-directed, inextendible causal curve from x meet \(\Sigma \). \(\Sigma \) is called a global Cauchy hypersurface, or simply a Cauchy hypersurface, if its domain of dependence is the entire manifold, that is, \(D(\Sigma )=M\).
One usually considers spacelike Cauchy hypersurfaces, though there can be other ones. Therefore, in simple words, a Cauchy hypersurface is a spacelike slice amenable to sustain initial data that can determine the full spacetime completely. This is of course the basis for the initial value formulation of the GR field equations [23, 48], see [133] for details. One can prove [58] that \(\Sigma \) is a Cauchy hypersurface if and only if every inextendible null curve crosses it exactly once (and then, every timelike inextendible curve also intersects \(\Sigma \) once). Spacetimes with Cauchy hypersurfaces are called globally hyperbolic [72, 121, 155], a concept that comes from previous works by Leray [91], because the sets containing all causal curves between any two points are compact –and therefore, there will always be a maximizing geodesic between any two causally related points.
Globally hyperbolic spacetimes possess the best causal behaviour [54, 103], and therefore they are at the top of the causal ladder. From a physical point of view, it seems reasonable to believe that realistic spacetimes will be globally hyperbolic. Actually, the strongest versions of cosmic censorship aspire to prove this under very general circumstances [90]. As proven originally by Geroch, globally hyperbolic spacetimes have a fixed spatial topology (given by that of any Cauchy hypersurface \(\Sigma \)) as they are topologically \(M={\mathbb {R}}\times \Sigma \) and actually all spacelike Cauchy hypersurfaces are diffeomorphic, see [13,14,15, 101] for the latest on this subject.
The concept of domain of dependence and of global hyperbolicity is very powerful. As an interesting example, consider the exterior region of the vacuum Schwarzschild solution, given in standard coordinates by
with \(t\in (-\infty ,\infty )\), \(\theta \in [0,\pi )\), \(\varphi \in [0,2\pi )\) and \(r\in (r_g,\infty )\), where the gravitational or Schwarzschild radius \(r_g\) is a positive constant. This metric is globally hyperbolic, any \(t=\) const. slice being a Cauchy hypersurface. This implies, without performing any extension nor any further calculations that \(r\rightarrow r_g\) must be a null boundary, and therefore this metric has not the structure of Minkowski minus a cylinder of radius \(r_g\). This is a very simple way to learn that \(r=r_g\), not being a curvature singularity, is actually a horizon without having to perform any extension of the metric or other calculations, see [53] for further comments.
Coming back to the theorem’s hypothesis 2, assuming that \(\Sigma \) is non compact amounts to saying that the spacetime is open, that is to say, space is not finite. Actually, according to Minguzzi [102] the assumption of the existence of \(\Sigma \) can be considerably relaxed, so that the main result is kept even in absence of total predictability. Still, the assumption of spacetime being “spatially open” was needed in [102], so that the idea that space is infinite survives. Whether or not this is reasonable is dabatable, but in any case it looked like a reasonable assumption for the analysis of spacetimes with collapsing matter.
There are well-known examples of geodesically complete spacetimes without Cauchy hypersurfaces. A dramatic example is also due to Penrose in 1965, plane waves [117]. Plane waves are solutions of the Einstein-Maxwell equations (including the vacuum case) without cosmological constantFootnote 1 with a parallel null vector field \(\vec {k} = \partial _v\) orthogonal to null hyperplanes \({\varvec{k}} =-du\). This vector field defines the direction of the propagating waves. Using coordinates x, y on the planes orthogonal to \({\varvec{k}}\) the line-element can be written as
where A, B and C are three arbitrary functions of the retarded time u. The non-zero components of the Riemann tensor in the coordinate basis are
so that there are no curvature singularities whatsoever as long as the three functions are regular everywhere. Under these conditions, the geodesic completeness of these spacetimes was proven in [47]. Plane waves cannot contain closed trapped surfaces [98, 137], and this will be briefly discussed later in Sect. 2.4.
It is quite remarkable that these spacetimes, that describe appropriately physically realistic gravitational waves far enough from the sources, are free from singularities and complete, nevertheless, failing to be globally hyperbolic, they are not strongly cosmic censored. This may seem controversial, and is basically due to the structure of its causal boundary ( [54] and references therein) but that is how things are at present, see [90].
A question naturally arises: what about globally hyperbolic and geodesically complete spacetimes? There are several well-known examples, such as (i) the Einstein static universe metric (\(\Lambda >0\)) [38]
that satisfies (1) for a dust \(T_{\mu \nu } = \varrho u_\mu u_\nu \) with \({\textbf{u}}=-cdt\), \(8\pi G \varrho = 2c^4 \Lambda \) and \(\chi \in (0,\pi )\) so that the 3-dimensional metric in parenthesis is the standard metric of a round 3-sphere. (ii) de Sitter spacetime [65, 147] given by
where, again, the \(t=\)const. 3-spheres are Cauchy hypersurfaces with the standard round metric. This is a vacuum solution of (1) with \(\Lambda >0\): \(T_{\mu \nu }=0\). (iii) any global spherically symmetric spacetime obtained by properly matching an interior solution to the Schwarzschild exterior (2) across an \(r=\)const. hypersurface. (iv) A less symmetric and dynamical example is given by \(({\mathbb {R}}^4,g)\) in cylindrical coordinates \(\{t,\rho ,\varphi ,z\}\) with line element [134]
where a is a positive constant. This metric satisfies (1) with \(\Lambda =0\) for a perfect fluid in comoving coordinates with energy density
and a radiation dominated equation of state
For proofs of the geodesic completeness and the global hyperbolicity of this solution see [22]. A discussion about how these examples avoid the incompleteness predicted by the most powerful singularity theorems can be found in [22, 143].
The previous list contains just (standard or well-known) particular examples. These examples provide a lot of information about geodesically complete and globally hyperbolic spacetimes, but one wonders if general results can be found while keeping the convergence condition
for arbitrary causal \(v^\mu \). The answer is yes.
First, in the stationary case, if (4) holds then geodesic completeness requires [55]
for some constant k, where \(\vec \xi \) is the timelike Killing vector field while \({\bar{\rho }}\) is an appropriate spatial distance between any two events.
The dynamical and ‘closed universe’ situation is not possible if the model is expanding (or contracting), as standard singularity theorems apply [72]: closed expanding non-singular models necessarily require the violation of (4), see [135].
In the dynamical and ‘open universe’ case, for expanding (or contracting) models, if (4) is satisfied then at least one of the following must hold to ensure geodesic completeness [139, 140]
-
the cosmological constant \( \Lambda <0\) is negative
-
the averaged energy density on a Cauchy hypersurface vanishes
-
the averaged intrinsic scalar curvature of a Cauchy hypersurface vanishes
Here ‘averaged X’ means the variable X integrated over a Cauchy hypersurface \(\Sigma \) divided by the volume of \(\Sigma \), or the appropriate limit thereof if \(\Sigma \) is non-compact [139, 140]. The conclusion is thus similar to that of the stationary case: the energy density at any instant of time must fall off quickly enough in spatial directions.
Dynamical situations where the world is expanding somewhere but contracting somewhere else are still open for study.
2.3 Spacetime dimension. Differentiability of the metric
Let me analyze now assumption 1. It has three different parts, the causal orientation, the 4-dimensional Lorentzian manifold, and the \(C^2\) differentiability of the metric. With regard to the first, this is just assuming that there is a well-defined and consistent future direction in the spacetime. Basically it requires the existence of a global smooth vector field in the manifold.
Concerning the dimensionality, actually Penrose proved the theorem just in 4 dimensions for obvious reasons, but it holds in arbitrary dimension n greater than or equal to 3. Of course, this requires some minor adjustments, basically that the closed trapped surface is a compact (without boundary) spacelike submanifold of dimension \(n-2\); equivalently, that its co-dimension is 2. Of course, the dimensionality of the Cauchy hypersurface is always \(n-1\), a co-dimension 1 submanifold in any n. Yet, when analyzing the more powerful Hawking-Penrose singularity theorem [72, 73], the question arises of why the boundary assumption in the theorem requires either a hypersurface, a trapped surface, or a point with re-converging light cones. That is, the boundary hypothesis is placed on submanifolds of co-dimension 1, 2 or n. Is there anything wrong if one wishes to place a boundary condition in submanifolds of co-dimension \(3,\dots , n-1\)? The answer is actually negative, and this will be discussed and clarified at large in Sects. 2.4 and 2.5.
With regard to differentiability, the traditional singularity theorems required the metric to be at least of class \(C^2\). This is actually needed in many intermediate steps necessary for proving the theorems. A list of these places can be found in section 6.1 of [135]. At first sight, it may seem reasonable to deal with \(C^2\) metrics, however, this would leave out important metric models that are built by matching spacetimes [97], such as the gravitational field of a spherical star or shock (electromagnetic or gravitational) waves, among others.
For a long time, this excessive assumption of differentiability was one of the shortcomings of singularity theorems, because one might think that actually the geodesic incompleteness would not obtain, but rather that the metric could just be of class \(C^1\). This should not count as a true singularity, especially if geodesics can be uniquely continued. After such a long waiting time, things starting to change with the results in [87, 99] where local results concerning convex normal neighbourhoods and the existence, uniqueness and properties of geodesics were found for metrics of class \(C^{1,1}\), that is, with first partial derivatives Lipschitz continuous. It must be observed that the Riemann tensor is not continuous in this situation, having finite jumps. Thus, it is not defined pointwise, and the assumptions and strategies in the theorems must be adapted accordingly. Despite these difficulties, soon after, the first singularity theorem to be proven in \(C^{1,1}\) regularity [88] was the classical one of [70], and Penrose’s theorem came immediately after [89]. Nevertheless, the goal to prove the more demanding Hawking-Penrose theorem [73] required some extra effort and even new techniques, but after some 3 more years the goal was achieved in [63].
From a physical point of view, such a result may seem satisfactory and no further relaxation of differentiability looks desirable in principle. For pure \(C^1\) (or lower) metrics the curvature tensor is not well defined as a tensor field and one must resort to the use of tensor distributions. Still, there are important idealizations of physical situations with such type of distributional curvature, such as impulsive gravitational waves. Actually, the very first collision of plane gravitational waves, due to Khan and Penrose [81], used such impulsive waves. And by the way, the collision of plane waves is known to lead to singularities in generic situations [64, 152, 160]. Therefore, the quest for incompleteness theorems with even lower regularity continued, and the key results were put forward in [62]. Extra effort, once again, has been needed to prove the Hawking-Penrose theorem for \(C^1\) metrics, but the result is already claimed to be achieved recently [86].
For an up-to-date summary of all these advances lowering the differentiability of the metric, detailed explanations and future perspectives, check [146].
2.4 Trapped submanifolds
Consider now hypothesis 3. This is the most important legacy of Penrose’s singularity theorem, a brilliant and prolific idea with innumerable applications, see e.g. [144] for an account.
In GR the geometry, the curvature, of space-time is the gravitational field and therefore basic geometrical quantities –such as lengths, areas or volumes— will undergo a time evolution in generic dynamical scenarios. A closed (future) trapped surface appears when its area instantaneously decreases (to the future) no matter how they evolve in a causal way. This is why they are called trapped –though perhaps trapping would be better–, for everything they contain will be surrounded by surfaces of less area. There is a dual version to the past. This idea cleverly captures the concept of ‘point of no return’ in, for instance, stellar gravitational collapse.
Of course, this can be mathematically well defined for arbitrary submanifolds of any dimension \(n-m\) (co-dimension m). From classical geometry we know that the instantaneous ‘evolution’ of the m-volume of any submanifold is governed by its mean curvature vector field, and thus trapped submanifolds can be characterized by properties of this vector field.
To be more precise, consider any smooth \((n-m)\)-dimensional submanifold \(\zeta \subset M\) embedded in the n-dimensional spacetime M. Let \(\{\vec {e}_A\}\) be a basis of vector fields tangent to \(\zeta \) and denote by \(\gamma _{AB} = g\vert _{\zeta } (\vec {e}_A, \vec {e}_B)\) the (components in this basis of the) first fundamental form of \(\zeta \). We assume that \(\zeta \) is spacelike, so that \(\gamma _{AB}\) is positive definite and \((\zeta , \gamma )\) is a Riemannian manifold on its own whose Levi-Civita connection will be denoted by \({\overline{\nabla }}\), while the connection in (M, g) is \(\nabla \) as usual. Therefore, by splitting into tangential and normal parts with respect to \(\zeta \) we have [84, 110, 141, 144]
where \(\vec {K}_{AB}\) is called the shape tensor, or the second fundamental form vector, of \(\zeta \) in M. Notice that \(\vec {K}_{AB}\) is normal to \(\zeta \). Given any one-form \({\varvec{v}}\) defined at least on \(\zeta \) one also has on \(\zeta \)
where \(\bar{{\varvec{v}}}\) denotes the pull-back of \({\varvec{v}}\): \({{\bar{v}}}_A := {\varvec{v}} (\vec {e}_A)\).
The mean curvature vector of \(\zeta \) in M is the trace of \(\vec {K}_{AB}\), that is
Observe that \(\vec {H}\) is normal to \(\zeta \) by construction, and therefore it has m independent components. If \(\vec {n}\) is any vector field normal to \(\zeta \)
is called the expansion along \(\vec {n}\) of \(\zeta \). In particular if \(\vec {n}\) is null, \(\theta _n\) is called a null expansion. Contracting (5) with \(\gamma ^{AB}\) a formula using the Lie derivative of the metric can be derived
where
is the (contravariant) projector to \(\zeta \).
The mean curvature vector controls the variation of the m-volume \(V_\zeta \) of \(\zeta \) along any possible deformation vector. Let \(\vec {\xi } \) be any vector field and deform \(\zeta \) along its flow. Then, on using (6), the initial variation of the m-volume can be easily seen to be [84, 110]
so that for closed (compact) \(\zeta \) the first term vanishes and we are left with
The classical characterization of minimal (or rather extremal) submanifolds by the vanishing of \(\vec {H}\) follows automatically. In Riemannian geometry, this is the only distinguished case. However, in Lorentzian geometry, \(\vec {H}\) can also be timelike, or null, and this provides new important types of submanifolds. This leads to the definition of trapped submanifolds, and their avatars.
A (closed) submanifold \(\zeta \) of any dimension is said to be [141, 144]
-
future trapped if \(\vec {H}\) is future timelike everywhere on \(\zeta \),
-
weakly future trapped if \(\vec {H}\) is future causal everywhere on \(\zeta \),
-
marginally future trapped if \(\vec {H}\ne 0\) is future null everywhere on \(\zeta \).
and similarly for past trapped. Notice that, from (8), any closed future trapped submanifold has a negative variation of m-volume along any possible future direction \(\vec {\xi }\). And that all future null expansions are negative. This connects with the original definition by Penrose, who stated that a trapped (co-dimension 2) surface is trapped if two independent null expansions are negativeFootnote 2.
The characterization with the mean curvature vector has many advantages. As an example, one can immediately derive that there cannot be any closed (weakly, marginally) trapped surfaces contained in stationary regions of the spacetime [98]. For, by taking \(\vec {\xi }\) in (8) as the timelike Killing vector, we know that \(\delta _\xi V_\zeta =0\), and thus \(H^\mu \) cannot be future, nor past, everywhere on \(\zeta \) (as if it were, \(\xi _\mu H^\mu \) would have a sign). Similar results can be obtained if there are null Killing vectors, or causal conformal Killing vectors, etc. [12, 98, 137]. As an illustrative example, and as mentioned previously, one can easily prove that plane waves (3) cannot contain any closed trapped submanifolds. This follows because the null vector field \(\vec {k}\) is parallel \(\nabla _\nu k^\mu =0\), hence in particular is a hypersurface-orthogonal Killing vector, so that using \(\vec \xi =\vec {k}\) in (8) one again derives that the integral on \(\zeta \) of \(k_\mu H^\mu \) vanishes and therefore \(H^\mu \) cannot be timelike everywhere. Many other interesting results using (5) and the mean curvature vector can be found, see [12, 98, 141].
Now that we know that the concept of trapped submanifold is independent of the co-dimension, we may come back to the question raised above in Sect. 2.3: why should there only be a few co-dimensions in the boundary assumption of the incompleteness theorems?
2.5 The curvature condition: “Energy” conditions
Let me finally analyze hypothesis 4, the convergence condition. This is an assumption on the curvature tensor which takes care of the attractive character of the gravitational field. Traditionally, the curvature condition has been extracted from the Raychaudhuri equation [72, 83, 130, 131, 135] as a requirement to ensure the so-called focusing effect of gravity for generic congruences of causal geodesics. If these congruences of causal geodesics emanate from a point, or orthogonally from a co-dimension one (for timelike geodesics) or co-dimension 2 (for null geodesics) submanifold, the curvature condition is simply (4) where \(v^\mu \) is the vector field tangent to the geodesic congruence. If this holds, and if the initial expansion –or divergence/convergence— of the geodesic congruence is negative (respectively positive), a caustic develops in finite proper time, or affine parameter for null \(v^\mu \), to the future (resp. past). These are usually called conjugate and focal points. An important consequence of this is that causal geodesic curves, and causal geodesic congruences orthogonal to (hyper)-surfaces, stop being maximizing if they encounter one of these caustics [10, 72, 121]. One can prove that, for a closed future-trapped surface, this implies that the boundary of the futureFootnote 3 of the surface is compact (if the spacetime is complete). Such surfaces are thus examples of trapped sets, a key concept introduced in the powerful Hawking-Penrose theorem [72, 73].
Nevertheless, the points focal to a submanifold \(\zeta \) are best controlled (or identified) by using the index form [51, 84, 110], and this is actually completely independent of the co-dimension of \(\zeta \). In particular, one can prove (proposition 1 in [51]) that there is a point focal to \(\zeta \) along any future-directed geodesic emanating orthogonally from \(\zeta \) with tangent vector \(N^\mu \) and initial negative expansion if
(provided that the geodesic gets that far) where \(P^{\nu \sigma }\) is the parallel propagation of the projector \(\Pi ^{\nu \sigma }\) defined in (7) along the geodesic:
This readily implies that, if (9) holds along the future-directed null geodesics starting orthogonal from a compact \(\zeta \), then \(\zeta \) is a (future) trapped set (proposition 3 in [51]) if \(\zeta \) is a trapped submanifold, independently of the dimension of \(\zeta \) —or there are incomplete null geodesics.
As the existence of a trapped set is the basic ingredient in the proof of the Penrose and the Hawking-Penrose theorems [72, 73, 135], it follows that actually one can assume the existence of a trapped submanifold of any dimension together with the curvature condition (9) to get the same incompleteness result. Thus, the standard singularity theorems were generalized to the case of having a trapped submanifold of any co-dimension in [51]. Later, these generalized theorems were also proven in low differentiability [63, 86].
Some relevant remarks are needed to clarify the role of condition (9). First of all, from a physical point of view (9) is a condition on tidal forces (mathematically speaking, this a condition on sectional curvatures) [51]. If (9) holds, the tidal forces, alternatively the geodesic deviations, in directions (initially) tangent to \(\zeta \) are attractive on average. The overall result is a tendency to converge that represents the attractive property of gravity.
Secondly, one must notice that, for co-dimension one, that is to say a hypersurface \(\zeta \), there is a unique (timelike) normal direction \(N^\mu \) and therefore \(P^{\mu \nu }=g^{\mu \nu } -N^\mu N^\nu /(N^\rho N_\rho )\) so that (9) becomes simply \(R_{\mu \nu } N^\mu N^\nu \ge 0\), the convergence condition (4) along \(N^\mu \). Exactly the same happens with surfaces, co-dimension two \(\zeta \) [51]. One thus recovers the classical theorems automatically when \(\zeta \) has co-dimension one or two.
The generalization to trapped submanifolds of any co-dimension is relevant to yet another of Penrose’s ideas [125]: the possible classical instability of compact extra dimensions —such as those necessary for consistency in string theory. According to Penrose, such compact extra dimensions might develop ‘singularities’, in the sense of geodesic incompleteness, in extremely short times. Similar arguments were raised in [20] for the case of large, even infinite, extra dimensions, and there is also the pionnering result in [158] for semi-classical perturbations. Penrose’s argument was appealing, but somehow it needed some extra assumptions, such as unnatural splittings of the spacetime in order to be able to connect with the Hawking-Penrose theorem. The main problem here was that one needs co-dimension one, two or n (a point) to apply the theorem, but of course the extra-dimensional space has co-dimension four (and submanifolds within the extra-dimensional space a larger one). This is where the generalized theorems are relevant, as they admit all possible values of the co-dimension. Such a possibility was suggested in [51] and later thoroughly analyzed in [26] , where incompleteness theorems for warped products were proven and studied in connection with the instability of product manifolds. The idea was to check if a dynamical evolution of the compact extra-dimensional part, considered as a perturbation of a direct product spacetime, would lead to singularities. The answer is yes under some precise circumstances, but not in full generality [26]. These kind of ‘instabilities’ are of a different kind as those arising from initial value formulations and the analysis of how perturbations may grow, as there are important results showing the (classical) stability of product spacetimes in that sense, such as [19, 159] and the more recent [2] for a high (\(n\ge 11\)) dimensional direct product of \(n\ge 10\) Minkowski spacetime times a compact Ricci-flat Riemannian manifold –if the entire perturbed spacetime is also Ricci flat. In any case, this is yet another example of the influence that Penrose’s arguments have had in the general gravitational community.
A final general comment about the curvature condition. In the traditional formulations of the theorems, and in most of the standard literature, this assumption is termed an energy condition. The reason is clear when one is working in GR, for in GR there is the direct relation between the Ricci tensor and the energy-momentum tensor given by the field equations (1). Thereby, the convergence condition (4) can be rewritten in terms of physical quantities related to \(T_{\mu \nu }\). However, the curvature condition is a restriction on the curvature tensor (or its trace, the Ricci tensor), which is a geometrical object. Hence, the theorems are valid in general geometric theories of gravity based on Lorentzian geometry, or even generalizations thereof such as Finsler-like geometries, see e.g. [1].
2.6 A 2022 version of Penrose’s theorem
A modern version of the 1965 singularity theorem [116], incorporating many of the different improvements mentioned so far that have allowed for a better understanding of the underlying mathematical and physical ideas, could be as follows
Theorem 1
(Sketch of a ‘2022 theorem’) Let (M, g) be an n-dimensional Lorentzian manifold with a metric g of class \(C^1\). If
-
1.
there is a \(C^2\) non-compact Cauchy hypersurface (alternatively, spacetime is past-reflecting and spatially open)
-
2.
there exists a future-trapped \(C^2\) submanifold \(\zeta \) of any dimension
-
3.
the tidal condition (9) holds along future-directed null geodesics emanating orthogonally from \(\zeta \)
Then, there are future-incomplete null geodesics.
Warning: As stated, this is just a sketch of the actual theorem, highlighting the novelties, because the technical details behind every condition are cumbersome. For instance, the curvature tensor is not a tensor field but rather a tensor distribution, so that condition (9) cannot hold pointwise: it has to be appropriately generalized by using regularizations. Similarly, geodesics (as solutions of an ODE system) are no longer unique, and focal points are not well defined, just to mention a few problematic steps. However all these difficulties can be resolved satisfactorily and, more importantly, the physical meaning of all the hypotheses and the conclusion remain the same. For the technical details, I refer to [51, 62, 86, 146]. Similarly, the theorem using the version with past reflectivity and open space was only proven for co-dimension 2 trapped submanifold [102] under the null energy condition, but it may well hold in for general trapped submanifolds with condition (9).
3 Assessment of the 1965 theorem: merits and misconceptions
In my opinion, the greatest merit of the 1965 theorem relies on the introduction and use of the concept of closed trapped surface. It has been a prolific idea with multiple applications, see e.g. [11, 30, 75, 79, 141], as well as an object of interest in pure mathematics [37]. It has evolved into a large fauna of interesting surfaces that generalize the minimal surfaces of classical geometry [4, 5, 109, 138], and also led to the local concepts of isolated, dynamical, trapping,... horizons [3, 6, 7, 12, 17, 74, 77]. Thereby, it is also used to detect the formation of black holes in Numerical Relativity [9, 79, 149] or changes in their evolving horizons. Similarly, it has influenced the development of gravity analogues [8] and, of course, it also plays a role in the analysis of the Cosmic Censor Conjecture [90, 156]. In relation to this, it fostered many important geometric and physical inequalities, such as for instance the Penrose inequality [95, 122], but many other ‘isoperimetric-like’ inequalities too [25, 32,33,34,35,36, 50, 60, 61, 78, 94, 145].
As impressive as this list may seem, this is not the full story. There is an even more important point concerning trapped submanifolds which is key to the theorem and its implications: stability.
The notion of trapped submanifold is intrinsic, a pure geometric notion, and its characterization is the inequality \(H^\mu H_\mu <0\).Footnote 4 Hence, trapped submanifolds are stable under small perturbations of the spacetime. This was already emphasized by Penrose himself, by comparing the stability of censored versus naked singularities [120]:
However, there is an essential difference between the logical status of the [naked] singularity (...) and that [censored (...)]. In the [censored] cases (...) there are trapped surfaces present, so we have a theorem which tells us that even with generic perturbation a singularity will still exist. In the [naked] situation (...), however, we have no trapped surfaces, no known theorem guaranteeing singularities (...)
Or again in ( [122], p.133):
It might even be possible to produce exact solutions representing a collapse of some special matter distribution to such a [naked] singularity. But this would in itself tell us rather little. We would have to know whether such behavior was “stable” in the sense of being qualitatively unchanged when the initial conditions are perturbed in some small but finite way.
That the stability of trapped submanifolds is a key point can be better understood by noticing that there are well-known models of realistic spherically symmetric collapse to produce black holes –see [71, 72, 155] for the definition of a black hole– with a singularity in the future, the paradigmatic example is the Oppenheimer and Snyder [111, 112] dust model, but there are many others with (perfect) fluids, e.g. [41]. Of course, the assumption of spherical symmetry raises some reasonable doubts about how robust and generic these results might be. With Penrose’s theorem this is clearly resolved: the mentioned spherical models contain closed trapped surfaces, and the Einstein-Euler set of field equations describing a perfect fluid in GR constitutes a system of hyperbolic PDEs, so that the property of continuous dependence of the solution on the initial conditions holds. Given that the initial conditions of the spherically symmetric models lead to a trapped sphere in finite proper time, it follows that initial conditions sufficiently close to the spherical ones also give rise to closed trapped surfaces that must apear within the same time interval, regardless of symmetries. This is illustrated in Fig. 1. Of course, this applies to situations of sufficient differentiability, so that the improvements lowering differentiability of the theorems discussed above might not lead to such stability outcomes.
Now let me consider some of the misconceptions and folklore surrounding Penrose’s, and the general, singularity theorems. First of all, the theorems are many times considered to prove that black holes form when gravitational collapse occurs with high remaining mass, this is especially so in the astrophysics community. This is far from the truth, despite sentences such as the statement for which Penrose was awarded half of the Nobel prize in Physics 2020: “for the discovery that black hole formation is a robust prediction of the general theory of relativity”, see also the discussion in [90]. This may be argued to be right if all contributions by Penrose to GR –including the yet unproven cosmic censorship conjecture– are taken into account but, as I just wrote, this is incorrect in various respects if it refers to his singularity theorem exclusively. Firstly, and most importantly, because of the assumption of the existence of a closed trapped surface. It actually happens that, in asymptotically flat situations, closed trapped surfaces are completely enclosed beyond the event horizon, which is the distinctive feature of a black hole. There is actually a theorem [29, 72, 155] proving this under some reasonable circumstances. In simpler words, closed trapped surfaces lie entirely within the black hole region of a black hole already formed. Therefore, the theorems are speaking about the interior of black holes, or about spacetimes that are sure to contain a black hole.
Of course, Penrose was aware of all this, see e.g. the following passage taken from [124], pp.233-4 (italics are mine)
It is not hard to conceive of physical situations in which one of the standard criteria for ‘unstoppable gravitations [sic] collapse’ is satisfied. All that is required is for sufficient mass to fall into a small enough region. For the central region of a large galaxy, for example, the required concentration could occur with the stars in the region still being separated from each other, so there is no reason to expect that there could be some overriding physical principle which conspires always to prevent such unstoppable collapse. However, we cannot simply deduce from this that a black hole will be the result. This deduction requires the crucial assumption that cosmic censorship, in some form, holds true.
(... ...)
It appears to be a not uncommon impression among workers in the field that as soon as one of these conditions is satisfied —say the existence of a trapped surface— then a black hole will occur; and, conversely, that a naked singularity will be the result if not. However, it should be made clear that neither of these deductions is in fact valid. The deduction that a black hole comes about whenever a trapped surface is formed requires the assumption of cosmic censorship.
Therefore, the important question to be answered is whether or not closed trapped surfaces form in the evolution of stable and completely innocuous, regular initial data. This was addressed in the massive work by Christodoulou [24], see also [82, 132].
Secondly, even more radical statements are too many times read or heard, such as “singularities are consubstantial to GR” or similar ones, and these blunt statements come inevitably accompanied by a reference to the singularity theorems. In this sense, it is worth recalling that (almost) all gravitational systems, say planets, stars, planetary systems, constellations, clusters, galaxies, pulsars, binary systems, ... are non-singular. They are correctly described by GR and its post-Newtonian or post-Minskowskian limits. In fact, (post)-Newtonian gravity is free from the singularity problem. What the singularity theorems (in GR and any other gravitational theory based on a Lorentizian manifold) have surfaced is the existence of two feasible situations where something strange, or not understood, happens: the extremely early Universe –if the Universe is on average as we nowadays think it is and it has been– and the mysterious, because of their inaccessibility, black holes’ deep interiors. The incompleteness predicted by the theorems in these two extreme situations is certainly something found out by means of the theorems.
And once more, this was clear to Penrose. I quote now from [120]
The main significance of [the singularity] theorems (...), is that they show that the presence of space-time singularities in exact models is not just a feature of their high symmetry, but can be expected also in generically perturbed models. This is not to say that all general-relativistic curved space-times are singular —far from it. There are many exact models known which are complete and free from singularity. But those which resemble the standard Friedmann models or the Schwarzschild collapse model sufficiently closely must be expected to be singular.
To end this section, I want to stress a couple of shortcomings in the theorems, which are related to each other: the very mild conclusion, and the unsolved question of spacetime extendibility.
Concerning the former, and against popular belief, there is no definite established relationship between incomplete geodesics and curvature divergences. Sometimes, limits on curvature growth can be placed on maximal incomplete geodesics [80, 108, 148, 151]. Concerning curvature divergences there are scarce results [27, 28, 150, 153]. However, in many cases, what the theorems predict are some kind of horizon (usually a Cauchy horizon) which can be made perfectly regular by extending the spacetime beyond. In other words, it might be the case that the manifold itself is incomplete, because one has inadvertently cut out regular portions thereof.
Which brings me to the second point, the important physical problem of how to handle extendible space-times. This is a complicated matter [135, 143, 144]. The main difficulty is that the possible extensions are highly non-unique. As an illustrative example, consider the exterior part of the Schwarzschild solution (2). We are all used to see the Kruskal-Szekeres maximal analytical extension in textbooks, e.g. [72, 104, 155], by keeping spherical symmetry and a vanishing Ricci tensor. But, does such an extension makes physical sense? What one obtains is a globally hyperbolic, completely empty spacetime, with two asymptotic regions, a strange topology and two curvature singularities, one in the past the other in the future. Not very realistic! Many other extensions are actually available, for instance at the end of [135] one could count at least eleven different extensions of (2). Herein, let me just show an example of extension leading to what is usually called a spherically symmetric regular black hole. There are many more such regular black holes, see e.g. [93] and references therein, but as far as I know this was the first example keeping the entire exterior region \(r>r_g\) of (2) and at the same time keeping the weak energy condition, namely
for any causal \(v^\mu \). Notice that, for null \(v^\mu \) this is simply the null convergence condition (4). The model is given in standard advanced coordinates by [96]
where the functions \(\beta \) and m read explicitly
where \(\Theta (x)\) is the step Heaviside function. This spacetime is properly matched across the null hypersurface \(r=r_g\) so that the metric is \(C^{1,1}\) [97]. Smoother models could also be built. Note that the metric is exactly (2) for all \(r\ge r_g\) –in advanced coordinates— having \(\beta =0\) and a constant mass function \(2m = r_g\) there.
The extended portion of the spacetime is the region \(r< r_g\), see Fig. 2, where the Ricci tensor no longer vanishes. As already mentioned, the null convergence condition (4) is satisfied. There are trapped round spheres whenever \(r_g/2< r < r_g\), and the curvature tensor is regular everywhere with a regular centre of symmetry at \(r=0\). This spacetime also possesses non-compact Cauchy hypersurfaces, as the \(\Sigma \) shown in Fig. 2. In summary, all the hypotheses of the singularity theorem are met, ergo some null geodesics must be future incomplete. This is the case for instance for many radial null geodesics other than \(v=\) const., as they reach \(r=r_g/2\) for \(v\rightarrow \infty \) with finite affine parameter. There are also past incomplete null geodesics, but these are not predicted by the theorem. This spacetime can be further regularly extended in many ways, and geodesically-complete extensions exist, see [96, 143]. These larger complete extensions avoid the Penrose singularity theorem because the non-compact \(\Sigma \) becomes a partial Cauchy hypersurface. The more general theorems [73] are not applicable either because (4) does not hold for arbitrary causal \(v^\mu \).
As explained, the metric (10) is just one possible extension among infinitely many that can be attached to the original Schwarzschild metric. Physically meaningful extensions are extremely difficult to identify, and it also may depend on personal taste. Should we always prefer extensions that keep classical energy conditions and lead to singularities, over other extensions that avoid the singularities at the price of violating some classically reasonable conditions? From the mathematical point of view, analytical extensions might be an answer, but they are not always available, nor they are unique in general. As another illustrative example, consider the exterior radiating Vaidya metric given in standard retarded coordinates by [147]
where m(u) is a mass function depending on retarded time u. This spacetime satisfies (4) as long as \(m(u)>0\) is a non-increasing function of u. If m were constant this would simply be Schwarzschild. If there is a lower non-vanishing bound \(\mu >0\) for m(u), that is to say, \(\mu :=\lim _{u\rightarrow \infty } m(u)\), one can easily check that timelike radial geodesics reach \(r=2\mu \) in finite proper time, so that they are incomplete, see Fig. 3.
The metric is thus extendible beyond that region \(r=2\mu \), but the extension to be performed is far from obvious and one needs some physical information to perform it. A detailed discussion can be found in [40]. This problem was first studied by Israel [76], who pointed out that his approach to the problem was not fully satisfactory because the extended spacetime was chosen beforehand. However, observers in the metric (11) can only get to know the properties of m(u) for finite values of u, while to build the extension they should somehow guess at least some properties of the mass beyond \(u\rightarrow \infty \). Furthermore, even knowing m(u) for all possible values of u plus some of the physical properties of the particular situation to be described is not enough to define a unique extension. As proven in [40], by keeping the spherical symmetry and a null radiation energy-momentum tensor, the ambiguities in the extension amount to the choice of the mass function beyond \(r=2\mu \), which then becomes a future event horizon. In general, there will exist many different choices for the mass beyond that horizon that comply with all the physical requirements. And, by the way, analytical extensions are many times not even possible.
In [40] a constructive procedure was put forward to achieve reasonable extensions of (11), equivalent to those of Israel, if one only knows m(u) for \(-\infty< u <\infty \). The following properties were proven to be needed for the extensions
plus the extended mass function must have a critical point, a local minimum, at the null hypersurface \(r=2\mu \). There exist an infinite number of ways to prolong m(u) keeping these characteristics, and the only realistic way to find a proper one is to consider the physics of the underlying situation, say by knowing things about the star that emits the radiation. Imagine, for instance, that one arrives at \(r=2\mu \) with the A3H becoming null there, as is actually the case represented in Fig. 3. Among the infinite possible ways to extend the metric, there are two obvious choices which are totally inequivalent: to assume that the mass function remains constant in the extended part, or to add a mirror symmetrical spacetime. In both cases one obtains smooth spacetimes. These two inequivalent possibilities are represented in Fig. 4. And another remark: the spacetime on the left in Fig. 4 is yet another extension of the Schwarzschild solution (2)!
To summarize, the incompleteness proven by Penrose’e theorem may just be due to extendibility of the spacetime, and the extensions may turn the original Cauchy hypersurface into just a partial one, therefore a Cauchy horizon arises, see [72, 121, 135, 155]. The choice of spacetime beyond the Cauchy horizon suffers from all the problems just discussed with regard extensions, so that the final global spacetime may be regular or not. A possible way out to this unsatisfactory situation would be that generic Cauchy horizons turned out to be unstable, such as the one in Kerr’s black hole [31, 129]. As an aside remark, to this day there is no theorem “predicting” the ring singularity in the analitycally maximally extended Kerr black hole [65], see however [92, 100, 102].
4 Closing remarks
The singularity theorems provide supporting evidence for the need to better understand the behaviour of the gravitational field well inside black holes and probably at the initial stages of our Universe [18, 154]. Whether or not this has to be resolved by a quantum theory of gravity is unclear [16, 157], but most probably some kind of corrections to GR, or some violation of classical convergence conditions, will probably be required to restore global regularity. The important problem of extensions of incomplete spacetimes should eventually be clarified by taking decisions on when and how extensions should be performed, and under which criteria.
Letting that aside, I hope this expository paper will convey my belief that Penrose’s ideas and, in particular his 1965 milestone paper [116], have influenced the evolution of GR and the understanding of the gravitational field in many different directions and in a revolutionary manner. In particular, Penrose deserved the Nobel prize for his gigantic contributions to GR, for the advancements that his results provoked in the understanding of black holes and, perhaps more importantly, for his visionary, unusually keen foresighted, writings. As an emblematic example, let me quote him once more [120]
Does it follow, then, that nothing of very great astrophysical interest is likely to arise out of collapse? Do we merely deduce the existence of a few additional dark “objects” which do little else but contribute, slightly, to the overall mass density of the universe? Or might it be that such “objects”, while themselves hidden from direct observation, could play some sort of catalytic role in producing observable effects on a much larger scale. The “seeding” of galaxies is one possibility which springs to mind. And if “black holes” are born of violent events, might they not occasionally be ejected with high velocities when such events occur! (The one thing we can be sure about is that they would hold together!) I do not really want to make any very specific suggestions here. I only wish to make a plea for “black holes” to be taken seriously and their consequences to be explored in full detail. For who is to say, without careful study, that they cannot play some important part in the shaping of observed phenomena?
Let me finish with some personal remarks speaking as a member of a truly joyful relativity community that, lately, is starting to ‘get used’ to such distinctions as the Nobel prizes. The half 2020 Nobel prize has a particularly special significance to us, because it awarded mainly mathematical work. This constitutes an unequivocal recognition of mathematical relativity and of its physical implications. The 2020 Nobel prize was a very pleasant surprise that heartened a theoretical community who, figuratively speaking, felt somehow “represented” in the award.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study
Notes
Vacuum or electromagnetic plane waves’ Ricci tensor takes the form \(R_{\mu \nu }= -(A(u)+C(u)) k_\mu k_\nu \) where \(k^\mu \) is the parallel vector field of the spacetime
The original definition is still used in most of the physics literature, and in a large part of the mathematical one. The reasons behind this are obscure to me. The characterization with the mean curvature vector is clearly neater and provides more information, apart from unifying the concept for arbitrary dimensional manifolds. A (future) trapped submanifold has all possible (future) expansions negative, not only the null expansions. Moreover, the computation of null expansions and the choice of null directions complicates the explicit calculations. Computing the mean curvature vector is far simpler! [136]
Here, what I mean by the ‘boundary of the future’ of \(\zeta \) is \(E^+(\zeta )\) [72, 73, 121, 135], defined as the set of points that can be reached from \(\zeta \) causally, but not through a timelike curve. If \(E^+(\zeta )\) is compact, then \(\zeta \) is a trapped set. Not to be confused with a trapped submanifold. Trapped submanifolds become trapped sets precisely under the appropriate curvature condition –if spacetime is null complete–, as explained in the text.
If one prefers the traditional notion with negative expansions, they are also strict inequalities
References
Aazami, A.B., Javaloyes, M.A.: Penrose’s singularity theorem in a Finsler spacetime Class. Quantum Gravit. 33, 025003 (2016)
Andersson, L., Blue, P., Wyatt, Z., Yau, S.-T.: Global stability of spacetimes with supersymmetric compactifications (2020) arXiv:2006.00824
Andersson, L., Mars, M., Simon, W.: Local existence of dynamical and trapping horizons. Phys. Rev. Lett. 95, 111102 (2005)
Andersson, L., Mars, M., Simon, W.: Stability of marginally outer trapped surfaces and existence of marginally outer trapped tubes. Adv. Theor. Math. Phys. 12, 853 (2008)
Andersson, L., Mars, M., Metzger, J., Simon, W.: The time evolution of marginally trapped surfaces. Class. Quantum Gravit. 26, 085018 (2009)
Ashtekar, A., Krishnan, B.: Isolated and dynamical horizons and their applications. Living Rev. Relativ. 7, 10 (2004)
Ashtekar, A., Galloway, G.J.: Some uniqueness results for dynamical horizons. Adv. Theor. Math. Phys. 9, 1 (2005)
Barceló, C., Liberati, S., Visser, M.: Analogue gravity. Living Rev. Relativ. 14, 3 (2011)
Baumgarte, T.W., Shapiro, S.L.: Numerical Relativity: Solving Einstein’s Equations on the Computer. Cambridge University Press, Cambridge (2010)
Beem, J.K., Ehrlich, P.E., Easley, K.L.: Global Lorentzian Geomertry, Pure and Applied Mathematics, vol. 202. Marcel Dekker, New York (1996)
Bengtsson, I.: Some examples of trapped surfaces, Chapter 9 in [75] (2013)
Bengtsson, I., Senovilla, J.M.M.: Region with trapped surfaces in spherical symmetry, its core, and their boundaries. Phys. Rev. D 83, 044012 (2011)
Bernal, A.N., Sánchez, M.: On smooth Cauchy hypersurfaces and Geroch’s splitting theorem. Commun. Math. Phys. 243, 461–70 (2003)
Bernal, A.N., Sánchez, M.: Smoothness of time functions and the metric splitting of globally hyperbolic spacetimes. Commun. Math. Phys. 257, 43–50 (2005)
Bernal, A.N., Sánchez, M.: Globally hyperbolic spacetimes can be defined as ‘causal’ instead of ‘strongly causal’. Class. Quantum Gravit. 24, 745–49 (2007)
Bojowald, M.: Singularities and quantum gravity (lecture course at the XIIth Brazilian School on Cosmology and Gravitation 2006). AIP Conf. Proc. 910, 294–333 (2007)
Booth, I.: Black hole boundaries. Can. J. Phys. 83, 1073–1099 (2005)
Borde, A., Vilenkin, A.: Singularities in inflationary cosmology: a review. Int. J. Mod. Phys. D 5, 813 (1996)
Branding, V., Fajman, D., Kröncke, K.: Stable cosmological Kaluza–Klein spacetimes. Commun. Math. Phys. 368, 1087–120 (2019)
Carroll, S.M., Geddes, J., Hoffman, M.B., Wald, R.M.: Classical stabilization of homogeneous extra dimensions. Phys. Rev. D 66, 024036 (2002)
Carter, B.: Causal structure in space-time. Gen. Relativ. Gravit. 1, 349 (1971)
Chinea, F.J., Fernández-Jambrina, L., Senovilla, J.M.M.: Singularity-free space-time. Phys. Rev. D 45, 481 (1992)
Choquet-Bruhat, Y., Geroch, R.: Global aspects of the Cauchy problem in general relativity. Commun. Math. Phys. 14, 329–35 (1969)
Christodoulou, D.: The Formation of Black Holes in General Relativity, EMS Monographs in Mathematics. European Mathematics, Soc (Zürich) (2009).. (arXiv:0805.3880)
Chruściel, P.T., Li, Y., Weinstein, G.: Mass and angular-momentum inequalities for axi-symmetric initial data sets: II. Angular-Momentum Ann. Phys. 323, 2591–2613 (2008)
Cipriani, N., Senovilla, J.M.M.: Singularity theorems for warped products and the stability of spatial extra dimensions. JHEP 04, 175 (2019)
Clarke, C.J.S.: The Analysis of Space-Time Singularities, (Cambridge Lectures Notes in Physics 1, Cambridge) (1993)
Clarke, C.J.S., Schmidt, B.G.: Singularities: the state of the art. Gen. Relativ. Gravit. 8, 129 (1977)
Claudel, C.-M.: Black holes and closed trapped surfaces: a revision of a classic theorem. arXiv:gr-qc/0005031 (2000)
Dafermos, M.: Spherically symmetric spacetimes with a trapped surface. Class. Quantum Gravit. 22, 2221–2232 (2005)
Dafermos, M., Luk, J.: The interior of dynamical vacuum black holes I: The \(C^0\)-stability of the Kerr Cauchy horizon. arXiv: 1710.01722 (2017)
Dain, S.: Angular-momentum mass inequality for axisymmetric black holes. Phys. Rev. Lett. 96, 101101 (2006)
Dain, S.: Proof of the angular momentum-mass inequality for axisymmetric black holes. J. Differ. Geom. 79, 33–67 (2008)
Dain, S.: Geometric inequalities for axially symmetric black holes. Class. Quantum Gravit. 29, 073001 (2012)
Dain, S., Jaramillo, J.L., Reiris, M.: Area-charge inequality for black holes. Class Quantum Gravit. 29, 035013 (2012)
Dain, S., Reiris, M.: Area-angular-momentum inequality for axisymmetric black holes. Phys. Rev. Lett. 107, 051101 (2011)
Eichmair, M.: The Plateau problem for marginally trapped surfaces. J. Differ. Geom. 83, 551–584 (2009)
Einstein, A.: Kosmologische Betrachtungen zur allgemeinen Relativitätstheorie, Sitzungsber. Preuss. Akad. Wiss. phys.-math Klasse VI 142–152 (1917)
Exton, A.R., Newman, E.T., Penrose, R.: Conserved quantities in the Einstein–Maxwell theory. J. Math. Phys. 10, 1566–70 (1969)
Fayos, F., Martín-Prats, M.M., Senovilla, J.M.M.: On the extension of Vaidya and Vaidya–Reissner–Nordström spacetimes. Class. Quantum Gravit. 12, 2565–2576 (1995)
Fayos, F., Senovilla, J.M.M., Torres, R.: General matching of two spherically symmetric spacetimes. Phys. Rev. D 54, 4862 (1996)
Flores, J.L.: The causal boundary of spacetimes revisited. Commun. Math. Phys. 276, 611–643 (2007)
Flores, J.L., Harris, S.G.: Topology of the causal boundary for standard static spacetimes. Class. Quantum Gravit. 24, 1211–1260 (2007)
Flores, J.L., Herrera, J., Sánchez, M.: Isocausal spacetimes may have different causal boundaries. Class. Quantum Gravit. 28, 175016 (2011)
Flores, J.L., Herrera, J., Sánchez, M.: On the final definition of the causal boundary and its relation with the conformal boundary. Adv. Theor. Math. Phys. 15, 991–1057 (2011)
Flores, J.L., Herrera, J., Sánchez, M.: Gromov, Cauchy and causal boundaries for Riemannian, Finslerian and Lorentzian manifolds. Mem. Am. Math. Soc. 226(1064) (2013)
Flores, J.L., Sánchez, M.: Causality and conjugate points in general plane waves. Class. Quantum Gravit. 20, 2275–91 (2003)
Fourès-Bruhat, Y.: Théorèm d’existence pour certain systèmes d’équations aux derivées partielles non linéaires. Acta Math. 88, 141–225 (1952)
Frauendiener, J.: Conformal infinity. Living Rev. Relativ. 7, 1 (2004)
Gabach Clement, M.E., Jaramillo, J.L., Reiris, M.: Proof of the area-angular momentum-charge inequality for axisymmetric black holes. Class. Quantum Gravit. 30, 065017 (2013)
Galloway, G.J., Senovilla, J.M.M.: Singularity theorems based on trapped submanifolds of arbitrary co-dimension. Class Quantum Gravit. 27, 152002 (2010)
García-Parrado, A., Sánchez, M.: Further properties of causal relationship: causal structure stability, new criteria for isocausality and counterexamples. Class. Quantum Gravit. 22, 4589–619 (2005)
García-Parrado, A., Senovilla, J.M.M.: Causal relationship: a new tool for the causal characterization of Lorentzian manifolds. Class. Quantum Gravit. 20, 625–64 (2003)
García-Parrado, A., Senovilla, J.M.M.: Causal structures and causal boundaries. Class. Quantum Gravit. 22, R1–R84 (2005)
Garfinkle, D., Harris, S.G.: Ricci fall-off in static and stationary, globally hyperbolic, non-singular spacetimes. Class. Quantum Gravit. 14, 139 (1997)
Geroch, R.P.: Singularities in closed universes. Phys. Rev. Lett. 17, 445 (1966)
Geroch, R.P.: What is a singularity in general relativity? Ann. Phys. (N.Y.) 48, 526 (1968)
Geroch, R.P.: Domain of dependence. J. Math. Phys. 11, 437 (1970)
Geroch, R.P., Kronheimer, E.H., Penrose, R.: Ideal points in space-time. Proc. R. Soc. Lond. A 327, 545 (1972)
Gibbons, G.W.: The isoperimetric and Bogomolny inequalities for black holes, In: Global Riemannian Geometry edited by Willmore T. J. and Hitchin N. J. (Ellis Harwood, Chichester), p. 194 (1984)
Gibbons, G.W.: Collapsing shells and the isoperimetric inequality. CQG 14, 2905 (1997)
Graf, M.: Singularity theorems for \(C^1\)-Lorentzian metrics. Commun. Math. Phys. 378, 1417–1450 (2020)
Graf, M., Grant, J.D.E., Kunzinger, M., Steinbauer, R.: The Hawking-Penrose singularity theorem for \(C^{1,1}\)-Lorentzian metrics. Commun. Math. Phys. 360, 1009–1042 (2018)
Griffiths, J.B.: Colliding Plane Waves in General Relativity. Oxford University Press, Oxford (1991)
Griffiths, J.B., Podolský, J.: Exact Spacetimes in Einstein’s General Relativity. Cambridge University Press (2009)
Hawking, S.W.: Occurrence of singularities in open universes. Phys. Rev. Lett. 15, 689 (1965)
Hawking, S.W.: Singularities in the Universe. Phys. Rev. Lett. 17, 443 (1966)
Hawking, S.W.: The occurrence of singularities in Cosmology. I. Proc. R. Soc. Lond. A 294, 511 (1966)
Hawking, S.W.: The occurrence of singularities in Cosmology. II. Proc. R. Soc. Lond. A 295, 490 (1966)
Hawking, S.W.: The occurrence of singularities in cosmology. III. Causality and singularities. Proc. R. Soc. Lond. A 300, 187 (1967)
Hawking, S.W.: Black holes in general relativity. Commun. Math. Phys. 25, 152 (1972)
Hawking, S.W., Ellis, G.F.R.: The Large Scale Structure of Space-Time. Cambridge University Press, Cambridge (1973)
Hawking, S.W., Penrose, R.: The singularities of gravitational collapse and cosmology. Proc. R. Soc. Lond. A 314, 529 (1970)
Hayward, S.A.: General laws of black-hole dynamics. Phys. Rev. D 49, 6467 (1994)
Hayward, S.A. (ed.): Black Holes: New Horizons. World Scientific, Singapore (2013)
Israel, W.: Gravitational collapse of a radiating star. Phys. Lett. A 24, 184–6 (1967)
Jaramillo, J.L.: An Introduction to Local Black Hole Horizons in the 3+1 Approach to General Relativity. Chapter 1 in [75] (2013)
Jaramillo, J.L., Reiris, M., Dain, S.: Black hole area-angular momentum inequality in non-vacuum spacetimes. Phys. Rev. D 84, 121503(R) (2011)
Jaramillo, J.L., Valiente Kroon, J.A., Gourgoulhon, E.: From geometry to numerics: interdisciplinary aspects in mathematical and numerical relativity. Class. Quantum Gravit. 25, 093001 (2008)
Kánnár, J., Rácz, I.: On the strength of space-time singularities. J. Math. Phys. 33, 2842–2848 (1992)
Khan, K., Penrose, R.: Scattering of two impulsive gravitational plane waves. Nature 229, 185–186 (1971)
Klainerman, S., Rodnianski, I.: On the formation of trapped surfaces. Acta Math. 208, 211–333 (2012)
Komar, A.: Necessity of singularities in the solution of the field equations of general relativity. Phys. Rev. 104, 544 (1956)
Kriele, M.: Spacetime. Springer, Berlin (1999)
Kronheimer, E.H., Penrose, R.: On the structure of causal spaces. Proc. Camb. Philos. Soc. 63, 481 (1967)
Kunzinger, M., Ohanyan, A., Schinnerl, B., Steinbauer, R.: The Hawking–Penrose singularity theorem for \(C^1\)-Lorentzian metrics. arXiv:2110.09176 (2022)
Kunzinger, M., Steinbauer, R., Stojković, M., Vickers, J.A.: A regularisation approach to causality theory for \(C^{1,1}\) Lorentzian metrics. Gen. Relativ. Gravit. 46, 1738 (2014)
Kunzinger, M., Steinbauer, R., Stojković, M., Vickers, J.A.: Hawking’s singularity theorem for \(C^{1,1}\)-metrics. Class. Quantum Gravit. 32, 075012 (2015)
Kunzinger, M., Steinbauer, R., Vickers, J.A.: The Penrose singularity theorem in regularity \(C^{1,1}\). Class. Quantum Gravit. 32, 155010 (2015)
Landsman, K.: Penrose’s 1965 singularity theorem: From geodesic incompleteness to cosmic censorship. Gen. Relativ. Gravit. 54, 115 (2022)
Leray, J.: Hyperbolic Differential Equations, Institute for Advanced Study, (Princeton Preprint) (1952)
Lesourd, M.: A new singularity theorem for black holes which allows chronology violation in the interior. Class. Quantum Gravit. 35, 245003 (2018)
Maeda, H.: Quest for realistic non-singular black-hole geometries: regular-center type. arXiv:2107.04791 (2021)
Malec, E.: Isoperimetric inequalities in the physics of black holes. Acta Phys. Pol. B 22, 829–858 (1991)
Mars, M.: Present status of the Penrose inequality. Class. Quantum Gravit. 26, 193001 (2009)
Mars, M., Martín-Prats, M.M., Senovilla, J.M.M.: Models of regular Schwarzschild black holes satisfying weak energy conditions. Class. Quantum Gravit. 13, L51–L58 (1996)
Mars, M., Senovilla, J.M.M.: Geometry of general hypersurfaces in spacetime: junction conditions. Class. Quantum Gravit. 10, 1865–1897 (1993)
Mars, M., Senovilla, J.M.M.: Trapped surfaces and symmetries. Class. Quantum Gravit. 20, L293 (2003)
Minguzzi, E.: Convex neighborhoods for Lipschitz connections and sprays. Monatsh Math. 177, 569–625 (2015)
Minguzzi, E.: The boundary of the chronology violating set. Class. Quantum Gravit. 33, 225004 (2016)
Minguzzi, E.: Lorentzian causality theory. Living reviews in relativity vol. 22:3, 1–202. Springer (2019)
Minguzzi, E.: A gravitational collapse singularity theorem consistent with black hole evaporation. Lett. Math. Phys. 110, 2383–2396 (2020)
Minguzzi, E., Sánchez, M.: The causal hierarchy of spacetimes, in Recent developments in pseudo-Riemannian geometry, H. Baum and D. Alekseevsky (eds.), ESI Lect. Math. Phys. (Eur. Math. Soc. Publ. House, Zurich), pp. 299–358 (2008)
Misner, C.W., Thorne, K.S., Wheeler, J.A.: Gravitation. W.H. Freeman and Co., New York (1973)
Newman, E.T., Penrose, R.: An approach to gravitational radiation by a method of spin coefficients J. Math. Phys.3 566–78; erratum4 998 (1962)
Newman, E.T., Penrose, R.: 10 exact gravitationally conserved quantities. Phys. Rev. Lett. 15, 231–33 (1965)
Newman, E.T., Penrose, R.: New conservation laws for zero rest-mass fields in asymptotically flat space-time. Proc. R. Soc. Lond. A 305, 175–204 (1968)
Newman, R.P.A.C.: Persistent curvature and cosmic censorship. Gen. Relativ. Gravit. 16, 1177 (1984)
Newman, R.P.A.C.: Topology and stability of marginal 2-surfaces. Class. Quantum Gravit. 4, 277 (1987)
O’Neill, B.: Semi-Riemannian Geometry: With Applications to Relativity. Academic Press, Cambridge (1983)
Oppenheimer, J.R., Snyder, H.: On continued gravitational contraction. Phys. Rev. 56, 455–459 (1939)
Oppenheimer, J.R., Volkoff, G.M.: On massive neutron cores. Phys. Rev. 55, 374 (1939)
Penrose, R.: A spinor approach to general relativity. Ann. Pays. (N.Y.) 10, 171–201 (1960)
Penrose, R.: Asymptotic properties of fields and space-times. Phys. Rev. Lett. 10, 66–68 (1963)
Penrose, R.: Conformal treatment of infinity, In: Relativity Groups and Topology eds. C M de Witt and B de Witt (New York: Gordon and Breach) pp. 566–84 (1964)
Penrose, R.: Gravitational collapse and space-time singularities. Phys. Rev. Lett. 14, 57 (1965)
Penrose, R.: A remarkable property of plane waves in General Relativity. Rev. Mod. Phys. 37, 215 (1965)
Penrose, R.: Zero rest-mass fields including gravitation: asymptotic behaviour. Proc. R. Soc. Lond. Ser. A 284, 159–203 (1965)
Penrose, R.: Structure of space-time. In: Batelle Rencontres, C. M. de Witt and J. A. Wheeler, eds. (Benjamin, New York) (1968)
Penrose, R.: Gravitational collapse: the role of general relativity. Riv. Nuovo Cimento 1, 252 (1969)
Penrose, R.: Techniques of Differential Topology in Relativity, Regional Conference Series in Applied Math. 7 (SIAM, Philadelphia) (1972)
Penrose, R.: Naked singularities. Ann. N. Y. Acad. Sci. 224, 125 (1973)
Penrose, R.: Singularities and time asymmetry, In: General Relativity: an Einstein Centenary Survey, S. W. Hawking and W. Israel, eds. (Cambridge University Press, Cambridge) (1979)
Penrose, R.: The question of cosmic censorship. J. Astrophys. Astron. 20, 233–248 (1999)
Penrose, R.: On the instability of extra space dimensions, in the future of the theoretical physics and cosmology, 185–201. Cambridge University Press, Cambridge (2003)
Penrose, R., Floyd, R.M.: Extraction of rotational energy from a black hole. Nat. Phys. Sci. 229, 177 (1971)
Penrose, R., Rindler, W.: Spinors and Spacetime, vol. 1. Cambridge University Press, Cambridge (1984)
Penrose, R., Rindler, W.: Spinors and Spacetime, vol. 2. Cambridge University Press, Cambridge (1986)
Poisson, E., Israel, W.: Inner-horizon instability and mass inflation in black holes. Phys. Rev. Lett. 63, 1663 (1989)
Raychaudhuri, A.K.: Relativistic cosmology I. Phys. Rev. 98, 1123 (1955)
Raychaudhuri, A.K.: Singular state in relativistic cosmology. Phys. Rev. 106, 172 (1957)
Reiterer, M., Trubowitz, E.: Strongly focused gravitational waves. Commun. Math. Phys. 307, 275 (2011)
Ringström, H.: Origin and development of the Cauchy problem in general relativity. Class. Quantum Gravit. 32, 124003 (2015)
Senovilla, J.M.M.: New class of inhomogeneous cosmological perfect-fluid solutions without big-bang singularity. Phys. Rev. Lett. 64, 2219 (1990)
Senovilla, J.M.M.: Singularity theorems and their consequences. Gen. Relativ. Gravit. 30, 701–48 (1998)
Senovilla, J.M.M.: Trapped surfaces, horizons and exact solutions in higher dimensions. Class. Quantum Gravit. 19, L113 (2002)
Senovilla, J.M.M.: On the existence of horizons in spacetimes with vanishing curvature invariants. J. High Energy Phys. 11, 046 (2003)
Senovilla, J.M.M.: Classification of spacelike surfaces in spacetime. Class. Quantum Gravit. 24, 3091–3124 (2007)
Senovilla, J.M.M.: A singularity theorem based on spatial averages. Pramana 69, 31–47 (2007)
Senovilla, J.M.M.: A new type of singularity theorem. In: Proceedings of 30th Spanish Relativity Meeting ERE2007, A. Oscoz, E. Mediavilla and M. Serra-Ricart eds., EAS Publ.Ser. 30 (2008). arXiv:0712.1428
Senovilla, J.M.M.: Trapped surfaces. Int. J. Mod. Phys. D 20, 2139–2168 (2011)
Senovilla, J.M.M.: Singularity theorems in general relativity: achievements and open questions, Chapter 15 of Einstein and the Changing Worldviews of Physics (eds. C Lehner, J Renn, M Schemmel), Einstein Studies 12, (Birkhäuser) (2012)
Senovilla, J.M.M.: A critical appraisal of the singularity theorems. Philos. Trans. R. Soc. A 380, 20210174 (2022). https://doi.org/10.1098/rsta.2021.0174
Senovilla, J.M.M., Garfinkle, D.: The 1965 Penrose singularity theorem. Class. Quantum Gravit. 32, 124008 (2015)
Simon, W.: Bounds on area and charge for marginally trapped surfaces with cosmological constant. Class. Quantum Gravit. 29, 062001 (2012)
Steinbauer, R.: The singularity theorems of General Relativity and their low regularity extensions. Jahresber. Dtsch. Math. Ver. (2022)
Stephani, H., Kramer, D., MacCallum, M.A.H., Hoenselaers, C., Herlt, E.: Exact Solutions to Einstein’s Field Equations, 2nd edn. Cambridge University Press, Cambridge (2003)
Szabados, L.B.: On singularity theorems and curvature growth. J. Math. Phys. 28, 142 (1987)
Thornburg, J.: Event and apparent horizon finders for 3+1 numerical relativity. Living Rev. Relativ. 10, 3 (2007)
Thorpe, J.A.: Curvature invariants and spacetime singularities. J. Math. Phys. 18, 960 (1977)
Tipler, F.J.: On the nature of singularities in general relativity. Phys. Rev. D 15, 942 (1977)
Tipler, F.J.: Singularities from colliding plane gravitational waves. Phys. Rev. D 22, 2929 (1980)
Tipler, F.J., Clarke, C.J.S., Ellis, G.F.R.: Singularities and Horizons—a review article. In: General Relativity and Gravitation: One Hundred Years After the Birth of Albert Einstein, A. Held, ed. (Plenum Press, New York) (1980)
Vilenkin, A., Wall, A.C.: Cosmological singularity theorems and black holes. Phys. Rev. D 89, 064035 (2014)
Wald, R.M.: General Relativity. The University of Chicago Press, Chicago (1984)
Wald, R.M.: Gravitational collapse and cosmic censorship, In: Black Holes, Gravitational Radiation and the Universe, edited by B.R. Iyer and B. Bhawal (Springer, Berlin) arXiv: gr-qc/9710068 (1998)
Wall, A.C.: The generalized second law implies a quantum singularity theorem. Class. Quantum Gravit. 30, 165003 (2013)
Witten, E.: Instability of the Kaluza–Klein vacuum. Nucl. Phys. B 195, 481 (1982)
Wyatt, Z.: The weak null condition and Kaluza–Klein spacetimes. J. Hyperbolic Differ. Equ. 15, 219–58 (2018)
Yurtsever, U.: Singularities in the collisions of almost-plane gravitational waves. Phys. Rev. D 38, 1731 (1988)
Acknowledgements
This article is freely based on my contribution The 1965 singularity theorem and its legacy to the conference “Singularity theorems, causality, and all that: A tribute to Roger Penrose” (SCRI21), June 14–18, 2021. I am grateful to the organizers for giving me the opportunity to deliver the opening talk.
Funding
Supported by the Basque Government grant number IT1628-22, and by Grants FIS2017-85076-P and PID2021-123226NB-I00 funded by the Spanish MCIN/AEI/10.13039/501100011033 together with “ERDF A way of making Europe”.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article belongs to a Topical Collection: Singularity theorems, causality, and all that (SCRI21).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Senovilla, J.M.M. The influence of Penrose’s singularity theorem in general relativity. Gen Relativ Gravit 54, 151 (2022). https://doi.org/10.1007/s10714-022-03038-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-022-03038-8