Pith. sign in

REVIEW 3 major objections 4 minor 33 references

On the ADM mass of critical area-normalized capacitors

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

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

Pith's one-line read For an asymptotically flat manifold whose boundary capacity potential satisfies a critical overdetermined condition, the ADM mass is bounded below by a capacity ratio, and equality occurs exactly for Schwarzschild exteriors.

desk verdict New mass-capacity inequalities for critical area-normalized capacitors, with a load-bearing but clearly typographical exponent error in Eq. (22) that is fixable in revision. read the letter →

arxiv 2501.13427 v1 pith:BBZ6A4PK submitted 2025-01-23 math.DG

Simon Raulot (LMRS) This is my paper · ORCID
classification math.DG MSC 53C2053C2453C2783C57
keywords ADMmassmass-capacityinequalitycriticalarea-normalizedcapacitorSchwarzschildrigidityphotonsurfacestaticvacuumpositivetheoremconformaldeformation
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 establishes a sharp lower bound on the ADM mass of an asymptotically flat manifold whose boundary is a critical area-normalized capacitor: the boundary capacity potential has a normal derivative proportional to the boundary mean curvature. Under nonnegative scalar curvature, positive mean curvature, and a pinching condition on the boundary, the mass is at least the boundary capacity divided by $1+\Lambda/(c-1)$. Equality holds exactly for the exterior of a rotationally symmetric sphere in the Riemannian Schwarzschild manifold. The proof uses a conformal deformation and positive-mass theorems for manifolds with boundary, and the resulting inequality yields uniqueness statements for static vacuum spacetimes with connected photon surfaces and for static manifolds with boundary.

What carries the argument

The central object is the critical area-normalized capacitor, defined by a boundary capacity potential $\Phi$ (the harmonic function equal to $1$ on the boundary and $0$ at infinity) satisfying $\partial\Phi/\partial\nu = -\frac12\frac{n-2}{n-1}\Lambda H$ on $\Sigma$. The proof's main mechanism is the conformal deformation $g_\alpha = \Psi_\alpha^{4/(n-2)}g$ with $\Psi_\alpha = 1-\frac{1-\alpha}{2}\Phi$. This deformation subtracts $(1-\alpha)C(\Sigma,M)$ from the ADM mass, preserves nonnegative scalar curvature, and, through the capacitor condition, controls the mean curvature of the new boundary so that a positive-mass theorem with boundary applies. Equality analysis then forces the conformal factor to be the Schwarzschild radial function, yielding rigidity.

What would settle it

Construct a spin asymptotically flat manifold with $R\ge 0$, $H>0$, and pinching condition (8) whose boundary capacity potential satisfies (3) but whose ADM mass is strictly less than $C(\Sigma,M)/(1+\Lambda/(c-1))$; such an example would directly refute Theorem 1.

Watch

Extended reading notes

Core claim

The central discovery is that the overdetermined boundary condition (3) converts the general mass-capacity inequality into a sharp one, with Schwarzschild rigidity as the equality case. Specifically, for a spin critical area-normalized capacitor with connected boundary, $R\ge 0$, $H>0$, and $\inf_\Sigma \bar R \ge \frac{n-2}{n-1}c\max_\Sigma H^2$ for $c>1$, the ADM mass satisfies $m\ge \frac{1}{1+\Lambda/(c-1)}\,C(\Sigma,M)$, and equality is achieved if and only if the manifold is isometric to the region outside a rotationally symmetric sphere in an $n$-dimensional Schwarzschild manifold. The same inequality and rigidity hold under the pointwise pinching $\bar R\ge \frac{n-2}{n-1}cH^2$ when $n=3$ or the boundary admits an isometric embedding into Euclidean space. These abstract results are applied to static vacuums: a totally umbilical equipotential boundary satisfying the pinching condition forces the Schwarzschild metric, and the spin photon-surface and static-manifold-with-boundary uniqueness theorems follow.

Load-bearing premise

The load-bearing premise is that the boundary satisfies the overdetermined capacitor condition $\partial\Phi/\partial\nu = -\frac12\frac{n-2}{n-1}\Lambda H$; in the static-vacuum applications this follows only under total umbilicity, and Lemma 1 shows that without it an extra $|O|^2$ term appears, so the inequality and rigidity may fail for general equipotential boundaries.

Editorial extensions

If this is right

  • For any spin critical area-normalized capacitor satisfying the hypotheses, the ADM mass is bounded below by the boundary capacity divided by $1+\Lambda/(c-1)$, and equality forces the manifold to be a Schwarzschild exterior.
  • A spin asymptotically flat static vacuum with a connected totally umbilical equipotential boundary satisfying the pinching condition must be the corresponding Schwarzschild exterior, so the uniqueness results extend from isotropic to merely asymptotically flat settings.
  • A spin asymptotically flat static vacuum spacetime that is geodesically complete up to a connected, outward-directed equipotential photon surface with compact time slices is a piece of the Schwarzschild spacetime.
  • A one-ended spin asymptotically flat static manifold with boundary, with a connected equipotential boundary and positive mean curvature, is isometric to the exterior of the unique photon sphere in the Schwarzschild manifold of positive mass.
  • The pointwise version of the pinching yields the same mass-capacity inequality and rigidity in dimension three, or whenever the boundary admits an isometric embedding into Euclidean space.

Reading between the lines

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

  • Beyond the paper's statements, the $|O|^2$ term in Lemma 1 suggests a concrete extension: when total umbilicity is dropped, the proportionality defining a critical capacitor fails, so the classification should be tested against non-totally-umbilical equipotential boundaries.
  • The proof's conformal deformation also raises a stability question not addressed here: the deficit $m - C/(1+\Lambda/(c-1))$ should control some geometric distance to the Schwarzschild exterior, and the same $g_\alpha$ construction is a natural tool for making that quantitative.
  • The connectedness assumption is likely removable in spirit, but would need a multi-boundary version of the positive-mass theorem with boundary; such an extension would align with earlier photon-surface rigidity results that allow black-hole components.
  • A direct numerical test could start from small perturbations of a Schwarzschild exterior: solving the critical capacitor condition to first order and checking whether the inequality persists would localise how rigid the equality case really is.
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.

Referee Report

3 major / 4 minor

Summary. The paper introduces the class of 'critical area-normalized capacitors': asymptotically flat manifolds whose boundary capacity potential satisfies the overdetermined boundary condition (3). The main result, Theorem 1, is a mass-capacity inequality m >= (1 + Lambda/(c-1))^{-1} C(Sigma,M) under the boundary pinching (8), with equality characterized by rotationally symmetric Schwarzschild exteriors. Theorem 2 gives an analogous inequality under the pointwise boundary curvature bound (10) when n=3 or the boundary admits an isometric Euclidean embedding. Corollaries 1-2 reformulate these results in terms of the static potential V, and Theorems 3-6 apply them to static vacuums with equipotential boundaries, photon surfaces, and static manifolds with boundary. The proofs combine the Hirsch-Miao mass-capacity inequality with a conformal deformation g_alpha and positive mass theorems for manifolds with boundary (Herzlich-Friedrich and Miao).

Significance. If the results are correct, the paper gives clean mass-capacity inequalities for a geometrically natural class of boundary conditions and yields Schwarzschild rigidity statements for spin static manifolds under asymptotic flatness rather than asymptotic isotropy, which would strengthen several known uniqueness theorems. The proof strategy is transparent and uses established external inequalities; there is no circularity and no fitted parameter. The central argument as printed, however, contains a misstated conformal scaling formula in Eq. (22), and the proof of Theorem 2 uses an inequality that is too weak for n >= 4. Both issues are local and repairable, and the overall strategy appears sound. The scope limitation to totally umbilical equipotential boundaries in the static applications is explicit and does not by itself undermine the internal proofs.

major comments (3)
  1. [Section 3, Eq. (22)] The displayed formula (22), Rbar_alpha = 2^{2/(n-2)} (1+alpha)^{-2/(n-2)} Rbar, is not the correct conformal scaling. Since g_alpha|Sigma = ((1+alpha)/2)^{4/(n-2)} gamma, the induced metric is rescaled by k = ((1+alpha)/2)^{4/(n-2)} and the scalar curvature scales by k^{-1}, so the correct formula is Rbar_alpha = 2^{4/(n-2)} (1+alpha)^{-4/(n-2)} Rbar. With the printed exponent, the subsequent chain involving max H_alpha^2 does not close: the factors do not cancel and the pinching condition for Theorem 7 is not established. Replacing the exponent 2/(n-2) by 4/(n-2) in (22) restores the argument, so this appears to be a typographical error rather than a conceptual gap, but it is load-bearing for the proof of Theorem 1 as printed.
  2. [Section 3, proof of Theorem 2] In the proof of Theorem 2, the text states that formulas (21) and (22) ensure Rbar_alpha >= H_alpha^2/2. This is insufficient for n >= 4, where Theorem 8 requires Rbar_alpha >= (n-2)/(n-1) H_alpha^2, which is stronger than H_alpha^2/2. With the corrected formula (22), one instead obtains Rbar_alpha >= c(1+alpha)^2/(1+c alpha)^2 (n-2)/(n-1) H_alpha^2 >= (n-2)/(n-1) H_alpha^2, so the intended application of Theorem 8 does go through after the correction. As printed, however, the proof does not establish the hypothesis of Theorem 8 in the n >= 4 embedding case.
  3. [Section 2, Lemma 1] The proof of Lemma 1 contains an incorrect displayed Gauss equation. With the manuscript's sign conventions, scalar-flatness of g gives Ric(nu,nu) = 1/2((n-2)/(n-1)H^2 - Rbar - |O|^2), not 1/2(Rbar - (n-2)/(n-1)H^2 + |O|^2). As printed, combining the displayed Gauss equation with H partial_nu V = -Hess V(nu,nu) does not yield the stated formula for partial_nu V. The stated formula itself is the correct one and is what the later applications use, so the error is repairable, but it should be corrected for the proof of Lemma 1 to be valid.
minor comments (4)
  1. [Section 2, Lemma 1] In the displayed Gauss equation, the denominator '(n-2)/(n-2)' is a typo for '(n-2)/(n-1)'.
  2. [Throughout] There are several typographical errors: 'connecter' should be 'connected' in Corollaries 1 and 2; 'get ride of' should be 'get rid of' in the proof of Theorem 7; 'This conclude the proof' should be 'This concludes the proof' at the end of Theorem 1's proof.
  3. [References] The reference [DSW] is incomplete: it lacks volume, page numbers, and year. The reference [Loh16] is an arXiv preprint and should be labeled as such if no published version is intended.
  4. [Section 3] In the equality discussion after Theorem 1, the phrase 'exterior of a rotationally symmetric sphere exterior' contains a duplicated word; it should read 'exterior of a rotationally symmetric sphere'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the mass-capacity inequality and rigidity theorems are derived from external positive-mass theorems, with the critical-capacitor condition assumed rather than fitted.

full rationale

The derivation chain is not circular. Theorem 1 is proved by conformally transforming the metric and applying the external Hirsch-Miao mass-capacity inequality (19) and the spin positive-mass theorem with boundary (Theorem 7, proved from Herzlich and Friedrich). The boundary condition (3) defines the class of critical area-normalized capacitors; Lambda is a coefficient fixed by that condition, not a parameter fitted to make (9) hold. The static-vacuum theorems (3-6) derive the overdetermined boundary condition from the static equations and the geometric assumptions via Lemma 1, and the mass-capacity inequality is then applied, not assumed. The equality case is checked by explicit computation on Schwarzschild exteriors. The author's own prior work [Rau21] appears only in the literature review, not in any proof. A possible exponent typo in Eq. (22) would be a correctness issue if it were real, but it is not a circularity. No fitted input is renamed as a prediction, and no load-bearing self-citation is used.

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

No free parameters are fitted to data; the constants Lambda and c are hypotheses of the theorems, not tuned quantities. The arguments rely on standard external theorems from geometric analysis and mathematical relativity, and no new geometric objects or entities are introduced.

assumptions (7)
  • standard math Hirsch-Miao mass-capacity inequality: under R >= 0 and (19), m >= (1-alpha) C(Sigma, M) with equality only for Schwarzschild exterior.
    External theorem [HM20], quoted in Section 3 and used directly in the case alpha^2 c >= 1 and as the target of the conformal argument.
  • standard math Spin positive mass theorem for manifolds with boundary: under inf R_bar >= A max H^2, m >= 0 and equality only for Euclidean exterior.
    Proved in Appendix A using Herzlich's Dirac mass estimate and Friedrich's eigenvalue bound; these are external results [Her97, Her02, Fri80].
  • standard math Miao's positive mass theorem for manifolds with corners, together with the rigidity result of McFeron-Szekelyhidi.
    Used in Theorem 8 to glue a Euclidean fill-in along Sigma and conclude mass nonnegativity and rigidity [Mia02, MS12].
  • standard math Existence and asymptotic expansion of the boundary capacity potential: Phi = C r^(2-n) + O(r^(-(n-2+epsilon))).
    Cited from [AMO22, Theorem 2.2]; needed for the capacity formula (2), the asymptotic form of the conformal factor, and the mass difference formula (20).
  • standard math Static potential asymptotic expansion: V = 1 - m r^(2-n) + O(r^(2-n-epsilon)).
    Cited from [Lee19]; used to derive the Smarr formula (17) and to identify the ADM mass in the static vacuum applications.
  • standard math Hopf boundary point lemma and maximum principle.
    Used in the proof of Theorems 3 and 4 to show that V restricted to the boundary is a positive constant and that 0 < alpha < 1.
  • domain assumption Equipotential photon surfaces are totally umbilical, have constant mean curvature, and satisfy the pinching condition, via [CG21, Formulas 4.16 and 4.17].
    Needed in Theorem 5 to reduce a photon surface spacetime to a static vacuum with a critical-capacitor boundary; the paper does not reproduce the computation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the ADM mass of critical area-normalized capacitors." pith.science (2026). https://pith.science/paper/BBZ6A4PK

@misc{pith2026250113427,
  author       = {Pith},
  title        = {Pith review of: On the ADM mass of critical area-normalized capacitors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BBZ6A4PK}},
  note         = {Machine review of arXiv:2501.13427}
}
read the original abstract

In this note, we prove mass-capacity inequalities for asymptotically flat manifolds whose boundary capacity potential satisfies an overdetermined problem, referred to as critical area-normalized capacitors. As a consequence, we obtain uniqueness results for the Schwarzschild metric, from which improvements in the uniqueness theorems for spin asymptotically flat spacetimes containing a connected photon surface, as well as for spin asymptotically flat static manifolds with boundary are obtained.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 23 canonical work pages

  1. [1]

    Agostiniani, L

    V. Agostiniani, L. Mazzieri, and F. Oronzio. A geometric capacitary inequality for sub-static manifolds with harmonic potentials. Mathematics in Engineering , 4:1--40, 2022

    work page 2022

  2. [2]

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

    1986

  3. [3]

    H. L. Bray. Proof of the R iemannian P enrose inequality using the positive mass theorem. J. Differential Geom. , 59(2):177--267, 2001

    2001

  4. [4]

    Cederbaum, A

    C. Cederbaum, A. Cogo, B. Leandro, and Dos Santos J. P. Uniqueness of static vacuum asymptotically flat black holes and equipotential photon surfaces in n+1 dimensions \`a la robinson. arXiv:2403.14422 , 2024

    arXiv 2024

  5. [5]

    Cederbaum

    C. Cederbaum. Uniqueness of photon spheres in static vacuum asymptotically flat spacetimes. In Complex analysis and dynamical systems VI . P art 1 , volume 653 of Contemp. Math. , pages 51--64. Amer. Math. Soc., Providence, RI, 2015

    work page 2015

  6. [6]

    Cederbaum

    C. Cederbaum. A geometric boundary value problem related to the static equations in G eneral R elativity. Oberwolfach report , 2017

    work page 2017

  7. [7]

    Cederbaum and G

    C. Cederbaum and G. J. Galloway. Uniqueness of photon spheres via positive mass rigidity. Comm. Anal. Geom. , 25(2):303--320, 2017

    work page 2017

  8. [8]

    Cederbaum and G

    C. Cederbaum and G. J. Galloway. Photon surfaces with equipotential time slices. J. Math. Phys. , 62(3):Paper No. 032504, 22, 2021

    work page 2021

Show all 33 references
  1. [9]

    P. T. Chru\' s ciel. Boundary conditions at spatial infinity from a H amiltonian point of view. In Topological properties and global structure of space-time ( E rice, 1985) , volume 138 of NATO Adv. Sci. Inst. Ser. B Phys. , pages 49--59. Plenum, New York, 1986

    1985

  2. [10]

    Cruz and F

    T. Cruz and F. Vit\'orio. Prescribing the curvature of R iemannian manifolds with boundary. Calc. Var. Partial Differential Equations , 58(4):Paper No. 124, 19, 2019

    2019

  3. [11]

    X. Dai, Y. Sun, and C. Wang. The positive mass theorem for asymptotically flat manifolds with isolated conical singularities. Sci. China Math

  4. [12]

    M. M. Fall, I. A. Minlend, and J. Ratzkin. Foliation of an asymptotically flat end by critical capacitors. J. Geom. Anal. , 32(2):Paper No. 54, 32, 2022

    2022

  5. [13]

    Friedrich

    T. Friedrich. Der erste E igenwert des D irac- O perators einer kompakten, R iemannschen M annigfaltigkeit nichtnegativer S kalarkr\" u mmung. Math. Nachr. , 97:117--146, 1980

    1980

  6. [14]

    Herzlich

    M. Herzlich. A P enrose-like inequality for the mass of R iemannian asymptotically flat manifolds. Comm. Math. Phys. , 188(1):121--133, 1997

    1997

  7. [15]

    Herzlich

    M. Herzlich. Minimal surfaces, the D irac operator and the P enrose inequality. In S\' e minaire de T h\' e orie S pectrale et G \' e om\' e trie, V ol. 20, A nn\' e e 2001--2002 , volume 20 of S\' e min. Th\' e or. Spectr. G\' e om. , pages 9--16. Univ. Grenoble I, Saint-Mart...

    2001

  8. [16]

    Hirsch and P

    S. Hirsch and P. Miao. A positive mass theorem for manifolds with boundary. Pacific J. Math. , 306(1):185--201, 2020

    2020

  9. [17]

    Huang, D

    L.-H. Huang, D. Martin, and P. Miao. Static potentials and area minimizing hypersurfaces. Proc. Amer. Math. Soc. , 146(6):2647--2661, 2018

    2018

  10. [18]

    Harvie and Y.-K

    B. Harvie and Y.-K. Wang. Quasi-spherical metrics and the static minkowski inequality. arXiv:2403.06216 , 2024

    2024

  11. [19]

    Harvie and Y.-K

    B. Harvie and Y.-K. Wang. A rigidity theorem for asymptotically flat static manifolds and its applications. Trans. Amer. Math. Soc. , 377(5):3599--3629, 2024

    2024

  12. [20]

    D. A. Lee. Geometric relativity , volume 201 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2019

    2019

  13. [21]

    J. Lohkamp. The higher dimensional positive mass theorem i. arXiv:math/0608795 , 2016

    2016 arXiv

  14. [22]

    Medvedev

    V. Medvedev. Static manifolds with boundary: their geometry and some uniqueness theorems. arXiv:2410.15347 , 2024

    2024 arXiv

  15. [23]

    P. Miao. Positive mass theorem on manifolds admitting corners along a hypersurface. Adv. Theor. Math. Phys. , 6(6):1163--1182 (2003), 2002

    2003

  16. [24]

    McCormick and P

    S. McCormick and P. Miao. On a penrose-like inequality in dimension less than eight. Int. Math. Res. Not. IMRN , 7:2069--2084, 2019

    2019

  17. [25]

    McFeron and G

    D. McFeron and G. Sz\' e kelyhidi. On the positive mass theorem for manifolds with corners. Comm. Math. Phys. , 313(2):425--443, 2012

    2012

  18. [26]

    Nirenberg

    L. Nirenberg. The W eyl and M inkowski problems in differential geometry in the large. Comm. Pure Appl. Math. , 6:337--394, 1953

    1953

  19. [27]

    A. V. Pogorelov. Regularity of a convex surface with given G aussian curvature. Mat. Sbornik N.S. , 31(73):88--103, 1952

    1952

  20. [28]

    S. Raulot. A spinorial proof of the rigidity of the R iemannian S chwarzschild manifold. Classical and Quantum Gravity , 38(8):085015, 2021

    2021

  21. [29]

    D. C. Robinson. A simple proof of the generalization of I srael's theorem. Gen. Relativity Gravitation , 8:695--698, 1977

    1977

  22. [30]

    R. M. Schoen and S.-T. Yau. Complete manifolds with nonnegative scalar curvature and the positive action conjecture in general relativity. Proc. Nat. Acad. Sci. U.S.A. , 76(3):1024--1025, 1979

    1979

  23. [31]

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

    1979

  24. [32]

    R. M. Schoen and S.-T. Yau. Positive scalar curvature and minimal hypersurface singularities. In Surveys in differential geometry 2019. D ifferential geometry, C alabi- Y au theory, and general relativity , volume 24 of Surv. Differ. Geom. , pages 441--480. Int. Press, Somervi...

    2019

  25. [33]

    E. Witten. A new proof of the positive energy theorem. Comm. Math. Phys. , 80(3):381--402, 1981

    1981

Pith tools

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