Mass, Staticity, and a Riemannian Penrose Inequality for Weighted Manifolds

Stephen McCormick

arxiv: 2601.19875 · v2 · submitted 2026-01-27 · 🧮 math.DG

Mass, Staticity, and a Riemannian Penrose Inequality for Weighted Manifolds

Stephen McCormick This is my paper

Pith reviewed 2026-05-16 10:39 UTC · model grok-4.3

classification 🧮 math.DG

keywords weighted manifoldsRiemannian Penrose inequalityweighted massstatic metricsconformal metricsminimal surface boundarypositive mass theorem

0 comments

The pith

Weighted manifolds satisfy a Riemannian Penrose inequality with equality only for unique weighted static metrics.

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

The paper shows that weighted manifolds obey a Riemannian Penrose inequality whose lower bound on weighted mass is achieved precisely when the manifold is a weighted static metric with a weighted minimal surface boundary. It first derives the weighted mass of Baldauf and Ozuch as a geometric invariant from a weighted curvature map, and defines a corresponding weighted centre of mass. The central step is proving that this curvature map equals the scalar curvature of a conformally related metric, which establishes an equivalence between ordinary static metrics and weighted static metrics. A reader cares because the equivalence transfers the classical Penrose inequality and its rigidity statement directly into the weighted setting, characterizing the mass minimizers.

Core claim

The weighted curvature quantity is essentially the scalar curvature of a conformally related metric. Weighted static metrics are therefore equivalent to standard static metrics under this conformal relationship. Weighted manifolds satisfy a Riemannian Penrose inequality whose equality case holds precisely for the unique weighted static metrics with weighted minimal surface boundaries.

What carries the argument

The weighted curvature map, which equals the scalar curvature of a conformally related metric and thereby transfers the standard Penrose inequality together with the staticity condition.

If this is right

The weighted mass arises naturally as a geometric invariant from the curvature map.
A weighted centre of mass can be defined in the same way.
Weighted static manifolds with weighted minimal surface boundaries are unique.
Equality in the weighted Penrose inequality occurs exactly at these weighted static metrics.

Where Pith is reading between the lines

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

The same conformal reduction may simplify proofs of other weighted inequalities in geometry.
Weighted static metrics become the natural candidates for mass minimizers in weighted models of general relativity.
Stability or rigidity results for the weighted inequality could follow from the classical case via the same conformal map.

Load-bearing premise

The weighted curvature map is essentially the scalar curvature of a conformally related metric, so that static metrics and weighted static metrics are equivalent and the standard Penrose inequality transfers directly.

What would settle it

A weighted manifold whose weighted mass lies strictly below the boundary-area term of the inequality, or a weighted static metric with minimal boundary that fails to be unique.

read the original abstract

In this note, we show that the weighted mass of Baldauf and Ozuch (2022) can be derived as a natural geometric mass invariant following Michel (2011), for a certain weighted curvature map. An associated weighted centre of mass definition is also derived from this. The adjoint of the linearisation of this curvature map leads to a notion of weighted static metrics, which are natural candidates for weighted mass minimisers. This weighted curvature quantity is essentially the scalar curvature of a conformally related metric that Law, Lopez and Santiago (2025) used to considerably simplify the proof of the weighted positive mass theorem. We show an equivalence between static metrics and weighted static metrics via the conformal relationship, from which we show that a uniqueness theorem holds for weighted static manifolds with weighted minimal surface boundaries. Furthermore, we show that weighted manifolds satisfy a Riemannian Penrose inequality whose equality case holds precisely for these unique weighted static metrics.

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

The paper transfers the Riemannian Penrose inequality to weighted manifolds via conformal reduction to the classical case, with the main remaining question being exact matching of the weighted mass to ADM mass at infinity.

read the letter

The core contribution is a clean reduction: McCormick derives the weighted mass following Michel's geometric approach, defines weighted static metrics from the linearization, proves their equivalence to ordinary static metrics under the conformal change from Law-Lopez-Santiago, and then obtains uniqueness for weighted-static metrics with weighted-minimal boundaries plus the weighted Penrose inequality with equality only in those cases. The reduction works because the weighted curvature is essentially the scalar curvature of the conformal metric, so the classical results carry over directly once the equivalence is set up. That part is straightforward and well-organized, and the citation choices (Michel 2011, Baldauf-Ozuch 2022, Law et al. 2025) are appropriate without circularity. The new elements are genuinely absent from the prior literature cited, so the note adds a usable extension for weighted settings. The potential weak point is the asymptotic and boundary matching. For the inequality and equality case to transfer without correction terms, the weighted mass must coincide exactly with the ADM mass of the conformal metric, including any contributions from a non-constant weight at infinity and the mapping of weighted-minimal surfaces to ordinary minimal surfaces. The abstract and construction do not spell out the explicit expansion check, so a reader needs to verify that step in the full text to be sure no extra terms appear. If that check holds, the argument is solid; if not, the inequality would require adjustment. This is a short note aimed at specialists in mathematical general relativity and weighted Riemannian geometry who already know the classical Penrose inequality and conformal techniques. It is worth a serious referee because the claims are precise, the method is standard, and the extension is new even if the proofs largely reduce to known results.

Referee Report

2 major / 2 minor

Summary. The paper derives the weighted mass of Baldauf-Ozuch as a geometric invariant via Michel's construction applied to a weighted curvature map (identified with the scalar curvature of a conformally related metric, following Law-Lopez-Santiago). It introduces a weighted centre of mass, defines weighted static metrics via the adjoint of the linearised curvature map, proves equivalence of static and weighted-static metrics under the conformal change, establishes uniqueness of weighted-static manifolds with weighted-minimal boundaries, and proves a Riemannian Penrose inequality on weighted manifolds whose equality case is precisely these unique weighted-static metrics.

Significance. If the asymptotic and boundary matching holds, the work supplies a clean conformal transfer of the Riemannian Penrose inequality to the weighted setting, together with a natural uniqueness statement for the equality case. The reduction to the standard static case via the Law-Lopez-Santiago conformal factor is a strength, as is the explicit construction of the weighted mass from Michel's framework without ad-hoc parameters.

major comments (2)

[§2] §2 (mass derivation following Michel 2011): the asymptotic expansion of the weighted mass must be shown to coincide exactly with the ADM mass of the conformally related metric, including all boundary and decay terms induced by a non-constant weight function at infinity. Without this explicit verification, direct transfer of both the inequality and the equality characterisation from the conformal side is not justified.
[§3] §3 (conformal equivalence and boundary mapping): it must be confirmed that weighted-minimal boundaries are sent to ordinary minimal surfaces under the conformal change, with no residual boundary terms arising from the weight. The current argument invokes the equivalence but does not display the transformed boundary condition explicitly.

minor comments (2)

[Notation] Notation for the weighted curvature map should be introduced once and used uniformly; several passages alternate between the weighted scalar curvature and the conformal scalar curvature without cross-reference.
[Uniqueness theorem] The statement of the uniqueness theorem for weighted-static metrics with weighted-minimal boundaries would benefit from an explicit list of the decay and regularity assumptions on the weight function.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive overall assessment, and constructive suggestions. The two major comments identify places where explicit verifications will strengthen the manuscript. We address each point below and will incorporate the requested details in the revised version.

read point-by-point responses

Referee: [§2] §2 (mass derivation following Michel 2011): the asymptotic expansion of the weighted mass must be shown to coincide exactly with the ADM mass of the conformally related metric, including all boundary and decay terms induced by a non-constant weight function at infinity. Without this explicit verification, direct transfer of both the inequality and the equality characterisation from the conformal side is not justified.

Authors: We agree that an explicit verification is required. In the revised manuscript we will add a detailed computation of the asymptotic expansion of the weighted mass (obtained via Michel’s construction applied to the weighted curvature map) and show that it coincides term-by-term with the ADM mass of the conformally related metric, including all decay and boundary contributions generated by a non-constant weight at infinity. This calculation will justify the direct transfer of the Riemannian Penrose inequality and its equality characterisation. revision: yes
Referee: [§3] §3 (conformal equivalence and boundary mapping): it must be confirmed that weighted-minimal boundaries are sent to ordinary minimal surfaces under the conformal change, with no residual boundary terms arising from the weight. The current argument invokes the equivalence but does not display the transformed boundary condition explicitly.

Authors: We accept the referee’s observation. The revised version will contain an explicit computation of the boundary condition under the conformal change of Law–Lopez–Santiago. We will verify that a weighted-minimal boundary is mapped to an ordinary minimal surface and that no residual boundary terms arise from the weight function, thereby completing the justification of the equivalence. revision: yes

Circularity Check

0 steps flagged

No circularity; Penrose inequality transfers via explicit conformal equivalence to independent classical results

full rationale

The paper defines the weighted curvature map as essentially the scalar curvature of a conformally related metric (citing Law-Lopez-Santiago 2025), derives the weighted mass following Michel (2011), establishes equivalence of static and weighted-static metrics via this conformal relationship, proves a uniqueness theorem for weighted-static manifolds with weighted-minimal boundaries, and invokes the standard Riemannian Penrose inequality on the conformal side. No derivation step reduces by construction to its own inputs, no parameters are fitted then renamed as predictions, and no load-bearing premise rests on self-citation chains. The central claim is self-contained against external benchmarks once the conformal mapping is granted, with all cited results independent of the present work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The paper relies on standard differential geometry axioms and introduces definitional objects rather than new physical postulates. No free parameters appear; the work is a pure proof extending existing frameworks.

axioms (2)

standard math Standard properties of Riemannian manifolds and conformal transformations preserve the relevant geometric quantities such as minimality and static equations.
Invoked to establish equivalence between static and weighted static metrics and to transfer the Penrose inequality.
domain assumption The weighted curvature map is well-defined and its linearization admits an adjoint that yields the weighted static equation.
Central to defining the weighted mass and identifying mass minimizers.

invented entities (2)

weighted mass no independent evidence
purpose: Geometric mass invariant for weighted manifolds derived from the weighted curvature map.
Defined following Michel's construction applied to the new curvature quantity; no independent evidence beyond the definition.
weighted static metrics no independent evidence
purpose: Candidates for weighted mass minimizers defined via adjoint of the curvature linearization.
Introduced as natural objects; shown equivalent to classical static metrics via conformal change.

pith-pipeline@v0.9.0 · 5449 in / 1373 out tokens · 42266 ms · 2026-05-16T10:39:39.368996+00:00 · methodology

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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

weighted curvature map Sf = Rf + 1/(n-1)|∇f|²; conformal ĝ = e^{-2f/(n-1)}g with scalar curvature e^{2f/(n-1)} Sf; mf(g) = m(ĝ)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

uniqueness of f-Schwarzschild metrics via conformal static vacuum uniqueness (Bunting-Masood-ul-Alam, Gibbons-Ida-Shiromizu)

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

13 extracted references · 13 canonical work pages

[1]

Baldauf and T

J. Baldauf and T. Ozuch. Spinors and mass on weighted manifolds.Comm. Math. Phys., 394:1153–1172, 2022

work page 2022
[2]

H. L. Bray. Proof of the Riemannian Penrose conjecture using the positive mass theorem.J. Differential Geom., 59(2):177–267, 2001

work page 2001
[3]

H. L. Bray and D. A. Lee. On the Riemannian Penrose inequality in dimensions less than eight.Duke Math. J., 148(1):81–106, 2009

work page 2009
[4]

G. L. Bunting and A. K. M. Masood-ul-Alam. Nonexistence of multiple black holes in asymptotically Euclidean static vacuum space-time.Gen. Rel. Grav., 19(2):147–154, 1987

work page 1987
[5]

Chu and J

J. Chu and J. Zhu. A non-spin method to the positive weighted mass theorem for weighted manifolds.J. Geom. Anal., 34:272, 2024

work page 2024
[6]

G. W. Gibbons, D. Ida, and T. Shiromizu. Uniqueness and non-uniqueness of static vacuum black holes in higher dimensions.Prog. Theor. Phys. Suppl., 148:284–290, 2002

work page 2002
[7]

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

work page 2001
[8]

Huisken and S.-T

G. Huisken and S.-T. Yau. Definition of center of mass for isolated physical systems and unique foliations by stable spheres with constant mean curvature.Invent. Math., 124(1–3):281–311, 1996

work page 1996
[9]

M. B. Law, I. M. Lopez, and D. Santiago. Positive mass and Dirac operators on weighted manifolds and smooth metric measure spaces.J. Geom. Phys., 209:105386, 2025

work page 2025
[10]

B. Michel. Geometric invariance of mass-like asymptotic invariants.J. Math. Phys., 52(5):052504, 2011

work page 2011
[11]

Regge and C

T. Regge and C. Teitelboim. Role of surface integrals in the Hamiltonian formulation of general relativity.Ann. Phys., 88:286–318, 1974

work page 1974
[12]

Schoen and S.-T

R. Schoen and S.-T. Yau. On the proof of the positive mass conjecture in general relativity.Comm. Math. Phys., 65(1):45–76, 1979

work page 1979
[13]

E. Witten. A new proof of the positive energy theorem.Comm. Math. Phys., 80(3):381–402, 1981. Institutionen f¨or teknikvetenskap och matematik, Lule ˚a tekniska univer- sitet, 971 87 Lule˚a, Sweden Email address:stephen.mccormick@ltu.se

work page 1981

[1] [1]

Baldauf and T

J. Baldauf and T. Ozuch. Spinors and mass on weighted manifolds.Comm. Math. Phys., 394:1153–1172, 2022

work page 2022

[2] [2]

H. L. Bray. Proof of the Riemannian Penrose conjecture using the positive mass theorem.J. Differential Geom., 59(2):177–267, 2001

work page 2001

[3] [3]

H. L. Bray and D. A. Lee. On the Riemannian Penrose inequality in dimensions less than eight.Duke Math. J., 148(1):81–106, 2009

work page 2009

[4] [4]

G. L. Bunting and A. K. M. Masood-ul-Alam. Nonexistence of multiple black holes in asymptotically Euclidean static vacuum space-time.Gen. Rel. Grav., 19(2):147–154, 1987

work page 1987

[5] [5]

Chu and J

J. Chu and J. Zhu. A non-spin method to the positive weighted mass theorem for weighted manifolds.J. Geom. Anal., 34:272, 2024

work page 2024

[6] [6]

G. W. Gibbons, D. Ida, and T. Shiromizu. Uniqueness and non-uniqueness of static vacuum black holes in higher dimensions.Prog. Theor. Phys. Suppl., 148:284–290, 2002

work page 2002

[7] [7]

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

work page 2001

[8] [8]

Huisken and S.-T

G. Huisken and S.-T. Yau. Definition of center of mass for isolated physical systems and unique foliations by stable spheres with constant mean curvature.Invent. Math., 124(1–3):281–311, 1996

work page 1996

[9] [9]

M. B. Law, I. M. Lopez, and D. Santiago. Positive mass and Dirac operators on weighted manifolds and smooth metric measure spaces.J. Geom. Phys., 209:105386, 2025

work page 2025

[10] [10]

B. Michel. Geometric invariance of mass-like asymptotic invariants.J. Math. Phys., 52(5):052504, 2011

work page 2011

[11] [11]

Regge and C

T. Regge and C. Teitelboim. Role of surface integrals in the Hamiltonian formulation of general relativity.Ann. Phys., 88:286–318, 1974

work page 1974

[12] [12]

Schoen and S.-T

R. Schoen and S.-T. Yau. On the proof of the positive mass conjecture in general relativity.Comm. Math. Phys., 65(1):45–76, 1979

work page 1979

[13] [13]

E. Witten. A new proof of the positive energy theorem.Comm. Math. Phys., 80(3):381–402, 1981. Institutionen f¨or teknikvetenskap och matematik, Lule ˚a tekniska univer- sitet, 971 87 Lule˚a, Sweden Email address:stephen.mccormick@ltu.se

work page 1981