Warped Spacelike Singularities and the $C^0$-Inextendibility of Birmingham-Kottler Spacetimes

Bobby EkaGunara

REVIEW 2 major objections 3 minor 12 references

Warped Spacelike Singularities and the $C^0$-Inextendibility of Birmingham-Kottler Spacetimes

T0 review · 2 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that warped spacelike singularities with convergent radial integrals and a divergent longitudinal warp factor block all continuous Lorentzian extensions, and then applies that obstruction to show the one-horizon Birmingham

desk verdict A genuinely new local criterion and a strong Birmingham–Kottler application; the global bridge relies on two external theorems whose hypothesis match needs closer scrutiny before I'd call it fully sound. read the letter →

arxiv 2607.14741 v1 pith:4OHN36G4 submitted 2026-07-16 gr-qc math-phmath.DGmath.MP

Bobby EkaGunara This is my paper · ORCID

classification gr-qcmath-phmath.DGmath.MP MSC 83C7553C5083C57

keywords C0-inextendibilitywarpedspacelikesingularityBirmingham-KottlerspacetimecontinuousLorentzianmetrictimelikegeodesicclassificationKruskalcoordinatesproductEinsteinvacuum

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper tries to establish that certain warped-product spacetimes ending in a spacelike singularity cannot be continued through that singularity by any continuous Lorentzian metric, even when the embedding is only C1 and the ambient metric only C0. It first proves a purely metric obstruction: if two radial integrals converge, the time-to-fiber warp ratio is monotone, and the time warp factor diverges, then no extension can contain a boundary point approached along r=0. It then shows that the canonical one-horizon Birmingham-Kottler spacetimes with nonpositive cosmological constant and arbitrary closed Einstein fibers satisfy these hypotheses, once every boundary-approaching finite timelike geodesic is forced to end at r=0. A sympathetic reader should care because this yields C0-inextendibility for a broad family of black-hole spacetimes, including Schwarzschild-Tangherlini, without assuming fiber homogeneity, orientability, or simple connectivity.

What carries the argument

The central mechanism is the radial compression of terminal causal traces. Given a causal curve ending at r=0, the map φε defined by B(φε(r)) = ϑ(B(r) - B(ε)) moves the limiting fiber trace from r=0 to a positive radial level while multiplying the angular contribution to the causal inequality by ϑ² and the time contribution by at most the same factor; monotonicity of b/c controls the time term. This produces a compact chronological separator in an adapted boundary chart, and translations in t then give points on radial slices whose intrinsic distance grows without bound while their chart distance stays bounded. In the global step, the conserved quantities E and J from the static Killing fiel

What would settle it

Produce a C1 embedding of the four-dimensional Schwarzschild-Tangherlini spacetime into a continuous Lorentzian manifold as a proper open subset; such an extension would directly refute the global claim. Short of that, construct a warped product satisfying the three local hypotheses and then exhibit a continuous extension through r=0, which would isolate the local obstruction as the false step.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem A: a warped product (0,R) × R × Σ with metric -a(r)^2 dr^2 + b(r)^2 dt^2 + c(r)^2 γΣ admits no continuous Lorentzian extension through a future boundary point approached by a timelike curve with r→0, provided A = ∫ a/b, B = ∫ a/c converge, b/c is nonincreasing, and b(r)→∞ as r→0. Theorem B then asserts that the canonical one-horizon Birmingham-Kottler spacetime (n≥3, m>0, Λ≤0, k=1 if Λ=0, and Ric_{γΣ}=(n-2)kγΣ) is C0-inextendible. The proof forces every finite-length timelike geodesic that leaves compact sets in a putative extension to reach the singular end, where the local obstruction applies.

Load-bearing premise

The load-bearing premise is that every continuous extension necessarily supplies a finite-length causal maximizer ending at the future boundary; if the imported low-regularity maximizer result fails at C0 regularity with a C1 embedding, the proof never produces the boundary-approaching timelike geodesic that the local obstruction is aimed at.

Editorial extensions

If this is right

Every canonical one-horizon Birmingham-Kottler vacuum with Λ≤0 and any closed connected fiber satisfying the Einstein condition is C0-inextendible, without homogeneity, orientability, or simple connectivity assumptions.
This includes the Schwarzschild-Tangherlini spacetimes in every dimension n≥3 as the k=1, Λ=0 case.
The local obstruction applies to any warped product satisfying the three integral/monotonicity/blow-up hypotheses, independent of the field equations and of fiber isometries.
In any putative extension, a boundary-approaching future causal maximizer must be a timelike geodesic whose proper-time end lies at r=0; regular, horizon, and asymptotic ends are all excluded.
Near the singular end, the remaining proper time scales like r^{n/2} for radial geodesics and r^{(n+2)/2} when angular momentum is nonzero, so the singularity is reached in finite proper time.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The radial-compression technique looks transferable to warped singularities where the fiber is not homogeneous, provided a quantitative replacement for the monotonicity of b/c can be found; the proof uses monotonicity only to bound the time contribution, so a sharpened hypothesis may preserve the conclusion.
Because the local theorem uses no field equation, it suggests a purely causal characterization of spacelike-singularity inextendibility: integrability of the longitudinal and angular causal budgets plus divergence of one warp factor, rather than curvature blow-up, may be the operative obstruction.
It would be natural to test the same criterion on charged or multi-horizon warped products; the paper itself flags repeated horizon crossings for nonsymmetric fibers as the main open global input, and the local obstruction would still apply to whichever end the maximizer reaches.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's my take. The genuinely new thing is the local obstruction in Theorem A: the radial compression argument replaces the rotational deformation in Sbierski's spacelike diameter, and it works for any closed fiber. That is not present in the literature I know, and the proof looks self-consistent. I spot-checked the key estimates—the compression bound (3.22), the coefficient asymptotics (4.72)–(4.75), and the monotonicity check (4.75)—and they are correct. The geodesic-end classification in Proposition 4.6 is also careful and covers the cases you need, including the bifurcation fiber.

The soft spot is exactly where your reader put it: the route from a C^0 extension to a boundary-approaching timelike geodesic passes through two imported theorems, Minguzzi–Suhr and Sbierski's graph proposition. The paper says the hypotheses are satisfied, but it does not spell out why. That matters because if either theorem needs a stronger causality or completeness condition than a C^1 embedding with continuous metric supplies, Lemma 2.8 does not deliver the geodesic. I don't think this is a fatal flaw—both are published theorems and the settings look close—but a referee should insist on a precise verification, or a short direct proof for this setting, before the global claim is accepted.

The other caveat: the claimed separation from Mosani [9] is asserted but not demonstrated in detail. For a novelty claim, the author should say exactly which assumptions are dropped and why Mosani's method does not already give the same result. The reader could not verify this, and neither could I from this text.

Minor technical points—Lemma 3.7's notation and the curve-extension regularity in Lemma 3.4—should be cleaned up, but they are not load-bearing.

Overall: the local theorem and the application are substantial, and the central argument holds up as far as I can tell. The conditional verdict is fair; the external black boxes are the main uncertainty. This paper deserves a serious referee and probably acceptance after the hypothesis verification is tightened.

I'd cite it if I worked on low-regularity inextendibility.

Referee Report

2 major / 3 minor

Summary. The paper establishes a local obstruction to C^0 Lorentzian extensions at warped spacelike singularities (Theorem A) and then uses it, together with a classification of finite timelike geodesic ends, to prove that the canonical one-horizon Birmingham--Kottler spacetime is C^0-inextendible (Theorem B). The local criterion involves finiteness of two radial integrals, monotonicity of b/c, and divergence of b; the proof develops a radial compression of terminal causal traces that avoids requiring symmetries of the fiber. The global part constructs a Kruskal-type extension of the Birmingham--Kottler metric, derives the geodesic first integrals (4.39)--(4.41), classifies all finite proper-time ends in Proposition 4.6, and concludes via the local theorem that any boundary-approaching timelike geodesic from a putative extension must approach the singular end r=0, which is excluded.

Significance. If the two imported external theorems are correctly applicable, the results are significant: Theorem A gives a derivative-free obstruction to C^0 extensions for a broad class of warped singularities with arbitrary closed fibers, removing symmetry, orientability, and simple-connectivity assumptions that appear in earlier work. Theorem B extends known C^0-inextendibility results beyond maximal Schwarzschild to a one-horizon Birmingham--Kottler family with nonpositive cosmological constant. The paper's own computations are explicit and parameter-free: the compression estimate (3.22) follows from (3.18) and the monotonicity of b/c, the Kruskal construction in Proposition 4.1 is self-contained, the geodesic-end classification in Proposition 4.6 is a genuine ODE analysis, and the asymptotics (4.72)--(4.75) are correct. The main weakness is not in the internal geometry but in the unverified hypotheses of the two cited low-regularity results on which the proof of Theorem B depends.

major comments (2)

[§2.3, Lemma 2.7] The central bridge from a C^0 extension to a boundary-approaching timelike geodesic is delegated to Minguzzi--Suhr [8, Thm 2.3]. The proof asserts that the hypotheses of that theorem are satisfied because (M,F) is a 'C^0 proper Lorentz-Finsler space' and (M~,F~) is an 'extension', but the hypotheses of [8, Thm 2.3] are never stated and no item-by-item verification is given. In particular, the term 'proper' may impose conditions beyond continuity of the cones and of F, such as a causal-convexity or compactness condition on the embedded domain, and the definition of 'extension' in [8, Section 2] may require more than a C^1 isometric embedding with open image. Since Lemma 2.8 -- and hence Theorem B -- would fail if either condition is missing, this unsupported assertion is load-bearing. The author should quote the theorem's hypotheses and verify them for Definition 2.1, or replace the citat
[§2.4, Lemma 2.10] The local boundary graph is imported from Sbierski [2, Prop 2.2]. The text states that the assumptions are 'exactly those available here' and gives a paragraph explaining the construction, but it does not list the hypotheses of [2, Prop 2.2] nor check them against Definition 2.1. In particular, the cited result may use a different notion of C^0 extension (e.g., a C^0 rather than C^1 embedding, or a different definition of future boundary), and may require global hyperbolicity in a specific form. The local theorem (Theorem 3.1 / Theorem A) depends on this graph to localize the boundary and to control the lens in the proof. The author should either state and verify the hypotheses of [2, Prop 2.2] or prove the Lipschitz graph statement directly.

minor comments (3)

[§4.3, Eq. (4.54)] In the dynamic-quadrant case, r<r_h by definition, so the alternative r_b∈(r_h,∞) is impossible. The displayed set should be (0,r_h) (or (0,r_h) with r_b=r_h treated separately). This is a harmless typo but confuses the logical cases.
[§1.2 / §4, notation] The paper uses n where the total spacetime dimension is n+1; this is nonstandard and may confuse readers. A one-line clarification near (1.5), e.g., 'dim M = n+1, dim Σ = n−1', would help.
[§2.3, Lemma 2.7] The proof states that cone continuity and the properties of F make (M,F) a 'C^0 proper Lorentz-Finsler space' in the terminology of Minguzzi--Suhr. If this terminology is correct, a definitional footnote quoting [8, Def. 2.1] and confirming that 'proper' does not require precompact balls would remove the ambiguity raised in the main comment.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central derivation is self-contained; the cited external results are independent prior theorems, not self-citations or fitted inputs.

full rationale

Walking the derivation chain: Theorem A is proved directly for the generic warped metric (1.1)/(3.1), using the causal estimate (1.3), the radial compression construction (1.4)/(3.17), and metric-geometric contradiction arguments in Section 3. None of these steps defines the conclusion of Theorem A into its hypotheses. Theorem B is assembled from three independently proved blocks: the global Kruskal construction (Proposition 4.1), the geodesic-end classification (Proposition 4.6), and the local obstruction (Theorem 3.1). The geodesic first integrals (4.37)–(4.41) are derived from the Killing field and the warped-product geodesic equation, not imposed as a desired outcome. The endpoint classification in Proposition 4.6 is an ODE analysis of (4.40)–(4.41), with alternatives (i) and (ii) distinguished by the location of the terminal radial limit. The only load-bearing external inputs are Minguzzi–Suhr [8, Thm 2.3] in Lemma 2.7 and Sbierski [2, Prop 2.2] in Lemma 2.10, used to turn a putative C0 extension into a finite boundary-approaching timelike geodesic and to describe the boundary as a Lipschitz achronal graph. These are independent published theorems by non-overlapping authors; the paper's use of them is a hypothesis-match claim, not a derivation of the target result from itself. Whether the hypothesis match is fully verified is a correctness or robustness concern, not circularity. There are no fitted parameters, no subset fitting relabeled as prediction, no self-citations, no uniqueness claims imported from the present author's prior work, and no known result merely renamed. The reader-identified 'weakest assumption' is precisely the reliance on [8] and [2]; if those theorems fail to apply, the proof loses its bridge, but that is a dependency, not a circular loop.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters: the metric coefficients and proof constants are chosen by openness/compactness/existence arguments, not fitted to data. Two substantial external theorems from the low-regularity causality literature are used as black boxes (Minguzzi–Suhr [8], Sbierski [2]); remaining axioms are standard background and the paper's own stated hypotheses. No invented entities: the canonical Kruskal domain is a standard construction.

assumptions (6)

standard math Standard causal theory for C⁰ Lorentzian metrics: pullback causality, cone bounds, Lorentz distance for continuous metrics (Chruściel–Grant [10], Sämann [11]).
Used throughout Section 2 to define extensions, future/past boundary, and maximizers at C⁰ regularity.
domain assumption Minguzzi–Suhr Theorem 2.3 [8]: a C⁰ proper Lorentz-Finsler extension admits a finite positive-length locally maximizing causal curve approaching the boundary.
Lemma 2.7 invokes it as a black box; the global argument (Theorem B) cannot start without it.
domain assumption Sbierski Proposition 2.2 [2]: for a globally hyperbolic (M,g), a C⁰ extension has future boundary locally a Lipschitz achronal graph over spatial coordinates.
Lemma 2.10 uses it to obtain the boundary graph and the 'stay below the graph' property that powers the separator construction in the proof of Theorem 3.1.
standard math O'Neill's warped-product Ricci identities and the Lorentzian Gauss lemma in convex normal neighborhoods [12].
Used in Prop. 4.3 (Ricci computation) and Lemma 2.6 (local maximizers are geodesics).
standard math Basic smooth Lorentzian geometry: every point has a future-direction; a future causal curve converging to a point of the manifold is extendible.
Used in Lemma 3.4(i) to show the level sets are Cauchy once every inextendible curve has r→0.
domain assumption Theorem hypotheses: (Σ,γ) closed connected; Ric_γΣ=(n−2)kγΣ for the global Einstein statement; n≥3, m>0, Λ≤0, k∈{-1,0,1}, k=1 if Λ=0.
These delimit the physical family in Theorem B; Theorem A itself needs only closed connected Σ and the three warp conditions (3.3).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Warped Spacelike Singularities and the $C^0$-Inextendibility of Birmingham-Kottler Spacetimes." pith.science (2026). https://pith.science/paper/4OHN36G4

@misc{pith2026260714741,
  author       = {Pith},
  title        = {Pith review of: Warped Spacelike Singularities and the $C^0$-Inextendibility of Birmingham-Kottler Spacetimes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4OHN36G4}},
  note         = {Machine review of arXiv:2607.14741}
}

abstract

We establish a local obstruction to continuous Lorentzian extensions at a class of warped spacelike singularities. The criterion is expressed through two integrability conditions, a monotonicity condition on the relative warp factors, and divergence of the longitudinal factor; it does not require any symmetry of the closed fiber. The main geometric step is a radial compression of terminal causal traces, which replaces the rotational deformation available in spherical symmetry. The compression yields a compact chronological separator in an adapted boundary chart. Longitudinal translations then produce radial-slice distances that diverge intrinsically while remaining uniformly controlled in the extension chart. Next, we construct the canonical one-horizon Birmingham-Kottler spacetime in global Kruskal coordinates and classify all finite proper-time ends of its timelike geodesics. Every boundary-approaching finite maximizer supplied by a putative extension is thereby forced to the singular end. The local obstruction and the geodesic classification imply $C^0$-inextendibility for the one-horizon Birmingham-Kottler family with nonpositive cosmological constant and every closed connected fiber satisfying $\text{Ric}_{\gamma_\Sigma}=(n-2)k\gamma_\Sigma$, without assumptions of homogeneity, orientability, or simple connectivity.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 5 canonical work pages

[9]

$C^0$-inextendibility of a class of warped-product black hole spacetimes

Mosani, K.:C 0-inextendibility of a class of warped-product black hole spacetimes. arXiv:2606.25755 [math.DG] (2026).https://doi.org/10.48550/arXiv.2606.25755

work page Pith review arXiv doi:10.48550/arxiv.2606.25755 2026
[1]

Sbierski, J.: TheC 0-inextendibility of the Schwarzschild spacetime and the spacelike diameter in Lorentzian geometry. J. Differential Geom.108, 319-378 (2018).https://doi.org/10.4310/JDG/1518490820

arXiv 2018
[2]

Sbierski, J.: On the proof of theC0-inextendibility of the Schwarzschild spacetime. J. Phys. Conf. Ser.968, 012012 (2018).https://doi.org/10.1088/1742-6596/968/1/012012

work page doi:10.1088/1742-6596/968/1/012012 2018
[3]

Galloway, G.J., Ling, E.: Some remarks on theC0-(in)extendibility of spacetimes. Ann. Henri Poincaré18, 3427-3447 (2017).https://doi.org/10.1007/s00023-017-0602-1

doi:10.1007/s00023-017-0602-1 2017
[4]

Galloway, G.J., Ling, E., Sbierski, J.: Timelike completeness as an obstruction toC0-extensions. Commun. Math. Phys.359, 937-949 (2018).https://doi.org/10.1007/s00220-017-3019-2

work page doi:10.1007/s00220-017-3019-2 2018
[5]

Kottler, F.: Über die physikalischen Grundlagen der Einsteinschen Gravitationstheorie. Ann. Phys. (Leipzig) 361, 401-462 (1918).https://doi.org/10.1002/andp.19183611402

work page doi:10.1002/andp.19183611402 1918
[6]

Birmingham, D.: Topological black holes in anti-de Sitter space. Class. Quantum Gravity16, 1197-1205 (1999). https://doi.org/10.1088/0264-9381/16/4/009

doi:10.1088/0264-9381/16/4/009 1999
[7]

Nuovo Cimento27, 636-651 (1963).https://doi.org/10.1007/BF02784569

Tangherlini, F.R.: Schwarzschild field inndimensions and the dimensionality of space problem. Nuovo Cimento27, 636-651 (1963).https://doi.org/10.1007/BF02784569

doi:10.1007/bf02784569 1963

Show all 12 references

[8]

Minguzzi, E., Suhr, S.: Some regularity results for Lorentz-Finsler spaces. Ann. Global Anal. Geom.56, 597-611 (2019).https://doi.org/10.1007/s10455-019-09681-w

2019 doi
[10]

Chruściel, P.T., Grant, J.D.E.: On Lorentzian causality with continuous metrics. Class. Quantum Gravity29, 145001 (2012).https://doi.org/10.1088/0264-9381/29/14/145001

2012 doi
[11]

Sämann, C.: Global hyperbolicity for spacetimes with continuous metrics. Ann. Henri Poincaré17, 1429-1455 (2016).https://doi.org/10.1007/s00023-015-0425-x

2016 doi
[12]

Pure and Applied Mathematics, vol

O’Neill, B.:Semi-Riemannian Geometry with Applications to Relativity. Pure and Applied Mathematics, vol. 103. Academic Press, New York (1983). Theoretical Physics Laboratory, Theoretical High Energy Physics Research Division, F aculty of Mathematics and Natural Sciences, Insti...

1983

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [9]

$C^0$-inextendibility of a class of warped-product black hole spacetimes

Mosani, K.:C 0-inextendibility of a class of warped-product black hole spacetimes. arXiv:2606.25755 [math.DG] (2026).https://doi.org/10.48550/arXiv.2606.25755

work page Pith review arXiv doi:10.48550/arxiv.2606.25755 2026

[2] [1]

Sbierski, J.: TheC 0-inextendibility of the Schwarzschild spacetime and the spacelike diameter in Lorentzian geometry. J. Differential Geom.108, 319-378 (2018).https://doi.org/10.4310/JDG/1518490820

arXiv 2018

[3] [2]

Sbierski, J.: On the proof of theC0-inextendibility of the Schwarzschild spacetime. J. Phys. Conf. Ser.968, 012012 (2018).https://doi.org/10.1088/1742-6596/968/1/012012

work page doi:10.1088/1742-6596/968/1/012012 2018

[4] [3]

Galloway, G.J., Ling, E.: Some remarks on theC0-(in)extendibility of spacetimes. Ann. Henri Poincaré18, 3427-3447 (2017).https://doi.org/10.1007/s00023-017-0602-1

doi:10.1007/s00023-017-0602-1 2017

[5] [4]

Galloway, G.J., Ling, E., Sbierski, J.: Timelike completeness as an obstruction toC0-extensions. Commun. Math. Phys.359, 937-949 (2018).https://doi.org/10.1007/s00220-017-3019-2

work page doi:10.1007/s00220-017-3019-2 2018

[6] [5]

Kottler, F.: Über die physikalischen Grundlagen der Einsteinschen Gravitationstheorie. Ann. Phys. (Leipzig) 361, 401-462 (1918).https://doi.org/10.1002/andp.19183611402

work page doi:10.1002/andp.19183611402 1918

[7] [6]

Birmingham, D.: Topological black holes in anti-de Sitter space. Class. Quantum Gravity16, 1197-1205 (1999). https://doi.org/10.1088/0264-9381/16/4/009

doi:10.1088/0264-9381/16/4/009 1999

[8] [7]

Nuovo Cimento27, 636-651 (1963).https://doi.org/10.1007/BF02784569

Tangherlini, F.R.: Schwarzschild field inndimensions and the dimensionality of space problem. Nuovo Cimento27, 636-651 (1963).https://doi.org/10.1007/BF02784569

doi:10.1007/bf02784569 1963