REVIEW 3 major objections 5 minor 2 cited by
3-Manifolds with positive scalar curvature and bounded geometry
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Complete contractible 3-manifolds with nonnegative scalar curvature and bounded geometry are diffeomorphic to R^3, and open handlebodies with such metrics have genus at most one.
desk verdict A solid, genuinely new classification result under bounded geometry; the one flagged gap in the sweeping case closes cleanly. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The maximal weak solution to inverse mean curvature flow: a level-set function whose level sets move outward with speed $1/H$ (where $H$ is the mean curvature), with jumps to least-area enclosures at singular times, chosen to be the slowest such weak solution. It is the central object because the monotonicity inequality for inverse mean curvature flow converts a nonnegative scalar-curvature lower bound into control over the topology of level sets: the growth of the surface integral of $H^2$ is controlled by the Euler characteristic, so sufficiently large level sets must be spheres or tori. Bounded geometry supplies the gradient estimates, diameter bounds, and compactness needed to take limits, and a metric-perturbation lemma ensures that an instantly escaping flow still produces useful level sets.
What would settle it
Find a complete contractible 3-manifold other than $\mathbb{R}^3$, or a genus-2 open handlebody, admitting a metric with $R \geq 0$, $|Rm| \leq \Lambda$, and $\mathrm{inj} \geq \Lambda^{-1}$; the theorems predict none exists. Within the proof, check the set-replacing step in Case 2: equation (5.3) has a factor $e^{t_{i-1}-t_i}$, which tends to 1 only if $t_i - t_{i-1} \to 0$, and the argument that such times exist is not supplied; if no such times can be chosen, the limiting surface need not be area-minimizing and the theorem could fail.
Extended reading notes
Core claim
The central claim is a pair of theorems. Theorem 1.1 states that a complete, connected, contractible Riemannian 3-manifold with scalar curvature $R \geq 0$ and bounded geometry $|Rm| \leq \Lambda$, $\mathrm{inj} \geq \Lambda^{-1}$ is diffeomorphic to $\mathbb{R}^3$. Theorem 1.2 states that the interior of a handlebody of genus $\gamma$ with the same metric hypotheses must satisfy $\gamma \leq 1$. The argument classifies the behaviour of the maximal weak solution to inverse mean curvature flow as proper, sweeping, or instantly escaping, and in every case extracts a diverging sequence of almost-area-minimizing surfaces with controlled diameter and regularity. Passing to a pointed limit and using the scalar-curvature lower bound, the limiting surface must be a sphere or a torus. An exhaustion by spheres forces the manifold to be $\mathbb{R}^3$, while an exhaustion by tori is ruled out for contractible manifolds and for handlebodies of genus at least two by compressibility arguments.
Load-bearing premise
In the case where the flow sweeps through the whole manifold at a finite time, the proof needs a sequence of times approaching that final time such that the time gaps between consecutive chosen times shrink to zero while the corresponding level surfaces move infinitely far apart; the area comparison that makes the limiting surface area-minimizing depends on those gaps actually shrinking to zero, and the paper does not prove such a sequence of times exists.
Editorial extensions
If this is right
- The Whitehead manifold and every other contractible open 3-manifold not diffeomorphic to $\mathbb{R}^3$ cannot carry a complete metric with nonnegative scalar curvature and bounded geometry.
- Open handlebodies of genus 2 or more are excluded; the only handlebodies that admit such metrics are the genus-0 ball and the genus-1 solid torus interior.
- Any manifold satisfying the hypotheses admits an exhaustion by precompact domains whose boundary components are spheres or tori, giving a concrete decomposition of the manifold.
- The trichotomy for the maximal weak inverse mean curvature flow — proper, sweeping, or escaping — is a new structural tool for noncompact scalar-curvature problems and replaces $\mu$-bubble constructions in this setting.
- In the sweeping case, the limiting area-minimizing surface must be a sphere or a torus, which gives a direct route from scalar curvature to surface-genus bounds.
Reading between the lines
- If the time gaps in the sweeping-case sequence can always be chosen to shrink to zero, the bounded-geometry hypothesis might be weakened or removed from the main theorems, since much of the rest of the argument relies on it only for compactness and regularity.
- The same maximal inverse-mean-curvature-flow trichotomy may lead to a full classification of all noncompact 3-manifolds with nonnegative scalar curvature and bounded geometry; the paper identifies exhausted-by-solid-tori manifolds with knotted embeddings as the key unresolved case.
- A concrete test of the method is to determine whether an iterated-trefoil solid-torus exhaustion admits a complete metric with $R \geq 0$ and bounded geometry; the paper leaves this open, and the metric-perturbation technique of Section 4 could be adapted to search for an obstruction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves two classification results for complete noncompact 3-manifolds with nonnegative scalar curvature and bounded geometry: (Theorem 1.1) every such contractible manifold is diffeomorphic to R^3, and (Theorem 1.2) the interior of a handlebody of genus γ admits such a metric only for γ≤1. The proof introduces a trichotomy for the maximal weak solution to inverse mean curvature flow constructed by the third author: proper, sweeping, or instantly escaping. In the proper case the Geroch monotonicity formula yields an exhaustion by spheres or tori; in the sweeping and escaping cases the authors use pointed convergence and a set-replacing argument to produce area-minimizing limits, whose topology is constrained by Schoen–Yau. A metric perturbation lemma handles the escaping case by delaying the escape time.
Significance. Assuming the cited maximal weak IMCF machinery, the results resolve the contractible-manifold and handlebody questions of Wang and Gromov under the additional bounded-geometry assumption. The trichotomy for maximal weak IMCF and the perturbation lemma are potentially reusable tools. The topological lemmas (2.3, 2.4, 2.7) are clean, and the paper is honest about its dependence on the third author's preprint [39] for the core IMCF existence and regularity theory.
major comments (3)
- [Section 5, Theorem 1.1, Case 2 (Eqs. (5.2)-(5.3))] The 'standard set replacing argument' is load-bearing but only cited. Please provide a detailed proof that the limiting surface Σ∞ is locally area-minimizing. In particular, explain how, given a compact competitor in the limit, one constructs competitors F_i in M that contain E_{t_{i-1}}, apply (5.3), and then pass to the limit. The factor e^{t_{i-1}-t_i} does converge to 1 because (5.2) and t_i↗T force t_i−t_{i-1}→0, but this should be stated explicitly together with the convergence of perimeters.
- [Section 5, Theorem 1.1, Case 3] The same set-replacing argument is used to assert that the limit of ∂Ω_k is locally area-minimizing from Theorem 4.3(ii). This is another load-bearing step and deserves the same detailed treatment as Case 2, especially since the construction of Ω_k involves a metric perturbation and one must compare perimeters with respect to g and the perturbed metric.
- [Section 3, Lemma 3.7] The proof of Lemma 3.7 relies on [39, Theorems 6.1, 7.1, 7.2] for existence, uniqueness, and approximation of maximal weak IMCF, and on [40, Theorem 4.1] in Lemma 3.10. Since [39] is a preprint by the third author, the main results of the paper are conditional on that work. Please include the precise statements of the cited results (or an appendix summarizing the needed parts) so that the referee and readers can verify the hypotheses used here.
minor comments (5)
- [Abstract and Introduction] The abstract says 'positive scalar curvature' while Theorems 1.1 and 1.2 assume R ≥ 0; the introduction distinguishes uniformly positive curvature. Please align the terminology, e.g., use 'nonnegative scalar curvature' in the abstract and title or explicitly state the convention.
- [Section 5, Case 2] The sentence 'by Corollary 3.9, ... ∂E_t is uniformly C^{1,α}-bounded' should also cite Lemma 3.8(ii) and the gradient bound from Lemma 3.7(ia), since Corollary 3.9 only gives diameter bounds.
- [Lemma 3.10] In the proof of (3.3), the phrase 'By continuity, we can find another point x′' should be expanded: if |Ω∩B(x,1)| ≥ V/2, then along a ray to infinity the volume function eventually drops below V/2, so an intermediate value gives equality.
- [Lemma 4.2, Claim 1] The construction of the smoothed distance function uses Gaussian heat kernel bounds and parabolic estimates; these require the uniform derivative bounds (4.1) for the relevant range of k, and this dependence should be stated explicitly.
- [Global] There are minor typographical and formatting issues: 'maixmal' in the caption of Figure 5, the spacing in 'Bessi` eres', and 'R2×S1' in the introduction should be 'R^2 × S^1'.
Circularity Check
No significant circularity: the topological conclusions are derived from independent IMCF and geometric measure theory inputs, not from the conclusions themselves.
full rationale
The paper's central theorems (Theorem 1.1 and 1.2) are diffeomorphism/genus restrictions obtained from the geometry of level sets of a maximal weak inverse mean curvature flow. The load-bearing inputs from the third-named author, [39] and [40], are existence, uniqueness, regularity, and non-instant-escape statements for such flows; their hypotheses (bounded geometry, infinite volume, isoperimetric profile) do not include the target topological conclusion. Lemma 3.7 and Lemma 3.10 use those citations as tools, not as renamed versions of Theorem 1.1 or 1.2. Geroch monotonicity (Lemma 3.6) is quoted from Huisken-Ilmanen [20], an independent source. The topological lemmas (2.3, 2.4, 2.7) cite standard theorems (Husch-Price, Wang, Perelman, Kneser) and do not presuppose the main classification. No fitted parameter is later called a prediction, and no quantity in the conclusion appears in the definition of the input data. The reviewer's concern about the factor e^{t_{i-1}-t_i} in (5.3) is a potential technical gap in the limit argument, not a circularity: condition (5.2) forces t_i - t_{i-1} -> 0 because the sequence (t_i) is increasing and bounded by T, so the exponential factor converges to 1. Thus the derivation chain is self-contained with respect to the present claims; the reliance on Xu's preprint [39] is a validation risk rather than a circular step.
Assumptions & free parameters
assumptions (4)
- standard math Poincaré conjecture (Perelman) is true in dimension 3
- standard math Schoen-Yau stability: a stable minimal surface in a 3-manifold with nonnegative scalar curvature must be a sphere or torus
- standard math Huisken-Ilmanen weak IMCF exists and satisfies Geroch monotonicity and outward-minimizing properties
- domain assumption Xu's maximal weak IMCF theory: existence, gradient bounds, approximation, and regularity under bounded geometry (Theorems 6.1, 7.1, 7.2 in [39])
Cite this review
Pith. "Pith review of 3-Manifolds with positive scalar curvature and bounded geometry." pith.science (2026). https://pith.science/paper/4BXJ5HTW
@misc{pith2026250209727,
author = {Pith},
title = {Pith review of: 3-Manifolds with positive scalar curvature and bounded geometry},
year = {2026},
howpublished = {\url{https://pith.science/paper/4BXJ5HTW}},
note = {Machine review of arXiv:2502.09727}
}
abstract
We show that a complete contractible 3-manifold with positive scalar curvature and bounded geometry must be $\mathbb R^3$. We also show that an open handlebody of genus larger than 1 does not admit complete metrics with positive scalar curvature and bounded geometry. Our results rely on the maximal weak solution to inverse mean curvature flow due to the third-named author.
Figures
Figures from the paper (2 more)
Forward citations
Cited by 2 Pith papers
-
Topological Rigidity of Contractible 3-Manifolds and Handlebody Interiors under Nonnegative Scalar Curvature
A contractible complete 3-manifold with nonnegative scalar curvature is diffeomorphic to R³, and an open handlebody interior admits such a metric only if its genus is at most 1.
-
Positive curvature conditions on contractible manifolds
A complete metric of uniformly positive scalar curvature forces a suitably connected contractible open 5-manifold to be R^5, and positive isotropic curvature or pinched Ricci conditions with convex boundary force comp...
Reference graph
Works this paper leans on
-
[39]
K. Xu. Inverse mean curvature flow with outer obstacle, 2024
work page 2024
-
[1]
V. Agostiniani, M. Fogagnolo, and L. Mazzieri. Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature. Invent. Math. , 222(3):1033–1101, 2020
work page 2020
-
[2]
L. Bessi` eres, G. Besson, and S. Maillot. Ricci flow on open 3–manifolds and positive scalar curvature. Geom. Topol., 15(2):927–975, 2011
work page 2011
-
[3]
H. L. Bray and A. Neves. Classification of prime 3-manifolds with Yamabe invariant greater than RP3. Ann. of Math. (2) , 159(1):407–424, 2004
work page 2004
-
[4]
S. Brendle and O. Chodosh. A volume comparison theorem for asymptotically hyperbolic manifolds. Comm. Math. Phys. , 332(2):839–846, 2014
work page 2014
-
[5]
S. Brendle, P.-K. Hung, and M.-T. Wang. A Minkowski inequality for hypersurfaces in the anti–de Sitter–Schwarzschild manifold. Comm. Pure Appl. Math. , 69(1):124–144, 2016
work page 2016
-
[6]
S. Cecchini, D. R¨ ade, and R. Zeidler. Nonnegative scalar curvature on manifolds with at least two ends. J. Topol., 16(3):855–876, 2023
work page 2023
- [7]
Show all 42 references
-
[8]
J. Chen, P. Liu, Y. Shi, and J. Zhu. Incompressible hypersurface, positive scalar curvature and positive mass theorem. available at https: // arxiv. org/ abs/ 2112. 14442, 2021
2021
-
[9]
S. Chen. A generalization of the Geroch conjecture with arbitrary ends. Math. Ann. , 389(1):489–513, 2024
2024
-
[10]
O. Chodosh. Large isoperimetric regions in asymptotically hyperbolic manifolds. Comm. Math. Phys. , 343(2):393–443, 2016
2016
-
[11]
Chodosh and M
O. Chodosh and M. Eichmair. Global uniqueness of large stable CMC spheres in asymptotically flat Riemannian 3-manifolds. Duke Math. J. , 171(1):1–31, 2022
2022
-
[12]
Chodosh, M
O. Chodosh, M. Eichmair, Y. Shi, and H. Yu. Isoperimetry, scalar curvature, and mass in asymptotically flat Riemannian 3-manifolds. Comm. Pure Appl. Math. , 74(4):865–905, 2021
2021
-
[13]
Chodosh, M
O. Chodosh, M. Eichmair, Y. Shi, and J. Zhu. Characterization of large isoperimetric regions in asymp- totically hyperbolic initial data. Comm. Math. Phys. , 368(2):777–798, 2019
2019
-
[14]
Chodosh and C
O. Chodosh and C. Li. Generalized soap bubbles and the topology of manifolds with positive scalar curvature. Ann. of Math. (2) , 199(2):707–740, 2024
2024
-
[15]
Chodosh, D
O. Chodosh, D. Maximo, and A. Mukherjee. Complete Riemannian 4-manifolds with uniformly positive scalar curvature. https: // arxiv. org/ abs/ 2407. 05574, 2024
2024
-
[16]
Chow, S.-C
B. Chow, S.-C. Chu, D. Glickenstein, C. Guenther, J. Isenberg, T. Ivey, D. Knopf, P. Lu, F. Luo, and L. Ni. The Ricci flow: techniques and applications. Part III. Geometric-analytic aspects , volume 163 of Mathematical Surveys and Monographs . American Mathematical Society, Pr...
2010
-
[17]
R. Geroch. Energy extraction. Annals of the New York Academy of Sciences , 224(1):108–117, 1973
1973
-
[18]
M. Gromov. Four lectures on scalar curvature. In Perspectives in scalar curvature. Vol. 1 , pages 1–514. World Sci. Publ., Hackensack, NJ, [2023] ©2023
2023
-
[19]
Gromov and H
M. Gromov and H. B. Lawson, Jr. Positive scalar curvature and the Dirac operator on complete Rie- mannian manifolds. Inst. Hautes ´Etudes Sci. Publ. Math. , (58):83–196, 1983
1983
-
[20]
Huisken and T
G. Huisken and T. Ilmanen. The inverse mean curvature flow and the Riemannian Penrose inequality. J. Differential Geom. , 59(3):353–437, 2001
2001
-
[21]
Huisken and T
G. Huisken and T. Koerber. Inverse mean curvature flow and ricci-pinched three-manifolds. Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) , 2024(814):1–8, 2024
2024
-
[22]
L. S. Husch and T. M. Price. Finding a boundary for a 3-manifold. Ann. of Math. (2) , 91:223–235, 1970
1970
-
[23]
J. L. Jauregui and D. A. Lee. Lower semicontinuity of mass under C 0 convergence and Huisken’s isoperimetric mass. J. Reine Angew. Math. , 756:227–257, 2019
2019
-
[24]
Kotschwar and L
B. Kotschwar and L. Ni. Local gradient estimates of p-harmonic functions, 1 /H-flow, and an entropy formula. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 42(1):1–36, 2009
2009
-
[25]
N. V. Krylov. Lectures on Elliptic and Parabolic Equations in H¨ older Spaces , volume 12 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 1996
1996
-
[26]
J. Lott. Some obstructions to positive scalar curvature on a noncompact manifold. available at https: // arxiv. org/ abs/ 2402. 13239, 2024
2024
-
[27]
F. Maggi. Sets of finite perimeter and geometric variational problems , volume 135 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2012. An introduction to geometric measure theory
2012
-
[28]
L. Mari, M. Rigoli, and A. G. Setti. On the 1 /H-flow by p-Laplace approximation: new estimates via fake distances under Ricci lower bounds. Amer. J. Math. , 144(3):779–849, 2022
2022
-
[29]
Perelman
G. Perelman. The entropy formula for the Ricci flow and its geometric applications. http://arxiv.org/abs/math/0211159, 2002
2002 arXiv
-
[30]
Perelman
G. Perelman. Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. http://arxiv.org/abs/math/0307245, 2003
2003 arXiv
-
[31]
Ryabichev
A. Ryabichev. Short proof of the Kneser-Edmonds theorem on the degree of a map between closed surfaces. https: // arxiv. org/ abs/ 2401. 01041, 2023
2023
-
[32]
Schoen and S.-T
R. Schoen and S.-T. Yau. Existence of incompressible minimal surfaces and the topology of three dimensional manifolds with non-negative scalar curvature. Annals of Mathematics , 110(1):127–142, 1979
1979
-
[33]
Schoen and S
R. Schoen and S. T. Yau. Complete three-dimensional manifolds with positive ricci curvature and scalar curvature. In Seminar on differential geometry , volume 102, pages 209–228. Princeton University Press Princeton, 1982. 18 OTIS CHODOSH, YI LAI, AND KAI XU
1982
-
[34]
W.-X. Shi. Deforming the metric on complete Riemannian manifolds. J. Differential Geom., 30(1):223– 301, 1989
1989
-
[35]
Y. Shi. The isoperimetric inequality on asymptotically flat manifolds with nonnegative scalar curvature. Int. Math. Res. Not. IMRN , (22):7038–7050, 2016
2016
-
[36]
J. Wang. Topology of 3-manifolds with uniformly positive scalar curvature, 2023
2023
-
[37]
J. Wang. Contractible 3-manifold and Positive scalar curvature (I). J. Differential Geom., 127(3):1267– 1304, 2024
2024
-
[38]
J. Wang. Contractible 3-manifolds and positive scalar curvature (II). J. Eur. Math. Soc. (JEMS) , 26(2):537–572, 2024
2024
-
[40]
K. Xu. Isoperimetry and the properness of weak inverse mean curvature flow. Calculus of Variations and Partial Differential Equations , 63(8):216, 2024
2024
-
[41]
S. T. Yau. Problem section. In Seminar on differential geometry , volume 102, pages 669–706, 1982
1982
-
[42]
J. Zhu. Calabi-Yau type theorem for complete manifolds with nonnegative scalar curvature. available at https: // arxiv. org/ abs/ 2402. 15118, 2024. Otis Chodosh Department of Mathematics, Stanford University, CA 94305, USA Email address : ochodosh@stanford.edu Yi Lai Departme...
2024
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.