We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math-ph

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematical Physics

Title: 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.
Comments: 39 pages
Subjects: Mathematical Physics (math-ph); General Relativity and Quantum Cosmology (gr-qc)
MSC classes: 83C75, 53B30
Cite as: arXiv:2110.09176 [math-ph]
  (or arXiv:2110.09176v2 [math-ph] for this version)

Submission history

From: Michael Kunzinger [view email]
[v1] Mon, 18 Oct 2021 10:46:54 GMT (47kb)
[v2] Tue, 19 Oct 2021 10:08:22 GMT (47kb,D)

Link back to: arXiv, form interface, contact.