{"id":"4e07e824-f8db-4011-b2f8-f83d15982977","arxiv_id":"2607.14741","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every one-horizon Birmingham–Kottler spacetime with nonpositive cosmological constant and any closed Einstein fiber satisfying Ric=(n−2)kγ is C⁰-inextendible.","lead":"Birmingham–Kottler black-hole spacetimes with arbitrary closed Einstein fibers are shown to admit no continuous (C⁰) extension through their singularity, even when the extra dimensions are not symmetric or homogeneous. The proof rests on a new local test for warped spacelike singularities that replaces rotational symmetry with a radial-compression argument, opening a symmetry-free route to C⁰-inextendibility.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem B rests on two unverified external black boxes: Minguzzi–Suhr [8, Thm 2.3] and Sbierski [2, Prop 2.2]; if either has hidden hypotheses, the boundary-approaching geodesic route collapses.","rationale":"The reader identified the same load-bearing concern: the proof of Lemma 2.8 and Lemma 2.10 depends on two imported results whose hypotheses are asserted but not re-proved. My independent pass through the manuscript found no internal mathematical error in the novel parts: the compression argument (Lemma 3.6), the separator construction in Theorem 3.1, the Kruskal coordinates (Proposition 4.1), the geodesic classification (Proposition 4.6), and the final application of the local theorem to the dynamic block all appear internally consistent. The algebraic estimates (4.72)–(4.75) are correct, and the logic of Theorem B is valid conditional on Lemma 2.8. Thus the correctness risk is concentrated exactly at the external dependency. This is not a disagreement with consensus or a matter of novelty; it is a gap in verification that cannot be closed from within the manuscript. The appropriate action is to maintain the CONDITIONAL verdict pending independent verification of the imported theorems. Since the reader's weakest assumption already captures this, my recommendation is UNCHANGED.","tokens_in":26147,"tokens_out":39263,"duration_ms":339037,"concrete_test":"Obtain the texts of Minguzzi–Suhr [8, Thm 2.3] and Sbierski [2, Prop 2.2]. For each, check every hypothesis against Definition 2.1: (i) is a C^1 isometric embedding with continuous ambient metric and continuous time orientation sufficient for an 'extension' in [8, Sec. 2]? (ii) does 'proper' Lorentz-Finsler require more than the local cone bounds of Lemma 2.3, such as global hyperbolicity or causal convexity of ι(M)? (iii) does [2, Prop 2.2] require the extension metric to be continuous and the embedded spacetime to be globally hyperbolic, and is the C^1 embedding compatible with its notion of C^0 extension? If either check exposes a gap, attempt to construct a C^0 extension of a warped product satisfying Theorem A's hypotheses that admits no boundary-approaching finite maximizer; this would falsify Lemma 2.8. If both checks pass, the conditional verdict can be upgraded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest point is not in the novel geometry (compression, geodesic classification) but in the bridge from a putative C^0 extension to a boundary-approaching finite timelike geodesic. Lemma 2.7 obtains such a maximizer by citing Minguzzi–Suhr [8, Thm 2.3], asserting only that (M~,F~) is a C^0 proper Lorentz-Finsler extension. The paper verifies the Lorentz-Finsler axioms on the cones, but it does not verify the specific hypotheses of [8, Thm 2.3]—e.g., whether 'proper' includes precompactness of balls or causal convexity of the embedded domain, or whether the theorem requires a causally simple/globally hyperbolic setting. Similarly, Lemma 2.10 cites Sbierski [2, Prop 2.2] for the Lipschitz achronal graph of the future boundary, claiming the hypotheses are 'exactly' those available. No proof of the hypothesis match is given. If either cited result demands a regularity or causality condition not satisfied by Definition 2.1 (C^1 embedding, continuous metric), then Lemma 2.8 may not produce any finite geodesic approaching the boundary, and Proposition 4.6 + Theorem A cannot be invoked. This is load-bearing because every subsequent contradiction in Theorem B uses that geodesic; the rest of the paper is internally consistent.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":26351,"tokens_out":30316,"duration_ms":293004,"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":[{"comment":"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","section":"§2.3, Lemma 2.7"},{"comment":"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.","section":"§2.4, Lemma 2.10"}],"minor_comments":[{"comment":"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.","section":"§4.3, Eq. (4.54)"},{"comment":"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.","section":"§1.2 / §4, notation"},{"comment":"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.","section":"§2.3, Lemma 2.7"}],"recommendation":"major_revision","confidential_remarks":"The core computations in the manuscript appear sound, and the geometric strategy is convincing. The only substantive issue is that the two external theorems -- Minguzzi--Suhr [8, Thm 2.3] and Sbierski [2, Prop 2.2] -- are load-bearing and their hypotheses are not verified in the text. This is fixable by quoting and checking the hypotheses, so I recommend major revision rather than rejection. I do not see a reason to doubt the internal derivations."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nThe 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.\n\nMinor 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.\n\nOverall: 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.\n\nI'd cite it if I worked on low-regularity inextendibility.","headline":"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.","tokens_in":26996,"tokens_out":2372,"would_cite":true,"duration_ms":25306,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C75","53C50","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"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","keywords":["C0-inextendibility","warped spacelike singularity","Birmingham-Kottler spacetime","continuous Lorentzian metric","timelike geodesic classification","Kruskal coordinates","warped product","Einstein vacuum"],"falsifier":"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.","tokens_in":25872,"feed_emoji":"🕳️","tokens_out":5255,"duration_ms":48989,"temperature":0.7,"pith_summary":"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.","feed_headline":"Birmingham-Kottler spacetimes resist every continuous extension","feed_subtitle":"A local obstruction at warped spacelike singularities, proved for arbitrary closed fibers, forces C0-inextendibility.","key_machinery":"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","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Birmingham-Kottler spacetimes show no C0-extension exists","Local obstruction at warped singularities ends all continuous extensions","One-horizon Birmingham-Kottler: C0-inextendible for arbitrary fibers","C0-inextendibility proven via radial compression of causal traces","Warped spacelike singularities block Lorentzian extensions continuously"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Birmingham-Kottler spacetimes show no C0-extension exists","Local obstruction at warped singularities ends all continuous extensions","One-horizon Birmingham-Kottler: C0-inextendible for arbitrary fibers","C0-inextendibility proven via radial compression of causal traces","Warped spacelike singularities block Lorentzian extensions continuously"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000424,"raw_usage":{"total_tokens":2043,"prompt_tokens":805,"completion_tokens":1238,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":549,"completion_tokens_details":{"reasoning_tokens":1151}},"tokens_in":549,"tokens_out":1238,"duration_ms":8880,"temperature":1.0,"reasoning_tokens":1151,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T01:16:04.885933+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}