-
arXiv:1411.4689 [pdf, ps, other]
Hawking's singularity theorem for $C^{1,1}$-metrics
Abstract: We provide a detailed proof of Hawking's singularity theorem in the regularity class $C^{1,1}$, i.e., for spacetime metrics possessing locally Lipschitz continuous first derivatives. The proof uses recent results in $C^{1,1}$-causality theory and is based on regularisation techniques adapted to the causal structure.
Submitted 5 March, 2015; v1 submitted 17 November, 2014; originally announced November 2014.
Comments: 19 pages, LaTeX; v2: corrected Lemma 4.2; v3: typos corrected, final version
MSC Class: 83C75; 53B30
Journal ref: Classical Quantum Gravity 32 (2015), no. 7, 075012, 19 pp
-
arXiv:1310.4404 [pdf, ps, other]
A regularisation approach to causality theory for $C^{1,1}$-Lorentzian metrics
Abstract: We show that many standard results of Lorentzian causality theory remain valid if the regularity of the metric is reduced to $C^{1,1}$. Our approach is based on regularisations of the metric adapted to the causal structure.
Submitted 31 July, 2019; v1 submitted 16 October, 2013; originally announced October 2013.
Comments: 17 pages, corrects the proof of Thm. 2.7 in the published version
MSC Class: 53B30
Journal ref: Gen. Relativ. Gravit. (2014) 46:1738
-
arXiv:1306.4776 [pdf, ps, other]
The exponential map of a $C^{1,1}$-metric
Abstract: Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal neighborhoods in an appropriate sense. The proofs are based on regularization, combined with methods from comparison geometry.
Submitted 4 April, 2014; v1 submitted 20 June, 2013; originally announced June 2013.
Comments: Final version
MSC Class: 53B20; 53B21; 53B30
Journal ref: Differential Geom. Appl. 34, 14-24, 2014