pith. sign in

arxiv: 2606.08086 · v1 · pith:QLHZOJ5Qnew · submitted 2026-06-06 · 🧮 math.DG

Monotone quantities on 3-manifolds with nonnegative scalar curvature

Jiannan Chen , Haiping Fu This is my paper

Pith reviewed 2026-06-27 19:29 UTC · model grok-4.3

classification 🧮 math.DG
keywords monotone quantitiesharmonic functionsasymptotically flat manifoldsnonnegative scalar curvatureSchwarzschild manifoldmass-capacity inequalitiesgeometric inequalitiesintegral identities
0
0 comments X

The pith

Monotone quantities for harmonic functions on asymptotically flat 3-manifolds with nonnegative scalar curvature are constant on Schwarzschild exteriors.

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

The paper derives monotone quantities associated to harmonic functions on asymptotically flat 3-manifolds that have simple topology and nonnegative scalar curvature. These quantities remain constant when evaluated on the exterior of rotationally symmetric spheres inside spatial Schwarzschild manifolds. The construction follows an integral-identity strategy rather than direct ODE analysis on the level sets. The resulting monotonicity yields recoveries and generalizations of earlier geometric inequalities together with mass-capacity inequalities, plus new integral identities for the mass-capacity ratio.

Core claim

We derive monotone quantities for harmonic functions on asymptotically flat 3-manifolds with simple topology and nonnegative scalar curvature; these quantities are constant on spatial Schwarzschild manifolds outside rotationally symmetric spheres. The method follows the integral strategy developed in Miao and produces applications that recover and generalize geometric inequalities and mass-capacity inequalities while also giving integral identities for the mass-capacity ratio.

What carries the argument

Monotone quantities built from harmonic functions through integral identities that follow Miao's strategy.

Load-bearing premise

The manifolds are asymptotically flat with nonnegative scalar curvature and possess simple topology that guarantees existence and uniqueness of the needed harmonic functions.

What would settle it

An explicit computation of the proposed quantity on a concrete asymptotically flat 3-manifold with nonnegative scalar curvature (but possibly non-simple topology) where the quantity fails to be monotone or is not constant on a Schwarzschild exterior.

read the original abstract

In this paper, we derive monotone quantities for harmonic functions on asymptotically flat 3-manifolds with simple topology and nonnegative scalar curvature. These monotone quantities are constant on spatial Schwarzschild manifolds outside rotationally symmetric spheres. To derive monotone quantities, our method is different from the ODE analysis in Xia-Yin-Zhou \cite{Xia} and Mazurowski-Yao \cite{Maz}, we follow the strategy developed in Miao \cite{Miao}. As applications, we recover and generalize some geometric inequalities and mass-capacity inequalities in Miao \cite{Miao} and Oronzio \cite{Oronzio}. Furthermore, we obtain the integral identities for the mass-capacity ratio which is parallel to the results in Miao \cite{Miao}.

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 / 3 minor

Summary. The paper derives monotone quantities associated to harmonic functions on asymptotically flat 3-manifolds with nonnegative scalar curvature and simple topology. These quantities are shown to be constant on the exterior of rotationally symmetric spheres in the spatial Schwarzschild manifold. The derivation adapts Miao's integration-by-parts strategy (rather than ODE methods), and the results are applied to recover and generalize geometric inequalities and mass-capacity inequalities from Miao and Oronzio, together with new integral identities for the mass-capacity ratio.

Significance. If the derivations hold, the work supplies a new family of monotone quantities on AF 3-manifolds with R ≥ 0 that are constant precisely on Schwarzschild exteriors. This extends the monotone-quantity toolkit beyond the constructions in Miao and Oronzio and offers an integration-based route that may apply to other curvature conditions or higher-dimensional settings. The recovery of known inequalities serves as a consistency check, while the new integral identities for the mass-capacity ratio provide potentially falsifiable relations.

major comments (2)
  1. [§4] §4 (or the section containing the main monotonicity theorem): the proof that the quantity is monotone relies on an integration-by-parts identity whose boundary terms at infinity must vanish under the stated decay; the manuscript should explicitly record the precise decay rates assumed on the metric and on the harmonic function to confirm that all surface integrals at infinity are o(1).
  2. [Introduction / §2] The topological assumption labeled 'simple topology' is invoked to guarantee existence and uniqueness of the harmonic functions; the precise statement (e.g., whether it means the manifold is diffeomorphic to R^3 minus a ball or has vanishing H_2) should be stated as a numbered hypothesis so that the range of applicability is unambiguous.
minor comments (3)
  1. [Introduction] The abstract states that the quantities are 'derived'; the introduction should clarify whether the construction begins from a Bochner identity or from a divergence-form expression, and cite the exact identity used.
  2. [§3] Notation for the monotone quantity (presumably denoted Q or similar) should be introduced once in a displayed equation before it is used in the applications section.
  3. [References] Reference list: the citation to Xia-Yin-Zhou appears as \cite{Xia}; confirm that the full bibliographic entry matches the arXiv or journal version cited in the text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the positive assessment and the recommendation for minor revision. We appreciate the suggestions to clarify the decay assumptions and the topological hypothesis. We will incorporate these changes in the revised version.

read point-by-point responses

  1. Referee: [§4] §4 (or the section containing the main monotonicity theorem): the proof that the quantity is monotone relies on an integration-by-parts identity whose boundary terms at infinity must vanish under the stated decay; the manuscript should explicitly record the precise decay rates assumed on the metric and on the harmonic function to confirm that all surface integrals at infinity are o(1).

    Authors: We agree with this observation. In the revised manuscript, we will explicitly state the decay rates assumed on the metric and the harmonic function in §4. Specifically, we assume the asymptotically flat decay g_{ij} = δ_{ij} + O(r^{-1}), ∂_k g_{ij} = O(r^{-2}), and u = 1 - C/r + o(r^{-1}) as r→∞. These ensure the surface integrals at infinity are o(1), as required for the integration-by-parts identity to yield monotonicity. We will add this clarification. revision: yes

  2. Referee: [Introduction / §2] The topological assumption labeled 'simple topology' is invoked to guarantee existence and uniqueness of the harmonic functions; the precise statement (e.g., whether it means the manifold is diffeomorphic to R^3 minus a ball or has vanishing H_2) should be stated as a numbered hypothesis so that the range of applicability is unambiguous.

    Authors: We will state the simple topology assumption as a numbered hypothesis in the introduction or §2. For example, we will add Hypothesis 1.1: The manifold (M,g) is diffeomorphic to ℝ^3 minus a compact set and has vanishing second homology H_2(M,ℤ)=0. This guarantees the existence and uniqueness of the harmonic functions with the prescribed boundary conditions at infinity and on the boundary components. This revision will make the range of applicability unambiguous. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard Bochner identities

full rationale

The paper derives monotone quantities by adapting Miao's integration strategy on AF 3-manifolds with nonnegative scalar curvature, relying on Bochner-type identities and integration by parts that close under the stated assumptions. No self-citations are load-bearing, no parameters are fitted and renamed as predictions, and the quantities are not defined in terms of themselves. The central claims remain independent of the inputs by construction, consistent with the reader's assessment of score 2.0.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard background assumptions of asymptotically flat 3-manifolds with nonnegative scalar curvature and simple topology; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The manifold is asymptotically flat with nonnegative scalar curvature.
    Invoked in the abstract as the setting in which the harmonic functions and monotone quantities are defined.
  • domain assumption The manifold has simple topology.
    Stated as necessary for the existence and properties of the harmonic functions used to build the monotone quantities.

pith-pipeline@v0.9.1-grok · 5645 in / 1313 out tokens · 13415 ms · 2026-06-27T19:29:27.437337+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

32 extracted references · 1 linked inside Pith

  1. [1]

    Agostiniani, M

    V. Agostiniani, M. Fogagnolo, L. Mazzieri. Minkowski inequalities via nonlinear poten- tial theory. Arch. Ration. Mech. Anal. 244(1): 51–85, 2022

    2022

  2. [2]

    Agostiniani, M

    V. Agostiniani, M. Fogagnolo, L. Mazzieri, Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature. Invent. Math. 222(3): 1033–1101, 2020

    2020

  3. [3]

    Agostiniani, L

    V. Agostiniani, L. Mazzieri, On the geometry of the level sets of bounded static poten- tials, Commun. Math. Phys. 355: 261–301, 2017

    2017

  4. [4]

    Agostiniani, C

    V. Agostiniani, C. Mantegazza, L. Mazzieri, F. Oronzio. A new proof of the Riemannian Penrose inequality. Atti Accad. Naz.Lincei Rend. Lincei Mat. Appl. 34(3): 715–726, 2023

    2023

  5. [5]

    Agostiniani, C

    V. Agostiniani, C. Mantegazza, L. Mazzieri, F. Oronzio. Riemannian Penrose inequality via nonlinear potential theory. arXiv:2205.11642, 2022. 26

    arXiv 2022

  6. [6]

    Agostiniani, L

    V. Agostiniani, L. Mazzieri, Francesca Oronzio. A Green’s function proof of the positive mass theorem. Comm. Math. Phys. 405(2): Paper No. 54, 23 p, 2024

    2024

  7. [7]

    Arnowitt, S

    R. Arnowitt, S. Deser, C.W. Misner. Dynamical structure and definition of energy in general relativity. Phys. Rev. 116(5): 1322-1330, 1959

    1959

  8. [8]

    R. Bartnik. The mass of an asymptotically flat manifold, Commun. Pure Appl. Math. 39(5): 661-693, 1986

    1986

  9. [9]

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

    2001

  10. [10]

    H. Bray, D. P. Kazaras, M. A. Khuri, D. L. Stern. Harmonic functions and the mass of 3-dimensional asymptotically flat Riemannian manifolds. J. Geom. Anal., 32(6): Paper No. 184, 29 p, 2022

    2022

  11. [11]

    H. Bray, P. Miao. On the capacity of surfaces in manifolds with nonnegative scalar curvature. Invent. Math. 172(3): 459–475, 2008

    2008

  12. [12]

    P.-Y. Chan, J. Chu, M.-C. Lee, T.-Y. Tsang. Monotonicity of the p-Green functions. Int. Math. Res. Not. (9): 7998-8025, 2024

    2024

  13. [13]

    Chodosh, C

    O. Chodosh, C. Li. Stable minimal hypersurfaces inR 4. Acta Math. 233(1): 1-31, 2024

    2024

  14. [14]

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

    2012

  15. [15]

    T. H. Colding, W. P. Minicozzi. Monotonicity and its analytic and geometric implica- tions. Proc. Natl. Acad. Sci. USA., 110(48): 19233-19236, 2013

    2013

  16. [16]

    T. H. Colding, W. P. Minicozzi. Ricci curvature and monotonicity for harmonic func- tions. Calc. Var. Partial Differential Equations. 49(3-4): 1045–1059, 2014

    2014

  17. [17]

    Hirsch, P

    S. Hirsch, P. Miao, L.-F. Tam. Monotone quantities of p-harmonic functions and their applications. Pure Appl. Math. Q. 20(2): 599-644, 2024

    2024

  18. [18]

    Hirsch, P

    S. Hirsch, P. Miao, T.-Y. Tsang. Mass of asymptotically flat 3-manifolds with boundary. Commun. Anal. Geom. 31(7): 1611-1653, 2023

    2023

  19. [19]

    G. Huisken. Asymptotic behavior for singularities of the mean curvature flow. J. Diff. Geom. 31(1): 285–299, 1990

    1990

  20. [20]

    Huisken, T

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

    2001

  21. [21]

    Mantoulidis, P

    C. Mantoulidis, P. Miao, L-F. Tam. Capacity, quasi-local mass, and singular fill-ins. J. Reine Angew. Math. 768: 55-92, 2020. 27

    2020

  22. [22]

    Mazurowski, X

    L. Mazurowski, X. Yao. Monotone quantities for p-harmonic functions and the sharp p-Penrose inequality. Math. Res. Lett. 32(3): 957-95, 2025

    2025

  23. [23]

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

    2025

  24. [24]

    P. Miao. Monotonicity of harmonic functions on 3-manifolds with an asymptotically flat end. Acta Math. Sin., Engl. Ser. 42(3): 806-820, 2026

    2026

  25. [25]

    P. Miao. Implications of some mass-capacity inequalities. J. Geom. Anal. 34(8): Paper No. 241, 16 p, 2024

    2024

  26. [26]

    Munteanu, J

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

    2023

  27. [27]

    F. Oronzio. ADM mass, area and capacity in asymptotically flat 3-manifolds with non- negative scalar curvature. Commun. Contemp. Math. 27(9): Paper No. 2550011, 2025

    2025

  28. [28]

    Perelman

    G. Perelman. The entropy formula for the Ricci flow and its geometric applications. arXiv:math/0211159, 2002

    Pith/arXiv arXiv 2002

  29. [29]

    Schoen, S

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

    1979

  30. [30]

    Schoen, S

    R. Schoen, S. T. Yau. The energy and the linear momentum of space-times in general relativity. Commun. Math. Phys. 79(1): 47–51, 1981

    1981

  31. [31]

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

    2022

  32. [32]

    Xia, J.B

    C. Xia, J.B. Yin, X.J. Zhou. New monotonicity for p -capacitary functions in 3-manifolds with nonnegative scalar curvature. Adv. Math. 440: Paper No. 109526, 40 p, 2024. 28

    2024