REVIEW 2 major objections 5 minor 1 cited by
Positive scalar curvature and isolated conical singularity
T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper proves that no conically singular metric on $M\#\mathbb{T}^n$ can have positive scalar curvature, and that nonnegative scalar curvature forces flatness plus smooth extension.
desk verdict Main non-existence theorem is solid and new; the arbitrary-cross-section rigidity claim rests on a false local simple-connectivity assumption and needs repair. 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 mechanism is conformal blow-up. The paper finds a positive solution $u$ of the conformal Laplace equation $-\Delta_g u + \frac{n-2}{4(n-1)}\mathrm{Sc}_g u=0$ that grows like $r^{2-n}$ near a conical tip and has the standard Green's-function falloff $1+A\rho^{2-n}$ at an asymptotically flat end. The conformally changed metric $\tilde g = u^{4/(n-2)}g$ then satisfies $\mathrm{Sc}_{\tilde g}=u^{-4/(n-2)}\mathrm{Sc}_g$, so nonnegative scalar curvature is preserved, while the change of variable $s=1/r$ turns the singular tip into a complete end modeled on $ds^2+s^2g_N$. The resulting complete metric with positive scalar curvature contradicts the known torus obstruction for complete metrics, and this contradiction is the engine of both non-existence proofs. For the rigidity half, the engine is different: deform a scalar-flat metric in the direction of its Ricci tensor, use the positivity of the first eigenvalue of the conformal Laplacian on conical manifolds to produce a positive-scalar-curvature deformation, and then invoke RCD-space fundamental-group rigidity to conclude the metric is a flat torus.
What would settle it
A concrete counterexample would settle the matter: a metric on $\mathbb{T}^3$ with a single isolated conical singularity and positive scalar curvature on the regular part, or on $M\#\mathbb{T}^n$ in any allowed dimension. A more targeted check is to solve for the harmonic function used in the blow-up on a cone with a non-spherical cross section and test numerically whether the required asymptotics hold.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for a closed smooth $n$-manifold $M$, $n\ge 3$, with either $n\le 7$ or $M$ spin, the manifold $M\#\mathbb{T}^n$ admits no Riemannian metric $g$ with finitely many isolated conical singularities such that $\mathrm{Sc}_g\ge 0$ on the regular part and $\mathrm{Sc}_g>0$ at some point. Here 'positive scalar curvature' is used in that nonnegative-and-somewhere-positive sense. The same theorem asserts rigidity: a conically singular metric on $M\#\mathbb{T}^n$ with nonnegative scalar curvature must be scalar flat, then Ricci flat, then flat, and must extend smoothly across the singular points; in particular the cross sections of the singularities are forced to be round spheres even when they were not assumed spherical. A parallel statement treats compact manifolds with boundary whose boundary components are pinched to conical points, and the torus can be replaced by any $\Lambda^2$-enlargeable closed manifold in the spin case.
Load-bearing premise
The load-bearing premise is that on every asymptotically flat manifold with a conical singularity of the type considered, there exists a harmonic function with exactly the growth $r^{2-n}$ near the cone tip and $1+A\rho^{2-n}$ at infinity; if that existence statement fails for some allowed cross section, the first non-existence proof collapses.
Editorial extensions
If this is right
- For every closed manifold $M$ with $3\le n\le 7$, or spin $M$ of any dimension, $M\#\mathbb{T}^n$ carries no conically singular metric with positive scalar curvature on the regular part.
- Tori and, more generally, $\Lambda^2$-enlargeable closed manifolds admit no metric with finitely many isolated conical singularities and positive scalar curvature.
- Any conically singular metric on $M\#\mathbb{T}^n$ with nonnegative scalar curvature is flat and extends smoothly through every singular point, with spherical cross sections forced by the rigidity conclusion.
- For compact manifolds with boundary, pinching each boundary component to a conical point still forbids positive scalar curvature, and nonnegative scalar curvature forces flatness and spherical boundary components.
- The compactification argument used to derive positive mass theorems from torus obstructions carries over to asymptotically flat manifolds with isolated conical singularities.
Reading between the lines
- The conformal blow-up strategy suggests an extension to singular sets of codimension at least 3: if a Green's-type function with the right asymptotics exists, the same contradiction should rule out positive scalar curvature for those singularities.
- The rigidity argument could plausibly generalize from isolated points to conical strata of codimension at least 3; the missing ingredient would be the appropriate eigenfunction asymptotics and RCD structure for stratified spaces.
- One can test sharpness by placing conical singularities on manifolds with positive Yamabe invariant rather than on $M\#\mathbb{T}^n$; the theorem says nothing there, and explicit examples would show that topology, not just singularity type, drives the obstruction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Geroch-type theorems for Riemannian metrics with isolated conical singularities on manifolds of the form M#T^n. The main non-existence claim (Theorem 1.1) is that for n>=3, with either n<=7 or M spin, there is no metric on M#T^n with finitely many isolated conical singularities whose scalar curvature on the regular part is nonnegative and strictly positive somewhere. The rigidity claim is that if such a metric has nonnegative scalar curvature and is scalar flat, then it is flat and extends smoothly across the singularities. The authors give two proofs of non-existence, both by conformally blowing up the singular point(s) to obtain a complete metric and then invoking known smooth theorems (Chodosh-Li, Wang-Zhang). The rigidity proof first shows Ricci flatness via a deformation argument using the conformal Laplacian, then applies the RCD rigidity theorem of Mondino-Wei. Theorem 1.5 extends the statement to compact manifolds with boundary whose boundary components are pinched to conical points, allowing non-spherical links.
Significance. If the arguments are completed, the paper would be a valuable extension of the Geroch conjecture and of Li-Mantoulidis-type rigidity to isolated conical singularities, including topological singularities with non-spherical links. The two independent conformal blow-up proofs are clearly structured, and the reduction of the rigidity problem to RCD rigidity is elegant. The paper also draws on a substantial analytic framework from the authors' prior work on conifolds, which is published separately. The main value lies in the combination of conformal analysis on conifolds with known smooth scalar-curvature obstructions and synthetic Ricci curvature rigidity. However, two load-bearing gaps currently prevent the stated theorems from following from the proofs as written.
major comments (2)
- [§2 and §4 (proofs of Theorem 1.1)] The proof of the non-existence part of Theorem 1.1 is written for a single conical singularity: Lemma 2.4 and Lemma 4.1 are stated for one cone point, and the proofs begin with a manifold (M#T^n, g, o) with a single singularity. Theorem 1.1 and Corollary 1.3 claim the result for finitely many isolated conical singularities, but no reduction to the single-singularity case is supplied. If there are k>1 singularities and the conformal factor has a pole at only one of them, the conformally changed metric is still genuinely singular at the other k-1 points, so the resulting object is not a smooth complete manifold and the cited theorems in [5] and [39] do not apply. The authors should either prove a multi-pole version of the harmonic function or Green's function with prescribed leading asymptotics at every cone tip, or restrict the theorem to a single isolated singularity.
- [§2, Eq. (2.9) and §4, Eq. (4.10)] The paper defines 'positive scalar curvature' as Sc>=0 and strictly positive somewhere, and the proofs of non-existence produce a complete metric with nonnegative scalar curvature that is strictly positive at some point. The contradiction is then invoked with Theorem 3 of [5] and Theorem 1.1 of [39], which in the literature are standardly stated for pointwise positive scalar curvature (Sc>0 everywhere). Since the constructed scalar curvature can vanish on large sets, the cited theorems do not directly rule out the constructed metric. The authors need either to cite versions of [5,39] that apply to the weaker condition, or to add a conformal deformation argument that promotes the constructed metric to one with pointwise positive scalar curvature while preserving completeness. This is a load-bearing step in both non-existence proofs and hence also in the rigidity conclusion.
minor comments (5)
- [§5] The assertion that the metric space is locally simply connected is correct even for non-spherical links: small balls about the cone tip are truncated cones, which are contractible, and small balls about regular points are Euclidean coordinate balls. The authors may wish to add one sentence making this explicit, since the point is currently asserted rather than justified.
- [Abstract and Theorem 1.1] The abstract's first sentence says 'an isolated conical singularity', while Theorem 1.1 says 'finitely many isolated conical singularities'; please align the terminology, especially in light of the first major comment.
- [§2, Lemma 2.4] Lemma 2.4 quotes Lemma 4.1 of [10] without restating its hypotheses. Since the entire first proof depends on this lemma, the authors should spell out the geometric and analytic conditions on the asymptotically flat manifold (e.g., nonnegative scalar curvature, dimension, asymptotic order) so that the reader can verify that the surgically constructed manifold satisfies them.
- [§2, Definition 2.1] Definition 2.1 defines only a single conical singularity; the finitely many case is merely said to be analogous. For a rigorous statement of Theorem 1.1, the definition should be extended explicitly to finitely many points, including the decay condition for the perturbation h near each point.
- [Appendix A, Proposition A.1] There is a typo 'Green's funcction' in Proposition A.1, and some reference titles contain typos (e.g., 'Compacitification' in [8]). Please proofread the bibliography.
Circularity Check
No significant circularity: the nonexistence proof reduces to external PSC obstructions, and the self-citations are technical analytic lemmas rather than restatements of the target result.
full rationale
The central nonexistence claim (Theorem 1.1) is proved by conformally blowing up a hypothetical conically singular PSC metric on M#T^n to a complete PSC metric and then invoking external obstructions: Chodosh-Li [5] for n <= 7 and Wang-Zhang [39] for spin M. In the first proof, the conformal factor is supplied by Lemma 2.4, quoted from the authors' prior paper [10]. This is a load-bearing self-citation, but the lemma is a parameter-free existence statement for a harmonic function with prescribed asymptotics on an asymptotically flat conifold; it does not assume nonexistence of PSC metrics or any equivalent of Theorem 1.1. The second proof develops its own weighted Sobolev theory on compact conifolds (Propositions 3.1-3.6), borrowing Fredholm and surjectivity arguments from [10] only as analytic scaffolding. The rigidity argument legitimately uses the already-proved nonexistence part to reduce to scalar flatness, then deforms by the conformal Laplacian; the spectral tools cited from [11] and [13] are prior analytic results on conifolds, not restatements of the target conclusion, and the final flat-torus step invokes external RCD rigidity from Bertrand-Ketterer-Mondello-Richard [1] and Mondino-Wei [30]. No fitted parameter is renamed as a prediction, and no definition is made in terms of the target theorem. I therefore find no circular step. Separately, as a correctness concern rather than circularity, Section 5 asserts that the metric completion 'clearly is a connected and locally simply connected' space; for a non-spherical link N with nontrivial pi_1(N), arbitrarily close to the singularity there are neighborhoods homeomorphic to N x (0, epsilon), so this assertion is false. That threatens the rigidity claim in Theorem 1.5 for arbitrary cross-sections, but it does not affect the nonexistence part or the spherical-link case of Theorem 1.1.
Assumptions & free parameters
assumptions (5)
- domain assumption Existence of harmonic functions with prescribed asymptotics on AF manifolds with isolated conical singularities (Lemma 2.4, [10]).
- domain assumption Spectral properties of the conformal Laplacian on compact manifolds with isolated conical singularities ([11], [13]).
- domain assumption Theorem A in [1]: conical Riemannian manifolds with Ricci curvature bounded below are RCD(0,n) spaces.
- domain assumption Corollary 1.4 in [30] (Mondino-Wei): RCD(0,n) spaces with n independent infinite-order fundamental group generators are flat tori.
- domain assumption No complete PSC metric on M#T^n: Chodosh-Li [5] for n <= 7, Wang-Zhang [39] for spin complete manifolds.
Cite this review
Pith. "Pith review of Positive scalar curvature and isolated conical singularity." pith.science (2026). https://pith.science/paper/GRH5ZA52
@misc{pith2026241202941,
author = {Pith},
title = {Pith review of: Positive scalar curvature and isolated conical singularity},
year = {2026},
howpublished = {\url{https://pith.science/paper/GRH5ZA52}},
note = {Machine review of arXiv:2412.02941}
}
abstract
We prove a Geroch type result for isolated conical singularity. Namely, we show that there is no Riemannian metric $g$ on $ X \# T^n $ with an isolated conical singularity which has nonnegative scalar curvature on the regular part, and is positive at some point. In particular, this implies that there is no metric on tori with an isolated conical singularity and positive scalar curvature. We also prove that a scalar flat Riemannian metric $g$ on $X \# T^n$ with finitely many isolated conical singularities must be flat, and extend smoothly across the singular points. We do not a priori assume that a conically singular point on $X$ is a manifold point; i.e., the cross section of the conical singularity may not be spherical.
Figures
Forward citations
Cited by 1 Pith paper
-
Riemannian Positive Mass Theorem in All Dimensions in the Presence of Low-Codimension Singularities
Proves Riemannian positive mass theorem for asymptotically flat L^∞ metrics with subcritical singular sets of Minkowski dimension less than n-3 + 2/n (rigidity for ≤ n-3 + 1/(n-1)), using density theorem, capacity est...
Reference graph
Works this paper leans on
-
[5]
Generalized soap bubbles and the topolo gy of manifolds with positive scalar curvature
Otis Chodosh and Chao Li. Generalized soap bubbles and the topolo gy of manifolds with positive scalar curvature. Ann. of Math. (2) , 199(2):707–740, 2024
work page 2024
-
[39]
On the generalized Geroch c onjecture for complete spin manifolds
Xiangsheng Wang and Weiping Zhang. On the generalized Geroch c onjecture for complete spin manifolds. Chin. Ann. Math. Ser. B , 43(6):1143–1146, 2022
work page 2022
-
[1]
Stratified spaces and synthetic Ricci curvature bounds
J´ erˆ ome Bertrand, Christian Ketterer, Ilaria Mondello, and Th omas Richard. Stratified spaces and synthetic Ricci curvature bounds. Ann. Inst. Fourier (Grenoble) , 71(1):123–173, 2021
work page 2021
-
[2]
Positive scalar curvature with point singularities
Simone Cecchini, Georg Frenck, and Rudolf Zeidler. Positive scalar curvature with point singularities. arXiv e-prints , page arXiv:2407.20163, July 2024
arXiv 2024
-
[3]
Incompressible h ypersurface, positive scalar curvature and positive mass theorem
Jie Chen, Peng Liu, Yuguang Shi, and Jintian Zhu. Incompressible h ypersurface, positive scalar curvature and positive mass theorem. arXiv:2112.14442v1, 2021
arXiv 2021
-
[4]
Positive scalar urvatu re metric and aspherical sum- mands
Shuli Chen, Jianchun Chu, and Jintian Zhu. Positive scalar urvatu re metric and aspherical sum- mands. arXiv:2312.04698v1, 2023
arXiv 2023
-
[6]
The Dirac operator on spaces with conica l singularities and positive scalar curvatures
Arthur Weichung Chou. The Dirac operator on spaces with conica l singularities and positive scalar curvatures. Trans. Amer. Math. Soc. , 289(1):1–40, 1985
work page 1985
-
[7]
Xianzhe Dai and Li Ma. Mass under the Ricci flow. Comm. Math. Phys. , 274(1):65–80, 2007
work page 2007
Show all 40 references
-
[8]
Compacitification and positive mass th eorem for fibered Euclidean end
Xianzhe Dai and Yukai Sun. Compacitification and positive mass th eorem for fibered Euclidean end. J. Geom. Anal. , 33(9):Paper No. 275, 26, 2023
2023
-
[9]
Positive mass theor em for asymptotically flat spin manifolds with isolated conical singularities
Xianzhe Dai, Yukai Sun, and Changliang Wang. Positive mass theor em for asymptotically flat spin manifolds with isolated conical singularities. arXiv:2310.13285, 2023
2023 arXiv
-
[10]
Positive mass theo rem for asymptotically flat man- ifolds with isolated conical singularities
Xianzhe Dai, Yukai Sun, and Changliang Wang. Positive mass theo rem for asymptotically flat man- ifolds with isolated conical singularities. Sci. China Math. , 10.1007/s11425-024-2325-6:1–16, 2024
2024 doi
-
[11]
Perelman’s λ-functional on manifolds with conical singularities
Xianzhe Dai and Changliang Wang. Perelman’s λ-functional on manifolds with conical singularities. J. Geom. Anal. , 28(4):3657–3689, 2018
2018
-
[12]
Perelman’s W-functional on ma nifolds with conical singularities
Xianzhe Dai and Changliang Wang. Perelman’s W-functional on ma nifolds with conical singularities. Math. Res. Lett. , 27(3):665–685, 2020
2020
-
[13]
Perelman’s functionals on manif olds with non-isolated conical singularities
Xianzhe Dai and Changliang Wang. Perelman’s functionals on manif olds with non-isolated conical singularities. Calc. Var. Partial Differential Equations , 63:Paper No. 233, 1–51, 2024
2024
-
[14]
Blaine Lawson, Jr
Mikhael Gromov and H. Blaine Lawson, Jr. The classification of sim ply connected manifolds of positive scalar curvature. Ann. of Math. (2) , 111(3):423–434, 1980
1980
-
[15]
Blaine Lawson, Jr
Mikhael Gromov and H. Blaine Lawson, Jr. Spin and scalar curvat ure in the presence of a funda- mental group. I. Ann. of Math. (2) , 111(2):209–230, 1980
1980
-
[16]
Blaine Lawson, Jr
Mikhael Gromov and H. Blaine Lawson, Jr. Positive scalar curvat ure and the Dirac operator on complete Riemannian manifolds. Inst. Hautes ´Etudes Sci. Publ. Math. , (58):83–196, 1983
1983
-
[17]
Dirac and Plateau billiards in domains with corners
Misha Gromov. Dirac and Plateau billiards in domains with corners. Cent. Eur. J. Math. , 12:1109– 1156, 2014
2014
-
[18]
Four lectures on scalar curvature
Misha Gromov. Four lectures on scalar curvature. arXiv:1908.10612v3, 2019
1908 arXiv
-
[19]
A mass-decreasing flow in dimension three
Robert Haslhofer. A mass-decreasing flow in dimension three. Math. Res. Lett. , 19(4):927–938, 2012
2012
-
[20]
Desingularizing positive scalar curvature 4- manifolds
Demetre Kazaras. Desingularizing positive scalar curvature 4- manifolds. Math. Ann. https://doi.org/10.1007/s00208-024-02829-5, 2024
2024 doi
-
[21]
Jerry L. Kazdan. Prescribing the curvature of a Riemannian manifold , volume 57 of CBMS Regional Conference Series in Mathematics . Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1985
1985
-
[22]
Kazdan and F
Jerry L. Kazdan and F. W. Warner. Scalar curvature and conf ormal deformation of Riemannian structure. J. Differential Geometry , 10:113–134, 1975. PSC WITH CONICAL SINGULARITY 23
1975
-
[23]
Lee and Thomas H
John M. Lee and Thomas H. Parker. The yamabe problem. Bull. Amer. Math. Soc (N.S.) , 17(1):37– 91, 1987
1987
-
[24]
The positive mass theorem with arbitrary ends
Martin Lesourd, Ryan Unger, and Shing-Tung Yau. The positive mass theorem with arbitrary ends. To appear in J. Differential Geometry , 2021
2021
-
[25]
Positive scalar curvature with skeleton singularities
Chao Li and Christos Mantoulidis. Positive scalar curvature with skeleton singularities. Math. Ann. , 374:99–131, 2019
2019
-
[26]
Geometric analysis, volume 134 of Cambridge Studies in Advanced Mathematics
Peter Li. Geometric analysis, volume 134 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2012
2012
-
[27]
Ricci flow on asymptotically Euclidean manifolds
Yu Li. Ricci flow on asymptotically Euclidean manifolds. Geom. Topol., 22(3):1837–1891, 2018
2018
-
[28]
Littman, G
W. Littman, G. Stampacchia, and H. F. Weinberger. Regular poin ts for elliptic equations with discontinuous coefficients. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , 17:43–77, 1963
1963
-
[29]
Scalar curvature and hammocks
Joachim Lohkamp. Scalar curvature and hammocks. Math. Ann. , 313(3):385–407, 1999
1999
-
[30]
On the universal cover and th e fundamental group of an RCD∗ (K, N )-space
Andrea Mondino and Guofang Wei. On the universal cover and th e fundamental group of an RCD∗ (K, N )-space. J. Reine Angew. Math. , 753:211–237, 2019
2019
-
[31]
Conformal deformation of a Riemannian metric to constant scalar curvature
Richard Schoen. Conformal deformation of a Riemannian metric to constant scalar curvature. J. Differential Geom. , 20(2):479–495, 1984
1984
-
[32]
Variational theory for the total scalar curv ature functional for Riemannian metrics and related topics
Richard Schoen. Variational theory for the total scalar curv ature functional for Riemannian metrics and related topics. In Topics in calculus of variations (Montecatini Terme, 1987) , volume 1365 of Lecture Notes in Math. , pages 120–154. Springer, Berlin, 1989
1987
-
[33]
On the structure of manifo lds with positive scalar curvature
Richard Schoen and Shing-Tau Yau. On the structure of manifo lds with positive scalar curvature. Manuscripta Math. , 28(1-3):159–183, 1979
1979
-
[34]
On the proof of the positiv e mass conjecture in general rela- tivity
Richard Schoen and Shing-Tung Yau. On the proof of the positiv e mass conjecture in general rela- tivity. Comm. Math. Phys. , 65:45–76, 1979
1979
-
[35]
Scalar curvature and singular metrics
Yuguang Shi and Luen-Fai Tam. Scalar curvature and singular metrics. Pacific J. Math. , 293(2):427– 470, 2018
2018
-
[36]
Total mean curva ture of the boundary and non- negative scalar curvature fill-ins
Yuguang Shi, Wenlong Wang, and Guodong Wei. Total mean curva ture of the boundary and non- negative scalar curvature fill-ins. J. Reine Angew. Math. , 784:215–250, 2022
2022
-
[37]
On the fill-in of nonnegative scalar curvature metrics
Yuguang Shi, Wenlong Wang, Guodong Wei, and Jintian Zhu. On the fill-in of nonnegative scalar curvature metrics. Math. Ann. , 379(1-2):235–270, 2021
2021
-
[38]
Scalar curvature rigidity of sphere s with subsets removed and L∞ metrics
Jinmin Wang and Zhizhang Xie. Scalar curvature rigidity of sphere s with subsets removed and L∞ metrics. arXiv e-prints , page arXiv:2407.21312, July 2024
2024 arXiv
-
[40]
Positive mass theorem with arbitrary ends and its ap plication
Jintian Zhu. Positive mass theorem with arbitrary ends and its ap plication. Int. Math. Res. Not. IMRN, (11):9880–9900, 2023. Department of Mathematics, University of California, Sant a Barbara CA93106, USA Email address : dai@math.ucsb.edu Key Laboratory of Pure and Applied M...
2023
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.