pith. sign in

arxiv: 2603.01543 · v2 · submitted 2026-03-02 · 🧮 math.DG · gr-qc· math.AP

Mass-type invariants in the presence of a cosmological constant

Pith reviewed 2026-05-15 17:06 UTC · model grok-4.3

classification 🧮 math.DG gr-qcmath.AP
keywords mass invariantscosmological constantde Sitter solutionpositive mass theoremPenrose inequalitydominant energy conditioninitial datarigidity
0
0 comments X

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.

The paper introduces a family of mass-type invariants defined on time-symmetric initial data sets that obey the dominant energy condition. For positive cosmological constant these invariants succeed in characterizing the de Sitter solution, whereas the total Hawking mass does not. The same construction supplies, via a formal limit, a 1-harmonic mass for which the authors establish both a positive-mass theorem and a Penrose-type inequality. These results suggest a route to sharper rigidity statements for de Sitter geometry.

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

Figures reproduced from arXiv: 2603.01543 by Lorenzo Mazzieri, Stefano Borghini, Virginia Agostiniani.

Figure 1
Figure 1. Figure 1: Graph of the function pΛ(r) = r 2 [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗
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.

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.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; all technical assumptions remain implicit.

pith-pipeline@v0.9.0 · 5433 in / 968 out tokens · 38265 ms · 2026-05-15T17:06:28.082844+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

74 extracted references · 74 canonical work pages · 1 internal anchor

  1. [1]

    Agostiniani, M

    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

  2. [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

  3. [3]

    Agostiniani, C

    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

  4. [4]

    Agostiniani and L

    V. Agostiniani and L. Mazzieri. On the geometry of the level sets of bounded static potentials.Comm. Math. Phys., 355:261–301, 2017

  5. [5]

    Agostiniani and L

    V. Agostiniani and L. Mazzieri. Monotonicity formulas in potential theory.Calc. Var. Partial Differ- ential Equations, 59(1):Paper No. 6, 32 pp., 2020

  6. [6]

    Agostiniani, L

    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

  7. [7]

    L. C. Ambrozio. On perturbations of the Schwarzschild anti-de Sitter spaces of positive mass.Comm. Math. Phys., 337(2):767–783, 2015

  8. [8]

    Angeloni and P

    S. Angeloni and P. Esposito. The Green function forp-Laplace operators. ArXiv Preprint Server – arXiv:2203.01206, 2023

  9. [9]

    Avalos, E

    R. Avalos, E. Ling, and A. Piubello. On energy and its positivity in spacetimes with an expanding flat de sitter background. ArXiv Preprint Server – arXiv:2511.01713, 2025

  10. [10]

    Barbosa, M

    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

  11. [11]

    R. Bartnik. The mass of an asymptotically flat manifold.Communications on Pure and Applied Math- ematics, 39(5):661–693, 1986

  12. [12]

    R. Bartnik. New definition of quasilocal mass.Phys. Rev. Lett., 62(20):2346–2348, 1989

  13. [13]

    Benatti, L

    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. [14]

    Benatti, A

    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. [15]

    Borghini, C

    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

  16. [16]

    Borghini and L

    S. Borghini and L. Mazzieri. On the mass of static metrics with positive cosmological constant: II. Comm. Math. Phys., 377(3):2079–2158, 2020

  17. [17]

    H. L. Bray. Proof of the Riemannian Penrose inequality using the positive mass theorem.J. Diff. Geom., 59:177–267, 2001

  18. [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

  19. [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

  20. [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

  21. [21]

    Brendle and F

    S. Brendle and F. C. Marques. Scalar curvature rigidity of geodesic balls inS n.J. Differential Geom., 88(3):379–394, 2011

  22. [22]

    Brendle, F

    S. Brendle, F. C. Marques, and A. Neves. Deformations of the hemisphere that increase scalar curvature. Inventiones Mathematicae, 185(1):175–197, 2011

  23. [23]

    S. M. Carrol. The Cosmological Constant.Living Rev. Relativ., 4:147–154, 2001

  24. [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

  25. [25]

    Cederbaum, A

    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

  26. [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

  27. [27]

    P. T. Chru´ sciel. A remark on the positive-energy theorem.Classical and Quantum Gravity, 3(6):L115– L121, 1986

  28. [28]

    P. T. Chru´ sciel and M. Herzlich. The mass of asymptotically hyperbolic Riemannian manifolds.Pacific Journal of Mathematics, 212:231–264, 2003

  29. [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

  30. [30]

    T. H. Colding. New monotonicity formulas for Ricci curvature and applications. I.Acta Math., 209(2):229–263, 2012

  31. [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

  32. [32]

    Di Benedetto.C 1+α local regularity of weak solutions of degenerate elliptic equations.Nonlinear Anal., 7(8):827–850, 1983

    E. Di Benedetto.C 1+α local regularity of weak solutions of degenerate elliptic equations.Nonlinear Anal., 7(8):827–850, 1983

  33. [33]

    Eichmair

    M. Eichmair. The size of isoperimetric surfaces in 3-manifolds and a rigidity result for the upper hemisphere.Proceedings of the American Mathematical Society, 137(8):2733–2740, 2009

  34. [34]

    R. Geroch. Energy extraction.Ann. New York Acad. Sci., 224:108–117, 1973

  35. [35]

    G. W. Gibbons. Some comments on gravitational entropy and the inverse mean curvature flow.Classical Quantum Gravity, 16(6):1677–1687, 1999

  36. [36]

    Hang and X

    F. Hang and X. Wang. Rigidity and non-rigidity results on the sphere.Comm. Anal. Geom., 14(1):91– 106, 2006

  37. [37]

    Hang and X

    F. Hang and X. Wang. Rigidity theorems for compact manifolds with boundary and positive Ricci curvature.J. Geom. Anal., 19(3):628–642, 2009

  38. [38]

    A. Hatcher. Notes on basic 3-manifold topology. Online notes available athttps://pi.math.cornell. edu/~hatcher/3M/3Mfds.pdf

  39. [39]

    Hirsch, D

    S. Hirsch, D. Kazaras, and M. Khuri. Spacetime harmonic functions and the mass of 3-dimensional asymptotically flat initial data for the Einstein equations.J. Differential Geom., 122(2):223–258, 2022

  40. [40]

    Hirsch and P

    S. Hirsch and P. Miao. A positive mass theorem for manifolds with boundary.Pacific J. Math., 306:185– 201, 2020

  41. [41]

    Huisken and T

    G. Huisken and T. Ilmanen. The inverse mean curvature flow and the Riemannian Penrose inequality. J. Differential Geom., 59(3):353–437, 2001

  42. [42]

    P. S. Jang and R. M. Wald. The positive energy conjecture and the cosmic censor hypothesis.J. Math. Phys., 18:41–44, 1977

  43. [43]

    Kichenassamy and L

    S. Kichenassamy and L. Veron. Singular solutions of thep–Laplace equation.Math. Ann., 275:599–616, 1986

  44. [44]

    Kotschwar and L

    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

  45. [45]

    Kr¨ oncke, F

    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. [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

  47. [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

  48. [48]

    Y. Li. Ricci flow on asymptotically euclidean manifolds.Geometry & Topology, 22:1837–1891, 2018

  49. [49]

    G. M. Lieberman. Boundary regularity for solutions of degenerate elliptic equations.Nonlinear Anal., 12(11):1203–1219, 1988

  50. [50]

    Lindqvist

    P. Lindqvist. Notes on thep-Laplace equation.Report. University of Jyv¨ askyl¨ a Department of Mathe- matics and Statistics, 102, 01 2006

  51. [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

  52. [52]

    McCormick

    S. McCormick. An overview of Bartnik’s quasi-local mass.Beijing J. Pure Appl. Math., 1(2):455–487, 2024. 80 V. AGOSTINIANI, S. BORGHINI, AND L. MAZZIERI

  53. [53]

    P. Miao. Mass, capacitary functions, and the mass-to-capacity ratio.Peking Math. J., 8(2):351–404, 2025

  54. [54]

    M. Min-Oo. Scalar curvature rigidity of asymptotically hyperbolic spin manifolds.Math. Ann., 285(4):527–539, 1989

  55. [55]

    M. Min-Oo. Scalar curvature rigidity of the hemisphere. Preprint, McMaster University, 1996

  56. [56]

    R. Moser. The inverse mean curvature flow andp–harmonic functions.J. Eur. Math. Soc., 9(1):77–83, 2007

  57. [57]

    Munteanu and J

    O. Munteanu and J. Wang. Comparison theorems for 3D manifolds with scalar curvature bound.Int. Math. Res. Not. IMRN, (3):2215–2242, 2023

  58. [58]

    Munteanu and J

    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

  59. [59]

    Munteanu and J

    O. Munteanu and J. Wang. Geometry of three-dimensional manifolds with positive scalar curvature. Amer. J. Math., 148(1):131–161, 2026

  60. [60]

    Perlmutter, G

    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

  61. [61]

    Pucci and J

    P. Pucci and J. Serrin.The maximum principle, volume 73 ofProgress in Nonlinear Differential Equa- tions and their Applications. Birkh¨ auser Verlag, Basel, 2007

  62. [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

  63. [63]

    Schoen and S.-T

    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

  64. [64]

    Schoen and S.-T

    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

  65. [65]

    J. Serrin. Isolated singularities of solutions of quasi-linear equations.Acta Math., 113:219–240, 1965

  66. [66]

    F. M. Spiegel. Scalar curvature rigidity for locally conformally flat manifolds with boundary. ArXiv Preprint Server – arXiv:1511.06270v2, 2016

  67. [67]

    D. L. Stern. Scalar curvature and harmonic maps toS 1.J. Differential Geom., 122(2):259–269, 2022

  68. [68]

    Tolksdorf

    P. Tolksdorf. On the Dirichlet problem for quasilinear equations.Comm. in Partial Differential Equa- tions, (7):773–817, 1983

  69. [69]

    Tolksdorf

    P. Tolksdorf. Regularity for a more general class of quasilinear elliptic equations.J. Differential Equa- tions, 51(1):126–150, 1984

  70. [70]

    N. S. Trudinger. On Harnack type inequalities and their application to quasilinear elliptic equations. Comm. Pure Appl. Math., 20:721–747, 1967

  71. [71]

    X. Wang. The mass of asymptotically hyperbolic manifolds.Journal of Differential Geometry, 57:273– 299, 2001

  72. [72]

    Weinberg

    S. Weinberg. The Cosmological Constant Problem.Living Reviews in Relativity, 4:1, 2001

  73. [73]

    E. Witten. A new proof of the positive energy theorem.Communications in Mathematical Physics, 80:381–402, 1981

  74. [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...