Bartnik Mass of CMC surfaces under a Spectral non-negativity condition

Albert Chau; Luke Kuo Han

arxiv: 2606.21816 · v2 · pith:UZZ3CHJPnew · submitted 2026-06-20 · 🧮 math.DG

Bartnik Mass of CMC surfaces under a Spectral non-negativity condition

Albert Chau , Luke Kuo Han This is my paper

Pith reviewed 2026-06-26 11:59 UTC · model grok-4.3

classification 🧮 math.DG

keywords Bartnik massCMC surfacesfirst eigenvaluespectral conditionGaussian curvatureRiemannian metric on spherequasi-local mass

0 comments

The pith

Bartnik mass of the sphere with metric g and positive H is at most sqrt of its area over 16 pi when the first eigenvalue of minus Laplacian plus Gaussian curvature is non-negative.

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

The paper proves an upper bound on the Bartnik mass for triples consisting of the two-sphere equipped with a smooth Riemannian metric g and a positive function H. The bound equals the square root of the area of the sphere divided by 16 pi, and it holds under the sole requirement that the first eigenvalue of the operator negative Laplacian plus Gaussian curvature is non-negative. This spectral condition is weaker than the previously used assumption that Gaussian curvature itself is non-negative, since it permits regions of negative curvature on the sphere. The result therefore enlarges the set of CMC surfaces for which the mass bound is known to apply.

Core claim

We prove that the Bartnik mass of the triple (S²,g,H) is bounded above by √(|S²|_g/16π) provided the first eigenvalue of the operator (−Δ_g+K_g) is non-negative. This eigenvalue condition, in particular, imposes no lower bound on K_g (even under an area constraint) and thereby extends previous results which assume K_g≥0.

What carries the argument

The first eigenvalue of the operator (−Δ_g + K_g) on the sphere, whose non-negativity replaces the stronger pointwise condition K_g ≥ 0 to obtain the mass bound.

If this is right

The mass bound now applies to metrics whose Gaussian curvature changes sign.
Previous results that required K_g ≥ 0 are recovered as special cases.
The spectral condition provides a new criterion for controlling quasi-local mass without pointwise curvature lower bounds.
The result applies to a larger family of constant-mean-curvature initial data sets.

Where Pith is reading between the lines

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

Numerical approximation of the first eigenvalue could serve as a practical test for whether the mass bound holds on a given surface.
Similar spectral conditions might yield mass bounds on surfaces of higher genus or in higher dimensions.
The condition may connect to stability questions for the associated elliptic operator in the context of the positive mass theorem.

Load-bearing premise

The Bartnik mass is well-defined for the given triple with smooth metric g and positive H, and the spectral theory of the operator applies in the standard way on the sphere.

What would settle it

Construct a smooth metric g on the sphere with positive H such that the first eigenvalue of (−Δ_g + K_g) is non-negative yet the Bartnik mass strictly exceeds √(|S²|_g/16π).

read the original abstract

Let $g$ be a smooth Riemannian metric and $H$ a positive function on $\mathbb{S}^2$. We prove that the Bartnik mass of the triple $(\mathbb{S}^2,g,H)$ is bounded above by $\sqrt{|\mathbb{S}^2|_g/16\pi}$ provided the first eigenvalue of the operator $(-\Delta_g+K_g)$ is non-negative. This eigenvalue condition, in particular, imposes no lower bound on $K_g$ (even under an area constraint) and thereby extends previous results which assume $K_g\geq 0$.

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 weakens the pointwise K_g ≥ 0 to a spectral eigenvalue condition for the Bartnik mass bound on the sphere.

read the letter

The central result is a Bartnik mass upper bound for CMC triples on the sphere that holds when the first eigenvalue of the operator -Δ_g + K_g is non-negative. This replaces the stronger pointwise condition K_g ≥ 0 from earlier papers.

What stands out is that the spectral condition genuinely allows K_g to take negative values without violating the bound, at least under the area constraint. The paper does well by making this relaxation explicit and tying it directly to the admissible extensions in the Bartnik mass definition.

The main uncertainty is in the details of the proof. The abstract asserts the result, but without seeing the intermediate steps, it's not clear how the eigenvalue controls the necessary curvature or mean curvature estimates. The stress-test note finds no obvious flaw in the setup or circularity, which is reassuring, but the actual derivation would need checking for any hidden assumptions on the metric or the function H.

This work is for people already working on quasi-local mass in general relativity, particularly those studying Bartnik mass for spherical surfaces with positive mean curvature. A reader familiar with the prior results on K_g ≥ 0 will see the value in the extension.

It deserves a serious referee. The claim is precise, the literature context is clear, and the spectral condition is a natural weakening worth verifying.

Recommendation: Send it out for peer review. The result looks like a solid incremental advance if the proof holds up.

Referee Report

0 major / 2 minor

Summary. The paper proves that for a smooth Riemannian metric g and positive function H on the 2-sphere, if the first eigenvalue of the operator (−Δ_g + K_g) is non-negative, then the Bartnik mass of the triple (S², g, H) satisfies m_B ≤ √(|S²|_g / 16π). This relaxes the pointwise non-negativity assumption K_g ≥ 0 used in prior results while still controlling admissible extensions via the spectral condition.

Significance. If the result holds, the spectral non-negativity condition on (−Δ_g + K_g) provides a strictly weaker hypothesis than K_g ≥ 0 (even under fixed area), allowing controlled negative curvature regions. This extends the range of CMC data for which the Bartnik mass admits the standard upper bound and strengthens the link between elliptic spectral theory and quasi-local mass definitions.

minor comments (2)

The abstract states the result but does not indicate the precise definition of Bartnik mass employed for the triple (S², g, H) or the class of admissible extensions; a brief recall in §1 would clarify the setting.
Notation for the first eigenvalue λ₁(−Δ_g + K_g) should be introduced explicitly when first used, and the self-adjointness/ellipticity of the operator on S² should be recalled for completeness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our result and for recommending minor revision. The report correctly identifies that the spectral non-negativity of (−Δ_g + K_g) relaxes the pointwise assumption K_g ≥ 0 while still yielding the stated Bartnik-mass upper bound.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation establishes an upper bound on Bartnik mass for the triple (S², g, H) under the hypothesis that λ₁(−Δ_g + K_g) ≥ 0. This spectral condition is an independent hypothesis on the given metric g; the bound itself is obtained by standard comparison or monotonicity arguments for the Bartnik mass functional and does not reduce, by any equation or self-citation in the abstract, to a re-expression of the input data or to a fitted parameter. The result is framed as an extension of earlier pointwise-curvature theorems rather than a renaming or self-referential construction. No load-bearing self-citation chain or ansatz smuggling is present in the stated claim.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on the standard definition of Bartnik mass and the spectral theory of the Laplace-Beltrami operator on compact Riemannian surfaces; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Standard spectral theory of the operator (−Δ_g + K_g) on a compact Riemannian surface
Invoked to replace the pointwise curvature assumption
domain assumption Bartnik mass is defined for the triple (S², g, H) with H positive
Stated in the opening sentence as the object of study

pith-pipeline@v0.9.1-grok · 5613 in / 1286 out tokens · 38942 ms · 2026-06-26T11:59:54.468745+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 1 canonical work pages

[1]

Arnowitt, S

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

1961
[2]

Bartnik,New definition of quasilocal mass, Phys

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

1989
[3]

Cabrera Pacheco, C

A.J. Cabrera Pacheco, C. Cederbaum, S. McCormick, and P. Miao,Asymptotically flat ex- tensions of CMC Bartnik data, Classical and Quantum Gravity34(2017), no. 10, 105001

2017
[4]

Cabrera Pacheco and C

A.J. Cabrera Pacheco and C. Cederbaum,A survey on extensions of Riemannian manifolds anmd Bartnik mass estimates, https://www.ams.org/books/conm/775/, 2021. MR434430 (2019)

2021
[5]

Chau and A

A. Chau and A. Martens,On the Bartnik mass of non-negatively curved CMC spheres, Proc. Amer. Math. Soc., DOI: https://doi.org/10.1090/proc/16021 (2021), (Combines results from arXiv:2004.09060 and arXiv:2102.03632)

work page doi:10.1090/proc/16021 2021
[6]

Lin and C

C.-Y. Lin and C. Sormani,Bartnik’s mass and Hamilton’s modified Ricci flow, Annales Henri Poincar´ e17(2016), 2783–2800. 6

2016
[7]

Mantoulidis and R

C. Mantoulidis and R. Schoen,On the Bartnik mass of apparent horizons, Classical and Quantum Gravity32(2015), no. 20, 205002–205017

2015
[8]

McCormick,Gluing Bartnik extensions, continuity of the Bartnik mass, and the equiva- lence of definitions, Pacific Journal of Mathematics304(2020), no

S. McCormick,Gluing Bartnik extensions, continuity of the Bartnik mass, and the equiva- lence of definitions, Pacific Journal of Mathematics304(2020), no. 2, 629–653

2020
[9]

,An overview of Bartnik’s quasi-local mass, Beijing Journal of Pure and Appl. Math. 1(2024), no. 2, 455–487

2024
[10]

Miao,On a localized Riemannian Penrose inequality, Communications in Mathematical Physics292(2009), no

P. Miao,On a localized Riemannian Penrose inequality, Communications in Mathematical Physics292(2009), no. 1, 271–284

2009
[11]

Miao and A

P. Miao and A. Piubello,Estimates of the Bartnik mass, Beijing J. of Pure and Appl. Math 1(2024), no. 2, 489-513

2024
[12]

P. Miao, Y. Wang, and N. Xie,On Hawking mass and Bartnik mass of CMC surfaces, Mathematical Research Letters27(2020), no. 3, 855–885

2020
[13]

Miao and N

P. Miao and N. Xie,Bartnik mass via vacuum extensions, International Journal of Mathe- matics30(2019), no. (13), p.1940006

2019
[14]

Shi and L-F

Y. Shi and L-F. Tam,Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature, Journal of Differential Geometry62(2002), no. 1, 79–125. Department of Mathematics, The University of British Columbia, Room 121, 1984 Mathematics Road, V ancouver, B.C., Canada V6T 1Z2 Email address:chau@math.ubc.ca Department of M...

2002

[1] [1]

Arnowitt, S

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

1961

[2] [2]

Bartnik,New definition of quasilocal mass, Phys

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

1989

[3] [3]

Cabrera Pacheco, C

A.J. Cabrera Pacheco, C. Cederbaum, S. McCormick, and P. Miao,Asymptotically flat ex- tensions of CMC Bartnik data, Classical and Quantum Gravity34(2017), no. 10, 105001

2017

[4] [4]

Cabrera Pacheco and C

A.J. Cabrera Pacheco and C. Cederbaum,A survey on extensions of Riemannian manifolds anmd Bartnik mass estimates, https://www.ams.org/books/conm/775/, 2021. MR434430 (2019)

2021

[5] [5]

Chau and A

A. Chau and A. Martens,On the Bartnik mass of non-negatively curved CMC spheres, Proc. Amer. Math. Soc., DOI: https://doi.org/10.1090/proc/16021 (2021), (Combines results from arXiv:2004.09060 and arXiv:2102.03632)

work page doi:10.1090/proc/16021 2021

[6] [6]

Lin and C

C.-Y. Lin and C. Sormani,Bartnik’s mass and Hamilton’s modified Ricci flow, Annales Henri Poincar´ e17(2016), 2783–2800. 6

2016

[7] [7]

Mantoulidis and R

C. Mantoulidis and R. Schoen,On the Bartnik mass of apparent horizons, Classical and Quantum Gravity32(2015), no. 20, 205002–205017

2015

[8] [8]

McCormick,Gluing Bartnik extensions, continuity of the Bartnik mass, and the equiva- lence of definitions, Pacific Journal of Mathematics304(2020), no

S. McCormick,Gluing Bartnik extensions, continuity of the Bartnik mass, and the equiva- lence of definitions, Pacific Journal of Mathematics304(2020), no. 2, 629–653

2020

[9] [9]

,An overview of Bartnik’s quasi-local mass, Beijing Journal of Pure and Appl. Math. 1(2024), no. 2, 455–487

2024

[10] [10]

Miao,On a localized Riemannian Penrose inequality, Communications in Mathematical Physics292(2009), no

P. Miao,On a localized Riemannian Penrose inequality, Communications in Mathematical Physics292(2009), no. 1, 271–284

2009

[11] [11]

Miao and A

P. Miao and A. Piubello,Estimates of the Bartnik mass, Beijing J. of Pure and Appl. Math 1(2024), no. 2, 489-513

2024

[12] [12]

P. Miao, Y. Wang, and N. Xie,On Hawking mass and Bartnik mass of CMC surfaces, Mathematical Research Letters27(2020), no. 3, 855–885

2020

[13] [13]

Miao and N

P. Miao and N. Xie,Bartnik mass via vacuum extensions, International Journal of Mathe- matics30(2019), no. (13), p.1940006

2019

[14] [14]

Shi and L-F

Y. Shi and L-F. Tam,Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature, Journal of Differential Geometry62(2002), no. 1, 79–125. Department of Mathematics, The University of British Columbia, Room 121, 1984 Mathematics Road, V ancouver, B.C., Canada V6T 1Z2 Email address:chau@math.ubc.ca Department of M...

2002