Sharp lower bound for the charged Hawking mass in the electrostatic space

Benedito Leandro; Guilherme Sabo

REVIEW 3 major objections 3 minor 1 cited by

Sharp lower bound for the charged Hawking mass in the electrostatic space

T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read In any electrostatic space-time, a closed surface with Morse index zero has charged Hawking mass at least the explicit area, charge, and cosmological-constant expression in (1.10), and its genus is at most one.

desk verdict Solid charged-Hawking-mass lower bounds, but the genus bound overreaches without Λ≥0. read the letter →

arxiv 2507.03353 v1 pith:OAJ5GLLJ submitted 2025-07-04 math.DG gr-qc

Benedito Leandro , Guilherme Sabo This is my paper · ORCID

classification math.DGgr-qc MSC 83C2283C05

keywords chargedHawkingmasselectrostaticsystemstablesurfacesconstantmeancurvatureminimalMorseindexReissner-NordstromdeSitterquasi-local

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves sharp lower bounds for the charged Hawking mass, a quasi-local notion of mass that includes electric charge, on special surfaces in electrostatic space-times. The main theorem states that a closed surface with Morse index zero, meaning the stability operator is non-negative, cannot have charged Hawking mass below an explicit expression built from its area, mean curvature, enclosed charge, and the cosmological constant. The same argument gives a topological restriction: such a surface is a sphere or a torus. Equality is characterized geometrically as total umbilicity with the electric field orthogonal to the surface, and the bound is shown to be sharp in the Reissner-Nordstrom deSitter space. Further versions cover stable constant-mean-curvature surfaces and minimal surfaces of index one.

What carries the argument

The object doing the work is the charged Hawking mass $M_{\mathrm{CH}}(\Sigma)$, a quasi-local mass computed from the area, the mean-curvature integral, the enclosed charge, and the cosmological constant. The proof of the bounds runs through an integrated identity obtained by combining the electrostatic system (1.1), the scalar-curvature relation $R=2(|E|^2+\Lambda)$, and the Gauss equation. The payoff is inequality (2.9), $$4\pi(1-g(\Sigma))\ge \frac{3}{4}\int_\Sigma $H^{2}$\,d\$\sigma$+\int_\Sigma(|E|^2+\Lambda)\,d\$\sigma$-C,$$ where $C$ bounds $\int_\Sigma(\operatorname{Ric}(\nu,\nu)+|A|^2)\,d\sigma$. Stability of the surface supplies $C=0$ (or larger constants for the CMC and index-one cases), and feeding that into the definition of the charged Hawking mass, together with Hölder's inequality on the charge integral, yields the lower bounds.

What would settle it

Compute the full inequality (2.9) for a closed stable surface in an electrostatic system with negative cosmological constant: it reads $4\pi(1-g)\ge \frac{3}{4}\int H^2+\int|E|^2+\Lambda|\Sigma|$, so when $\Lambda<0$ the right-hand side can be negative and the genus is not forced to be at most one. A closed stable surface of genus two in any electrostatic system with $\Lambda<0$ would falsify the topology clause of Theorem 1; a direct numerical check of (1.10) on such a surface would test the mass inequality itself.

Watch

Extended reading notes

Core claim

The central result is Theorem 1: for any closed surface $\Sigma$ with $\mathrm{Index}(\Sigma)=0$ in a three-dimensional electrostatic system $(M^3,g,f,E)$, the charged Hawking mass satisfies $$M_{\mathrm{CH}}(\Sigma)\ge \left(\frac{|\Sigma|}{4\pi}\right)^{1/2}\left(\frac{1}{16\pi}\int_\Sigma $H^{2}$\,d\$\sigma$+\frac{4\pi}{|\Sigma|}Q(\Sigma)^2+\frac{\Lambda}{3}\frac{|\Sigma|}{4\pi}\right),$$ and the genus satisfies $g(\Sigma)\le 1$. Equality holds exactly when $\Sigma$ is totally umbilical, $E$ is orthogonal to $\Sigma$, and equality holds in the stability identity (1.9). The paper extends the method to stable constant-mean-curvature surfaces (Theorem 3) and to minimal surfaces of index one (Theorem 4), and it identifies which round slices in Reissner-Nordstrom deSitter space are stable (Proposition 1).

Load-bearing premise

The topology conclusion (sphere or torus) assumes, without being stated, that the cosmological constant $\Lambda$ is non-negative; the proof drops the term $\Lambda|\Sigma|$ from an inequality, and only when $\Lambda\ge 0$ does the remaining inequality force the genus to be at most one.

Editorial extensions

If this is right

For $\Lambda\ge 0$, any stable closed surface in an electrostatic system has non-negative charged Hawking mass, so the mass satisfies the positivity property expected of a quasi-local mass.
Every stable closed surface in an electrostatic system has genus at most one, so the only possible topological types are spheres and tori.
For a stable minimal two-sphere with $\Lambda\ne 0$, equality in the bound forces the surface to be the horizon boundary of the ultracold black hole system.
In the Nariai system, a stable CMC sphere at the equatorial slice attains equality in the CMC version of the bound.
The index-one bound, applied to the equator of the deSitter system, is sharp.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial extension: the stated genus bound drops the term $\Lambda|\Sigma|$ when passing from (2.9) to $4\pi(1-g)+C\ge 0$; if $\Lambda<0$, the topology conclusion need not follow. Adding a $\Lambda\ge 0$ hypothesis to Theorem 1, or restating the topology claim conditionally, would close that gap, while the mass inequality (1.10) appears to survive without it.
Editorial extension: the equality cases in the main theorem are totally umbilical surfaces with $E$ orthogonal to $\Sigma$, the same geometric configuration as photon spheres in Reissner-Nordstrom space. A natural step beyond this paper is a local rigidity theorem around any equality surface of Theorem 1, not only the minimal spheres handled in Theorem 2.
Editorial extension: because the index-one constant grows with the genus through $\mathrm{Int}[(1+g)/2]$, the bound becomes weaker for more complicated topologies. Testing (1.15) on non-spherical index-one minimal surfaces in other electrostatic solutions would show whether the loss is intrinsic or an artifact of the proof.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: the paper has a solid core—sharp lower bounds for the charged Hawking mass under stability/index conditions—and one overstated topology claim that needs a Λ≥0 hypothesis.

The genuinely new material is Proposition 2's integration argument combining the electrostatic equations, Gauss equation, Gauss–Bonnet, and Hölder to produce the Q^2 term. That derivation checks out; the doubling of the charge term is legitimate. The resulting lower bounds (1.10), (1.11), (1.13), (1.15) are real and extend Miao's uncharged Λ=0 bound and the Baltazar–Barros–Batista rigidity setup. Proposition 1's stability criterion for CMC spheres in RNdS is also clean and useful. The paper is self-contained and honestly cites prior work.

The soft spot is exactly where the stress-test lands. In Proposition 2, inequality (2.9) is 4π(1−g) ≥ (3/4)∫H^2 + ∫|E|^2 + Λ|Σ| − C. The proof then concludes 4π(1−g)+C ≥ 0 and hence g ≤ 1+C/4π. That step drops the nonnegative terms on the right—fine—but it also drops the sign of Λ|Σ|. If Λ<0, the right-hand side can be negative even after discarding ∫H^2 and ∫|E|^2, so no genus bound follows. The paper states Proposition 2 and Theorem 1 for arbitrary Λ∈R, and Theorem 2's genus assertion inherits the issue. This is a real overreach, not a nitpick. The fix is simple: add Λ≥0 to the hypotheses for the topology statements, or supply a separate argument for negative Λ. The mass inequalities themselves do not use the genus bound, so they stand; Theorem 4's index-one bound uses genus explicitly but as a hypothesis, not as an output.

One more caveat, in proportion: Theorem 2's rigidity says 'equality iff ultracold horizon' but the proof explicitly assumes an extension of [2, Theorem 2] to stable minimal spheres with fixed area. That reliance is disclosed, but it makes the rigidity conditional.

Overall: this is a competent paper worth refereeing. A referee should ask for the Λ≥0 amendment and a discussion of whether the genus bound can be salvaged for negative Λ. I would cite it for the mass inequalities.

Referee Report

3 major / 3 minor

Summary. The paper proves sharp lower bounds for the charged Hawking mass of closed surfaces in electrostatic systems satisfying the Einstein-Maxwell equations with cosmological constant. The central result, Proposition 2, derives a general lower bound under the condition ∫Σ(Ric(ν,ν)+|A|²)dσ ≤ C, and the paper applies it to stable surfaces (C=0), stable constant mean curvature surfaces (C=8π), and index-one minimal surfaces. It also states a genus bound for stable surfaces and proves a stability criterion for CMC spheres in the Reissner-Nordstrom deSitter space. The algebraic derivation of the mass inequalities in Proposition 2 checks out, including the Hölder step that doubles the Q² term. However, the genus conclusions require Λ ≥ 0, a hypothesis absent from the statements of Proposition 2 and Theorems 1–3, and the rigidity part of Theorem 2 relies on an explicitly assumed extension of a known rigidity theorem.

Significance. If the stated results are corrected, the paper gives quantitative lower bounds for a charged quasi-local mass under a stability hypothesis, with explicit sharpness examples from Reissner-Nordstrom deSitter, Nariai, and deSitter systems. The main derivation is self-contained, uses standard tools (electrostatic equations, Gauss equation, Gauss-Bonnet, stability inequalities), and the mass bounds (1.10), (1.11), (1.13), and (1.15) appear valid. The strengths are the clean algebraic core and the explicit equality cases. The current overreach in the topology statements and the conditional rigidity of Theorem 2 are the main limitations.

major comments (3)

[Section 2, Eq. (2.9)] The step from (2.9) to the genus bound '4π(1-g(Σ))+C ≥ 0' discards the term 3/4∫H² + ∫|E|² + Λ|Σ|. Since only the first two summands are nonnegative, the conclusion 1+C/4π ≥ g(Σ) requires Λ ≥ 0. Proposition 2 is stated for arbitrary Λ ∈ R, and Theorem 1 (C=0) and Theorem 3 (C=8π) inherit this gap; Theorem 2's genus assertion is also affected. The mass inequalities themselves remain valid because (2.9) is used without dropping terms in that part of the proof. Please add Λ ≥ 0 to the hypotheses of Proposition 2 and Theorems 1–3, or provide a separate argument that rules out higher-genus stable surfaces when Λ < 0.
[Theorem 2, proof] The rigidity statement 'equality holds if and only if Σ is the horizon boundary of the ultracold black hole system' is not proved from the hypotheses stated in the theorem. The proof invokes [11, Remark 4.4] and then says 'We will assume that Theorem 2 in [2] holds for a stable minimal sphere', imposing the additional numerical condition (λ1(J)+Λ)|Σ|+16π²Q²/|Σ| = 4π. These are extra hypotheses (fixed area or area-minimizing, strict stability, and the numerical condition) that do not appear in the theorem statement. Either add these assumptions explicitly and label the result as conditional, or supply a proof of the needed extension of [2, Theorem 2]. This is load-bearing for the equality characterization.
[Theorems 2–3, hypotheses] Theorem 2 states 'non-null cosmological constant', which includes negative Λ, but the proof of the equality case uses Λ>0 (the ultracold example requires Λ>0 and Q²=1/(4Λ)). Theorem 3 likewise omits Λ ≥ 0 even though its proof says 'Assuming Λ ≥ 0 from (2.9) we get g(Σ) ≤ 3'. The statements and proofs should be made consistent by adding the appropriate sign conditions on Λ.

minor comments (3)

[Title] The title contains a typo: 'HA WKING' should be 'HAWKING'.
[Remark 1] Remark 1 says equality in Theorem 1 holds for a sphere of radius (1.5), but the proof shows equality at both roots r = (3M/2)(1 ± sqrt(1-8Q²/9M²)); please clarify which sphere is meant or state that both endpoints satisfy the equality.
[Theorem 3 proof] In the proof of Theorem 3, the sentence 'Assuming Λ ≥ 0' appears only in the proof while the theorem statement omits this condition; this inconsistency should be fixed in the statement.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the charged Hawking mass bounds are derived from the electrostatic equations, stability inequalities, Gauss equation, and Gauss–Bonnet; no self-citations or fitted inputs are load-bearing.

full rationale

The derivation chain is self-contained. Proposition 2 starts from the electrostatic equations (1.1), the Gauss equation, the Gauss–Bonnet theorem, and the Ricci-plus-|A|^2 bound (2.7); no parameter is fitted and no step predicates the target inequality on itself. Theorem 1 is the special case C=0, and Theorems 3–4 are the cases C=8π and C=8π(1+Int((1+g)/2)). Sharpness examples are external RNdS, ultracold, Nariai, and deSitter geometries. The rigidity input [2, Theorem 2] and [11, Remark 4.4] are external citations, not self-citations, and the reliance on them is explicit. The charged Hawking mass is Definition 2 from [2], not a renamed variant of the conclusion. The only proof concern is non-circular: deducing 4π(1−g)+C≥0 from (2.9) silently discards the Λ|Σ| term, so the genus bound requires Λ≥0; this is an unsupported inference in the proof as stated, not an equivalence of the conclusion with an input.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The analysis imports standard geometric-analysis theorems (Brendle, Christodoulou-Yau, Ritoré-Ros) and one modified external rigidity theorem. There are no fitted parameters and no invented physical entities. The two ad hoc assumptions are the rigidity extension and the implicit non-negativity of Lambda for the genus claim.

assumptions (5)

standard math Brendle's classification: any CMC surface in warped products such as RNdS is a sphere S^2(r).
Used in Proposition 1 to reduce CMC surfaces to spherical slices; cited from [3].
standard math Stability inequality (1.12) for stable CMC surfaces: ∫(Ric(nu,nu)+|A|^2) <= 8pi.
Used in Theorem 3; from Christodoulou-Yau [5].
standard math Inequality (1.14) for minimal surfaces of index one: ∫(Ric(nu,nu)+|A|^2) <= 8pi(1+Int[(1+g)/2]).
Used in Theorem 4; cited from [7,16].
ad hoc to paper A modified version of [2, Theorem 2] holds for stable minimal two-spheres of fixed area with the numerical condition (lambda_1(J)+Lambda)|Sigma| + 16pi^2Q^2/|Sigma| = 4pi.
Explicitly assumed in Theorem 2 proof ('We will assume that Theorem 2 in [2] holds for a stable minimal sphere'); no proof is supplied.
ad hoc to paper The genus bound requires the right-hand side of (2.9) to be non-negative, i.e., Lambda|Sigma| + ∫|E|^2 + (3/4)∫H^2 >= 0; the paper silently uses Lambda >= 0.
Unflagged assumption in Proposition 2 and Theorem 1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Sharp lower bound for the charged Hawking mass in the electrostatic space." pith.science (2026). https://pith.science/paper/OAJ5GLLJ

@misc{pith2026250703353,
  author       = {Pith},
  title        = {Pith review of: Sharp lower bound for the charged Hawking mass in the electrostatic space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OAJ5GLLJ}},
  note         = {Machine review of arXiv:2507.03353}
}

read the original abstract

We prove sharp lower bounds for the charged Hawking mass of stable surfaces in electrostatic space-times in various contexts. An upper bound for the genus of stable surfaces in the electrostatic system is provided. We also study the positivity for the charged Hawking mass of a minimal surface with index one in the electrostatic space-times. A criterion for a CMC surface in the Reissner-Nordstrom deSitter space to be stable is presented.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Rigidity and positivity of Hawking quasi-local energy on area-constrained critical surfaces
math-ph 2025-07 reject novelty 7.0 of 10

On area-constrained critical surfaces of the Hawking functional, zero Hawking energy implies the enclosed region is flat or the reference space form, but the dynamical statement is conditional on a restrictive technic...

Reference graph

Works this paper leans on

18 extracted references · 17 canonical work pages · cited by 1 Pith paper

[2]

Halyson Baltazar; Abdenago Barros; Rondinelle Batista - A local rigidity theorem for minimal two- spheres in charged time-symmetric initial data set. Lett. Math. Phys. 113 (2023), no. 5, Paper No. 92, 25 pp. MR4635061

work page 2023
[1]

A Quasi-Local Mass

Aghil Alaee; Marcus Khuri; Shing-Tung Yau - A quasi-local mass. arXiv:2309.02770v1 [math.DG] 6 Sep 2023

work page Pith review arXiv 2023
[3]

Simon Brendle - Constant mean curvature surfaces in warped product manifolds. Publ. Math. Inst. Hautes ´Etudes Sci. 117, (2013): 247-269. MR3090261

work page 2013
[4]

7, 075006, MR3471730

Carla Cederbaum; Gregory Galloway - Uniqueness of photon spheres in electro-vacuum spacetimes , Classical and Quantum Gravity 33 (2016), no. 7, 075006, MR3471730

work page 2016
[5]

Demetrios Christodoulou; Shing-Tung Yau - Some remarks on the quasi-local mass , in: Mathematics and General Relativity (Santa Cruz, CA, 1986), Vol. 71, pp. 9–14, Amer. Math. Soc., Providence, (1988)

work page 1988
[6]

Chrusciel; Erwann Delay - Non-singular space-times with a negative cosmological constant: II

Piotr T. Chrusciel; Erwann Delay - Non-singular space-times with a negative cosmological constant: II. Static solutions of the Einstein–Maxwell equations , Lett. Math. Phys. 107 (2017), no. 8, 1391-1407. MR3669238

work page 2017
[7]

Tiarlos Cruz; Vanderson Lima; Alexandre de Sousa - Min-max minimal surfaces, horizons and electro- static systems , to appear in Jour. Diff. Geom., (arXiv:1912.08600), 1–47

arXiv 1912
[8]

Gerhard Huisken; Tom Ilmanen - The inverse mean curvature flow and the Riemannian Penrose in- equality. J. Differential Geom. 59 (2001), no. 3, 353-437. MR1916951

work page 2001

Show all 18 references

[9]

Sophia Jahns - Photon sphere uniqueness in higher-dimensional electrovacuum spacetimes. Class. Quan- tum Grav. 36(23), (2019): 235019

2019
[10]

Peter Li; Shing-Tung Yau - A new conformal invariant and its applications to the Willmore conjecture and the first eigenvalue of compact surfaces. Invent. Math. 69 (1982), 269-291. MR0674407

1982
[11]

Davi Maximo; Ivaldo Nunes - Hawking mass and local rigidity of minimal two-spheres in three- manifolds. Comm. Anal. Geom. 21 (2013), no. 2, 409-432. MR3043752

2013
[12]

Classical Quantum Gravity 22 (2005), no

Pengzi Miao - A remark on boundary effects in static vacuum initial data sets. Classical Quantum Gravity 22 (2005), no. 11, L53-L59. MR2145225

2005
[13]

Pengzi Miao; Yaohua Wang; Naqing Xie - On Hawking mass and Bartnik mass of CMC surfaces. Math. Res. Lett. 27 (2020), no. 3, 855-885. MR4216572. 14 BENEDITO LEANDRO AND GUILHERME SABO

2020
[14]

Andrea Mondino; Aidan Templeton-Browne - Some rigidity results for the Hawking mass and a lower bound for the Bartnik capacity. J. Lond. Math. Soc. (2)106 (2022), no.3, 1844-1896. MR4498543

2022
[15]

Annals of Mathematics Studies, 102 (1982), 631-668

Roger Penrose - Some unsolved problems in classical general relativity. Annals of Mathematics Studies, 102 (1982), 631-668

1982
[16]

Manuel Ritor´ e; Antonio Ros - Stable constant mean curvature tori and the isoperimetric problem in three space forms. Comment. Math. Helvet. 67 (1992), 293-305. MR1161286

1992
[17]

Chen-Yun Lin; Christina Sormani - Bartnik’s mass and Hamilton ’s modified Ricci flow. Ann. Henri Poincar´ e 17 (2016), no. 10, 2783–2800

2016
[18]

Richard Schoen; Shing-Tung Yau - On the Proof of the Positive Mass Conjecture in General Relativity . Comm. Math. Phys. 65 (1979) 45-76. University of Bras´ılia, department of mathematics, Bras´ılia-DF, 70910-900, Brazil Email address : bleandrone@mat.unb.br University of Bras...

1979

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [2]

Halyson Baltazar; Abdenago Barros; Rondinelle Batista - A local rigidity theorem for minimal two- spheres in charged time-symmetric initial data set. Lett. Math. Phys. 113 (2023), no. 5, Paper No. 92, 25 pp. MR4635061

work page 2023

[2] [1]

A Quasi-Local Mass

Aghil Alaee; Marcus Khuri; Shing-Tung Yau - A quasi-local mass. arXiv:2309.02770v1 [math.DG] 6 Sep 2023

work page Pith review arXiv 2023

[3] [3]

Simon Brendle - Constant mean curvature surfaces in warped product manifolds. Publ. Math. Inst. Hautes ´Etudes Sci. 117, (2013): 247-269. MR3090261

work page 2013

[4] [4]

7, 075006, MR3471730

Carla Cederbaum; Gregory Galloway - Uniqueness of photon spheres in electro-vacuum spacetimes , Classical and Quantum Gravity 33 (2016), no. 7, 075006, MR3471730

work page 2016

[5] [5]

Demetrios Christodoulou; Shing-Tung Yau - Some remarks on the quasi-local mass , in: Mathematics and General Relativity (Santa Cruz, CA, 1986), Vol. 71, pp. 9–14, Amer. Math. Soc., Providence, (1988)

work page 1988

[6] [6]

Chrusciel; Erwann Delay - Non-singular space-times with a negative cosmological constant: II

Piotr T. Chrusciel; Erwann Delay - Non-singular space-times with a negative cosmological constant: II. Static solutions of the Einstein–Maxwell equations , Lett. Math. Phys. 107 (2017), no. 8, 1391-1407. MR3669238

work page 2017

[7] [7]

Tiarlos Cruz; Vanderson Lima; Alexandre de Sousa - Min-max minimal surfaces, horizons and electro- static systems , to appear in Jour. Diff. Geom., (arXiv:1912.08600), 1–47

arXiv 1912

[8] [8]

Gerhard Huisken; Tom Ilmanen - The inverse mean curvature flow and the Riemannian Penrose in- equality. J. Differential Geom. 59 (2001), no. 3, 353-437. MR1916951

work page 2001