pith. sign in

arxiv: 2607.02399 · v1 · pith:TYLOUDWSnew · submitted 2026-07-02 · 🧮 math.DG · math.AP

Intrinsic Brown--York Type Mass at Infinity in Four Dimensions

Jiangcheng You This is my paper

Pith reviewed 2026-07-03 05:48 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords brown-york massasymptotically flat manifoldsclosed hypersurfacesADM massreference mean curvaturecontracted Gauss equationfour-dimensional manifoldsuniformly convex surfaces
0
0 comments X

The pith

An intrinsic Brown-York mass for closed hypersurfaces in four-dimensional asymptotically flat manifolds expands as a term converging to the ADM mass plus a shape-dependent correction that vanishes for nearly round surfaces under a decay con

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

The paper introduces a Brown-York type mass using an intrinsic reference mean curvature obtained as the trace of the positive solution to the contracted Gauss equation. For large uniformly convex hypersurfaces of controlled scale this mass admits an expansion whose leading boundary term approaches the ADM mass while a remaining term depends on the shape of the surface. In four dimensions the shape-dependent term disappears for the natural analogue of nearly round surfaces once a decay compatibility condition is imposed. A reader would care because the construction avoids any extrinsic reference space and still recovers the standard ADM mass at infinity.

Core claim

The central claim is that the reference mean curvature defined intrinsically as the trace of the positive solution of the contracted Gauss equation permits a Brown-York type mass to be defined on closed hypersurfaces in four-dimensional asymptotically flat manifolds, and that this mass expands for large uniformly convex hypersurfaces with controlled scale into a boundary term converging to the ADM mass together with a shape-dependent correction; moreover, for the four-dimensional analogue of the nearly round surfaces of Shi-Wang-Wu the correction vanishes under a natural decay compatibility condition.

What carries the argument

The reference mean curvature defined intrinsically as the trace of the positive solution of the contracted Gauss equation

If this is right

  • The mass is defined without reference to an external embedding space.
  • The ADM mass is recovered exactly when the shape-dependent correction vanishes.
  • The construction applies to the four-dimensional analogues of nearly round surfaces once the decay compatibility condition holds.
  • The expansion separates the universal ADM contribution from geometry-specific remainder terms.

Where Pith is reading between the lines

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

  • If the positive solution to the contracted Gauss equation exists for a wider class of hypersurfaces, the same mass definition could be tested on non-convex or non-round surfaces.
  • The separation into ADM term and shape correction suggests a route to compare this mass with other intrinsic quasi-local masses by examining the correction term explicitly.
  • In settings where the decay compatibility condition can be verified numerically, the mass would coincide with the ADM mass without additional computation.

Load-bearing premise

The reference mean curvature can be defined intrinsically as the trace of the positive solution of the contracted Gauss equation; without such a positive solution the entire mass definition and its expansion collapse.

What would settle it

Exhibiting a sequence of large uniformly convex hypersurfaces with controlled scale for which the boundary term fails to converge to the ADM mass or for which the correction fails to vanish under the stated decay condition would falsify the expansion result.

read the original abstract

We study a Brown--York type mass for closed hypersurfaces in four-dimensional asymptotically flat manifolds. The reference mean curvature is defined intrinsically as the trace of the positive solution of the contracted Gauss equation. For large uniformly convex hypersurfaces with controlled scale, we derive an expansion consisting of a boundary term converging to the ADM mass and a shape-dependent correction. For the four-dimensional analogue of the nearly round surfaces of Shi--Wang--Wu, this correction vanishes under a natural decay compatibility condition.

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

Summary. The manuscript defines an intrinsic Brown--York type mass for closed hypersurfaces in four-dimensional asymptotically flat manifolds by taking the reference mean curvature to be the trace of the positive solution of the contracted Gauss equation. For large uniformly convex hypersurfaces with controlled scale it derives an expansion in which a boundary term converges to the ADM mass while a shape-dependent correction appears; the correction is shown to vanish for the four-dimensional analogues of the nearly round surfaces of Shi--Wang--Wu under a natural decay compatibility condition.

Significance. If the existence of the positive solution can be established under the stated geometric hypotheses and the expansion proved with explicit control, the construction would supply a new intrinsic mass at infinity that recovers the ADM mass in the limit. Such a definition could be useful for positivity and rigidity questions in four-dimensional general relativity.

major comments (2)
  1. [Abstract] Abstract (first paragraph): the reference mean curvature is defined as the trace of the positive solution u to the contracted Gauss equation, yet no existence or uniqueness result for u is stated or referenced for the class of large uniformly convex hypersurfaces with controlled scale. This assumption is load-bearing for the mass definition itself and for all subsequent expansion claims.
  2. [Abstract] Abstract (expansion statement): the claimed expansion consists of a boundary term converging to the ADM mass plus a shape-dependent correction, but the manuscript supplies neither the precise statement of the controlled-scale condition nor error estimates that would confirm the limit is independent of the choice of reference. Without these, the central asymptotic claim cannot be verified.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised concern foundational aspects of the mass definition and the precision of the asymptotic expansion; we address them point by point below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract] Abstract (first paragraph): the reference mean curvature is defined as the trace of the positive solution u to the contracted Gauss equation, yet no existence or uniqueness result for u is stated or referenced for the class of large uniformly convex hypersurfaces with controlled scale. This assumption is load-bearing for the mass definition itself and for all subsequent expansion claims.

    Authors: We agree that existence and uniqueness of the positive solution u to the contracted Gauss equation must be established for the stated class of hypersurfaces. The current manuscript assumes such a solution exists under the geometric hypotheses but does not include an explicit statement, proof, or reference. In the revised version we will add a self-contained existence-uniqueness result (or a precise reference to a known theorem for uniformly convex hypersurfaces) in a new subsection of the introduction, and we will update the abstract to reflect this. revision: yes

  2. Referee: [Abstract] Abstract (expansion statement): the claimed expansion consists of a boundary term converging to the ADM mass plus a shape-dependent correction, but the manuscript supplies neither the precise statement of the controlled-scale condition nor error estimates that would confirm the limit is independent of the choice of reference. Without these, the central asymptotic claim cannot be verified.

    Authors: The referee is correct that the controlled-scale condition is not stated with sufficient precision and that error estimates confirming independence of the reference are missing from the abstract and the main expansion theorem. We will revise the manuscript to give an explicit definition of the controlled-scale condition, state the expansion theorem with quantitative error bounds, and prove that the limit equals the ADM mass independently of the choice of reference within the allowed class. These additions will appear in the introduction and the main asymptotic section. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines the reference mean curvature intrinsically as the trace of the positive solution to the contracted Gauss equation and derives the mass expansion from this under uniform convexity and scale-control assumptions. No step reduces a claimed prediction or first-principles result to its own inputs by construction, no fitted parameter is relabeled as a prediction, and no load-bearing uniqueness or ansatz is imported via self-citation. The derivation chain is self-contained; the existence of the positive solution is an assumption whose verification lies outside the circularity analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed from abstract alone; full list of background assumptions cannot be extracted.

axioms (1)
  • domain assumption The contracted Gauss equation on the hypersurface admits a positive solution whose trace serves as reference mean curvature.
    This is the definitional step stated in the abstract.

pith-pipeline@v0.9.1-grok · 5606 in / 1236 out tokens · 27999 ms · 2026-07-03T05:48:54.145334+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

27 extracted references · 26 canonical work pages · 1 internal anchor

  1. [1]

    M. T. Anderson,Static vacuum Einstein metrics on bounded domains, Ann. Henri Poincar´ e16(2015), no. 9, 2265–2302. doi:10.1007/s00023-014-0367-8

    work page doi:10.1007/s00023-014-0367-8 2015

  2. [2]

    Arnowitt, S

    R. Arnowitt, S. Deser, and C. W. Misner,Coordinate invariance and energy expressions in general relativity, Phys. Rev.122(1961), no. 3, 997–1006. doi:10.1103/PhysRev.122.997

    work page doi:10.1103/physrev.122.997 1961

  3. [3]

    Bartnik,The mass of an asymptotically flat manifold, Comm

    R. Bartnik,The mass of an asymptotically flat manifold, Comm. Pure Appl. Math.39(1986), no. 5, 661–693. doi:10.1002/cpa.3160390505

    work page doi:10.1002/cpa.3160390505 1986

  4. [4]

    Bartnik,New definition of quasilocal mass, Phys

    R. Bartnik,New definition of quasilocal mass, Phys. Rev. Lett.62(1989), no. 20, 2346–2348. doi:10.1103/PhysRevLett.62.2346

    work page doi:10.1103/physrevlett.62.2346 1989

  5. [5]

    Biquard and H.-J

    O. Biquard and H.-J. Hein,The renormalized volume of a4-dimensional Ricci-flat ALE space, J. Differential Geom.123(2023), no. 3, 411–429. doi:10.4310/jdg/1683307004

    work page doi:10.4310/jdg/1683307004 2023

  6. [6]

    J. D. Brown and J. W. York, Jr.,Quasilocal energy and conserved charges derived from the gravitational action, Phys. Rev. D47(1993), no. 4, 1407–1419. doi:10.1103/PhysRevD.47.1407

    work page doi:10.1103/physrevd.47.1407 1993

  7. [7]

    S. E. Cohn-Vossen,Zwei S¨ atze ¨ uber die Starrheit der Eifl¨ achen, Nachr. Ges. Wiss. G¨ ottingen Math.-Phys. Kl. 1927(1927), 125–134

    1927

  8. [8]

    Fan and K.-K

    X.-Q. Fan and K.-K. Kwong,The Brown–York mass of revolution surfaces in asymptotically Schwarzschild manifolds, J. Geom. Anal.21(2011), no. 3, 527–542. doi:10.1007/s12220-010-9157-9

    work page doi:10.1007/s12220-010-9157-9 2011

  9. [9]

    Fan and K.-K

    X.-Q. Fan and K.-K. Kwong,A property of the Brown–York mass in Schwarzschild manifolds, J. Math. Anal. Appl.400(2013), no. 2, 615–623. doi:10.1016/j.jmaa.2012.11.012

    work page doi:10.1016/j.jmaa.2012.11.012 2013

  10. [10]

    Fan, Y.-G

    X.-Q. Fan, Y.-G. Shi, and L.-F. Tam,Large-sphere and small-sphere limits of the Brown–York mass, Comm. Anal. Geom.17(2009), no. 1, 37–72. doi:10.4310/CAG.2009.v17.n1.a3

    work page doi:10.4310/cag.2009.v17.n1.a3 2009

  11. [11]

    Huisken and T

    G. Huisken and T. Ilmanen,The inverse mean curvature flow and the Riemannian Penrose inequality, J. Dif- ferential Geom.59(2001), no. 3, 353–437. doi:10.4310/jdg/1090349447

    work page doi:10.4310/jdg/1090349447 2001

  12. [12]

    Huisken and S.-T

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

    work page doi:10.1007/s002220050054 1996

  13. [13]

    J. L. Jauregui and D. A. Lee,Lower semicontinuity of mass underC 0 convergence and Huisken’s isoperimetric mass, J. Reine Angew. Math.756(2019), 227–257. doi:10.1515/crelle-2017-0007

    work page doi:10.1515/crelle-2017-0007 2019

  14. [14]

    J. M. Lee and T. H. Parker,The Yamabe problem, Bull. Amer. Math. Soc. (N.S.)17(1987), no. 1, 37–91. doi:10.1090/S0273-0979-1987-15514-5

    work page doi:10.1090/s0273-0979-1987-15514-5 1987

  15. [15]

    Li and G

    Y. Li and G. Weinstein,A priori bounds for co-dimension one isometric embeddings, Amer. J. Math.121(1999), no. 5, 945–965. doi:10.1353/ajm.1999.0035

    work page doi:10.1353/ajm.1999.0035 1999

  16. [16]

    R. B. Mann and D. Marolf,Holographic renormalization of asymptotically flat spacetimes, Class. Quantum Grav. 23(2006), no. 9, 2927–2950. doi:10.1088/0264-9381/23/9/010

    work page doi:10.1088/0264-9381/23/9/010 2006

  17. [17]

    McCormick,An overview of Bartnik’s quasi-local mass, Beijing J

    S. McCormick,An overview of Bartnik’s quasi-local mass, Beijing J. Pure Appl. Math.1(2024), no. 2, 455–487. doi:10.4310/BPAM.2024.v1.n2.a2 INTRINSIC BROWN–YORK TYPE MASS AT INFINITY IN FOUR DIMENSIONS 23

    work page doi:10.4310/bpam.2024.v1.n2.a2 2024

  18. [18]

    Miao, Y.-G

    P. Miao, Y.-G. Shi, and L.-F. Tam,On geometric problems related to Brown–York and Liu–Yau quasilocal mass, Comm. Math. Phys.298(2010), no. 2, 437–459. doi:10.1007/s00220-010-1042-7

    work page doi:10.1007/s00220-010-1042-7 2010

  19. [19]

    Milnor,Curvatures of left invariant metrics on Lie groups, Adv

    J. Milnor,Curvatures of left invariant metrics on Lie groups, Adv. Math.21(1976), no. 3, 293–329. doi:10.1016/S0001-8708(76)80002-3

    work page doi:10.1016/s0001-8708(76)80002-3 1976

  20. [20]

    Nirenberg,The Weyl and Minkowski problems in differential geometry in the large, Comm

    L. Nirenberg,The Weyl and Minkowski problems in differential geometry in the large, Comm. Pure Appl. Math. 6(1953), 337–394. doi:10.1002/cpa.3160060303

    work page doi:10.1002/cpa.3160060303 1953

  21. [21]

    Shi and L.-F

    Y.-G. Shi and L.-F. Tam,Positive mass theorem and the boundary behaviors of compact manifolds with non- negative scalar curvature, J. Differential Geom.62(2002), no. 1, 79–125. doi:10.4310/jdg/1090425530

    work page doi:10.4310/jdg/1090425530 2002

  22. [22]

    Y.-G. Shi, G. Wang, and J. Wu,On the behavior of quasi-local mass at the infinity along nearly round surfaces, Ann. Global Anal. Geom.36(2009), no. 4, 419–441. doi:10.1007/s10455-009-9169-5

    work page doi:10.1007/s10455-009-9169-5 2009

  23. [23]

    L. B. Szabados,Quasi-local energy-momentum and angular momentum in general relativity, Living Rev. Rela- tivity12(2009), Article 4. doi:10.12942/lrr-2009-4

    work page doi:10.12942/lrr-2009-4 2009

  24. [24]

    Wang and S.-T

    M.-T. Wang and S.-T. Yau,Quasilocal mass in general relativity, Phys. Rev. Lett.102(2009), no. 2, 021101. doi:10.1103/PhysRevLett.102.021101

    work page doi:10.1103/physrevlett.102.021101 2009

  25. [25]

    Wang and S.-T

    M.-T. Wang and S.-T. Yau,Limit of quasilocal mass at spatial infinity, Comm. Math. Phys.296(2010), no. 1, 271–283. doi:10.1007/s00220-010-0990-2

    work page doi:10.1007/s00220-010-0990-2 2010

  26. [26]

    Wang and H

    B. Wang and H. Yin,Curvature at the infinity of asymptotically flat Einstein manifold, preprint, arXiv:2508.16288 [math.DG], 2025

    work page arXiv 2025

  27. [27]

    Curvature at infinity of scalar-flat ALE four-manifolds

    J. You,Curvature at infinity of scalar-flat ALE four-manifolds, preprint, arXiv:2606.16176 [math.DG], 2026. School of Mathematical Sciences, University of Science and Technology of China, Hefei 230026, China Email address:yjcmp@mail.ustc.edu.cn

    work page internal anchor Pith review Pith/arXiv arXiv 2026