pith. machine review for the scientific record. sign in

arxiv: 2604.27023 · v1 · submitted 2026-04-29 · 🌀 gr-qc · math.DG

Recognition: unknown

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

Michael Kunzinger , Moritz Reintjes , Roland Steinbauer , In\'es Vega-Gonz\'alez
Authors on Pith no claims yet

Pith reviewed 2026-05-07 12:43 UTC · model grok-4.3

classification 🌀 gr-qc math.DG
keywords Hawking singularity theoremlow regularity metricsW^{1,p} Lorentzian metricsL^p curvature boundsgeodesic incompletenessgeneral relativitycausally plain spacetimes
0
0 comments X

The pith

Hawking's singularity theorem holds for Hölder continuous metrics with curvature in L^p.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a low-regularity extension of Hawking's singularity theorem to Lorentzian metrics that are only once weakly differentiable. It shows that when the Riemann curvature lies in L^p for p larger than twice the spacetime dimension, and under lower bounds on Ricci curvature plus upper bounds on mean curvature expressed through temporal functions, the spacetime must develop singularities. These take the form of an upper limit on time separation from a Cauchy surface in the globally hyperbolic case, or timelike geodesic incompleteness when a compact achronal hypersurface is present. The result matters because it removes the need for Lipschitz or smoother metrics that had been required in earlier versions.

Core claim

We prove that for Lorentzian metrics in W^{1,p} with p > 2n and Riemann curvature in L^p, the Hawking singularity theorem holds under suitable lower Ricci bounds and upper mean curvature assumptions expressed via temporal functions. This yields an upper bound on the time separation from a spacelike Cauchy hypersurface in the globally hyperbolic setting and timelike RT-geodesic incompleteness in the presence of a compact achronal spacelike hypersurface. The proof proceeds by regularizing the metric via elliptic RT-equations and a refined convolution, introducing a smeared mean curvature adapted to the resulting W^{2,p} hypersurfaces.

What carries the argument

Regularization of the metric by solving elliptic RT-equations to gain one derivative of regularity, paired with a new smeared-out mean curvature notion that works for the original low-regularity metric and the smoothed W^{2,p} hypersurfaces.

If this is right

  • The spacetime is causally plain, so causal relations behave as in the smooth case.
  • Timelike geodesics are incomplete, confirming the presence of a singularity.
  • A corresponding low-regularity Myers theorem holds in the Riemannian setting.
  • The result applies to both globally hyperbolic spacetimes and those containing a compact achronal hypersurface.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Singularity predictions in general relativity appear stable under reduced differentiability assumptions on the metric.
  • The regularization technique could be tested on explicit examples of low-regularity metrics constructed numerically.
  • Similar methods might adapt other classical singularity theorems to the same regularity class.

Load-bearing premise

The metric must lie in W^{1,p} with p > 2n, its curvature must lie in L^p, and suitable lower Ricci and upper mean curvature bounds must hold when expressed through temporal functions.

What would settle it

A concrete counterexample would be a specific W^{1,p} Lorentzian metric with L^p-bounded curvature that satisfies the Ricci and mean curvature conditions yet admits a complete timelike geodesic through every point or violates the predicted upper bound on time separation.

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper proves a low-regularity version of Hawking's singularity theorem for Lorentzian metrics in W^{1,p} (p>2n) with Riemann curvature in L^p. It regularizes the metric to W^{2,p} via elliptic RT-equations and manifold convolution, introduces a smeared-out notion of mean curvature adapted to the low-regularity hypersurface, and applies classical Hawking arguments to obtain an upper bound on time separation from a Cauchy hypersurface (globally hyperbolic case) or timelike RT-geodesic incompleteness (compact achronal hypersurface case). Additional results include that such metrics are causally plain and a low-regularity Myers theorem in the Riemannian setting.

Significance. If the claims hold, the result meaningfully extends singularity theorems beyond the Lipschitz regime to a Sobolev class with L^p curvature, which is relevant for mathematical general relativity where reduced regularity arises naturally. The regularization technique and smeared mean curvature provide reusable tools, and the causal plainness and Myers results add independent value. Machine-checked proofs or reproducible code are not mentioned.

major comments (1)
  1. [Proof of the main theorems (regularization step)] The central step transfers an upper bound on the smeared mean curvature (defined for the original W^{1,p} hypersurface) to an upper bound on the mean curvature of the regularized W^{2,p} hypersurfaces. No explicit uniform-in-parameter estimates are provided showing that this bound remains controlled independently of the regularization parameter after the RT-equation smoothing and convolution; without such control the incompleteness conclusion cannot be recovered in the limit. This is load-bearing for both versions of the main theorem.
minor comments (2)
  1. The title refers to Hölder continuous metrics while the abstract and statements use W^{1,p}; add a sentence clarifying the Sobolev embedding that yields the Hölder regularity for p > n.
  2. The definition of the smeared mean curvature is introduced as new; ensure the notation for the smearing kernel and its support is consistent between the definition and all subsequent estimates.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We are grateful for the recognition of the result's significance in extending singularity theorems to Sobolev regularity with L^p curvature. We address the major comment below and will revise the manuscript accordingly to strengthen the presentation.

read point-by-point responses

  1. Referee: [Proof of the main theorems (regularization step)] The central step transfers an upper bound on the smeared mean curvature (defined for the original W^{1,p} hypersurface) to an upper bound on the mean curvature of the regularized W^{2,p} hypersurfaces. No explicit uniform-in-parameter estimates are provided showing that this bound remains controlled independently of the regularization parameter after the RT-equation smoothing and convolution; without such control the incompleteness conclusion cannot be recovered in the limit. This is load-bearing for both versions of the main theorem.

    Authors: We thank the referee for identifying this key technical point. The uniform control on the mean curvature bound follows from the elliptic estimates for the RT-equations (which preserve the L^p curvature bounds with constants independent of the regularization parameter) combined with the manifold convolution, whose kernel is chosen so that the smeared mean curvature of the original W^{1,p} hypersurface yields a uniform upper bound on the classical mean curvature of the smoothed W^{2,p} hypersurfaces. This is implicit in the a priori estimates of Section 3 and the convergence arguments of Proposition 4.5, where the lower Ricci bound and the initial mean curvature assumption ensure the bound does not deteriorate as the parameter tends to zero. Nevertheless, we agree that an explicit statement of the parameter-independent estimate would clarify the passage to the limit. In the revised version we will add a dedicated lemma (with full proof) making these uniform bounds explicit, including their dependence only on the original data and the dimension. This will not change the main theorems but will make the regularization step fully rigorous and self-contained. revision: yes

Circularity Check

0 steps flagged

Minor self-citation on RT-regularization; central low-regularity extension relies on new smeared curvature and classical Hawking theorem

full rationale

The derivation regularizes W^{1,p} metrics (p>2n) via elliptic RT-equations plus manifold convolution to reach W^{2,p} regularity, then invokes the classical Hawking theorem on the smoothed data while introducing a new smeared-out mean curvature notion adapted to the original low-regularity hypersurface. No step reduces the target incompleteness statement to a fitted parameter, self-referential definition, or self-citation chain that forces the result by construction. The RT-equations appear to draw from prior author work but function as a technical tool rather than a load-bearing premise that imports the conclusion. The argument remains self-contained against the external classical benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on standard Lorentzian geometry axioms plus the new regularization procedure and the invented smeared mean curvature; no free parameters are fitted to data.

axioms (2)
  • domain assumption Spacetime is globally hyperbolic or possesses a compact achronal spacelike hypersurface
    Invoked to obtain the two versions of the singularity theorem.
  • domain assumption Lower bounds on Ricci curvature and upper bounds on mean curvature hold in terms of temporal functions
    Required to trigger the incompleteness conclusion.
invented entities (1)
  • Smeared-out notion of mean curvature no independent evidence
    purpose: To define mean curvature for W^{1,p} metrics and the W^{2,p} hypersurfaces obtained after regularization
    New definition introduced to adapt classical mean-curvature assumptions to the low-regularity setting.

pith-pipeline@v0.9.0 · 5538 in / 1528 out tokens · 53316 ms · 2026-05-07T12:43:35.362221+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 3 canonical work pages · 1 internal anchor

  1. [1]

    dS/CFT and spacetime topol- ogy

    [AG02] Andersson, L. and Galloway, G. J. “dS/CFT and spacetime topol- ogy”.Adv. Theor. Math. Phys.6.2 (2002), pp. 307–327. [BC24] Braun, M. and Calisti, M. “Timelike Ricci bounds for low regular- ity spacetimes by optimal transport”.Commun. Contemp. Math.26.9 (2024), Paper No. 2350049. [BM] Braun, M. and McCann, R. “Causal convergence conditions through v...

    2002

  2. [2]

    Open and closed universes, initial singularities, and infla- tion

    [Bor94] Borde, A. “Open and closed universes, initial singularities, and infla- tion”.Phys. Rev. D (3)50.6 (1994), pp. 3692–3702. [BR26] Braun, M. and Rotolo, C.A synthetic Gannon–Lee incompleteness theorem. Preprint, arXiv:2602.14246 [gr-qc]

    work page arXiv 1994

  3. [3]

    Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions

    [BS06] Bernal, A. N. and S ´anchez, M. “Further results on the smoothability of Cauchy hypersurfaces and Cauchy time functions”.Lett. Math. Phys.77.2 (2006), pp. 183–197. [BS20] Bernard, P. and Suhr, S. “Cauchy and uniform temporal functions of globally hyperbolic cone fields”.Proc. Amer. Math. Soc.148.11 (2020), pp. 4951–4966. [Cal+25] Calisti, M., Graf,...

    2006

  4. [4]

    On Lorentzian causality with continuous metrics

    [CG12] Chru ´sciel, P. T. and Grant, J. D. E. “On Lorentzian causality with continuous metrics”.Classical Quantum Gravity29.14 (2012), pp. 145001,

    2012

  5. [5]

    A review of Lorentzian synthetic the- ory of timelike Ricci curvature bounds

    [CM22] Cavalletti, F. and Mondino, A. “A review of Lorentzian synthetic the- ory of timelike Ricci curvature bounds”.Gen. Relativ. Gravit.54.11 (2022), Paper No. 137,

    2022

  6. [6]

    On the geometry of synthetic null hypersurfaces

    [CM24] Cavalletti, F. and Mondino, A. “Optimal transport in Lorentzian syn- thetic spaces, synthetic timelike Ricci curvature lower bounds and applications”.Camb. J. Math.12.2 (2024), pp. 417–534. 54 REFERENCES [CMM25a] Cavalletti, F., Manini, D., and Mondino, A. “On the geometry of syn- thetic null hypersurfaces”. Preprint, arXiv:2506.04934 [math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  7. [7]

    Optimal transport on null hypersurfaces and the null energy condition

    [CMM25b] Cavalletti, F., Manini, D., and Mondino, A. “Optimal transport on null hypersurfaces and the null energy condition”.Comm. Math. Phys. 406.9 (2025), Paper No. 212,

    2025

  8. [8]

    On smooth time functions

    Mathematics and its Applications (Soviet Series). Dor- drecht: Kluwer Academic Publishers Group, 1988, pp. x+304. [FS12] Fathi, A. and Siconolfi, A. “On smooth time functions”.Math. Proc. Cambridge Philos. Soc.152.2 (2012), pp. 303–339. [GL18] Graf, M. and Ling, E. “Maximizers in Lipschitz spacetimes are either timelike or null”.Classical Quantum Gravity3...

    1988

  9. [9]

    The Hawking–Penrose Singularity Theorem forC1,1-Lorentzian Metrics

    [Gra+18] Graf, M., Grant, J. D. E., Kunzinger, M., and Steinbauer, R. “The Hawking–Penrose Singularity Theorem forC1,1-Lorentzian Metrics”. Comm. Math. Phys.360.3 (2018), pp. 1009–1042. [Gra+20] Grant, J. D. E., Kunzinger, M., S ¨amann, C., and Steinbauer, R. “The future is not always open”.Lett. Math. Phys.110.1 (2020), pp. 83–

    2018

  10. [10]

    Hawking- type singularity theorems for worldvolume energy inequalities

    [Gra+25] Graf, M., Kontou, E.-A., Ohanyan, A., and Schinnerl, B. “Hawking- type singularity theorems for worldvolume energy inequalities”.Ann. Henri Poincar´e26.11 (2025), pp. 3871–3906. [Gra16] Graf, M. “V olume comparison forC 1,1-metrics”.Ann. Global Anal. Geom.50.3 (2016), pp. 209–235. [Gra20] Graf, M. “Singularity theorems forC 1-Lorentzian metrics”....

    2025

  11. [11]

    Strings and other distributional sources in general relativity

    Mathematics and its Applications. Kluwer Academic Publishers, Dordrecht, 2001, pp. xvi+505. [GT87] Geroch, R. and Traschen, J. “Strings and other distributional sources in general relativity”.Phys. Rev. D36.4 (1987), pp. 1017–1031. [Haw67] Hawking, S. W. “The Occurrence of Singularities in Cosmology. III. Causality and Singularities”.Proceedings of the Ro...

    2001

  12. [12]

    On the problems of geodesics in the small

    Graduate Texts in Mathematics. Springer-Verlag, New York-Heidelberg, 1976, pp. x+221. [HW51] Hartman, P. and Wintner, A. “On the problems of geodesics in the small”.Amer. J. Math.73 (1951), pp. 132–148. REFERENCES 55 [Ket24] Ketterer, C. “Characterization of the null energy condition via dis- placement convexity of entropy”.J. Lond. Math. Soc. (2)109.1 (2...

    1976

  13. [13]

    Synthetic versus distributional lower Ricci curvature bounds

    [KOV24] Kunzinger, M., Oberguggenberger, M., and Vickers, J. A. “Synthetic versus distributional lower Ricci curvature bounds”.Proc. Roy. Soc. Edinburgh Sect. A154.5 (2024), pp. 1406–1430. [KS18] Kunzinger, M. and S ¨amann, C. “Lorentzian length spaces”.Ann. Global Anal. Geom.54.3 (2018), pp. 399–447. [KSV15] Kunzinger, M., Steinbauer, R., and Vickers, J....

    2024

  14. [14]

    A regularisation approach to causality theory forC 1,1-Lorentzian met- rics

    [Kun+14] Kunzinger, M., Steinbauer, R., Stojkovi ´c, M., and Vickers, J. A. “A regularisation approach to causality theory forC 1,1-Lorentzian met- rics”.Gen. Relativity Gravitation46.8 (2014), Art. 1738,

    2014

  15. [15]

    Hawk- ing’s singularity theorem forC1,1-metrics

    [Kun+15] Kunzinger, M., Steinbauer, R., Stojkovi ´c, M., and Vickers, J. A. “Hawk- ing’s singularity theorem forC1,1-metrics”.Classical Quantum Grav- ity32.7 (2015), pp. 075012,

    2015

  16. [16]

    The Hawking–Penrose singularity theorem for C 1-Lorentzian metrics

    [Kun+22] Kunzinger, M., Ohanyan, A., Schinnerl, B., and Steinbauer, R. “The Hawking–Penrose singularity theorem for C 1-Lorentzian metrics”. Communications in Mathematical Physics391.3 (2022), pp. 1143–

    2022

  17. [17]

    Lorentz meets Lipschitz

    [LLS21] Lange, C., Lytchak, A., and S ¨amann, C. “Lorentz meets Lipschitz”. Adv. Theor. Math. Phys.25.8 (2021), pp. 2141–2170. [LM07] LeFloch, P. G. and Mardare, C. “Definition and stability of Lorentzian manifolds with distributional curvature”.Port. Math. (N.S.)64.4 (2007), pp. 535–573. [LV09] Lott, J. and Villani, C. “Ricci curvature for metric-measure...

    2021

  18. [18]

    Convex neighborhoods for Lipschitz connections and sprays

    [Min15] Minguzzi, E. “Convex neighborhoods for Lipschitz connections and sprays”.Monatsh. Math.177.4 (2015), pp. 569–625. [Min19a] Minguzzi, E. “Causality theory for closed cone structures with appli- cations”.Rev. Math. Phys.31.5 (2019), pp. 1930001,

    2015

  19. [19]

    Lorentzian causality theory

    [Min19b] Minguzzi, E. “Lorentzian causality theory”.Living Rev. Relativ.22.3 (2019), 220 pp. [Min20] Minguzzi, E. “On the regularity of Cauchy hypersurfaces and tem- poral functions in closed cone structures”.Rev. Math. Phys.32.10 (2020), pp. 2050033,

    2019

  20. [20]

    On the equivalence of distributional and synthetic Ricci curvature lower bounds

    [MR25] Mondino, A. and Ryborz, V . “On the equivalence of distributional and synthetic Ricci curvature lower bounds”.Journal of Functional Analysis289 (2025), p. 111035. 56 REFERENCES [MS15] Morales ´Alvarez, P. and S ´anchez, M. “Myers and Hawking Theo- rems: Geometry for the Limits of the Universe”.Milan Journal of Mathematics83 (2015), pp. 295–311. [MS...

    2025

  21. [21]

    Gravitational collapse and space-time singularities

    Pure and Applied Mathematics. With applications to relativity. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1983, pp. xiii+468. [Pen65] Penrose, R. “Gravitational collapse and space-time singularities”.Phys. Rev. Lett.14 (1965), pp. 57–59. [Pod+15] Podolsk ´y, J., S¨amann, C., Steinbauer, R., and ˇSvarc, R. “The global existence...

    1983

  22. [22]

    The global uniqueness andC 1-regularity of geodesics in expanding impulsive gravitational waves

    [Pod+16] Podolsk ´y, J., S¨amann, C., Steinbauer, R., and ˇSvarc, R. “The global uniqueness andC 1-regularity of geodesics in expanding impulsive gravitational waves”.Classical Quantum Gravity33.19 (2016), pp. 195010,

    2016

  23. [23]

    Strong cosmic censorship with bounded curvature

    [Rei24] Reintjes, M. “Strong cosmic censorship with bounded curvature”. Classical Quantum Gravity41.17 (2024), Paper No. 175002,

    2024

  24. [24]

    How to smooth a crinkled map of space-time: Uhlenbeck compactness forL ∞ connections and opti- mal regularity for general relativistic shock waves by the Reintjes- Temple equations

    [RT20a] Reintjes, M. and Temple, B. “How to smooth a crinkled map of space-time: Uhlenbeck compactness forL ∞ connections and opti- mal regularity for general relativistic shock waves by the Reintjes- Temple equations”.Proc. A.476.2241 (2020), pp. 20200177,

    2020

  25. [25]

    Optimal metric regularity in general relativity follows from the RT-equations by elliptic regularity theory inL p-spaces

    [RT20b] Reintjes, M. and Temple, B. “Optimal metric regularity in general relativity follows from the RT-equations by elliptic regularity theory inL p-spaces”.Methods Appl. Anal.27.3 (2020), pp. 199–241. [RT20c] Reintjes, M. and Temple, B. “Shock wave interactions and the Riemann- flat condition: the geometry behind metric smoothing and the exis- tence of...

    2020

  26. [26]

    On the optimal regularity implied by the assumptions of geometry I: Connections on tangent bundles

    [RT22] Reintjes, M. and Temple, B. “On the optimal regularity implied by the assumptions of geometry I: Connections on tangent bundles”. Methods Appl. Anal.29.4 (2022), pp. 303–396. [RT23] Reintjes, M. and Temple, B. “Optimal regularity and Uhlenbeck com- pactness for general relativity and Yang-Mills theory”.Proc. A.479.2271 (2023), Paper No. 20220444,

    2022

  27. [27]

    On the optimal regularity implied by the assumptions of geometry II: Connections on vector bundles

    REFERENCES 57 [RT24a] Reintjes, M. and Temple, B. “On the optimal regularity implied by the assumptions of geometry II: Connections on vector bundles”. Adv. Theor. Math. Phys.28.5 (2024), pp. 1425–1486. [RT24b] Reintjes, M. and Temple, B. “On weak solutions to the geodesic equation in the presence of curvature bounds”.J. Differential Equa- tions392 (2024)...

    work page arXiv 2024

  28. [28]

    Every Lipschitz metric hasC 1-geodesics

    [Ste14] Steinbauer, R. “Every Lipschitz metric hasC 1-geodesics”.Classical Quantum Gravity31.5 (2014), pp. 057001,

    2014

  29. [29]

    The singularity theorems of general relativity and their low regularity extensions

    [Ste23] Steinbauer, R. “The singularity theorems of general relativity and their low regularity extensions”.Jahresber. Dtsch. Math.-Ver.125.2 (2023), pp. 73–119. [Stu06a] Sturm, K.-T. “On the geometry of metric measure spaces. I”.Acta Math.196.1 (2006), pp. 65–131. [Stu06b] Sturm, K.-T. “On the geometry of metric measure spaces. II”.Acta Math.196.1 (2006)...

    2023