The Hawking Singularity Theorem for Hölder Continuous Metrics with $L^p$-Bounded Curvature

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Kunzinger, Michael, Reintjes, Moritz, Steinbauer, Roland, Vega-González, Inés
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866911633420320768
author Kunzinger, Michael
Reintjes, Moritz
Steinbauer, Roland
Vega-González, Inés
author_facet Kunzinger, Michael
Reintjes, Moritz
Steinbauer, Roland
Vega-González, Inés
contents We prove a low-regularity version of Hawking's singularity theorem for Lorentzian metrics in $W^{1,p}$ with Riemann curvature in $L^p$, where $p>2n$ and $n$ the dimension of spacetime. This extends previous results beyond the Lipschitz regime. Under suitable lower Ricci bounds and upper mean curvature assumptions, expressed in terms of temporal functions, we establish both the globally hyperbolic version of Hawking's theorem, in the form of an upper bound on the time separation from a spacelike Cauchy hypersurface, and the version with a compact achronal spacelike hypersurface, yielding timelike RT-geodesic incompleteness. The proof combines regularisations, based on the elliptic RT-equations, to raise the regularity of the metric by one derivative, with a refinement of the previously used manifold convolution. We introduce a new smeared-out notion of mean curvature adapted to the low metric regularity before, and the $W^{2,p}$-hypersurfaces arising after regularisation. As further consequences, we show that $W^{1,p}$-Lorentzian metrics with $L^p$-bounded curvature are causally plain, and we prove a corresponding low-regularity version of Myers's theorem in the Riemannian setting.
format Preprint
id arxiv_https___arxiv_org_abs_2604_27023
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle The Hawking Singularity Theorem for Hölder Continuous Metrics with $L^p$-Bounded Curvature
Kunzinger, Michael
Reintjes, Moritz
Steinbauer, Roland
Vega-González, Inés
General Relativity and Quantum Cosmology
Differential Geometry
83C75
We prove a low-regularity version of Hawking's singularity theorem for Lorentzian metrics in $W^{1,p}$ with Riemann curvature in $L^p$, where $p>2n$ and $n$ the dimension of spacetime. This extends previous results beyond the Lipschitz regime. Under suitable lower Ricci bounds and upper mean curvature assumptions, expressed in terms of temporal functions, we establish both the globally hyperbolic version of Hawking's theorem, in the form of an upper bound on the time separation from a spacelike Cauchy hypersurface, and the version with a compact achronal spacelike hypersurface, yielding timelike RT-geodesic incompleteness. The proof combines regularisations, based on the elliptic RT-equations, to raise the regularity of the metric by one derivative, with a refinement of the previously used manifold convolution. We introduce a new smeared-out notion of mean curvature adapted to the low metric regularity before, and the $W^{2,p}$-hypersurfaces arising after regularisation. As further consequences, we show that $W^{1,p}$-Lorentzian metrics with $L^p$-bounded curvature are causally plain, and we prove a corresponding low-regularity version of Myers's theorem in the Riemannian setting.
title The Hawking Singularity Theorem for Hölder Continuous Metrics with $L^p$-Bounded Curvature
topic General Relativity and Quantum Cosmology
Differential Geometry
83C75
url https://arxiv.org/abs/2604.27023