The Hawking-Penrose singularity theorem for $C^1$-Lorentzian metrics

Abstract

We extend both the Hawking-Penrose Theorem and its generalisation due to Galloway and Senovilla to Lorentzian metrics of regularity $C^1$. For metrics of such low regularity, two main obstacles have to be addressed. On the one hand, the Ricci tensor now is distributional, and on the other hand, unique solvability of the geodesic equation is lost. To deal with the first issue in a consistent way, we develop a theory of tensor distributions of finite order, which also provides a framework for the recent proofs of the theorems of Hawking and of Penrose for $C^1$-metrics [7]. For the second issue, we study geodesic branching and add a further alternative to causal geodesic incompleteness to the theorem, namely a condition of maximal causal non-branching. The genericity condition is re-cast in a distributional form that applies to the current reduced regularity while still being fully compatible with the smooth and $C^{1,1}$-settings. In addition, we develop refinements of the comparison techniques used in the proof of the $C^{1,1}$-version of the theorem [8]. The necessary results from low regularity causality theory are collected in an appendix.

arXiv comment39 pages, final version

References in corpus (21)

• Singularity Theorems and Their Consequences
• The 1965 Penrose singularity theorem
• Causality theory for closed cone structures with applications
• On Lorentzian causality with continuous metrics
• Convex neighborhoods for Lipschitz connections and sprays
• Limit curve theorems in Lorentzian geometry
• Singularity theorems based on trapped submanifolds of arbitrary co-dimension
• On the Geroch-Traschen class of metrics
• Global hyperbolicity for spacetimes with continuous metrics
• Timelike completeness as an obstruction to $C^0$-extensions
• Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications
• Singularity theorems for $C^1$-Lorentzian metrics
• The Penrose singularity theorem in regularity $C^{1,1}$
• The Hawking-Penrose singularity theorem for $C^{1,1}$-Lorentzian metrics
• A regularisation approach to causality theory for $C^{1,1}$-Lorentzian metrics
• The future is not always open
• A critical appraisal of the singularity theorems
• On geodesics in low regularity
• Lorentz meets Lipschitz
• A Note on the Gannon-Lee Theorem
• The exponential map of a $C^{1,1}$-metric

Cited by in corpus (7)

• The singularity theorems of General Relativity and their low regularity extensions
• On the initial singularity and extendibility of flat quasi-de Sitter spacetimes
• Hyperbolic angles in Lorentzian length spaces and timelike curvature bounds
• Synthetic versus distributional lower Ricci curvature bounds
• Hawking-type singularity theorems for worldvolume energy inequalities
• How Much NEC Breaking Can the Universe Endure?
• Radial Gravitational Collapse Causes Timelike Incompleteness