arxiv: 2604.08183 · v3 · submitted 2026-04-09 · 🌀 gr-qc · hep-th

Recognition: 2 theorem links

· Lean Theorem

Positivity of holographic energy

Piotr T. Chru\'sciel , Raphaela Wutte

Authors on Pith no claims yet

Pith reviewed 2026-05-11 01:45 UTC · model grok-4.3

classification 🌀 gr-qc hep-th

keywords holographic energypositivityasymptotically AdSconformal boundarygeneral relativityAdS/CFT

0 comments

The pith

A weighted holographic energy is positive for four-dimensional AdS spacetimes with specific conformally static boundaries.

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

This paper proves that a weighted version of holographic energy is nonnegative in four-dimensional spacetimes with a negative cosmological constant. The positivity holds when the conformal boundary at infinity is conformally static and has either spherical topology or toroidal topology with compatible spin structure. Readers interested in gravitational physics and holography would care because this provides a lower bound on energy that can inform the stability of such spacetimes and the behavior of their dual quantum systems. The result extends previous positivity theorems by adapting them to these boundary conditions in anti-de Sitter space.

Core claim

We prove positivity of a weighted holographic energy for four-dimensional spacetimes with negative cosmological constant whose conformal boundary at infinity is conformally static and admits either spherical sections, or toroidal sections with compatible spin structure.

What carries the argument

The weighted holographic energy, an expression defined on the conformal boundary that combines contributions from the metric and extrinsic curvature to yield a nonnegative quantity under the stated conditions.

If this is right

The energy cannot be arbitrarily negative, providing a stability criterion for the spacetimes considered.
Physical quantities in the holographic dual theory are bounded from below.
Configurations with negative energy are forbidden when the boundary conditions are met.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This positivity result may help in classifying stable asymptotically AdS spacetimes.
It could be used to derive inequalities for masses of black holes or other objects in these geometries.
Similar methods might apply to higher-dimensional cases or different cosmological constants if the boundary conditions can be generalized.

Load-bearing premise

The conformal boundary at infinity is conformally static and admits spherical or toroidal sections with compatible spin structure.

What would settle it

Construct or identify a four-dimensional spacetime with negative cosmological constant, conformally static boundary of spherical or toroidal type with compatible spin structure, but with negative weighted holographic energy.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper proves positivity of a weighted holographic energy in 4D AdS spacetimes under conformally static boundaries with spherical or toroidal sections.

read the letter

The core result is a mathematical proof that a weighted version of holographic energy stays non-negative for four-dimensional spacetimes with negative cosmological constant, but only when the conformal boundary at infinity is conformally static and has either spherical topology or toroidal topology with compatible spin structure. The authors state the claim cleanly and limit it to these cases from the start. That scoping is useful because it avoids overclaiming. The work builds on prior positivity results by adapting them to the weighted energy functional under the listed boundary conditions. The proof relies on standard general-relativity techniques, most likely spinor or Witten-type arguments adapted to the holographic setting, and the abstract gives no sign of circularity or invented assumptions. The boundary conditions are presented as necessary rather than optional, which keeps the logic tight. One soft spot is the restriction itself: the positivity statement does not extend to more general boundaries, so readers interested in broader AdS stability questions will still need additional arguments. The weighting also appears chosen to close the proof, which is common in these theorems but means the result is not the most universal energy one might hope for. The paper is aimed at people working on mathematical aspects of AdS/CFT, asymptotic flatness in negative Lambda, and energy positivity in gravity. A reader already familiar with spinorial methods and holographic energies will find the details worth checking. The claim is formally grounded enough and the assumptions are explicit, so it deserves a serious referee to go through the derivation step by step. I would send it out for peer review rather than desk reject.

Referee Report

0 major / 2 minor

Summary. The manuscript proves positivity of a weighted holographic energy for four-dimensional spacetimes with negative cosmological constant whose conformal boundary at infinity is conformally static and admits either spherical sections or toroidal sections with compatible spin structure.

Significance. If the result holds, it supplies a direct mathematical proof of positivity for a weighted holographic energy under explicitly stated boundary conditions in asymptotically AdS_4 spacetimes. The derivation relies on standard general-relativity assumptions without free parameters or self-referential definitions, which strengthens its value for holographic energy conditions and stability questions.

minor comments (2)

[Abstract] The abstract and introduction should include a brief remark on the necessity of the conformally static boundary condition and the spin-structure requirement for toroidal sections, to make the scope of the theorem immediately clear to readers.
[Section 2] Ensure the precise definition of the weighted holographic energy (including the weighting function) is stated with an equation number in the first section where it appears, rather than only in the proof.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper is a conditional mathematical theorem proving positivity of a weighted holographic energy under explicitly stated boundary conditions (conformally static conformal boundary at infinity with spherical or toroidal sections admitting compatible spin structure). No derivation step reduces by construction to a fitted input, self-definition, or self-citation chain; the result follows from standard GR assumptions within the scoped domain. The boundary conditions are presented as prerequisites for applicability rather than outputs of the proof itself.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claim rests on standard domain assumptions from general relativity and differential geometry for AdS spacetimes; no free parameters or invented entities are introduced in the abstract.

axioms (3)

domain assumption Spacetime satisfies Einstein equations with negative cosmological constant
Standard setup for AdS gravity as stated in the abstract
domain assumption Conformal boundary at infinity is conformally static
Explicit condition in the theorem statement
domain assumption Boundary admits spherical or toroidal sections with compatible spin structure
Required topological and spin condition for the positivity result

pith-pipeline@v0.9.0 · 5309 in / 1350 out tokens · 45272 ms · 2026-05-11T01:45:57.653163+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove positivity of a weighted holographic energy for four-dimensional spacetimes with negative cosmological constant whose conformal boundary at infinity is conformally static and admits either spherical sections, or toroidal sections with compatible spin structure.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the Witten equation reads γ^j ∇̂_j ψ = 0 ... Schrödinger-Lichnerowicz-Sen-Witten identity ... twistor equation ... (δ̂^b_â + ½ γ̂_a γ̂^b) D̂_êb ψ_{-1/2} = 0

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Holographic is Hamiltonian, relatively
gr-qc 2026-04 unverdicted novelty 5.0

A relative holographic energy coincides with the relative Hamiltonian energy.

Reference graph

Works this paper leans on

65 extracted references · 65 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Abbott and S

L.F. Abbott and S. Deser,Stability of Gravity with a Cosmological Constant, Nucl. Phys. B195(1982), 76– 96

work page 1982
[2]

Anderson, P.T

M.T. Anderson, P.T. Chruściel, and E. Delay,Non- trivial, static, geodesically complete vacuum spacetimes with a negative cosmological constant, Jour. High Energy Phys.10(2002), 063, arXiv:gr-qc/0211006. MR 1951922

work page arXiv 2002
[3]

II.n≥ 5, AdS/CFT correspondence: Einstein metrics and their conformal boundaries, IRMA Lect

,Non-trivial, static, geodesically complete space- times with a negative cosmological constant. II.n≥ 5, AdS/CFT correspondence: Einstein metrics and their conformal boundaries, IRMA Lect. Math. Theor. Phys., vol. 8, Eur. Math. Soc., Zürich, 2005, arXiv:gr- qc/0401081, pp. 165–204. MR 2160871

work page arXiv 2005
[4]

Ashtekar and S

A. Ashtekar and S. Das,Asymptotically anti-de Sitter spacetimes: Conserved quantities, Class. Quantum Grav. 17(2000), L17–L30, arXiv:hep-th/9911230. MR 1739432

work page arXiv 2000
[5]

A Stress tensor for Anti-de Sitter gravity,

V. Balasubramanian and P. Kraus,A Stress tensor for Anti-de Sitter gravity, Commun.Math.Phys.208(1999), 413–428, arXiv:hep-th/9902121

work page arXiv 1999
[6]

Bartnik and P.T

R. Bartnik and P.T. Chruściel,Boundary value problems for Dirac-type equations, J. Reine Angew. Math.579 (2005), 13–73, arXiv:math.DG/0307278

work page arXiv 2005
[7]

Barzegar, P.T

H. Barzegar, P.T. Chruściel, and L. Nguyen,On the total mass of asymptotically hyperbolic manifolds, Pure Appl. Math. Q.15(2019), 683–706, arXiv:1812.03924 [gr-qc]. MR 4047389

work page arXiv 2019
[8]

Baum,Complete Riemannian manifolds with imagi- nary Killing spinors, Ann

H. Baum,Complete Riemannian manifolds with imagi- nary Killing spinors, Ann. Global Anal. Geom.7(1989), 205–226. MR 1039119 (91k:58130)

work page 1989
[9]

H. Baum, T. Friedrich, R. Grunewald, and I. Kath, Twistors and Killing spinors on Riemannian manifolds, Teubner-Texte zur Mathematik [Teubner Texts in Math- ematics], vol. 124, B. G. Teubner Verlagsgesellschaft mbH, Stuttgart, 1991, With German, French and Rus- sian summaries. MR 1164864

work page 1991
[10]

Baum and F

H. Baum and F. Leitner,The twistor equation in Lorentzian spin geometry, Math. Z.247(2004), no. 4, 795–812, arXiv:math/0305063 [math.DG]

work page arXiv 2004
[11]

Birmingham, Class

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

work page arXiv 1999
[12]

Boucher,Positive energy without supersymmetry, Nucl

W. Boucher,Positive energy without supersymmetry, Nucl. Phys. B242(1984), 282–296

work page 1984
[13]

Brendle and P.K

S. Brendle and P.K. Hung,Systolic inequalities and the Horowitz-Myers conjecture, (2024), arXiv:2406.04283 [math.DG]

work page arXiv 2024
[14]

,The rigidity statement in the Horowitz-Myers conjecture, (2025), arXiv:2504.16812 [math.DG]

work page arXiv 2025
[15]

Chen, P.-K

P.-N. Chen, P.-K. Hung, M.-T. Wang, and S.-T. Yau, The rest mass of an asymptotically Anti-de Sitter space- time, Annales Henri Poincare18(2017), no. 5, 1493– 1518, arXiv:1510.00053 [math.DG]

work page arXiv 2017
[16]

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

work page arXiv 2005
[17]

Chruściel,On the Relation Between the Einstein and the Komar Expressions for the Energy of the Grav- itational Field, Ann

P.T. Chruściel,On the Relation Between the Einstein and the Komar Expressions for the Energy of the Grav- itational Field, Ann. Inst. H. Poincaré Phys. Theor.42 (1985), 267

work page 1985
[18]

Analysis, GeometryandTopol- ogy of Positive Scalar Curvature Metrics

,Hyperbolic positive energy theorems, 2021, Pro- ceedingsoftheworkshop“Analysis, GeometryandTopol- ogy of Positive Scalar Curvature Metrics”, Oberwolfach, June 27-July 3, 2021, arXiv:2112.01364 [math.DG]

work page arXiv 2021
[19]

Chruściel, W

P.T. Chruściel, W. Cong, T. Quéau, and R. Wutte, Cauchy problems for Einstein equations in three- dimensional spacetimes, Class. Quant. Grav.42(2025), no. 8, 085010, arXiv:2411.07423 [gr-qc]

work page arXiv 2025
[20]

Chruściel and E

P.T. Chruściel and E. Delay,On asymptotically locally hyperbolic metrics with negative mass, SIGMA19(2023), 005, arXiv:2207.14563 [hep-th]

work page arXiv 2023
[21]

The hyperbolic positive energy theorem

,The hyperbolic positive energy theorem, Jour. European Math. Soc. (2026), in press, arXiv:1901.05263v1 [math.DG]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[22]

Chruściel, E

P.T. Chruściel, E. Delay, and P. Klinger,Non-singular spacetimes with a negative cosmological constant: III. Stationary solutions with matter fields, Phys. Rev.D95 (2017), 104039, arXiv:1701.03718 [gr-qc]

work page arXiv 2017
[23]

Chruściel, E

P.T. Chruściel, E. Delay, and R. Wutte,Hyperbolic en- ergy and Maskit gluings, Adv. Theor. Math. Phys.27 (2023), no. 5, 1333–1403, arXiv:2112.00095 [math.DG]

work page arXiv 2023
[24]

Chruściel and G.J

P.T. Chruściel and G.J. Galloway,Positive mass theo- rems for asymptotically hyperbolic Riemannian manifolds with boundary, Class. Quant. Grav.38(2021), no. 23, 237001, arXiv:2107.05603 [gr-qc]

work page arXiv 2021
[25]

Chruściel, G.J

P.T. Chruściel, G.J. Galloway, and Y. Potaux,Unique- ness and energy bounds for static AdS metrics, Phys. Rev. D101(2020), 064034, 11 pp., arXiv:1910.00070 [gr- qc]. MR 4086181

work page arXiv 2020
[26]

Chruściel and M

P.T. Chruściel and M. Herzlich,The mass of asymp- totically hyperbolic Riemannian manifolds, Pacific Jour. Math.212(2003), 231–264, arXiv:math/0110035 [math.DG]. MR 2038048

work page arXiv 2003
[27]

Chruściel, D

P.T. Chruściel, D. Maerten, and K.P. Tod,Rigid up- per bounds for the angular momentum and centre of mass of non-singular asymptotically anti-de Sitter space- times, Jour. High Energy Phys.11(2006), 084 (42 pp.), arXiv:gr-qc/0606064. MR 2270383 7

work page arXiv 2006
[28]

Chruściel and R

P.T. Chruściel and R. Wutte,Gluing-at-infinity of two-dimensional asymptotically locally hyperbolic mani- folds, Class. Quant. Grav.42(2025), no. 24, 245007, arXiv:2401.04048 [gr-qc]

work page arXiv 2025
[29]

,Holographic is Hamiltonian, relatively, (2026), in preparation

work page 2026
[30]

Holographic Reconstruction of Spacetime and Renormalization in the AdS/CFT Correspondence

S. de Haro, S.N. Solodukhin, and K. Skenderis,Holo- graphic reconstruction of space-time and renormalization in the AdS / CFT correspondence, Commun.Math.Phys. 217(2001), 595–622, arXiv:hep-th/0002230

work page Pith review arXiv 2001
[31]

Fefferman and C.R

C. Fefferman and C.R. Graham,The ambient metric, Ann. Math. Stud.178(2011), 1–128, arXiv:0710.0919 [math.DG]

work page arXiv 2011
[32]

D. Z. Freedman, Carlos Nunez, M. Schnabl, and K. Sk- enderis,Fake supergravity and domain wall stability, Phys. Rev. D69(2004), 104027, arXiv:hep-th/0312055

work page arXiv 2004
[33]

Galloway and T.-Y

G.J. Galloway and T.-Y. Tsang,Positive mass theorems for manifolds with ALH toroidal ends, preprint (2026)

work page 2026
[34]

Gibbons,Some comments on gravitational entropy and the inverse mean curvature flow, Class

G.W. Gibbons,Some comments on gravitational entropy and the inverse mean curvature flow, Class. Quantum Grav.16(1999), 1677–1687, arXiv:hep-th/9809167. MR 1697098

work page arXiv 1999
[35]

Gibbons, S.W

G.W. Gibbons, S.W. Hawking, G.T. Horowitz, and M.J. Perry,Positive Mass Theorems for Black Holes, Com- mun. Math. Phys.88(1983), 295

work page 1983
[36]

Ginoux,The Dirac spectrum, Lecture Notes in Math- ematics, vol

N. Ginoux,The Dirac spectrum, Lecture Notes in Math- ematics, vol. 1976, Springer Berlin Heidelberg, 2009

work page 1976
[37]

Graham and J.M

C.R. Graham and J.M. Lee,Einstein metrics with pre- scribed conformal infinity on the ball, Adv. Math.87 (1991), 186–225

work page 1991
[38]

Henneaux and C

M. Henneaux and C. Teitelboim,Asymptotically anti–de Sitter spaces, Commun. Math. Phys.98(1985), 391–424. MR 86f:83030

work page 1985
[39]

The Holographic Weyl anomaly

M. Henningson and K. Skenderis,The Holographic Weyl anomaly, JHEP07(1998), 023, arXiv:hep-th/9806087

work page Pith review arXiv 1998
[40]

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]

work page arXiv 2016
[41]

Hirsch, H.C

S. Hirsch, H.C. Jang, and Y. Zhang,Rigidity of Asymp- totically Hyperboloidal Initial Data Sets with Vanishing Mass, Commun. Math. Phys.406(2025), no. 12, 307, arXiv:2411.07357 [math.DG]

work page arXiv 2025
[42]

Hirsch and Y

S. Hirsch and Y. Zhang,Causal character of imag- inary Killing spinors and spinorial slicings, (2025), arXiv:2512.14569 [gr-qc]

work page arXiv 2025
[43]

Hollands, A

S. Hollands, A. Ishibashi, and D. Marolf,Comparison be- tween various notions of conserved charges in asymptot- ically AdS spacetimes, Class. Quantum Grav.22(2005), 2881–2920, arXiv:hep-th/0503045. MR 2154192

work page arXiv 2005
[44]

Mass Rigidity for Hyperbolic manifolds

L.-H. Huang, H.C. Jang, and D. Martin,Mass rigidity for hyperbolic manifolds, Commun. Math. Phys.376(2019), no. 3, 2329–2349, arXiv:1904.12010 [math.DG]

work page arXiv 2019
[45]

Lee and A

D.A. Lee and A. Neves,The Penrose inequality for asymptotically locally hyperbolic spaces with nonposi- tive mass, Commun. Math. Phys.339(2015), 327–352, arXiv:1310.3002 [math.DG]. MR 3370607

work page arXiv 2015
[46]

Lee,Fredholm operators and Einstein metrics on conformally compact manifolds, Mem

J.M. Lee,Fredholm operators and Einstein metrics on conformally compact manifolds, Mem. Amer. Math. Soc.183(2006), vi+83, arXiv:math.DG/0105046. MR 2252687

work page arXiv 2006
[47]

Leitner,The twistor equation in Lorentzian spin ge- ometry, Ph.D

F. Leitner,The twistor equation in Lorentzian spin ge- ometry, Ph.D. thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2001

work page 2001
[48]

,Imaginary Killing spinors in Lorentzian ge- ometry, J. Math. Phys.44(2003), 4795–4806, arXiv:math/0302024 [math.DG]

work page arXiv 2003
[49]

Lockhart and R

R.B. Lockhart and R. McOwen,Elliptic differential op- erators on non-compact manifolds, Ann. Scuola Norm. Sup. Pisa12(1985), 409–447

work page 1985
[50]

Maerten,Positive energy-momentum the- orem in asymptotically anti-de Sitter space- times, Ann

D. Maerten,Positive energy-momentum the- orem in asymptotically anti-de Sitter space- times, Ann. H.Poincaré7(2006), 975–1011, arXiv:math.DG/0506061. MR 2254757

work page arXiv 2006
[51]

Mazzeo and M

R. Mazzeo and M. Taylor,Curvature and uniformization, Israel Jour. Math.130(2002), 323–346. MR 1919383 (2003j:30063)

work page 2002
[52]

A class of negative-mass solutions (which do not satisfy the hypotheses of our positivity theorem here) can be found in [20, 23]

A construction of large classes of static vacuum solutions can be found in [3]. A class of negative-mass solutions (which do not satisfy the hypotheses of our positivity theorem here) can be found in [20, 23]

work page
[53]

Note that this is compatible with any number of asymp- totic ends, where the asymptotic behaviour is only re- stricted by the requirement of completeness of the metric induced onS

work page
[54]

In the physics literature, imaginary Killing spinors are often referred to simply as Killing spinors

work page
[55]

We do not consider this case here

In the context of the AdS/CFT correspondence, the case of matter fields which do not decay at infinity is also of interest, see [12, 32, 64] for a discussion of the Witten boundary integral in this context. We do not consider this case here

work page
[56]

Our argument does not provide any information about highergenustwo-dimensionalmanifolds, asnonon-trivial solutions of (II.26) exist there

work page
[57]

Theorem 5.1 of [10] shows that the met- ric must be a Siklos metric, since twistor spinors on Fef- ferman metrics listed there are never imaginary Killing spinors [47]

Every imaginary Killing spinor is a twistor spinor, whence the relevance of [10], which is concerned with twistor spinors. Theorem 5.1 of [10] shows that the met- ric must be a Siklos metric, since twistor spinors on Fef- ferman metrics listed there are never imaginary Killing spinors [47]

work page
[58]

We are grateful to Klaus Kröncke for pointing this out

work page
[59]

See [19, 28] forn= 2

work page
[60]

Papadimitriou and K

I. Papadimitriou and K. Skenderis,Thermodynamics of asymptotically locally AdS spacetimes, JHEP08(2005), 004, arXiv:hep-th/0505190

work page arXiv 2005
[61]

Rallabhandi,On energy bounds in asymptotically lo- cally AdS spacetimes, Class

V. Rallabhandi,On energy bounds in asymptotically lo- cally AdS spacetimes, Class. Quantum Grav.43(2026), 015019, arXiv:2508.19108 [gr-qc]

work page arXiv 2026
[62]

Siklos,Lobatchevski plane gravitational waves, Galaxies, axisymmetric systems and relativity: essays presented to W.B

S.T.C. Siklos,Lobatchevski plane gravitational waves, Galaxies, axisymmetric systems and relativity: essays presented to W.B. Bonnor on his 65th birthday (M.A.H. MacCallum, ed.), Cambridge Univ. Press, Cambridge, UK, 1985, pp. 247–274

work page 1985
[63]

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

work page arXiv 2001
[64]

P. K. Townsend,Positive Energy and the Scalar Potential in Higher Dimensional (Super)gravity Theories, Phys. Lett. B148(1984), 55–59

work page 1984
[65]

Wang,The mass of asymptotically hyperbolic mani- folds, Jour

X. Wang,The mass of asymptotically hyperbolic mani- folds, Jour. Diff. Geom.57(2001), 273–299. MR 1879228

work page 2001