Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Mass Lower Bounds for Asymptotically Locally Flat Manifolds

T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read ALF manifolds with nonnegative scalar curvature and an almost free U(1) symmetry have nonnegative mass—zero only for R^3×S^1—and mass bounded below by (ℓ/16)|deg(E)|.

desk verdict Genuinely new ALF mass bounds, but the density theorem's U(1)-invariance claim is a real gap that needs fixing before the proof is complete. read the letter →

arxiv 2509.03014 v1 pith:PZXHRUZ5 submitted 2025-09-03 math.DG gr-qcmath-phmath.MP

Marcus Khuri , Jian Wang This is my paper · ORCID
classification math.DGgr-qcmath-phmath.MP MSC 53C2153C20
keywords ALFmanifoldspositivemasstheoremscalarcurvatureU(1)symmetryChernnumberasymptoticallyflatminimalhypersurfaceslowerbound
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 asks whether nonnegative scalar curvature forces the mass of a complete noncompact manifold to be nonnegative when its asymptotic end is a circle bundle over Euclidean space rather than Euclidean space itself. It proves that in dimension four this is true, provided the manifold carries an almost free U(1) isometric action compatible with the end, and that the mass is bounded below by (ℓ/16) times the Chern degree of the asymptotic circle bundle. For asymptotically flat manifolds in dimensions 4 through 7, it proves positivity when a coordinate sphere is homologically trivial, with the flat product R^{n−1}×S^1 as the only zero-mass case. The result matters because it is the first setting in which the topology of the end, not just the metric fall-off rate, directly controls the mass.

What carries the argument

The central object is the almost free U(1) action and the quotient map π: M^4 → M^4/U(1). Because the action is isometric and closes on the end, the quotient is a 3-dimensional asymptotically Euclidean manifold (Proposition 2.2), with isolated conical singularities whose cross-sections are CP^1 (Theorem 3.1). O'Neill's submersion formula expresses the quotient scalar curvature as the ambient scalar curvature plus the squared norm of the O'Neill tensor and the divergence of the fiber mean-curvature vector; this structure is what makes the positive mass theorem applicable after a conformal change. The degree enters through the dual 1-form η of the Killing field: the integral of (η/|η|^2)∧d(η/|

What would settle it

Compute the mass and Chern degree for a complete ALF 4-manifold with nonnegative scalar curvature and an almost free U(1) action; the multi-Taub-NUT family is the natural test case, with ℓ=1 and m=deg/2. A member with m < (ℓ/16)|deg(E)|, or with zero mass outside the flat R^3×S^1 product, would directly refute Theorems 1.7 and 1.5.

Watch

Extended reading notes

Core claim

The paper's central claim is that, for ALF 4-manifolds, topology at infinity forces a positive lower bound on mass. A complete ALF 4-manifold of nonnegative scalar curvature with an almost free U(1) action adapted to a designated end has nonnegative mass, and equality forces the manifold to be the flat product R^3×S^1 (Theorem 1.5). Moreover, the mass is at least ℓ/16 |deg(E)|, where 2πℓ is the asymptotic fiber length and deg(E) is the Chern number of the circle bundle at infinity (Theorem 1.7). The mechanism is a reduction: the quotient of the manifold by the circle action is asymptotically Euclidean, and the scalar curvature of the quotient differs from the ambient scalar curvature by a di

Load-bearing premise

For the ALF theorems, the load-bearing premise is the existence of an almost free U(1) isometric action with finitely many fixed points whose generator decays to the model circle direction at the end; without such a symmetry the whole reduction to the asymptotically Euclidean quotient and the positive mass theorem no longer applies, and the paper notes that the Euclidean Kerr instanton is excluded precisely because its orbits do not close.

Editorial extensions

If this is right

  • Any ALF gravitational instanton with an almost free U(1) action and strong Ricci decay has nonnegative mass, with equality only for R^3×S^1, as noted in Remark 1.6.
  • Multi-Taub-NUT-type geometries, which have nonzero degree, automatically satisfy a positive mass lower bound; nonnegative scalar curvature plus symmetry cannot be tuned to produce a zero-mass nontrivial end.
  • In AF dimensions 4–7, nonnegative scalar curvature plus a homologically trivial coordinate sphere gives positivity of mass, with the flat product as the only equality case.
  • The inequality m ≥ ℓ/16 |deg(E)| provides a first ALF analogue of Penrose-type inequalities, with the topology of the end playing the role usually played by horizon data.

Reading between the lines

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

  • The paper leaves the optimal constant open; since multi-Taub-NUT with ℓ=1 has m=½ deg(E), a natural testable conjecture is that the sharp constant is 1/2 rather than 1/16.
  • The quotient reduction is specific to dimension four, but a similar scheme might work for higher-dimensional ALF manifolds with torus actions, where the quotient would be asymptotically Euclidean with higher-codimension singularities and minimal-hypersurface tools would likely be needed.
  • The AF theorem's homology-triviality condition suggests that refined, possibly topology-dependent mass bounds indexed by H_{n−2}(M) could exist, with nontrivial homology classes forcing different corrections.
  • Explicit ALF metrics such as the multi-Taub-NUT family provide a concrete test bed: computing their quotient metric, singular cross-sections, and mass should saturate or improve the bound and verify the reduction mechanism.
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

2 major / 4 minor

Summary. The paper proves positive-mass-type theorems for asymptotically flat (AF) and asymptotically locally flat (ALF) manifolds. Theorem 1.2 states that for a complete AF manifold of dimension 4≤n≤7 with nonnegative scalar curvature, if a coordinate sphere S^{n-2}_{r,θ} in an end is homologically trivial, then the mass is nonnegative, with rigidity only for R^{n-1}×S^1. The proof uses stable minimal hypersurfaces and a reduction to the classical AE positive mass theorem. For ALF 4-manifolds admitting an almost free U(1) action, Theorem 1.5 establishes mass nonnegativity, with rigidity for R^3×S^1. Theorem 1.7 gives the lower bound m ≥ (ℓ/16)|deg(E)|, relating mass to the degree of the circle bundle at infinity. The proof combines a conformal gluing/density result (Theorem 4.2), a reduction to the AE quotient, scalar-curvature estimates on the quotient, and a Bartnik-type mass formula. The paper also contains a detailed study of the quotient singularities, showing they are conical with CP^1 cross-section.

Significance. If the results are correct, this is a substantial contribution: it provides the first positive mass theorem for general ALF manifolds with nonnegative scalar curvature and an almost free U(1) symmetry, and the first mass lower bound involving the topological degree of the asymptotic circle bundle. The proof strategy is largely standard—reduction to the Schoen–Yau/Shi–Tam AE positive mass theorem, conformal gluing, and stable minimal hypersurface theory—and the paper is self-contained relative to those external benchmarks. There are no fitted parameters or ad hoc assumptions beyond the stated almost free U(1) symmetry. The quotient singularity analysis and the Bartnik-type mass identity in Lemma 6.2 are potentially reusable tools. However, two technical points, detailed below, need to be repaired before the central claims can be regarded as established.

major comments (2)
  1. [§4.2, Eq. (4.18)] The assertion that the interpolating metric g_s = (1−φ_s)(1+m/(6r))^2 g0 + φ_s g is 'clearly U(1) invariant' is not justified and is generally false under Definition 1.4. The original metric g is invariant under the actual generator T, while the model metric g0 is invariant only under the model generator V. On the transition annulus 2s≤r≤4s, L_T g0 = L_{T−V} g0 need not vanish. Thus g_s need not admit any exact circle symmetry. This property is load-bearing: it is used to maintain the almost free U(1) action in Theorem 4.2(i), and subsequently in §5.3 and §7 to form quotients and apply Corollary 2.9 and Theorem 5.3. The gap is repairable by first choosing an ALF structure whose model generator V equals T on the end, using Proposition 2.2 and Proposition 2.8, but this choice is neither stated nor proved. Please add the missing argument or modify Theorem 4.2 accordingly.
  2. [§6.2, rigidity proof] The rigidity statement in Theorem 1.5 (and the corresponding rigidity in Theorem 1.2, used at the end of §9.3) depends on the assertion that if the Ricci curvature is nonzero, an 'infinitesimal Ricci flow combined with a conformal change' produces a nearby metric with zero scalar curvature and negative mass. No proof, equation, or reference is provided for this step. This is not a minor omission: without it, the zero-mass rigidity is not established. Please supply the missing argument, or give a precise reference with verifiable hypotheses that covers the ALF setting with the symmetries assumed.
minor comments (4)
  1. [§4.2] Typo: 'do not amit' should read 'do not admit'.
  2. [§2.3] The repeated 'π1π1π1' appears to be a formatting artifact; it should be a single π_1.
  3. [§3.1] 'in the compliment of' should be 'in the complement of'.
  4. [Introduction] Reference [8] is cited as 'Herzlich' but the listed author is 'Boualem and Herzlich'; please correct the citation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the ALF mass bounds reduce to the external AE positive mass theorem, with no fitted parameters or self-citation loops.

full rationale

The paper's derivation chain is self-contained relative to external benchmarks. Theorem 1.5 and Theorem 1.7 are obtained by (i) forming the U(1)-quotient, which is shown to be AE in Proposition 2.2; (ii) approximating the ALF metric by harmonically ALF metrics in Theorem 4.2; (iii) conformally deforming the quotient scalar curvature and invoking the AE positive mass theorem of Schoen–Yau/Shi–Tam; and (iv) extracting the degree of the end from the Chern–Simons limit in Proposition 2.1. The mass (1.7) is proved to be a geometric invariant in Proposition 2.8 rather than assumed. The constant ℓ/16 in Theorem 1.7 is derived from inequalities and integrations by parts, not fitted to data. There are no parameters fitted to a subset and then renamed as predictions, and no equation is equivalent to its input by construction. The only self-citation, [2], appears in the introduction as background on asymptotically hyperbolic positive energy theorems and plays no load-bearing role. The skeptical concern about Theorem 4.2's assertion that the glued metric g_s is 'clearly U(1) invariant' is a potential mathematical gap if the actual generator T is only asymptotic to the model generator V, but this is a correctness issue, not circularity: if the assertion fails, the subsequent quotient reduction is invalid rather than tautological. Under the hard rule that circularity requires exhibiting a specific reduction of the claimed result to its own inputs, no such reduction is present.

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

The central claims rest on standard geometric analysis background: the AE positive mass theorem, minimal hypersurface regularity, weighted elliptic estimates, and the specific geometric hypotheses of ALF/almost free U(1) actions. No free parameters are fitted to data; ℓ is the asymptotic fiber length, and m is the object being bounded. No new entities are postulated.

assumptions (5)
  • standard math Classical AE positive mass theorem (Schoen-Yau, Witten; Shi-Tam for low regularity)
    Invoked in Section 5.3 to conclude m̂ ≥ 0 and in Section 9.2/Lemma 9.4 for the minimal hypersurface mass nonnegativity. It is an external theorem, not the paper's own result.
  • domain assumption ALF/AF definitions with decay rates q > (n−3)/2 or q > 1/2 and integrable scalar curvature
    Definitions 1.1 and 1.3 set the asymptotic model; the mass limit (1.7) requires these decay and L^1 conditions. These are hypotheses on the class of manifolds, not free parameters.
  • domain assumption Almost free U(1) isometric action with finitely many fixed points and C^3 decay of generator to model Killing field (Definition 1.4)
    Used for the quotient space to be AE (Proposition 2.2) and for the cone singularity structure (Theorem 3.1). It excludes Euclidean Kerr instanton, so it is a real restriction of scope.
  • standard math Federer-Fleming existence and regularity of volume-minimizing integral currents for codimension-two boundaries in n ≤ 7
    Used in Section 8 to produce stable minimal hypersurfaces Σ_{r,θ}; the n ≤ 7 hypothesis is exactly where this regularity holds.
  • standard math Known conformal gluing/density results (Chen-Liu-Shi-Zhu [10], Minerbe [38], Lee [31] weighted elliptic theory)
    Used in Theorems 4.2 and Lemmas 6.1/6.2 to reduce to harmonically ALF ends and to get harmonic coordinate mass formulas. These are cited external results with independent proofs.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mass Lower Bounds for Asymptotically Locally Flat Manifolds." pith.science (2026). https://pith.science/paper/PZXHRUZ5

@misc{pith2026250903014,
  author       = {Pith},
  title        = {Pith review of: Mass Lower Bounds for Asymptotically Locally Flat Manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PZXHRUZ5}},
  note         = {Machine review of arXiv:2509.03014}
}
abstract

We establish positive mass type theorems for asymptotically locally flat (ALF) manifolds, which have asymptotic ends modeled on circle bundles over a Euclidean base with fibers of constant length. In particular for dimensions $n\leq 7$, the mass of AF manifolds is shown to be nonnegative under the assumption of nonnegative scalar curvature if a codimension-two coordinate sphere in the asymptotic end is trivial in homology, with zero mass achieved only for the product $\mathbb{R}^{n-1}\times S^1$. The same conclusions are obtained in dimension four for ALF manifolds admitting an almost free $U(1)$ action. Moreover, in this setting the mass is shown to be bounded below by a multiple of the degree of the circle bundle at infinity. This is the first such result illustrating how nontrivial topology of the end contributes to the mass.

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

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

    math.DG 2026-05 unverdicted novelty 7.0 of 10

    The mass of toric ALE or ALF 4-manifolds with nonnegative scalar curvature is at least the mass of the corresponding toric gravitational instanton plus a term from its conical defects, with equality only when the mani...

Reference graph

Works this paper leans on

49 extracted references · 44 canonical work pages · cited by 1 Pith paper

  1. [1]

    Reine Angew

    Steffen Aksteiner, Lars Andersson, Mattias Dahl, Gustav Nilsson, and Walter Simon, Gravitational instantons with S1 symmetry, J. Reine Angew. Math., to appear, arXiv:2306.14567 (2025)

    arXiv 2025

  2. [2]

    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

  3. [3]

    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

  4. [4]

    Pure Appl

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

    work page 1986

  5. [5]

    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

  6. [6]

    Arthur Besse, Einstein manifolds , Springer, 2007

    work page 2007

  7. [7]

    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

  8. [8]

    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

Show all 49 references
  1. [9]

    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. MASS LOWER BOUNDS FOR ALF MANIFOLDS 43

    2017

  2. [10]

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

    2021 arXiv

  3. [11]

    III Latin Amer

    Shiing-Shen Chern, Circle bundles , Geometry and topology (Proc. III Latin Amer. School of Math., Inst. Mat. Pura Aplicada CNPq, Rio de Janeiro, 1976), 1977, pp. 114–131

    1976

  4. [12]

    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

    1986

  5. [13]

    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

    2003

  6. [14]

    of Math., 145 (1997), no

    Tobias Colding, Ricci curvature and volume convergence , Ann. of Math., 145 (1997), no. 3, 477–501

    1997

  7. [15]

    Justin Corvino and Daniel Pollack, Scalar curvature and the einstein constraint equations , Surveys in Geometric Analysis and Relativity, Adv. Lect. Math. (ALM), 20 (2011), 145–188

    2011

  8. [16]

    Mattias Dahl, The positive mass theorem for ALE manifolds , Mathematics of Gravitation, Part I (Warsaw, 1996), 1997, pp. 133–142

    1996

  9. [17]

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

    2004

  10. [18]

    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

    2023

  11. [19]

    Michael Eichmair, Lan-Hsuan Huang, Dan Lee, and Richard Schoen, The spacetime positive mass theorem in dimensions less than eight , J. Eur. Math. Soc., 18 (2016), no. 1, 83–121

    2016

  12. [20]

    Herbert Federer, Geometric Measure Theory, Springer, 2014

    2014

  13. [21]

    of Math., 72 (1960), 458–520

    Herbert Federer and Wendell Fleming, Normal and integral currents , Ann. of Math., 72 (1960), 458–520

    1960

  14. [22]

    Ronald Fintushel, Circle actions on simply connected 4-manifolds, Trans. Amer. Math. Soc., 230 (1977), 147–171

    1977

  15. [23]

    , Classification of circle actions on 4-manifolds, Trans. Amer. Math. Soc., 242 (1978), 377–390

    1978

  16. [24]

    of Math., 136 (1992), no

    Kenji Fukaya and Takao Yamaguchi, The fundamental groups of almost non-negatively curved manifolds , Ann. of Math., 136 (1992), no. 2, 253–333

    1992

  17. [25]

    Allen Hatcher, Notes on Basic 3-Manifold Topology , 2000

    2000

  18. [26]

    , Algebraic topology, Cambridge University Press, 2002

    2002

  19. [27]

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

    2016

  20. [28]

    Ann., 312 (1998), no

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

    1998

  21. [29]

    Donghoon Jang, Circle actions on oriented manifolds with discrete fixed point sets and classification in dimension 4, J. Geom. Phys., 133 (2018), 181–194

    2018

  22. [30]

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

    1988

  23. [31]

    201, American Mathematical Society, 2021

    Dan Lee, Geometric Relativity, Vol. 201, American Mathematical Society, 2021

    2021

  24. [32]

    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

    2015

  25. [33]

    Differential Geom., 128 (2024), no

    Martin Lesourd, Ryan Unger, and Shing-Tung Yau, The positive mass theorem with arbitrary ends , J. Differential Geom., 128 (2024), no. 1, 257–293

    2024

  26. [34]

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

    2024 arXiv

  27. [35]

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

    2025 arXiv

  28. [36]

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

    2021 arXiv

  29. [37]

    19, 193001

    Marc Mars, Present status of the Penrose inequality , Classical Quantum Gravity, 26 (2009), no. 19, 193001

    2009

  30. [38]

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

    2009

  31. [39]

    Pure Appl

    Richard Schoen and Leon Simon, Regularity of stable minimal hypersurfaces, Comm. Pure Appl. Math., 34 (1981), no. 6, 741–797

    1981

  32. [40]

    3-4, 275–288

    Richard Schoen, Leon Simon, and Shing-Tung Yau, Curvature estimates for minimal hypersurfaces , Acta Math., 134 (1975), no. 3-4, 275–288

    1975

  33. [41]

    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. 44 KHURI AND W ANG

    1979

  34. [42]

    , The energy and the linear momentum of space-times in general relativity , Comm. Math. Phys., 79 (1981), no. 1, 47–51

    1981

  35. [43]

    II , Comm

    , Proof of the positive mass theorem. II , Comm. Math. Phys., 79 (1981), no. 2, 231–260

    1981

  36. [44]

    Math., 293 (2018), no

    Yuguang Shi and Luen-Fai Tam, Scalar curvature and singular metrics , Pacific J. Math., 293 (2018), no. 2, 427– 470

    2018

  37. [45]

    3, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    Leon Simon, Lectures on Geometric Measure Theory, Proceedings of the Centre for Mathematical Analysis, Aus- tralian National University, vol. 3, Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    1983

  38. [46]

    Guido Stampacchia, Le probl´ eme de Dirichlet pour les ´ equations elliptiques du second ordre ´ a coefficients discon- tinus, Ann. Inst. Fourier (Grenoble), 15 (1965), 189–258

    1965

  39. [47]

    Differential Geom., 57 (2001), no

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

    2001

  40. [48]

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

    1981

  41. [49]

    I , Comm

    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, Stony Brook University, Stony Brook, NY 11794, USA Email address : marcus.khur...

    2004

Pith tools

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