Scalar curvature under weak limits of manifolds
Pith reviewed 2026-05-08 17:04 UTC · model grok-4.3
The pith
Scalar curvature lower bounds survive under weak limits defined by nearly isometric maps between closed 3-manifolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Suppose that M_k and M are smooth, closed, Riemannian three manifolds. Assume that there are smooth, surjective, λ_k-Lipschitz maps f_k : M_k → M and that Vol(M_k)→Vol(M) and λ_k→1. Then if each M_k has scalar curvature bounded below by κ so does M. This result answers questions of Gromov, Sormani, Allen, and others. The proof relies on a delicate comparison between μ-bubbles in M_k and μ-bubbles in M.
What carries the argument
μ-bubbles, which are compared between the sequence M_k and the limit M to transfer the scalar curvature lower bound across the nearly isometric surjective maps.
If this is right
- The limit manifold M inherits the scalar curvature lower bound κ from the approximating manifolds M_k.
- Scalar curvature is lower semicontinuous with respect to this notion of weak convergence on the space of closed Riemannian 3-manifolds.
- Sets of 3-manifolds with positive scalar curvature are closed under this type of limit.
- The result provides a stability statement for scalar curvature bounds that can be applied to questions about the geometry of limiting manifolds.
Where Pith is reading between the lines
- This form of convergence may be compared to Gromov-Hausdorff convergence when additional curvature controls are imposed.
- The technique could inspire similar stability results for other curvature quantities if suitable bubble comparisons exist in higher dimensions.
- The preservation property might interact with Ricci flow or other geometric evolution equations that maintain scalar curvature bounds.
Load-bearing premise
The existence of smooth surjective λ_k-Lipschitz maps with λ_k approaching 1 and volumes converging, together with the ability to compare μ-bubbles between M_k and M in a way that transfers the scalar curvature lower bound.
What would settle it
A concrete sequence of closed 3-manifolds each with scalar curvature at least 1 that converge via such maps to a limit manifold containing a point of scalar curvature less than 1.
read the original abstract
We show that scalar curvature lower bounds are preserved under certain weak convergence of smooth three manifolds to a smooth limit. More precisely, suppose that $M_k$ and $M$ are smooth, closed, Riemannian three manifolds. Assume that there are smooth, surjective, $\lambda_k$-Lipschitz maps $f_k\colon M_k \to M$ and that $\text{Vol}(M_k)\to \text{Vol}(M)$ and $\lambda_k\to 1$. Then if each $M_k$ has scalar curvature bounded below by $\kappa$ so does $M$. This result answers questions of Gromov, Sormani, Allen, and others. The proof relies on a delicate comparison between $\mu$-bubbles in $M_k$ and $\mu$-bubbles in $M$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that scalar curvature lower bounds are preserved under a specific form of weak convergence for smooth closed Riemannian 3-manifolds. If there exist smooth surjective λ_k-Lipschitz maps f_k: M_k → M with λ_k → 1 and Vol(M_k) → Vol(M), then a uniform lower bound on scalar curvature for the sequence M_k implies the same lower bound for the limit M. The argument proceeds by comparing μ-bubbles between the approximating manifolds and the limit.
Significance. If the central comparison holds, the result affirmatively resolves questions posed by Gromov, Sormani, Allen and others on the stability of scalar curvature bounds under controlled weak limits. It supplies a new tool for analyzing limits of 3-manifolds with curvature constraints and may interact usefully with existing techniques such as Ricci flow or minimal surface methods in dimension three. The μ-bubble comparison is presented as the key technical device.
major comments (1)
- [Proof of the main theorem (μ-bubble comparison)] The manuscript states that the proof relies on a 'delicate comparison between μ-bubbles in M_k and μ-bubbles in M,' yet provides no explicit estimates, lemmas, or quantitative control showing how the λ_k-Lipschitz condition (with λ_k → 1) and volume convergence prevent loss of the scalar-curvature lower bound during the comparison. This step is load-bearing for the main theorem and requires a self-contained expansion with precise error terms.
minor comments (2)
- [Abstract and Introduction] The abstract and introduction would benefit from a brief statement of the precise functional whose critical points are the μ-bubbles, including the precise dependence on the scalar curvature lower bound κ.
- [Introduction] Notation for the maps f_k and the constants λ_k is introduced without an immediate reminder of the surjectivity hypothesis; adding one sentence would improve readability.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting its potential relevance to questions raised by Gromov, Sormani, Allen and others. We address the single major comment below and will revise the manuscript to incorporate the requested clarifications.
read point-by-point responses
-
Referee: [Proof of the main theorem (μ-bubble comparison)] The manuscript states that the proof relies on a 'delicate comparison between μ-bubbles in M_k and μ-bubbles in M,' yet provides no explicit estimates, lemmas, or quantitative control showing how the λ_k-Lipschitz condition (with λ_k → 1) and volume convergence prevent loss of the scalar-curvature lower bound during the comparison. This step is load-bearing for the main theorem and requires a self-contained expansion with precise error terms.
Authors: We agree that the current exposition of the μ-bubble comparison is too brief and lacks the quantitative details needed to make the argument fully transparent. In the revised manuscript we will add a self-contained subsection (or short appendix) that supplies the missing estimates. Specifically, we will prove a lemma that bounds the difference between the μ-bubble functionals on M_k and on M in terms of (λ_k − 1) and |Vol(M_k) − Vol(M)|, showing that any potential loss in the scalar-curvature lower bound is controlled by quantities that vanish in the limit. This will render the comparison explicit and self-contained while preserving the overall structure of the proof. revision: yes
Circularity Check
No significant circularity; derivation is self-contained via external comparison techniques
full rationale
The paper's central result states that scalar curvature lower bounds are preserved under weak limits defined by smooth surjective λ_k-Lipschitz maps f_k: M_k → M with λ_k → 1 and Vol(M_k) → Vol(M). The proof proceeds by comparing μ-bubbles in the sequence M_k to those in the limit M, transferring the lower bound κ via the given convergence hypotheses. This comparison relies on standard techniques from Riemannian geometry (μ-bubble analysis) that are independent of the present paper's fitted quantities or definitions. No step reduces a claimed prediction to a parameter fit, self-definition, or load-bearing self-citation chain; the hypotheses are precisely the conditions that enable the external comparison, and the argument remains non-circular.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of scalar curvature on Riemannian 3-manifolds and the existence of μ-bubbles under curvature lower bounds
- domain assumption The maps f_k being smooth and surjective with the given Lipschitz and volume convergence conditions
Reference graph
Works this paper leans on
-
[1]
Brian Allen. Almost non-negative scalar curvature on Riemannian manifolds conformal to tori.The Journal of Geometric Analysis, 31(11):11190–11213, 2021
work page 2021
-
[2]
Oberwolfach report: Scalar curvature stability.arXiv preprint arXiv:2404.02662, 2024
Brian Allen. Oberwolfach report: Scalar curvature stability.arXiv preprint arXiv:2404.02662, 2024
-
[3]
On the stability of Llarull’s theorem in dimension three
Brian Allen, Edward Bryden, and Demetre Kazaras. On the stability of Llarull’s theorem in dimension three. Mathematische Annalen, 392(1):373–398, 2025
work page 2025
-
[4]
Volume above distance below.Journal of Differential Geom- etry, 126(3):837–874, 2024
Brian Allen, Raquel Perales, and Christina Sormani. Volume above distance below.Journal of Differential Geom- etry, 126(3):837–874, 2024
work page 2024
-
[5]
Richard Bamler. A Ricci flow proof of a result by Gromov on lower bounds for scalar curvature.Mathematical Research Letters, 23(2):325–337, 2016
work page 2016
-
[6]
Yuri Burago, Mikhail Gromov, and Grigori Perelman. A.D. Alexandrov spaces with curvature bounded below. Russian mathematical surveys, 47(2):1–58, 1992
work page 1992
-
[7]
Armando J Cabrera Pacheco, Christian Ketterer, and Raquel Perales. Stability of graphical tori with almost nonnegative scalar curvature.Calculus of Variations and Partial Differential Equations, 59(4):134, 2020
work page 2020
-
[8]
Misha Gromov. Dirac and Plateau billiards in domains with corners.Central European Journal of Mathematics, 12(8):1109–1156, 2014
work page 2014
-
[9]
Four lectures on scalar curvature.arXiv preprint arXiv:1908.10612, 2019
Misha Gromov. Four lectures on scalar curvature.arXiv preprint arXiv:1908.10612, 2019
-
[10]
Metric limits of manifolds with positive scalar curvature.American Journal of Mathematics, 2024
Man-Chun Lee and Peter Topping. Metric limits of manifolds with positive scalar curvature.American Journal of Mathematics, 2024
work page 2024
-
[11]
John Lott and C´ edric Villani. Ricci curvature for metric-measure spaces via optimal transport.Annals of Mathe- matics, pages 903–991, 2009
work page 2009
-
[12]
Quantification of $C^0$ Convergence in Dimension Three
Liam Mazurowski and Xuan Yao. Quantification ofC 0 convergence in dimension three.arXiv preprint arXiv:2604.14087, 2026
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[13]
Princeton Uni- versity Press, 2014
Jon T Pitts.Existence and regularity of minimal surfaces on Riemannian manifolds, volume 27. Princeton Uni- versity Press, 2014
work page 2014
-
[14]
Conjectures on convergence and scalar curvature.Perspectives in scalar curvature, 2:645– 722, 2023
Christina Sormani et al. Conjectures on convergence and scalar curvature.Perspectives in scalar curvature, 2:645– 722, 2023
work page 2023
-
[15]
On the geometry of metric measure spaces
Karl-Theodor Sturm. On the geometry of metric measure spaces. i.Acta Mathematica, 196:65–131, 2006
work page 2006
-
[16]
On the geometry of metric measure spaces
Karl-Theodor Sturm. On the geometry of metric measure spaces. ii.Acta Mathematica, 196(1):133–177, 2006
work page 2006
-
[17]
Brian White. Currents and flat chains associated to varifolds, with an application to mean curvature flow.Duke Math. J., 146(1):41–62, 2009
work page 2009
-
[18]
Xin Zhou and Jonathan J. Zhu. Min-max theory for constant mean curvature hypersurfaces.Invent. Math., 218(2):441–490, 2019
work page 2019
-
[19]
Xin Zhou and Jonathan J. Zhu. Existence of hypersurfaces with prescribed mean curvature I—generic min-max. Camb. J. Math., 8(2):311–362, 2020
work page 2020
-
[20]
Jintian Zhu. Width estimate and doubly warped product.Transactions of the American Mathematical Society, 374(2):1497–1511, 2021. Department of Mathematics, Lehigh University, Bethlehem, Pennsylvania, 18015, United States Email address:lim624@lehigh.edu Department of Mathematics, Princeton University, Princeton, NJ 08540 Email address:xy1216@princeton.edu
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.