Pith. sign in

REVIEW 2 major objections 5 minor 19 references

On the Stability of Einstein Manifolds with Boundary

T0 review · 2 major / 5 minor · reviewed 2026-07-11 · grok-4.5

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

Pith's one-line read Einstein metrics with boundary are stable only after replacing TT tensors by a larger TV space; Schwarzschild-AdS is mode-stable exactly at the umbilic cavity radius.

desk verdict Solid, carefully scoped second-variation theory for Einstein metrics with Anderson-type boundary conditions; the SAdS mode-stability theorems are rigorous under the paper's own spherical-symmetry caveat. read the letter →

arxiv 2607.05002 v1 pith:NQBLLNZU submitted 2026-07-06 math.DG

Rasmus Jouttijärvi This is my paper
classification math.DG MSC 53C2558J0583C57
keywords EinsteinmanifoldswithboundaryEinstein-HilbertstabilityTVtensorsBianchigaugeSchwarzschild-AdSmodeconformalinstabilityAndersonconditions
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 asks when an Einstein metric on a manifold with boundary is a local extremum of the Einstein-Hilbert action under natural geometric boundary conditions (conformal class of the induced metric fixed together with a Neumann-type condition on mean curvature). With a boundary the familiar space of transverse-traceless tensors is no longer the correct domain, so the author works on the larger space TV of tensors that preserve scalar curvature, volume and the Bianchi gauge. The associated stability operator is shown to be elliptic and self-adjoint on this space. Conformal stability can fail for positive Einstein metrics whose boundary is non-convex, yet an Obata-type uniqueness theorem still holds. As the main application the Riemannian Schwarzschild-anti-deSitter family is proved mode-stable (strictly when the cosmological constant is nonzero) for spherically symmetric perturbations inside a spherical cavity of umbilic radius R=((n-1)m)^{1/(n-3)}; in four dimensions the pure Schwarzschild metric becomes unstable the moment the cavity expands past the photon sphere R=3m.

What carries the argument

The space TV_g of tensors that are simultaneously in the kernel of the linearised scalar curvature, of zero total trace, and in the kernel of the Bianchi operator eta_g, together with the boundary operator B that freezes the conformal class of the induced metric and imposes the natural Neumann condition on mean curvature. On this domain the Einstein operator Δ_E is self-adjoint and Fredholm, so its spectrum decides mode stability.

What would settle it

Compute or rigorously bound the lowest eigenvalue of Δ_E on the full space TV for a four-dimensional Schwarzschild metric in a cavity slightly larger than 3m; a negative eigenvalue outside the spherical sector would falsify the claim that the metric is unstable only past the photon sphere.

Watch

Extended reading notes

Core claim

Under the Anderson-type boundary conditions that arise from Ricci-flow variations, the second variation of the Einstein-Hilbert action on an Einstein metric reduces to the Einstein operator on the space TV of Bianchi-gauged, scalar-curvature-preserving, zero-mean tensors. On that space the operator is elliptic and Fredholm, so a spectral notion of mode stability is well-defined. Every Schwarzschild-AdS metric (n≥4) is mode-stable for spherically symmetric perturbations precisely when the cavity radius equals the umbilic value ((n-1)m)^{1/(n-3)}; the four-dimensional Schwarzschild metric is unstable for every larger radius.

Load-bearing premise

Mode stability of Schwarzschild-AdS is proved only for spherically symmetric perturbations; the paper leaves open whether the lowest eigenvalue still lives in that sector for the full space TV.

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

2 major / 5 minor

Summary. The paper studies the second variation of the Einstein–Hilbert action for Einstein metrics on compact manifolds with boundary, using geometric boundary conditions (conformal class of the induced metric and a coupled mean-curvature condition) motivated by the Ricci-flow variational calculus. Because the usual TT space is no longer natural, the author works with the larger space TVg of Bianchi-gauged, scalar-curvature-preserving, zero-total-trace tensors. The main structural results are an L2-orthogonal decomposition of TgMB, a Koiso-type slice theorem for constant-scalar-curvature metrics near Einstein metrics (under a spectral assumption), Green identities establishing self-adjointness of the stability operator Fg, and a proof that (ΔE, β, B) is a regular elliptic boundary-value problem on TVg with discrete spectrum (Proposition 23). Conformal versus mode stability are defined separately; an Obata-type uniqueness theorem for Einstein metrics in the same conformal class in MB is proved; two families of conformally unstable positive Einstein metrics with non-convex boundary are exhibited; and, as the principal application, mode stability of the Riemannian Schwarzschild–AdS family is established for spherically symmetric perturbations at the umbilic cavity radius R=((n−1)m)1/(n−3), with a local instability statement for four-dimensional Schwarzschild past the photon sphere R=3m.

Significance. The work supplies a carefully developed elliptic and variational framework for Einstein metrics with Anderson-type boundary data, filling a genuine gap between the closed-manifold theory and the boundary setting that arises in Ricci flow and in gravitational ‘black hole in a box’ problems. The Green identities, the Fredholm theory on TVg, the slice theorem, and the Obata-type uniqueness result are first-principles and appear solid. The SAdS analysis is explicit (master ODE, Frobenius expansion at the umbilic radius, constraint-condition evaluation of the principal eigenvalue) and parameter-free; the special radius is forced by the vanishing of rV′−2V rather than chosen to fit data. The honest caveat that the lowest eigenvalue on the full TVg is not proved to lie in the spherical sector is a strength of presentation. If the spherical-mode results extend, or even as a rigorously scoped statement, the paper is a useful contribution to geometric analysis and to the mathematical side of Euclidean black-hole thermodynamics.

major comments (2)
  1. Theorem 31 (and the parallel claim Theorem 4 in the introduction) is inconsistent with the local analysis that precedes it. The body of §6 shows λSC(3m)=0 and dλSC/dR|R=3m<0, so ΔE is positive definite for R slightly less than 3m and develops a negative eigenvalue for R slightly larger than 3m. The concrete statement, however, asserts the existence of r0<L≤∞ such that gSC is unstable on MR for all R∈(r0,L). That interval begins at the horizon and therefore includes radii below the photon sphere where the same calculation shows stability. The claim should be corrected to an interval of the form (3m,L) (or an equivalent formulation). Moreover, Theorem 4 asserts instability for all R>3m, while the proof only establishes a local crossing at R=3m and the existence of some L; a global statement for all R>3m is not justified by the given argument (numerical evidence in Figure 2 is suggestive bu
  2. The mode-stability theorems (Theorem 30 / Theorem 3) are carefully restricted to spherically symmetric perturbations, and the paper explicitly flags that proving the lowest eigenvalue of ΔE on the full TVg still lies in that sector is ‘beyond the spectrum of the present paper’ (§6, immediately before Theorem 30). This caveat is load-bearing for any claim of unrestricted mode stability of SAdS. The abstract and the informal discussion of ‘a Black hole in a box’ should state the spherical-symmetry restriction with the same clarity as the theorem statements, so that the scope of the main application is unambiguous to a casual reader.
minor comments (5)
  1. Notation for the Einstein constant flips sign between the general theory (Ric=μg) and §6 (Ric=−μg, μ≥0). A single sentence at the start of §6 recording the change would prevent confusion when comparing eigenvalues such as λ=(n−2)/(n−1)μ with earlier formulae.
  2. In Proposition 10 and Theorem 12 the spectral hypothesis scalg/(n−1)∉σN(Δ) is used repeatedly; Remark 13 notes that non-isometry with the hemisphere sometimes suffices. A short pointer in the statements of the main structural theorems would help the reader track when the stronger hypothesis is essential.
  3. Figure 1 (spherical-cap Rayleigh quotients) and Figure 2 (numerical SAdS eigenvalues) are useful but lack axis labels and error-band discussion. A brief caption note on the numerical method used for Figure 2 would improve reproducibility.
  4. Several references appear only by arXiv number or with incomplete bibliographic data (e.g. [AH], [Jou]). Standard journal formatting should be completed before publication.
  5. Typographical inconsistencies: occasional missing spaces after punctuation, ‘á priori’ / ‘á priori’, and the mixed use of ‘TTg’ / ‘TT g’ / ‘TVg’. A light copy-edit pass would clean these.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: SAdS eigenvalue calculations and slice/stability operator analysis are self-contained first-principles work; only minor non-load-bearing self-citation for BC motivation and ellipticity sketch.

  1. self citation load bearing [Abstract and §1 (Introduction); also Prop. 23]
    "The geometric boundary conditions we are using arise naturally from studying the calculus of variations associated with Ricci flow, [Jou]. ... For this triplet, the proof is essentially the same as the proof of [Jou, Proposition 5.1]."

    The choice of the pair of boundary conditions that define MB and TVg (and therefore the space on which mode stability is claimed) is justified by citation to the author's own prior work rather than derived ab initio in the present paper. The ellipticity argument for (ΔE,β,B) is likewise referred to that work (though a self-contained symbol calculation is also supplied). This is a minor, non-load-bearing self-citation: the subsequent ODE analysis and eigenvalue sign for SAdS do not rely on any unproven claim from [Jou].

full rationale

The paper's central results (Theorems 30–31 on mode stability of SAdS at the umbilic radius R=((n-1)m)^{1/(n-3)}, and instability of 4D Schwarzschild for R>3m) are obtained by direct reduction of the Einstein–Hilbert second variation to the Einstein operator on TVg, imposition of the Bianchi gauge and conformal-Neumann boundary conditions, derivation of the master radial ODE for spherically symmetric TT modes, and Frobenius analysis of the regular singular point at that radius. The special radius is forced by the vanishing of the coefficient rV'-2V in the divergence constraint (Eq. 6.4), not chosen to force a desired eigenvalue; the principal eigenvalue is then read off from the constraint condition (4.5) or the explicit series (6.8). Ellipticity of (ΔE,β,B) is re-verified by symbol calculation in Proposition 23 rather than merely asserted. The only self-citations are to the author's prior Ricci-flow paper [Jou] for motivation of the boundary conditions and a sketch of the Shapiro–Lopatinsky check; these do not enter the eigenvalue computation or the uniqueness argument (which relies on Escobar). No fitted parameters, no self-definitional loops, and no uniqueness theorems imported from the same author appear. The spherical-symmetry caveat is stated explicitly and does not create circularity. Score 1 reflects only the minor self-citation for setup, which is not load-bearing for the claimed stability statements.

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

The paper rests on standard Riemannian geometry, elliptic boundary-value theory and the classical Einstein-Hilbert variational calculus. The only non-standard ingredients are the geometric boundary conditions (motivated by the author’s earlier Ricci-flow work) and the definition of the TVg space; both are introduced explicitly and used consistently. No free parameters are fitted.

assumptions (4)
  • domain assumption Escobar’s eigenvalue estimate for the principal Neumann eigenvalue on manifolds with convex boundary (used for conformal stability).
    Invoked in §2.3 and Remark 26; equality case characterises the hemisphere.
  • domain assumption Anderson’s boundary-value theory for Einstein metrics (conformal class + mean curvature) and the associated L2-orthogonal decomposition of the tangent space.
    Cited as [An1, An2] and used for the splitting TgMB = C∞N·g ⊕ TVg ⊕ Im δ*|Ω0 (Proposition 22).
  • standard math The Einstein-Hilbert second variation reduces to the Einstein operator on Bianchi-gauged, scalar-curvature-preserving tensors.
    Standard calculation (Definition 15, Lemma 16); holds with the chosen boundary conditions by the Green identity of Proposition 17.
  • domain assumption scalg/(n-1) ∉ σN(Δ) (generic spectral assumption).
    Used for the slice theorem (Theorem 12) and the tangent-space splitting; the paper notes it is generic and can be relaxed via Escobar’s theorem for non-hemispheres.
invented entities (1)
  • TVg tensors (ker Pg ∩ ker βg inside TgMB)
    purpose: Replace the classical TTg space once a boundary is present, so that the stability operator becomes elliptic and self-adjoint.
    Defined after Proposition 22; the paper proves it is the natural domain on which Fg reduces to ΔE and admits a discrete spectrum (Proposition 23).

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the Stability of Einstein Manifolds with Boundary." pith.science (2026). https://pith.science/paper/NQBLLNZU

@misc{pith2026260705002,
  author       = {Pith},
  title        = {Pith review of: On the Stability of Einstein Manifolds with Boundary},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NQBLLNZU}},
  note         = {Machine review of arXiv:2607.05002}
}
read the original abstract

We study the stability problem for Einstein manifolds with boundary with respect to the Einstein-Hilbert action. The geometric boundary conditions we are using arise naturally from studying the calculus of variations associated with Ricci flow. Upon the introduction of a boundary, the space of TTg tensors no longer arise naturally as the defining space for the stability condition. Thus we must settle for the larger subspace of tensors preserving the scalar curvature, the total volume and the Bianchi gauge condition, which we call the space of TVg tensors. As a test-case, we shall discuss stability of the Riemannian Schwarzschild anti-deSitter family of metrics; a problem known as "a Black hole in a box".

Figures

Figures reproduced from arXiv: 2607.05002 by the authors.

Figure 1
Figure 1. R(L) − n for n = 3, . . . , 7 and L ∈ [0, 0.65). This shows that the unstable range is actually quite large; every manifold between the hemisphere and the lower "three-quarter" sphere (at least for 3 ≤ n ≤ 5). 25 [PITH_FULL_IMAGE:figures/full_fig_p025_1.png] view at source ↗
Figure 2
Figure 2. Numerical estimates of the lowest eigenvalue in dimension [PITH_FULL_IMAGE:figures/full_fig_p031_2.png] view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

19 extracted references · 3 linked inside Pith

  1. [1]

    Agmon, A

    S. Agmon, A. Douglis, and L. Nirenberg, Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II, Comm.\ Pure Appl.\ Math.\ 17 (1964), 35--92

    1964

  2. [2]

    An and L.-H

    Z. An and L.-H. Huang, Local structure theory of Einstein manifolds with boundary, arXiv:2405.17577 (2024)

    arXiv 2024

  3. [3]

    Akutagawa, An Obata-type theorem on compact Einstein manifolds with boundary, Geom.\ Dedicata 213 (2021), 577--587

    K. Akutagawa, An Obata-type theorem on compact Einstein manifolds with boundary, Geom.\ Dedicata 213 (2021), 577--587

    2021

  4. [4]

    Allen, Euclidean Schwarzschild negative mode, Phys.\ Rev.\ D 30 (1984) 1153--1157

    B. Allen, Euclidean Schwarzschild negative mode, Phys.\ Rev.\ D 30 (1984) 1153--1157

    1984

  5. [5]

    M. T. Anderson, On boundary value problems for Einstein metrics, Geom.\ Topol.\ 12 (2008), 2009--2045, arXiv:math/0612646 [math.DG]

    arXiv 2008

  6. [6]

    M. T. Anderson, Extension of symmetries on Einstein manifolds with boundary, Selecta Mathematica, New Series 16 (2010), 343--375 [arXiv:0704.3373]

    arXiv 2010

  7. [7]

    A. L. Besse, Einstein manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 10, Springer-Verlag, Berlin, 1987

    1987

  8. [8]

    J. D. Brown and J. W. York, Jr., Quasilocal energy and conserved charges derived from the gravitational action, Phys.\ Rev.\ D 47 (1993), 1407--1419

    1993

Show all 19 references
  1. [9]

    J. F. Escobar, Uniqueness theorems on conformal deformation of metrics, Sobolev inequalities, and an eigenvalue estimate, Commun.\ Pure Appl.\ Math.\ 43 (1990), 857--883

    1990

  2. [10]

    Fu cík, J

    S. Fu cík, J. Ne cas, J. Sou cek, and V. Sou cek, Spectral Analysis of Nonlinear Operators, Lecture Notes in Mathematics, Vol. 346, Springer, Berlin, 1973, ISBN 3-540-06484-2

    1973

  3. [11]

    Gianniotis, The Ricci flow on manifolds with boundary, J.\ Differential Geom.\ 104 (2016), 291--324

    P. Gianniotis, The Ricci flow on manifolds with boundary, J.\ Differential Geom.\ 104 (2016), 291--324

    2016

  4. [12]

    D. J. Gross, M. J. Perry, and L. G. Yaffe, Instability of flat space at finite temperature, Phys. Rev. D 25 (1982) 330--355

    1982

  5. [13]

    Jouttijärvi (2024) Novel Boundary Conditions for the Ricci Flow, The Journal of Geometric Analysis (2025) 35:360

    R. Jouttijärvi (2024) Novel Boundary Conditions for the Ricci Flow, The Journal of Geometric Analysis (2025) 35:360

    2024

  6. [14]

    Kodama and A

    H. Kodama and A. Ishibashi, A master equation for gravitational perturbations of maximally symmetric black holes in higher dimensions, Prog. Theor. Phys. 110 (2003) 701--722

    2003

  7. [15]

    Koiso, A decomposition of the space of Riemannian metrics on a manifold, Osaka J.\ Math.\ 16 (1979), 423--429

    N. Koiso, A decomposition of the space of Riemannian metrics on a manifold, Osaka J.\ Math.\ 16 (1979), 423--429

    1979

  8. [16]

    X. Liu, J. E. Santos, and T. Wiseman, New well-posed boundary conditions for semi-classical Euclidean gravity, JHEP 06 (2024) 044

    2024

  9. [17]

    Obata, Certain conditions for a Riemannian manifold to be isometric with a sphere, J.\ Math.\ Soc.\ Japan 14 (1962) 333--340

    M. Obata, Certain conditions for a Riemannian manifold to be isometric with a sphere, J.\ Math.\ Soc.\ Japan 14 (1962) 333--340

    1962

  10. [18]

    Prestidge, Dynamics of higher-dimensional black holes, Class

    T. Prestidge, Dynamics of higher-dimensional black holes, Class. Quant. Grav. 16 (1999), 2391--2406

    1999

  11. [19]

    Tashiro, Complete Riemannian manifolds and some vector fields, Trans.\ Amer.\ Math.\ Soc.\ 117 (1965), 251--275

    Y. Tashiro, Complete Riemannian manifolds and some vector fields, Trans.\ Amer.\ Math.\ Soc.\ 117 (1965), 251--275

    1965

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.