Pith. sign in

REVIEW 3 major objections 4 minor 15 references

Static vacuum metrics in (4 + 1) dimensions with {\Lambda} < 0 and squashed conformal infinity

T0 review · 3 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read Numerical evidence that every squashed three-sphere conformal infinity admits a unique horizonless static vacuum fill-in and a one-parameter family of black-hole fill-ins in 5D AdS.

desk verdict A careful numerical-construction paper that likely delivers what it claims, but the universal 'every B̄0' rests on unverified numerics with no code or error analysis. read the letter →

arxiv 2607.22237 v1 pith:C6YYY66B submitted 2026-07-24 gr-qc hep-thmath.DG

Piotr T. Chruściel , Jiaxin Song , Raphaela Wutte , Maciej Maliborski , Klaus Kroencke This is my paper · ORCID
classification gr-qchep-thmath.DG
keywords conformalinfinitymetricssquashedstaticvacuumblackconstant
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 studies five-dimensional spacetimes that solve Einstein's equations with a negative cosmological constant — the setting of AdS/CFT. These spacetimes are static (time-independent) and have high symmetry: they are shaped like a squashed three-sphere, a sphere stretched in one direction. The authors choose an ansatz that reduces the ten Einstein equations to three ordinary differential equations for three functions of one coordinate. They then solve these equations numerically, starting from the center (for solutions without black holes) or from a black-hole horizon (for black-hole solutions), and integrating out to the boundary at infinity. The boundary metric is a squashed sphere, characterized by a single number B̄0. The numerics show that for every real value of B̄0 there is a unique smooth solution without a horizon, and a one-parameter family of black-hole solutions. Along the way, the paper discovers a phase transition in the 'holographic mass': this mass, which measures the energy seen from the boundary, can be positive, negative, or zero. In particular, the horizonless solutions exist with both positive and negative mass, and two distinct solutions share the same negative mass. The authors also study the limits of very strong squashing, where the geometry degenerates. The paper is honest that this is numerical evidence, not a proof: the authors explicitly state they did not attempt a rigorous existence proof. This is a natural next step in the program of constructing Einstein metrics with prescribed boundary data.
Extended reading notes

Core claim

For every squashing parameter B̄0 ∈ R, the conformal infinity (2.18) (an ultrastatic metric with squashed S^3 sections) admits a unique static vacuum fill-in without horizons and a one-parameter family of static vacuum fill-ins with a non-degenerate black-hole horizon, all within the SO(3)×U(1)-symmetric ansatz (2.6), as solutions of the ODE system (2.7)–(2.9). Additionally, the holographic mass of horizonless solutions takes both signs with a phase transition at B̄0 ≈ 0.726, and two distinct horizonless solutions share the same negative mass for m* ≈ −0.34764 < m < 0.

Load-bearing premise

The existence claims rest on numerical integrations of (2.7)–(2.9) from x=0 (or x=xh) to x=π/2. The paper gives no error bounds, no convergence studies, and no code, and the authors explicitly state that a proof of existence throughout the parameter range was not attempted. If the numerical solutions do not converge to genuine smooth solutions satisfying the Fuchsian boundary expansions (2.10)–(2.17), then the 'for any B̄0' conclusion is unsupported. This is a premise about the reliability of the computations, distinct from the geometric claim itself.

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.

Referee Report

3 major / 4 minor

Summary. The paper studies five-dimensional static vacuum metrics with negative cosmological constant Λ = −6, restricted to SO(3)×U(1)-symmetric metrics in the ansatz (2.6). The Einstein equations reduce to the ODE system (2.7)–(2.9). The authors construct numerically two families of conformally compact solutions: horizonless fill-ins and black-hole fill-ins, with conformal infinity given by an ultrastatic metric whose spatial sections are squashed three-spheres, parameterized by B̄0 ∈ R. They claim that for every B̄0 there is a unique horizonless solution, and a one-parameter family of non-degenerate black-hole solutions. They further report that the holographic mass of horizonless solutions is positive for B̄0 ≳ 0.726 and negative below this value, with two distinct horizonless solutions for masses m* ≈ −0.34764 < m < 0.

Significance. If the numerical claims are correct, this is a significant contribution: it provides explicit, non-Birmingham-Kottler static vacuum metrics with arbitrary squashed-S^3 conformal infinity, both with and without horizons, and exhibits a holographic-mass phase transition and a non-uniqueness region not present in the spherically symmetric case. The ODE reduction is exact and the Fuchsian-type boundary expansions (2.10)–(2.17) are internally consistent and match the authors' previous rigorous local existence results near AdS and Birmingham-Kottler metrics. These are genuine strengths. However, the global statements 'for every B̄0' and 'exactly two solutions' are supported only by numerical integrations without published code, convergence tests, error estimates, or uncertainty quantification; the authors explicitly state in §2.3 that no existence proof throughout the range was attempted. The paper is therefore best judged as numerical evidence of a conjectured geometric existence result, rather than as a proof of that result.

major comments (3)
  1. [§2.3, Eqs. (2.23)–(2.25)] The statement that horizonless solutions exist for every B̄0 ∈ R rests on the numerically observed monotonicity of B̄0 as a function of B2 and on the logarithmic fits (2.24)–(2.25) near the two ends of the interval. No integrator details, error tolerances, convergence tests, or data files are provided, and the text explicitly states that an existence proof was not attempted. This is load-bearing: if the numerical branch has a turning point near B2 ≈ B2* or the fits fail at large B2, the 'for every B̄0' conclusion collapses. Please supply the numerical method, step-size/residual convergence studies, and uncertainty estimates, or restrict the claim to a numerically verified finite range.
  2. For the black-hole family, coverage of all real B̄0 is inferred from the boundary curve in Figure 2.5, the fit (2.31), and the asymptotic statement B̄0 ≈ B_h for large tan x_h or B_h. The boundary B*(x_h) determines which initial data (x_h, B_h) are admissible and hence the claimed one-parameter family for each B̄0; however, no systematic scan of the (x_h, B_h) domain is documented and no error bars are given. In particular, the negative-B̄0 end depends on the unquantified statement that B̄0 < B_h along the boundary for large tan x_h. Please provide a quantitative scan with convergence diagnostics, or soften the claim to 'numerical evidence'.
  3. [§1, Fig. 1.1; §2.3] The claimed non-uniqueness for negative masses — exactly two horizonless solutions with distinct B̄0 for m* < m < 0 and none for m < m* — is a curve-shape assertion about the numerically computed holographic mass. The value m* ≈ −0.34764 is quoted without an error estimate, and a small error in the mass functional could eliminate the double-valued region entirely. Please report numerical errors and the method used to locate the minimum of the mass curve; otherwise this central physical claim is not established.
minor comments (4)
  1. [§2.4] The sentence 'we have B*(x_h) < 0 for x_h < 0' appears to contain a typo: since x_h ∈ (0, π/2), presumably B*(x_h) < 0 for x_h > 0 near zero. Please correct.
  2. [Figure 2.5] The shaded existence region and its boundary are clear qualitatively, but it would help to state explicitly whether the boundary curve itself is included in the admissible set, and to label the axes in the caption.
  3. [§2.3, Eqs. (2.24)–(2.25)] The asymptotic fits would be more useful if the fitted B2 intervals and the maximum absolute or relative residuals were stated. This is particularly important because these fits are used to support the limits (2.23).
  4. [References] Reference [7] has an unusual year entry ('8 [2020]©2020') that should be cleaned up. Also, the arXiv number for arXiv:2607.22237 appears in the header but is not in the reference list; this is not required but may help readers.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: central claims are direct numerical outputs of the ODE system; self-citations are context, and the admitted lack of an existence proof is a rigor limitation, not a circular step.

full rationale

Walking the derivation chain: the paper solves the SO(3)×U(1)-symmetric ODE system (2.7)-(2.9) with local boundary expansions at x=0 or at the horizon, and then reads off the asymptotic data B̄0 and the holographic mass. No target quantity is used to define or fit an input parameter. In particular, B2 and (xh,Bh) are free parameters; B̄0 and m_hol are outputs of the integration. The log fits (2.24)-(2.25) are explicitly descriptive ("very well approximated by") and are used only as numerical evidence for the limits (2.23); they are not substituted into the field equations as constraints, so pattern 2 (fitted input called prediction) does not apply. The cited prior work [1,8,9,12] is by overlapping authors, but it is external published mathematics whose assumptions do not include the present target result; it supplies the near-Birmingham-Kottler starting point and non-degeneracy context, while the main 'for every B̄0' assertion is inferred from direct numerical integration and monotonicity observations, not from those citations. Pattern 3/4 therefore is not realized as load-bearing circularity. The paper itself flags the missing proof: 'An existence proof throughout the range could be carried out by numerically bounding the spectrum of the Lichnerowicz operator away from zero, but we have not attempted to do this' (Section 2.3). Repeated phrases 'Numerics shows', 'Numerics suggests', and 'appears' make the numerical-evidence status explicit. That is an omitted-proof/reproducibility concern (no code, tolerances, or convergence studies), not a circularity: the derivation does not reduce to its inputs by construction. One minor score point is retained only because several load-bearing-sounding existence statements are delegated to the authors' own previous papers, but those citations are not the basis of the numerical construction, so the finding is essentially non-circular.

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

The paper introduces no new free parameters fitted to data: B̄0 is prescribed boundary data, and B2, xh, Bh are integration constants labeling solutions. The curve-fit constants in (2.24)–(2.25) and (2.31) are descriptive approximations, not load-bearing. The central unstated assumption is the fidelity of the numerical solution of the ODE system to true smooth solutions; this is the ad hoc premise on which the existence claim rests.

assumptions (4)
  • domain assumption The static vacuum Einstein equations with Λ=-6 reduce to (2.7)-(2.9) under the SO(3)×U(1)-symmetric ansatz (2.6).
    §2: this reduction is the basis of all numerical work; it is algebraic and verifiable.
  • domain assumption Smoothness at x=0 (horizonless) or at x=xh (black holes) yields the local expansions (2.20)-(2.22) and (2.27)-(2.29), which are used as initial/boundary data for the integrations.
    §2.3, §2.4: if a term is missing or the expansion is not complete, the numerical solutions are not the assumed smooth ones.
  • domain assumption The polyhomogeneous expansions (2.10)-(2.12) with coefficients (2.13)-(2.17) describe the full conformal-boundary behavior; per Biquard [2] the solution is determined by B̄0, B̄4, Ā4.
    §2.1-2.2: maps numerics to conformal data; relies on cited external theorem.
  • ad hoc to paper The numerical integrator converges to the actual solution of (2.7)-(2.9) over the whole interval.
    §2.3-2.4: no error control or convergence tests; the entire existence claim is contingent on this.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Static vacuum metrics in (4 + 1) dimensions with {\Lambda} < 0 and squashed conformal infinity." pith.science (2026). https://pith.science/paper/C6YYY66B

@misc{pith2026260722237,
  author       = {Pith},
  title        = {Pith review of: Static vacuum metrics in (4 + 1) dimensions with \Lambda < 0 and squashed conformal infinity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C6YYY66B}},
  note         = {Machine review of arXiv:2607.22237}
}
read the original abstract

We construct numerically two families of static five-dimensional Lorentzian metrics, solutions of vacuum Einstein equations with a negative cosmological constant, one with and one without a black hole region, with a metric at sections of conformal infinity which is conformal to any squashed three-dimensional sphere.

Figures

Figures reproduced from arXiv: 2607.22237 by the authors.

Figure 1.1
Figure 1.1. Holographic mass of solutions without horizons. The mass goes mono [PITH_FULL_IMAGE:figures/full_fig_p003_1_1.png] view at source ↗
Figure 2.1
Figure 2.1. Plot of the metric functions Ae−2δ , A and B as functions of tan x, with logarithmically scaled horizontal axis, for a sample of solutions of (2.7)-(2.9) without event horizons, with B2 ≳ B2∗ (left row), B2 = 1 (middle row), and B2 = 1020 (right row). 7 [PITH_FULL_IMAGE:figures/full_fig_p007_2_1.png] view at source ↗
Figure 2.2
Figure 2.2. Plot of Am := min A, and of the value xh of x for which min A is attained, as functions of B2 − B2∗. Representative plots of the functions A, B and Ae−2δ are found in [PITH_FULL_IMAGE:figures/full_fig_p008_2_2.png] view at source ↗
Figures from the paper (5 more)
Figure 2.3
Figure 2.3. Figure 2.3: Plot of B¯ 0 for large B2 (left) and for small B2 − B2∗ (right). 0.0 0.2 0.4 0.6 0.8 -1.5 -1.0 -0.5 0.0 0.5 1.0 x 10-2 10-4 10-6 101 102 x* - x |B'| Original Data Asymptotic Fit [PITH_FULL_IMAGE:figures/full_fig_p009_2_3.png]
Figure 2.4
Figure 2.4. Figure 2.4: Plots of the metric functions δ (green), A (blue), B (orange) (left figure), and |B′ | (right figure), with B2 = −0.2 < B2∗. Numerics suggests that when B2 ↗ B2∗ the scalar RµνρσRµνρσ blows up as (x∗ − x) −α , with α close to 1 , as the boundary x∗ of the domain of e…
Figure 2.5
Figure 2.5. Figure 2.5: The boundary of the existence of black hole solutions on the ( [PITH_FULL_IMAGE:figures/full_fig_p010_2_5.png]
Figure 2.6
Figure 2.6. Figure 2.6: Example plots of the metric functions Ae−2δ , A and B for black-hole solutions of (2.7)-(2.9). The blue curve is the part of the solution above the Killing horizon. 11 [PITH_FULL_IMAGE:figures/full_fig_p011_2_6.png]
Figure 2.7
Figure 2.7. Figure 2.7: The asymptotic value B¯ 0 of B as a function of Bh and xh. The asymptotic value B¯ 0 of B is plotted in [PITH_FULL_IMAGE:figures/full_fig_p012_2_7.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 13 linked inside Pith

  1. [1]

    M. T. Anderson, P.T. Chru´ sciel, and E. Delay,Non-trivial, static, geodesi- cally complete spacetimes with a negative cosmological constant. II.n≥5, AdS/CFT correspondence: Einstein metrics and their conformal boundaries, IRMA Lect. Math. Theor. Phys., vol. 8, pp. 165–204, Eur. Math. Soc., Z¨ urich, 2005, arXiv:gr-qc/0401081. MR 2160871

    arXiv 2005

  2. [2]

    Biquard,Continuation unique ` a partir de l’infini conforme pour les m´ etriques d’Einstein, Math

    O. Biquard,Continuation unique ` a partir de l’infini conforme pour les m´ etriques d’Einstein, Math. Res. Lett.15(2007), 1091 – 1099, arXiv:0708.4346 [math.DG]. MR 2470386

    arXiv 2007

  3. [3]

    Birmingham,Topological black holes in anti-de Sitter space, Class

    D. Birmingham,Topological black holes in anti-de Sitter space, Class. Quantum Grav.16(1999), 1197–1205, arXiv:hep-th/9808032. MR 1696149 (2000c:83062)

    arXiv 1999

  4. [4]

    Bizo´ n, T

    P. Bizo´ n, T. Chmaj, A. Rostworowski, B. G. Schmidt, and Z. Tabor,Vacuum gravitational collapse in nine dimensions, Phys. Rev. D72(2005), 121502, arXiv:gr-qc/0511064

    arXiv 2005

  5. [5]

    Bizo´ n and A

    P. Bizo´ n and A. Rostworowski,Gravitational turbulent instability of AdS 5, Acta Physica Polonica B48(2017), 1375, arXiv:1710.03438 [gr-qc]

    arXiv 2017

  6. [6]

    Cheng and K

    M.C.N. Cheng and K. Skenderis,Positivity of energy for asymptotically locally AdS spacetimes, JHEP08(2005), 107, arXiv:hep-th/0506123

    arXiv 2005

  7. [7]

    Chru´ sciel,Geometry of Black Holes, International Series of Monographs on Physics, vol

    P.T. Chru´ sciel,Geometry of Black Holes, International Series of Monographs on Physics, vol. 169, Oxford University Press, Oxford, 8 [2020]©2020. MR 4261565

    2020

  8. [8]

    Chru´ sciel, E

    P.T. Chru´ sciel, E. Delay, and P. Klinger,Non-singular spacetimes with a neg- ative cosmological constant: IV. Stationary black hole solutions with matter fields, Class. Quantum Grav.35(2018), no. 3, 035007, 15, arXiv:1708.04947 [gr-qc]. MR 3755963 15

    arXiv 2018

Show all 15 references
  1. [9]

    ,On non-degeneracy of Riemannian Schwarzschild-Anti de Sitter met- rics, Adv. Theor. Math. Phys.23(2019), 1215–1269, arXiv:1710.07597 [gr-qc]

    2019 arXiv

  2. [10]

    Chru´ sciel, H.S

    P.T. Chru´ sciel, H.S. Reall, and K.P. Tod,On non-existence of static vacuum black holes with degenerate components of the event horizon, Class. Quantum Grav.23(2006), 549–554, arXiv:gr-qc/0512041. MR 2196372 (2007b:83090)

    2006 arXiv

  3. [11]

    Hickling and T

    A. Hickling and T. Wiseman,Vacuum energy is non-positive for (2 + 1)- dimensional holographic CFTs, Class. Quantum Grav.33(2016), 045009, arXiv:1508.04460 [hep-th]

    2016 arXiv

  4. [12]

    Klinger,Non-degeneracy of Riemannian Schwarzschild- Anti de Sitter met- rics: Birkhoff-type results in linearized gravity, (2018), arXiv:1806.05023 [gr- qc]

    P. Klinger,Non-degeneracy of Riemannian Schwarzschild- Anti de Sitter met- rics: Birkhoff-type results in linearized gravity, (2018), arXiv:1806.05023 [gr- qc]

    2018 arXiv

  5. [13]

    Kottler, ¨Uber die physikalischen Grundlagen der Einsteinschen Gravita- tionstheorie, Annalen der Physik56(1918), 401–462

    F. Kottler, ¨Uber die physikalischen Grundlagen der Einsteinschen Gravita- tionstheorie, Annalen der Physik56(1918), 401–462

    1918

  6. [14]

    Lipert,Nonlinear stability of the Taub-NUT soliton in 6+1 dimensions, Class

    M. Lipert,Nonlinear stability of the Taub-NUT soliton in 6+1 dimensions, Class. Quantum Grav.27(2010), 145002, arXiv:0910.1170 [gr-qc]

    2010 arXiv

  7. [15]

    Skenderis,Asymptotically Anti-de Sitter space-times and their stress energy tensor, Int

    K. Skenderis,Asymptotically Anti-de Sitter space-times and their stress energy tensor, Int. J. Mod. Phys. A16(2001), 740–749, arXiv:hep-th/0010138. 16

    2001 arXiv

Pith tools

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