{"id":"9b833ae7-6f01-4793-89a8-9b6fad3b45db","arxiv_id":"2504.16790","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"An explicit, singularity-free exterior for a four-dimensional toroidal black hole is constructed by gluing a locally vacuum Rindler tube to Minkowski space through an interpolating matter region, with energy condition violations shown to be unavoidable.","lead":"The paper builds the first explicit four-dimensional spacetime with a torus-shaped black hole horizon and a smooth exterior, using a flat interior patch, an exotic matter layer, and a matching to flat space. It matters as a concrete test of how general relativity bends topology restrictions when energy conditions are allowed to fail.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The event-horizon interpretation of the Rindler tube's ℓ=0 boundary is not established by a global causal analysis; local Rindler character alone does not imply a black hole horizon.","rationale":"The reader's weakest assumption already identifies the same load-bearing concern: the unproven identification of the Rindler tube's ℓ=0 surface as a true event horizon of the completed spacetime. This concern is not manufactured; the paper explicitly relies on the local infinite-redshift criterion from Weyl coordinates and on the flat Rindler embedding, but never performs a global causal analysis. The distinction matters because in Minkowski space the analogous surface is an acceleration horizon, and whether the matching to an asymptotically flat exterior converts it into a genuine event horizon requires checking J⁻(I⁺) globally. This is precisely the kind of premise on which the central 'first toroidal black hole' claim rests. I see no internal inconsistency in the local computations: the Darmois-Israel matching, the energy-condition violations, and the polynomial ansatz are all coherent as far as they go, and the paper gives separate credit to the xAct check for the tensor algebra. The gap is global causality, not local geometry. The proposed test is concrete because all three regions are explicit and the null geodesic equations in the flat regions are integrable, so the causal boundary can be computed analytically or with a standard ODE integration; it would settle whether the construction is a black hole or merely a locally Rindler tube matched to a flat exterior. Since the reader already conditions the verdict on exactly this analysis, my stress-test does not change the verdict.","tokens_in":17533,"tokens_out":26189,"duration_ms":278163,"concrete_test":"Using the explicit ansatz (4.37), construct the conformal diagram of the glued spacetime. Concretely: (i) solve the radial null geodesic equations in region Ω3 and verify that every future-directed null geodesic starting at any ℓ>0 reaches the matching surface L− and continues through Ω2 and Σ+ to I⁺; (ii) extend the flat Rindler region across ℓ=0 into the future wedge (the would-be interior) and check whether any future-directed null geodesic from that wedge can reach the exterior I⁺; (iii) determine whether ℓ=0 is exactly the boundary of J⁻(I⁺). If the boundary is ℓ=0, the black-hole interpretation holds. If any causal curve from the interior reaches I⁺, the surface is merely a local or acceleration horizon and the central claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the matched three-region spacetime is a toroidal black hole free of singularities in the external region. That claim requires ℓ=0 to be the future event horizon H⁺ = ∂J⁻(I⁺) of the complete spacetime. The paper identifies horizons with infinite-redshift surfaces in Weyl coordinates (Sec. 2.1) and notes that the inner region is locally flat Rindler spacetime via Eqs. (2.8)-(2.10). But in the flat-space embedding, the analogous ℓ=0 surface is an acceleration horizon whose null generators reach Minkowski future null infinity; local Rindler character therefore does not by itself imply an event horizon. The paper never computes the causal boundary of the glued manifold, never constructs its Penrose diagram, and leaves the would-be interior beyond ℓ=0 unspecified while treating ℓ=0 as the horizon. Because the abstract explicitly claims 'the first explicit example of a toroidal black hole,' this unproven global causal premise is load-bearing: if ℓ=0 is not ∂J⁻(I⁺), the construction is an exotic static axisymmetric spacetime with a Rindler tube, but not a black hole.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs static, axisymmetric four-dimensional spacetimes intended to describe toroidal black holes. The spacetime is built by matching three regions: an exterior flat Minkowski region with a torus removed (Omega_1), an intermediate region with an anisotropic fluid interpolating between a curved torus and a flat torus (Omega_2), and an interior Rindler tube with toroidal sections (Omega_3). The Darmois-Israel junction conditions are used to compute distributional energy-momentum tensors on the matching surfaces, and the energy conditions are analyzed, with particular attention to null and weak energy condition violations near the external shell. The authors claim that this is the first explicit example of a four-dimensional toroidal black hole free of singularities in the external region.","tokens_in":17740,"tokens_out":19871,"duration_ms":194788,"significance":"If the construction is a genuine black hole spacetime, it would be a valuable explicit model of a toroidal horizon in four dimensions, complementing the local Geroch-Hartle classification and demonstrating how Hawking's topology theorem is satisfied through energy-condition violations in the exterior. The Darmois-Israel computations appear internally consistent, the boundary conditions of the explicit ansatz (4.37) check out, and the energy-condition analysis in Sec. 4 is rigorous and supported by asymptotic expansions. However, the central black-hole interpretation rests on an unproven global causal premise, which is the main weakness of the manuscript.","major_comments":[{"comment":"The central claim that the matched spacetime is a toroidal black hole is not supported by a global causal analysis. Section 2.1 equates event horizons with infinite-redshift surfaces, and Sections 3.2-3.3 treat the ℓ=0 boundary of the Rindler tube as the horizon without proving that this surface is ∂J⁻(I⁺) of the complete spacetime. In the flat-space embedding of Eqs. (2.9)-(2.10), the analogous surface is an acceleration horizon whose null generators reach future null infinity, so local Rindler character alone does not identify a black hole horizon. The authors should either extend the spacetime across ℓ=0 and prove that ℓ=0 is indeed the boundary of the causal past of the exterior's future null infinity, or explicitly adopt a local definition of 'horizon' and adjust the abstract's 'black hole' claim accordingly.","section":"Sec. 2.1; Sec. 3.2; Sec. 3.3"},{"comment":"The spacetime as defined comprises only ℓ>0, leaving the interior beyond ℓ=0 unspecified. Consequently, the manifold is geodesically incomplete at ℓ=0, and the 'horizon' is a boundary of the manifold rather than a regular null surface contained in the spacetime. To be a complete black hole solution, the authors need to specify a maximal extension across ℓ=0 and analyze the causal structure of the extended spacetime. Without this, the construction is at best a regular exterior with a would-be horizon, not a complete black hole spacetime.","section":"Sec. 3.2; Sec. 3.3"}],"minor_comments":[{"comment":"The notation '∂ℓF(L+,β +)' appears to contain a stray plus sign; it should read ∂ℓF(L+,β) for the limit ℓ↗L+.","section":"Eq. (3.37)"},{"comment":"The sentence 'For the plots, we took L− = 1 L+ = 10' is missing a comma; it should read 'L− = 1, L+ = 10'.","section":"Fig. 8 and Fig. 9 captions"},{"comment":"The phrase 'the suppressed terms are order 1 in β−π and/or order 1 in ℓ−L+' is imprecise; it should state that the suppressed terms are O(1) as β→π and ℓ→L+.","section":"Proof of Lemma 1"},{"comment":"The paper states that the xAct notebook is 'available upon request'; making it publicly available (e.g., as ancillary files) would strengthen reproducibility.","section":"Acknowledgments"},{"comment":"The statement that 'the event horizon of a static configuration corresponds to a surface of infinite redshift' is a coordinate-dependent local characterization; given the central claim of the paper, the authors should emphasize that this is not by itself a proof of a global event horizon.","section":"Sec. 2.1"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and the local construction is carefully executed. The decisive issue is the global causal interpretation: the authors must either extend the spacetime across ℓ=0 and prove the horizon property, or soften the claim. I recommend major revision rather than rejection because the local construction is sound and the missing global analysis may be addressable within the manuscript's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The construction is real and the mathematics checks out, but the paper's central claim—that this is a toroidal black hole—rests on a global causal identification that they never actually prove. The three-region matching is a legitimate piece of exact-solutions work: flat exterior with a torus removed, an interpolating anisotropic-fluid region, and an inner Rindler tube with toroidal sections. The Darmois-Israel junction conditions in Sec. 3 are worked carefully, the boundary conditions on the polynomial ansatz (4.37) hold, and the WEC/NEC violation asymptotics in Theorem 2 are supported by the expansions. The proof that a single flat-to-curved torus shell is impossible (Sec. 3.1) is clean and worth stealing for lectures.\n\nThe novelty is real. Peters's earlier attempt had naked singularities in the exterior; the Λ≠0 solutions are not locally vacuum; the five-dimensional phantom-brane examples are not 4D. This is the first explicit four-dimensional locally-vacuum toroidal horizon with a regular asymptotically-flat exterior, as far as the cited literature shows. The authors are appropriately careful about the energy-condition violations, and they correctly interpret them as required by Hawking's theorem.\n\nThe soft spot is precisely the event-horizon identification. In Sec. 2.1 they equate infinite-redshift surfaces in Weyl coordinates with event horizons. For the matched spacetime they never compute the causal boundary, never construct the Penrose diagram, and never specify what lies beyond ℓ=0. In the flat embedding, the Rindler ℓ=0 surface is an acceleration horizon, not an event horizon. To claim 'first explicit example of a toroidal black hole,' they need to show that ℓ=0 is ∂J⁻(I⁺) of the completed spacetime, or at least explicitly define the interior extension. Without that, the construction is an exotic static axisymmetric spacetime with a Rindler tube and a boundary—not yet a black hole.\n\nThat said, the gap is fixable, and the paper is not sloppy. It is a genuinely useful construction. I'd send it to a referee with a request that the authors either provide a global causal analysis or soften the abstract to 'locally vacuum toroidal horizon with regular exterior.' The xAct notebook being only 'available upon request' is a minor reproducibility ding; a public notebook would be better.\n\nVerdict: this deserves peer review, not desk rejection. The referee should focus on the global horizon question and the completeness of the spacetime across ℓ=0.","headline":"A real and novel construction, but the event-horizon claim needs a global causal proof before it earns the title 'toroidal black hole'.","tokens_in":18322,"tokens_out":2728,"would_cite":true,"duration_ms":26072,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims to have constructed the first four-dimensional, asymptotically flat black hole with a toroidal event horizon and no singularities outside the horizon, by matching a Minkowski exterior to a locally vacuum Rindler tube…","keywords":["toroidal black hole","event horizon topology","energy conditions","thin shells","Darmois-Israel junction conditions","Weyl coordinates","Rindler metric","asymptotically flat spacetime"],"falsifier":"Compute the causal past of future null infinity for the matched spacetime, for example by numerical null-geodesic integration from the outer shell inward: if the $\\ell=0$ surface is not its boundary, or if null rays from the $\\ell<0$ region reach the asymptotic flat exterior, then the constructed spacetime is not a black hole but a flat tube with an acceleration horizon, and the central claim collapses.","tokens_in":17247,"feed_emoji":"🕳️","tokens_out":10460,"duration_ms":89716,"temperature":0.7,"pith_summary":"The paper sets out to build the first explicit four-dimensional black hole spacetime whose event horizon has the topology of a torus and whose exterior region is completely free of singularities. The construction works by gluing an exterior flat region (Minkowski space with a solid torus removed) to an interior flat 'Rindler tube'—a locally vacuum geometry with toroidal spatial sections—through an intermediate region filled with a non-trivial anisotropic fluid and bounded by thin shells. The authors prove that such a matching cannot be done with a single thin shell, provide an explicit two-shell interpolation, and show that the internal shell can be eliminated while the external one remains unavoidable for their family of geometries. They also identify where the energy conditions fail, proving that the weak and null energy conditions are violated near the outer shell, consistent with the classical theorem that non-spherical horizon topologies require such violations. If correct, this resolves a long-standing gap by demonstrating that non-spherical black holes in four dimensions can exist in asymptotically flat space without naked singularities.","feed_headline":"First toroidal black hole in 4D with no exterior singularity","feed_subtitle":"Matching a flat tube to Minkowski space through matter shells yields a regular, asymptotically flat torus-shaped horizon.","key_machinery":"The load-bearing object is the matched three-layer metric: an exterior flat region with a torus removed, an interpolating region with line element $ds^2=-H(\\ell)d\\tau^2+d\\ell^2+F(\\ell,\\beta)d\\alpha^2+b^2d\\beta^2$, and an interior Rindler tube. The argument is carried by the standard junction conditions, which fix the thin-shell energy-momentum tensors on the two matching surfaces; the key explicit result is Lemma 1 and Theorem 2, which show that the scalar $Z_\\vartheta$ obtained by contracting the Einstein tensor with the vector field $H(\\ell)^{-1/2}\\partial_\\tau + \\vartheta b^{-1}\\partial_\\beta$ is asymptotically negative near $(\\ell,\\beta)=(L_+,\\pi)$, implying weak and null energy condition violations there. The impossibility of a single-shell matching is proven by the geometric fact that a flat torus cannot be embedded $C^2$-isometrically in Euclidean 3-space, so the induced metrics from the two sides would differ.","core_discovery":"The central claim is that the three-region matched spacetime—Minkowski exterior minus a torus, the interpolating region with metric $ds^2 = -H(\\ell)d\\tau^2 + d\\ell^2 + F(\\ell,\\beta)d\\alpha^2 + b^2d\\beta^2$, and the Rindler tube—provides the first explicit example of a four-dimensional toroidal black hole free of curvature singularities in the external region. The interior tube is locally vacuum and its $\\ell=0$ boundary is identified as the event horizon; the matching surfaces $\\Sigma_-$ and $\\Sigma_+$ are the only places, together with the interpolating region, where matter (including thin-shell distributional matter) is present. The authors further claim that the external thin shell cannot be removed within the class of geometries they consider, while the internal shell can be suppressed by a suitable choice of interpolating functions, and that energy-condition violations are generically concentrated near the outer shell at the point $\\beta=\\pi$ (the inner equator of the torus).","pith_inferences":["Extension: if the $\\ell=0$ surface is confirmed to be a true event horizon of the glued spacetime (the causal boundary of the past of future null infinity), the construction extends the no-hair paradigm beyond spherical topology in a direction the authors do not develop dynamically.","Extension: the same interpolation strategy could be adapted to replace the flat exterior with an asymptotically flat Schwarzschild or Curzon exterior, which the authors mention only as future work; a testable consequence would be a one-parameter family of toroidal black holes with tunable mass and torus parameters.","Extension: the persistence of null-energy-condition-violating matter near the inner equator $\\beta=\\pi$ suggests that any regular torus-to-flat transition must have a local negative-energy region there, a feature that numerical searches for such spacetimes could look for.","Extension: linear stability of the shells and fluid is not analyzed here; a natural follow-up would be a perturbation analysis of the matched construction."],"forward_implications":["A direct corollary is that a toroidal black hole horizon in four dimensions does not force a naked singularity outside, provided the exterior contains matter that violates the null and weak energy conditions.","The internal thin shell can be removed by imposing $H'(L_-)=2/L_-$ and $\\partial_\\ell F(L_-,\\beta)=0$, making the construction rely on a single unavoidable external shell.","In any geometry of the form $ds^2=-H(\\ell)d\\tau^2+d\\ell^2+F(\\ell,\\beta)d\\alpha^2+b^2d\\beta^2$ satisfying the hypotheses, weak energy condition violations occur in an open set arbitrarily close to the outer shell at $\\beta=\\pi$; if additionally $H'(L_+)=H''(L_+)=0$, the null energy condition is violated there.","The polynomial ansatz (4.37) provides an explicit, fully regular example of the construction, with the matter content consisting of a type-I anisotropic fluid plus the external shell.","The matching requires $b=m$ (equating the tube radius to the Rindler transverse period parameter), which is a necessary condition for the internal shell to have zero induced curvature mismatch."],"supporting_citations":[{"why":"Supplies the theorem that non-spherical horizon topologies require energy-condition violations, which motivates the paper's construction and its energy-condition analysis.","marker":"[4]"},{"why":"Characterizes locally vacuum static axisymmetric toroidal black holes, providing the interior Rindler tube geometry used as the black hole region.","marker":"[5]"},{"why":"Gives the first static axisymmetric vacuum solution with toroidal topology, the starting point for previous attempts.","marker":"[7]"},{"why":"Shows that the previous Thorne-based construction necessarily produces external singularities, the obstacle this paper overcomes.","marker":"[8]"},{"why":"Supplies the junction-condition formalism (Darmois) used to match the three regions.","marker":"[16]"},{"why":"Gives the Israel thin-shell formalism used to compute the distributional energy-momentum tensors on the matching surfaces.","marker":"[17]"},{"why":"Establishes that an external matter distribution determines the shape of the horizon in static axisymmetric configurations, justifying the need for an interpolating matter region.","marker":"[2]"}],"fun_headline_variants":["First 4D toroidal black hole with singularity-free exterior","Matched spacetime shells yield torus-horizon black hole in 4D","Torus-shaped black hole in 4D with no exterior singularities","First explicit toroidal black hole solution in 4D, regular outside"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction treats the $\\ell=0$ surface of the interior Rindler tube as the event horizon of the full matched spacetime, yet it never proves that this surface is the boundary of the causal past of future null infinity for the glued manifold, where the analogous flat-embedding surface is merely an acceleration horizon.","fun_headline_variants_meta":{"raw":{"variants":["First 4D toroidal black hole with singularity-free exterior","Matched spacetime shells yield torus-horizon black hole in 4D","Torus-shaped black hole in 4D with no exterior singularities","First explicit toroidal black hole solution in 4D, regular outside"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000465,"raw_usage":{"total_tokens":2299,"prompt_tokens":897,"completion_tokens":1402,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":1323}},"tokens_in":513,"tokens_out":1402,"duration_ms":10623,"temperature":1.0,"reasoning_tokens":1323,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:00:15.473918+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the causal past of future null infinity for the matched spacetime, for example by numerical null-geodesic integration from the outer shell inward: if the $\\ell=0$ surface is not its boundary, or if null rays from the $\\ell<0$ region reach the asymptotic flat exterior, then the constructed spacetime is not a black hole but a flat tube with an acceleration horizon, and the central claim collapses.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Characterizes locally vacuum static axisymmetric toroidal black holes, providing the interior Rindler tube geometry used as the black hole region."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the first static axisymmetric vacuum solution with toroidal topology, the starting point for previous attempts."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows that the previous Thorne-based construction necessarily produces external singularities, the obstacle this paper overcomes."},{"cited_title":"Darmois,Les équations de la gravitation einsteinienne","cited_arxiv_id":null,"evidence_quote":"Supplies the junction-condition formalism (Darmois) used to match the three regions."},{"cited_title":"Israel,Singular hypersurfaces and thin shells in general relativity, Il Nuovo Cimento B (1965-1970) 44 (1966) 1–14","cited_arxiv_id":null,"evidence_quote":"Gives the Israel thin-shell formalism used to compute the distributional energy-momentum tensors on the matching surfaces."},{"cited_title":"No-hair and almost-no-hair results for static axisymmetric black holes and ultracompact objects in astrophysical environments","cited_arxiv_id":"2410.08128","evidence_quote":"Establishes that an external matter distribution determines the shape of the horizon in static axisymmetric configurations, justifying the need for an interpolating matter region."}],"review_version":1}