arxiv: 2605.12352 · v1 · submitted 2026-05-12 · 🧮 math.DG · gr-qc

Recognition: 2 theorem links

· Lean Theorem

A Comparison Theorem For the Mass of ALE and ALF Toric 4-Manifolds

Aghil Alaee, Hari Kunduri, Marcus Khuri

Pith reviewed 2026-05-13 03:12 UTC · model grok-4.3

classification 🧮 math.DG gr-qc

keywords ALE manifoldsALF manifoldstoric 4-manifoldsgravitational instantonsmass boundspositive mass theoremrod structureRicci-flat metrics

0 comments

The pith

The mass of complete toric ALE or ALF 4-manifolds with nonnegative scalar curvature is at least the mass of the matching toric gravitational instanton plus a term from conical defects.

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

The paper proves a comparison theorem that gives a sharp lower bound on the mass of toric asymptotically locally Euclidean or flat 4-manifolds. The bound is the mass of the corresponding gravitational instanton with identical rod structure plus an expression based on conical angle defects of its totally geodesic 2-spheres. Equality holds precisely when the manifold coincides with the instanton and is therefore Ricci-flat. This result explains how the positive mass theorem can fail to hold in the ALE and ALF regimes and provides a variational characterization of the instantons.

Core claim

For a complete ALE or ALF toric 4-manifold with nonnegative scalar curvature, its mass is bounded from below by the mass of the toric gravitational instanton with the same orbit space structure together with a correction term determined by the conical angle defects of the totally geodesic 2-spheres that generate the second homology of the instanton. The inequality is saturated if and only if the manifold is Ricci-flat and identical to the instanton. The statement extends to manifolds with conical and orbifold singularities and yields a refined notion of total mass.

What carries the argument

The rod structure of the toric action, which encodes the orbit space and allows matching the manifold to its corresponding gravitational instanton for the mass comparison.

If this is right

The inequality holds with the stated correction for conical defects.
Equality occurs only for Ricci-flat manifolds that match the instanton exactly.
The result extends to cases with additional conical and orbifold singularities.
It offers a variational characterization of toric gravitational instantons.
It explains the possible failure of mass positivity in ALE and ALF settings.

Where Pith is reading between the lines

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

Similar comparison theorems might apply to non-toric manifolds if a suitable notion of rod structure can be defined.
The refined total mass could be useful in studying stability of black hole spacetimes.
Testing the bound numerically on known toric instantons could confirm the defect term.
Extensions to higher dimensions or different asymptotics may follow from the same comparison technique.

Load-bearing premise

The manifold must be toric with a prescribed rod structure and have nonnegative scalar curvature, and a matching gravitational instanton must exist.

What would settle it

A counterexample would be a toric ALE or ALF 4-manifold with nonnegative scalar curvature whose computed mass is strictly less than the mass of its corresponding instanton plus the conical defect expression.

read the original abstract

We establish sharp lower bounds for the mass of asymptotically locally Euclidean (ALE) and asymptotically locally flat (ALF) toric 4-manifolds, in terms of equilibrium geometries consisting of gravitational instantons. More precisely, the mass of a complete ALE or ALF toric 4-manifold with nonnegative scalar curvature is bounded below by a sum comprised of the following quantities: the mass of the corresponding toric gravitational instanton having the same orbit space (rod) structure as the original ALE/ALF manifold, and an expression determined by the conical angle defects of totally geodesic 2-spheres within the instanton that serve as generators for its second homology. The inequality may be generalized to the situation in which the ALE/ALF manifold also possesses conical singularities as well as orbifold singularities, and it suggests a refined notion of `total mass' in which the result simply states that the total mass of the ALE/ALF manifold is not less than that of the corresponding gravitational instanton. Furthermore, we prove rigidity for these statements, namely the inequality is saturated only when the ALE/ALF manifold is Ricci flat and in fact agrees with the corresponding instanton. These results may be viewed in the context of positive mass theorems, providing an explanation of how positivity can fail in the ALE/ALF setting. Moreover, the main theorem may be interpreted as yielding a variational characterization of the relevant toric gravitational instantons.

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 proves a sharp lower bound on mass for toric ALE and ALF 4-manifolds by matching to a gravitational instanton plus conical defect terms, with rigidity at equality.

read the letter

The paper establishes a lower bound on the mass of complete ALE or ALF toric 4-manifolds with nonnegative scalar curvature. The bound is the mass of the matching toric gravitational instanton with the same rod structure, plus terms coming from the conical angle defects of certain 2-spheres in the instanton. Equality holds only if the manifold is the instanton itself. This is new in the way it handles the toric case with explicit rod structure matching and includes the defect contributions. It also extends to manifolds with conical or orbifold singularities. The variational characterization of the instantons is a useful way to frame the result. The work does well in connecting to the positive mass theorem literature and explaining how positivity can fail when the asymptotic conditions are ALE or ALF rather than AF. The rigidity statement is stated cleanly. The soft spots are that everything rests on the toric symmetry and the nonnegative scalar curvature assumption. Without those, the comparison does not apply. The proof details for the geometric analysis steps are not visible in the abstract, so it is hard to judge if the estimates are tight or if there are hidden constants. The ALF case might require extra care with the asymptotics. This paper is for differential geometers and mathematical relativists working on 4-manifolds with torus symmetry. Readers who follow work on gravitational instantons or refinements of mass theorems will find it relevant. It is not for someone looking for general positive mass results without symmetry. It deserves a serious referee because the theorem is stated precisely and the context is important. The authors have a clear statement and the result could influence how people think about mass in these settings. I would recommend sending it to peer review. The idea is solid enough that referees can check the details and see if the analysis holds.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes a comparison theorem providing sharp lower bounds on the mass of complete ALE and ALF toric 4-manifolds with nonnegative scalar curvature. The mass is bounded below by the mass of the corresponding toric gravitational instanton sharing the same orbit space (rod) structure plus a term determined by the conical angle defects of totally geodesic 2-spheres that generate the second homology of the instanton. Rigidity is proven: equality holds if and only if the manifold is Ricci-flat and coincides with the instanton. The result extends to the presence of conical and orbifold singularities and yields a variational characterization of the relevant gravitational instantons, offering an explanation for the failure of positivity in the ALE/ALF setting.

Significance. If the central claims hold, the work supplies a precise, sharp comparison result and rigidity theorem in the toric setting that refines the positive mass theorem for noncompact 4-manifolds. It furnishes a variational principle for toric gravitational instantons and clarifies how mass positivity can fail, which may prove useful for classifying minimal-mass configurations and for further study of Ricci-flat metrics with toric symmetry.

major comments (2)

[Main Theorem / §3] The main comparison inequality (stated in the abstract and presumably Theorem 1.1) is derived from the nonnegativity of scalar curvature together with the fixed rod structure; the precise integral identity or monotonicity formula that converts the scalar-curvature integral into the stated mass bound plus defect term must be displayed explicitly, including the control of all boundary terms at infinity.
[Rigidity Theorem / §5] The rigidity statement asserts that equality forces the manifold to be Ricci-flat and identical to the instanton. The argument should explicitly invoke the uniqueness properties of the rod structure (or the associated harmonic functions) to rule out other Ricci-flat toric metrics with the same asymptotics; without this step the equality case remains formally incomplete.

minor comments (2)

[Introduction] The abstract refers to 'an expression determined by the conical angle defects'; the explicit formula for this defect term should appear already in the introduction or statement of the main theorem.
Notation for the rod structure and the generators of the second homology should be introduced with a short diagram or table of examples to improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive summary, and constructive major comments. We address each point below and will revise the manuscript accordingly to strengthen the exposition and completeness of the arguments.

read point-by-point responses

Referee: [Main Theorem / §3] The main comparison inequality (stated in the abstract and presumably Theorem 1.1) is derived from the nonnegativity of scalar curvature together with the fixed rod structure; the precise integral identity or monotonicity formula that converts the scalar-curvature integral into the stated mass bound plus defect term must be displayed explicitly, including the control of all boundary terms at infinity.

Authors: We agree that an explicit presentation of the underlying integral identity will improve readability. In the revised version we will add a dedicated paragraph (or short subsection) in §3 that writes out the precise integral identity obtained by integrating the scalar curvature against the appropriate harmonic test function determined by the rod structure. We will also include a self-contained verification that all boundary terms at infinity vanish, using the precise ALE/ALF decay rates and the asymptotic behavior of the harmonic functions. This makes the passage from nonnegative scalar curvature to the mass-plus-defect lower bound fully transparent without altering the logical structure of the proof. revision: yes
Referee: [Rigidity Theorem / §5] The rigidity statement asserts that equality forces the manifold to be Ricci-flat and identical to the instanton. The argument should explicitly invoke the uniqueness properties of the rod structure (or the associated harmonic functions) to rule out other Ricci-flat toric metrics with the same asymptotics; without this step the equality case remains formally incomplete.

Authors: We accept this observation. The current rigidity argument shows that equality implies vanishing scalar curvature and then concludes identification with the instanton via the shared rod data. To make the step fully rigorous, we will revise §5 to insert an explicit appeal to the uniqueness result for toric Ricci-flat 4-manifolds with prescribed rod structure (or equivalently, prescribed asymptotic harmonic functions). This uniqueness is available from the existing literature on toric hyperkähler metrics and will be cited and briefly recalled, thereby ruling out any other Ricci-flat toric metric with the same asymptotics and completing the equality case. revision: yes

Circularity Check

0 steps flagged

No circularity: theorem derives mass bound from nonnegative scalar curvature and toric rod structure

full rationale

The derivation establishes a comparison inequality for the mass of ALE/ALF toric 4-manifolds by relating it to the mass of a matching gravitational instanton (fixed by the same rod/orbit space structure) plus explicit conical defect terms. This is obtained from integral identities or monotonicity formulas under the assumption of nonnegative scalar curvature, with rigidity following from equality cases in those identities. No step reduces a claimed prediction to a fitted parameter by construction, nor does any load-bearing premise collapse to a self-citation whose content is unverified or defined in terms of the target result. The argument is self-contained within the stated geometric hypotheses and does not rename or smuggle in prior results as new derivations.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard background assumptions in Riemannian geometry and general relativity together with the toric symmetry and nonnegative scalar curvature hypotheses; no free parameters or new postulated entities are introduced in the abstract.

axioms (3)

domain assumption Nonnegative scalar curvature on the ALE/ALF manifold
Explicitly required for the lower bound to hold.
domain assumption Toric symmetry with matching rod structure to the instanton
The comparison is stated only for toric manifolds whose orbit space matches that of the reference instanton.
domain assumption Existence of the corresponding toric gravitational instanton
The bound is expressed in terms of this reference object.

pith-pipeline@v0.9.0 · 5558 in / 1515 out tokens · 112600 ms · 2026-05-13T03:12:27.647755+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Reduced energy I(Ψ) = lim I_Ως(Ψ) from harmonic map energy to H² with Fermi coordinates (V,W); convexity yields I(Ψ) ≥ C (∫ dist_H²(Ψ,Ψ_o)^6 dx)^{1/3}

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages · 1 internal anchor

[1]

Aghil Alaee, Pei-Ken Hung, and Marcus Khuri,The positive energy theorem for asymptotically hyperboloidal initial data sets with toroidal infinity and related rigidity results, Comm. Math. Phys.,396(2022), no. 2, 451–480

work page 2022
[2]

Aghil Alaee, Marcus Khuri, and Hari Kunduri,Proof of the mass-angular momentum inequality for bi-axisymmetric black holes with spherical topology, Adv. Theor. Math. Phys.20(2016), no. 6, 1397–1441

work page 2016
[3]

,Mass-angular-momentum inequality for black ring spacetimes, Phys. Rev. Lett.119(2017), no. 7, 071101, 5

work page 2017
[4]

Henri Poincar´ e18(2017), no

,Relating mass to angular momentum and charge in five-dimensional minimal supergravity, Ann. Henri Poincar´ e18(2017), no. 5, 1703–1753

work page 2017
[5]

Aghil Alaee and Shing-Tung Yau,Positive mass theorem for initial data sets with corners along a hypersurface, Comm. Anal. Geom.30(2022), no. 7, 1443–1478

work page 2022
[6]

Henri Poincar´ e,9(2008), no

Lars Andersson, Mingliang Cai, and Gregory Galloway,Rigidity and positivity of mass for asymptotically hyperbolic manifolds, Ann. Henri Poincar´ e,9(2008), no. 1, 1–33

work page 2008
[7]

2, 313–349

Shigetoshi Bando, Atsushi Kasue, and Hiraku Nakajima,On a construction of coordinates at infinity on manifolds with fast curvature decay and maximal volume growth, Inventiones mathematicae97(1989), no. 2, 313–349

work page 1989
[8]

Pure Appl

Robert Bartnik,The mass of an asymptotically flat manifold, Comm. Pure Appl. Math.,39(1986), no. 5, 661–693

work page 1986
[9]

Hamed Barzegar, Piotr Chru´ sciel, and Michael H¨ orzinger,Energy in higher-dimensional spacetimes, Phys. Rev. D,96(2017), no. 12, 124002

work page 2017
[10]

Olivier Biquard and Paul Gauduchon,On toric Hermitian ALF gravitational instantons, Comm. Math. Phys.399 (2023), no. 1, 389–422

work page 2023
[11]

Olivier Biquard, Paul Gauduchon, and Claude LeBrun,Gravitational instantons, Weyl curvature, and conformally K¨ ahler geometry, Int. Math. Res. Not. IMRN,20(2024), 13295–13311

work page 2024
[12]

Hassan Boualem and Marc Herzlich,Rigidity at infinity for even-dimensional asymptotically complex hyperbolic spaces, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5),1(2002), no. 2, 461–469

work page 2002
[13]

Simon Brendle and Pei-Ken Hung,Area bounds for minimal surfaces that pass through a prescribed point in a ball, Geom. Funct. Anal.,27(2017), no. 2, 235–239

work page 2017
[14]

Jie Chen, Peng Liu, Yuguang Shi, and Jintian Zhu,Incompressible hypersurface, positive scalar curvature and positive mass theorem, preprint, arXiv:2112.14442 (2021)

work page arXiv 2021
[15]

Yu Chen and Edward Teo,A New AF gravitational instanton, Phys. Lett. B703(2011), 359–362

work page 2011
[16]

Yvonne Choquet-Bruhat, Arthur Fischer, and Jerrold Marsden,Maximal hypersurfaces and positivity of mass (1979), 395–456

work page 1979
[17]

Piotr Chru´ sciel,Boundary conditions at spatial infinity from a Hamiltonian point of view, NATO Adv. Sci. Inst. Ser. B: Phys.,138(1986), 49–59

work page 1986
[18]

Math., 212(2003), no

Piotr Chru´ sciel and Marc Herzlich,The mass of asymptotically hyperbolic Riemannian manifolds, Pacific J. Math., 212(2003), no. 2, 231–264

work page 2003
[19]

Mattias Dahl,The positive mass theorem for ALE manifolds, Mathematics of Gravitation, Part I (Warsaw, 1996), 1997, pp. 133–142. A COMPARISON THEOREM FOR THE MASS OF ALE AND ALF TORIC 4-MANIFOLDS 43

work page 1996
[20]

Ann.388 (2024), no

Mattias Dahl and Klaus Kr¨ oncke,Local and global scalar curvature rigidity of Einstein manifolds, Math. Ann.388 (2024), no. 1, 453–510

work page 2024
[21]

Xianzhe Dai,A positive mass theorem for spaces with asymptotic SUSY compactification, Comm. Math. Phys., 244(2004), no. 2, 335–345

work page 2004
[22]

Xianzhe Dai and Yukai Sun,Compacitification and positive mass theorem for fibered Euclidean end, J. Geom. Anal.,33(2023), no. 9, Paper No. 275, 26 pages

work page 2023
[23]

Alix Deruelle and Tristan Ozuch,A lojasiewicz inequality for ale metrics, preprint, arXiv:2007.09937 (2020)

work page arXiv 2007
[24]

Hanson,Self-dual solutions to Euclidean gravity, Ann

Tohru Eguchi and Andrew J. Hanson,Self-dual solutions to Euclidean gravity, Ann. Physics120(1979), no. 1, 82–106

work page 1979
[25]

Troels Harmark,Stationary and axisymmetric solutions of higher-dimensional general relativity, Phys. Rev. D70 (2004), 124002

work page 2004
[26]

Hans-Joachim Hein and Claude LeBrun,Mass in K¨ ahler geometry, Comm. Math. Phys.,347(2016), no. 1, 183– 221

work page 2016
[27]

Ann.,312(1998), no

Marc Herzlich,Scalar curvature and rigidity of odd-dimensional complex hyperbolic spaces, Math. Ann.,312(1998), no. 4, 641–657

work page 1998
[28]

Stefan Hollands and Stoytcho Yazadjiev,Uniqueness theorem for 5-dimensional black holes with two axial Killing fields, Comm. Math. Phys.283(2008), no. 3, 749–768

work page 2008
[29]

Jaroslaw Jaracz and Marcus Khuri,Existence of brill coordinates and applications, preprint (2026)

work page 2026
[30]

Math.322(2023), no

Vishnu Kakkat, Marcus Khuri, Jordan Rainone, and Gilbert Weinstein,The geometry and topology of stationary multiaxisymmetric vacuum black holes in higher dimensions, Pacific J. Math.322(2023), no. 1, 59–97

work page 2023
[31]

Marcus Khuri, Yukio Matsumoto, Gilbert Weinstein, and Sumio Yamada,Plumbing constructions and the domain of outer communication for 5-dimensional stationary black holes, Trans. Amer. Math. Soc.372(2019), no. 5, 3237–3256

work page 2019
[32]

Marcus Khuri and Jian Wang,Mass lower bounds for asymptotically locally flat manifolds, preprint, arXiv:2509.03014 (2025)

work page arXiv 2025
[33]

Partial Differential Equations43(2018), no

Marcus Khuri, Gilbert Weinstein, and Sumio Yamada,Stationary vacuum black holes in 5 dimensions, Comm. Partial Differential Equations43(2018), no. 8, 1205–1241

work page 2018
[34]

Dain Kim and Tristan Ozuch,Ricci flow on alf manifolds, preprint, arXiv:2510.21997 (2025)

work page arXiv 2025
[35]

Kunduri and James Lucietti,Existence and uniqueness of asymptotically flat toric gravitational instantons, Lett

Hari K. Kunduri and James Lucietti,Existence and uniqueness of asymptotically flat toric gravitational instantons, Lett. Math. Phys.111(2021), no. 5, Paper No. 133, 40

work page 2021
[36]

,On the existence of toric ALE and ALF gravitational instantons, preprint, arXiv:2604.15159 (2026)

work page internal anchor Pith review Pith/arXiv arXiv 2026
[37]

Claude LeBrun,Counter-examples to the generalized positive action conjecture, Comm. Math. Phys.,118(1988), no. 4, 591–596

work page 1988
[38]

Dan Lee and Andr´ e Neves,The Penrose inequality for asymptotically locally hyperbolic spaces with nonpositive mass, Comm. Math. Phys.,339(2015), no. 2, 327–352

work page 2015
[39]

Mingyang Li,Classification results for conformally K¨ ahler gravitational instantons, preprint, arXiv:2310.13197 (2024)

work page arXiv 2024
[40]

Mingyang Li and Song Sun,Gravitational instantons and harmonic maps, preprint, arXiv:2507.15284 (2025)

work page arXiv 2025
[41]

Peng Liu, Yuguang Shi, and Jintian Zhu,Positive mass theorems of ALF and ALG manifolds, preprint, arXiv:2103.11289 (2021)

work page arXiv 2021
[42]

John Lott,The collapsing geometry of almost Ricci-flat 4-manifolds, Comment. Math. Helv.95(2020), no. 1, 79–98

work page 2020
[43]

Vincent Minerbe,A mass for ALF manifolds, Comm. Math. Phys.,289(2009), no. 3, 925–955

work page 2009
[44]

2, 411–441

Luc Nguyen,Singular harmonic maps and applications to general relativity, Communications in mathematical physics301(2011), no. 2, 411–441

work page 2011
[45]

J.13(1966), 459–469

Barrett O’Neill,The fundamental equations of a submersion, Michigan Math. J.13(1966), 459–469

work page 1966
[46]

I, Trans

Peter Orlik and Frank Raymond,Actions of the torus on4-manifolds. I, Trans. Amer. Math. Soc.152(1970), 531–559

work page 1970
[47]

Richard Schoen and Shing-Tung Yau,On the proof of the positive mass conjecture in general relativity, Comm. Math. Phys.,65(1979), no. 1, 45–76

work page 1979
[48]

1747–1773

Richard Schoen and Xin Zhou,Convexity of reduced energy and mass angular momentum inequalities, Annales henri poincar´ e, 2013, pp. 1747–1773

work page 2013
[49]

Differential Geom.,57(2001), no

Xiaodong Wang,The mass of asymptotically hyperbolic manifolds, J. Differential Geom.,57(2001), no. 2, 273–299. 44 ALAEE, KHURI, AND KUNDURI

work page 2001
[50]

Pure Appl

Gilbert Weinstein,On rotating black holes in equilibrium in general relativity, Comm. Pure Appl. Math.43(1990), no. 7, 903–948

work page 1990
[51]

Edward Witten,A new proof of the positive energy theorem, Comm. Math. Phys.,80(1981), no. 3, 381–402

work page 1981
[52]

Xiao Zhang,A definition of total energy-momenta and the positive mass theorem on asymptotically hyperbolic 3-manifolds. I, Comm. Math. Phys.,249(2004), no. 3, 529–548. Department of Mathematics, Clark University, Worcester, MA 01610, USA Email address:aalaeekhangha@clarku.edu Department of Mathematics, Stony Brook University, Stony Brook, NY 11794, USA Em...

work page 2004