The Hawking Singularity Theorem for H\"older Continuous Metrics with $L^p$-Bounded Curvature

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.