Mass-type invariants in the presence of a cosmological constant
Pith reviewed 2026-05-15 17:06 UTC · model grok-4.3
The pith
New mass-type invariants characterize the de Sitter solution when the cosmological constant is positive.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce a new family of mass-type invariants for time-symmetric initial data satisfying the dominant energy condition in space-times with cosmological constant. For positive values these invariants characterize the de Sitter solution. Via a formal limiting procedure we also define the 1-harmonic mass and prove for it a positive mass theorem together with a Penrose-type inequality.
What carries the argument
The family of mass-type invariants constructed from the dominant energy condition on time-symmetric initial data sets, together with the 1-harmonic mass obtained by their formal limit.
Load-bearing premise
The initial data sets are assumed time-symmetric and to satisfy the dominant energy condition, while the 1-harmonic mass is introduced through a formal limiting procedure.
What would settle it
An explicit time-symmetric initial data set with positive cosmological constant that satisfies the dominant energy condition, is not isometric to de Sitter, yet makes all the new invariants vanish would falsify the claimed characterization.
Figures
read the original abstract
In this paper, we introduce a new family of mass-type invariants for time-symmetric initial data in space-times satisfying the Dominant Energy Condition. For positive cosmological constant, these invariants, unlike the total Hawking mass, turn out to be genuinely effective in providing new characterizations of the de Sitter solution. From a theoretical standpoint, this opens a new perspective on how one might refine the rigidity statement originally proposed by Min-Oo in his well known conjecture, later refuted by the counterexamples of Brendle, Marques, and Neves. Via a formal limiting procedure, we also define another invariant, the 1-harmonic Mass, for which we independently prove a positive mass theorem and a Penrose-type inequality, thereby extending tools for probing space-time geometries in the presence of a positive cosmological constant.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a new family of mass-type invariants for time-symmetric initial data sets satisfying the dominant energy condition in spacetimes with cosmological constant. For positive Lambda these invariants are claimed to yield genuine characterizations of the de Sitter solution (unlike the total Hawking mass). Via a formal limiting procedure the authors define the 1-harmonic mass, for which they state independent proofs of a positive-mass theorem and a Penrose-type inequality.
Significance. If the limiting procedure can be made rigorous, the work supplies new mass functionals that remain effective for positive cosmological constant and thereby offers a fresh angle on rigidity questions related to Min-Oo's conjecture. The explicit construction of the 1-harmonic mass together with claimed PMT and Penrose inequalities would extend the toolkit for probing asymptotically de Sitter geometries.
major comments (2)
- [section defining the 1-harmonic mass] Definition of the 1-harmonic mass (the paragraph introducing the formal limiting procedure): the passage of the limit inside the integrals that define the mass is asserted without a dominated-convergence or uniform-integrability argument; this interchange is load-bearing for both the positivity statement and the Penrose inequality, yet no such justification is supplied.
- [proof of PMT for 1-harmonic mass] Proof of the positive-mass theorem for the 1-harmonic mass: the argument relies on the limiting object inheriting non-negativity from the approximating sequence, but the manuscript provides no estimate controlling the error term arising from the formal limit.
minor comments (2)
- [introduction of the new invariants] Notation for the new family of invariants is introduced without an explicit comparison table relating them to the Hawking mass and the standard ADM mass in the Lambda=0 limit.
- [characterization of de Sitter] The statement that the invariants are 'genuinely effective' for characterizing de Sitter should be accompanied by a precise rigidity theorem (equality case) rather than left at the level of the abstract claim.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for identifying the gaps in the rigor of the limiting procedure. We agree that the current version presents the 1-harmonic mass via a formal limit without the necessary convergence justifications. We will revise the manuscript to supply the missing dominated-convergence and error-control arguments, thereby making the positive-mass theorem and Penrose inequality rigorous.
read point-by-point responses
-
Referee: Definition of the 1-harmonic mass (the paragraph introducing the formal limiting procedure): the passage of the limit inside the integrals that define the mass is asserted without a dominated-convergence or uniform-integrability argument; this interchange is load-bearing for both the positivity statement and the Penrose inequality, yet no such justification is supplied.
Authors: We acknowledge that the interchange of limit and integration is asserted formally without a dominated-convergence or uniform-integrability argument. In the revised manuscript we will add a precise justification: we will establish uniform integrability of the integrands (using the dominant-energy condition and the asymptotic decay of the data) and apply the dominated-convergence theorem to pass the limit inside the integrals, thereby validating both the positivity statement and the Penrose inequality for the limiting mass. revision: yes
-
Referee: Proof of the positive-mass theorem for the 1-harmonic mass: the argument relies on the limiting object inheriting non-negativity from the approximating sequence, but the manuscript provides no estimate controlling the error term arising from the formal limit.
Authors: The referee is correct that no quantitative error estimate is currently supplied. We will revise the proof by deriving an explicit bound on the difference between the approximating masses and the limiting mass. This will be achieved by controlling the remainder terms via the uniform convergence of the approximating harmonic functions (which follows from elliptic estimates on the asymptotically de Sitter ends) and by showing that the error vanishes in the limit, thereby confirming that non-negativity passes to the 1-harmonic mass. revision: yes
Circularity Check
No significant circularity; new invariants and formal limit are self-contained
full rationale
The paper introduces a new family of mass-type invariants for time-symmetric initial data under the dominant energy condition and defines the 1-harmonic mass via an explicit formal limiting procedure. It then states that independent proofs of a positive mass theorem and Penrose-type inequality are given for this mass, extending tools for positive cosmological constant geometries. No quoted equations or definitions reduce by construction to fitted inputs, self-referential parameters, or load-bearing self-citations; the abstract and claims treat the limiting definition and subsequent proofs as separate steps without interchange assumptions presented as automatic. The de Sitter characterization follows from the new invariants' properties rather than renaming or smuggling prior results. This is the standard case of a self-contained derivation with no circular reduction.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
Via a formal limiting procedure, we also define another invariant, the 1-harmonic Mass, for which we independently prove a positive mass theorem and a Penrose-type inequality
-
IndisputableMonolith/Foundation/AlphaCoordinateFixation.leanalpha_pin_under_high_calibration unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the function t↦m(p)_Λ(t) ... whose coefficients μ and λ obey the structural relationships (2.4)
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
compact three-dimensional Riemannian manifold with ... R≥2Λ
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.
Reference graph
Works this paper leans on
-
[1]
V. Agostiniani, M. Fogagnolo, and L. Mazzieri. Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature.Invent. Math., 222(3):1033–1101, 2020
work page 2020
-
[2]
Agostiniani, M Fogagnolo, and L
V. Agostiniani, M Fogagnolo, and L. Mazzieri. Minkowski inequalities via nonlinear potential theory. Arch. Ration. Mech. Anal., 244(1):51–85, 2022
work page 2022
-
[3]
V. Agostiniani, C. Mantegazza, L. Mazzieri, and F. Oronzio. Riemannian Penrose inequality via non- linear potential theory.Annali dela Scuola Normale Superiore Classe di Scienze, page 27, 2025
work page 2025
-
[4]
V. Agostiniani and L. Mazzieri. On the geometry of the level sets of bounded static potentials.Comm. Math. Phys., 355:261–301, 2017
work page 2017
-
[5]
V. Agostiniani and L. Mazzieri. Monotonicity formulas in potential theory.Calc. Var. Partial Differ- ential Equations, 59(1):Paper No. 6, 32 pp., 2020
work page 2020
-
[6]
V. Agostiniani, L. Mazzieri, and F. Oronzio. A Green’s function proof of the positive mass theorem. Comm. Math. Phys., 405(2):Paper No. 54, 23, 2024
work page 2024
-
[7]
L. C. Ambrozio. On perturbations of the Schwarzschild anti-de Sitter spaces of positive mass.Comm. Math. Phys., 337(2):767–783, 2015
work page 2015
-
[8]
S. Angeloni and P. Esposito. The Green function forp-Laplace operators. ArXiv Preprint Server – arXiv:2203.01206, 2023
- [9]
-
[10]
E. Barbosa, M. P. Cavalcante, and J. M. Espinar. Min-Oo conjecture for fully nonlinear conformally invariant equations.Comm. Pure Appl. Math., 72(11):2259–2281, 2019
work page 2019
-
[11]
R. Bartnik. The mass of an asymptotically flat manifold.Communications on Pure and Applied Math- ematics, 39(5):661–693, 1986
work page 1986
-
[12]
R. Bartnik. New definition of quasilocal mass.Phys. Rev. Lett., 62(20):2346–2348, 1989
work page 1989
-
[13]
L. Benatti, L. Mari, M. Rigoli, A. G. Setti, and K. Xu. Proper solutions of the 1/H-flow and the Green kernel of thep-Laplacian. ArXiv Preprint Server – arXiv:2512.14591, 2025
-
[14]
L. Benatti, A. Pluda, and M. Pozzetta. Fine properties of nonlinear potentials and a unified perspective on monotonicity formulas. ArXiv Preprint Server – arXiv:2411.06462, 2024
-
[15]
S. Borghini, C. Cederbaum, and A. Cogo. Black hole and equipotential photon surface uniqueness in four-dimensional asymptotically flat electrostatic electro-vacuum spacetimes.Ann. Henri Poincar´ e, 26(11):3963–4019, 2025
work page 2025
-
[16]
S. Borghini and L. Mazzieri. On the mass of static metrics with positive cosmological constant: II. Comm. Math. Phys., 377(3):2079–2158, 2020
work page 2079
-
[17]
H. L. Bray. Proof of the Riemannian Penrose inequality using the positive mass theorem.J. Diff. Geom., 59:177–267, 2001
work page 2001
-
[18]
H. L. Bray and P. T. Chru´ sciel. The Penrose inequality. InThe Einstein equations and the large scale behavior of gravitational fields, pages 39–70. Birkh¨ auser, Basel, 2004
work page 2004
-
[19]
H. L. Bray, D. Kazaras, M. A. Khuri, and D. L. Stern. Harmonic functions and the mass of 3– dimensional asymptotically flat Riemannian manifolds.J. Geom. Anal., 32:29 pp., 2022
work page 2022
-
[20]
H. L. Bray and D. A. Lee. On the Riemannian Penrose inequality in dimensions less than eight.Duke Math. J., 148:81–106, 2009
work page 2009
-
[21]
S. Brendle and F. C. Marques. Scalar curvature rigidity of geodesic balls inS n.J. Differential Geom., 88(3):379–394, 2011
work page 2011
-
[22]
S. Brendle, F. C. Marques, and A. Neves. Deformations of the hemisphere that increase scalar curvature. Inventiones Mathematicae, 185(1):175–197, 2011
work page 2011
-
[23]
S. M. Carrol. The Cosmological Constant.Living Rev. Relativ., 4:147–154, 2001
work page 2001
-
[24]
S. M. Carroll, W. H. Press, and E. L. Turner. The Cosmological Constant.Annual Review of Astronomy and Astrophysics, 30(Volume 30, 1992):499–542, 1992
work page 1992
-
[25]
C. Cederbaum, A. Cogo, and A. Fehrenbach. Uniqueness of equipotential photon surfaces in 4- dimensional static vacuum asymptotically flat spacetimes for positive, negative, and zero mass—and a new partial proof of the Willmore inequality.J. Math. Phys., 66(5):Paper No. 052504, 24, 2025. MASS-TYPE INV ARIANTS WITH A COSMOLOGICAL CONSTANT 79
work page 2025
-
[26]
P.-Y. Chan, J. Chu, M.-C. Lee, and T.-Y. Tsang. Monotonicity of thep-Green functions.Int. Math. Res. Not. IMRN, (9):7998–8025, 2024
work page 2024
-
[27]
P. T. Chru´ sciel. A remark on the positive-energy theorem.Classical and Quantum Gravity, 3(6):L115– L121, 1986
work page 1986
-
[28]
P. T. Chru´ sciel and M. Herzlich. The mass of asymptotically hyperbolic Riemannian manifolds.Pacific Journal of Mathematics, 212:231–264, 2003
work page 2003
-
[29]
P. T. Chru´ sciel and G. Nagy. The mass of spacelike hypersurfaces in asymptotically anti-de Sitter space-times.Adv. Theor. Math. Phys., 5:697–754, 2002
work page 2002
-
[30]
T. H. Colding. New monotonicity formulas for Ricci curvature and applications. I.Acta Math., 209(2):229–263, 2012
work page 2012
-
[31]
T. H. Colding and W. P. Minicozzi. Ricci curvature and monotonicity for harmonic functions.Calc. Var. Partial Differential Equations, 49(3-4):1045–1059, 2014
work page 2014
-
[32]
E. Di Benedetto.C 1+α local regularity of weak solutions of degenerate elliptic equations.Nonlinear Anal., 7(8):827–850, 1983
work page 1983
- [33]
-
[34]
R. Geroch. Energy extraction.Ann. New York Acad. Sci., 224:108–117, 1973
work page 1973
-
[35]
G. W. Gibbons. Some comments on gravitational entropy and the inverse mean curvature flow.Classical Quantum Gravity, 16(6):1677–1687, 1999
work page 1999
-
[36]
F. Hang and X. Wang. Rigidity and non-rigidity results on the sphere.Comm. Anal. Geom., 14(1):91– 106, 2006
work page 2006
-
[37]
F. Hang and X. Wang. Rigidity theorems for compact manifolds with boundary and positive Ricci curvature.J. Geom. Anal., 19(3):628–642, 2009
work page 2009
-
[38]
A. Hatcher. Notes on basic 3-manifold topology. Online notes available athttps://pi.math.cornell. edu/~hatcher/3M/3Mfds.pdf
- [39]
-
[40]
S. Hirsch and P. Miao. A positive mass theorem for manifolds with boundary.Pacific J. Math., 306:185– 201, 2020
work page 2020
-
[41]
G. Huisken and T. Ilmanen. The inverse mean curvature flow and the Riemannian Penrose inequality. J. Differential Geom., 59(3):353–437, 2001
work page 2001
-
[42]
P. S. Jang and R. M. Wald. The positive energy conjecture and the cosmic censor hypothesis.J. Math. Phys., 18:41–44, 1977
work page 1977
-
[43]
S. Kichenassamy and L. Veron. Singular solutions of thep–Laplace equation.Math. Ann., 275:599–616, 1986
work page 1986
-
[44]
B. Kotschwar and L. Ni. Local gradient estimates ofp-harmonic functions, 1/H-flow, and an entropy formula.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 42(1):1–36, 2009
work page 2009
-
[45]
K. Kr¨ oncke, F. Oronzio, and A. Pinoy. Green functions and a positive mass theorem for asymptotically hyperbolic 3-manifolds. ArXiv Preprint Server – arXiv:2506.07108, 2025
-
[46]
T. Kura. On the Green function of thep-Laplace equation for Riemannian manifolds.Proc. Japan Acad. Ser. A Math. Sci., 75(3):37–38, 1999
work page 1999
-
[47]
D. A. Lee and A. Neves. The Penrose inequality for asymptotically locally hyperbolic spaces with nonpositive mass.Comm. Math. Phys., 339(2):327–352, 2015
work page 2015
-
[48]
Y. Li. Ricci flow on asymptotically euclidean manifolds.Geometry & Topology, 22:1837–1891, 2018
work page 2018
-
[49]
G. M. Lieberman. Boundary regularity for solutions of degenerate elliptic equations.Nonlinear Anal., 12(11):1203–1219, 1988
work page 1988
- [50]
-
[51]
L. Mari, M. Rigoli, and A. G. Setti. On the 1/H-flow byp-Laplace approximation: new estimates via fake distances under Ricci lower bounds.Amer. J. Math., 144(3):779–849, 2022
work page 2022
- [52]
-
[53]
P. Miao. Mass, capacitary functions, and the mass-to-capacity ratio.Peking Math. J., 8(2):351–404, 2025
work page 2025
-
[54]
M. Min-Oo. Scalar curvature rigidity of asymptotically hyperbolic spin manifolds.Math. Ann., 285(4):527–539, 1989
work page 1989
-
[55]
M. Min-Oo. Scalar curvature rigidity of the hemisphere. Preprint, McMaster University, 1996
work page 1996
-
[56]
R. Moser. The inverse mean curvature flow andp–harmonic functions.J. Eur. Math. Soc., 9(1):77–83, 2007
work page 2007
-
[57]
O. Munteanu and J. Wang. Comparison theorems for 3D manifolds with scalar curvature bound.Int. Math. Res. Not. IMRN, (3):2215–2242, 2023
work page 2023
-
[58]
O. Munteanu and J. Wang. Bottom spectrum of three-dimensional manifolds with scalar curvature lower bound.J. Funct. Anal., 287(2):Paper No. 110457, 41, 2024
work page 2024
-
[59]
O. Munteanu and J. Wang. Geometry of three-dimensional manifolds with positive scalar curvature. Amer. J. Math., 148(1):131–161, 2026
work page 2026
-
[60]
S. Perlmutter, G. Aldering, G. Goldhabern, R. A. Knop, P. Nugent, P. G. Castro, S. Deustua, S. Fabbro, A. Goobar, D. E. Groom, et al. Measurements ofωandλfrom 42 High-Redshift Supernovae.The Astrophysical Journal, 517(2):565–586, 1999
work page 1999
-
[61]
P. Pucci and J. Serrin.The maximum principle, volume 73 ofProgress in Nonlinear Differential Equa- tions and their Applications. Birkh¨ auser Verlag, Basel, 2007
work page 2007
-
[62]
A. G. Riess, A.V. Filippenko, P. Challis, A. Clocchiatti, A. Diercks, P. M. Garnavich, R. L. Gilliland, C. J. Hogan, S. Jha, R. P. Kirshner, et al. Observational Evidence from Supernovae for an Accelerating Universe and a Cosmological Constant.The Astronomical Journal, 116(3):1009–1038, 1998
work page 1998
-
[63]
R. Schoen and S.-T. Yau. On the proof of the positive mass conjecture in general relativity.Commu- nications in Mathematical Physics, 65:45–76, 1979
work page 1979
-
[64]
R. Schoen and S.-T. Yau. The energy and the linear momentum of space-times in general relativity. Comm. Math. Phys., 79(1):47–51, 1981
work page 1981
-
[65]
J. Serrin. Isolated singularities of solutions of quasi-linear equations.Acta Math., 113:219–240, 1965
work page 1965
-
[66]
F. M. Spiegel. Scalar curvature rigidity for locally conformally flat manifolds with boundary. ArXiv Preprint Server – arXiv:1511.06270v2, 2016
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[67]
D. L. Stern. Scalar curvature and harmonic maps toS 1.J. Differential Geom., 122(2):259–269, 2022
work page 2022
- [68]
- [69]
-
[70]
N. S. Trudinger. On Harnack type inequalities and their application to quasilinear elliptic equations. Comm. Pure Appl. Math., 20:721–747, 1967
work page 1967
-
[71]
X. Wang. The mass of asymptotically hyperbolic manifolds.Journal of Differential Geometry, 57:273– 299, 2001
work page 2001
- [72]
-
[73]
E. Witten. A new proof of the positive energy theorem.Communications in Mathematical Physics, 80:381–402, 1981
work page 1981
-
[74]
K. Xu. Inverse mean curvature flow with outer obstacle. ArXiv Preprint Server – arXiv:2405.15181v2, 2025. V. Agostiniani, Universit `a degli Studi di Trento, via Sommarive 14, 38123 Povo (TN), Italy Email address:virginia.agostiniani@unitn.it S. Borghini, Universit `a degli Studi di Napoli Federico II, Via Cintia, Monte S. Angelo, 80126 Napoli (NA), Italy...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.