REVIEW 3 major objections 5 minor 38 references
Positive scalar curvature on simply connected spin pseudomanifolds
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that a simply connected spin pseudomanifold with homogeneous link admits a well-adapted positive-scalar-curvature wedge metric exactly when two index-theoretic alpha-classes vanish.
desk verdict A careful, honest extension of the Gromov–Lawson–Rosenberg classification to depth-one spin pseudomanifolds; the iff is well-supported, with the main caveat being the imported wedge-Dirac analysis of Albin–Gell-Redman. 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 load-bearing object is the wedge Dirac operator on the resolved manifold, viewed as a $\mathbb{C}\ell_n$-linear operator with wedge, or incomplete-edge, structure. For spin-stratified spaces satisfying the spectral gap $\operatorname{spec}_{L^2}(D_L)\cap(-1/2,1/2)=\emptyset$ for the vertical link operators, microlocal analysis cited from the paper's references makes the wedge Dirac operator essentially self-adjoint and Fredholm, defining $\alpha_w(M_\Sigma,g)\in KO_n$; the Schr\"odinger-Lichnerowicz formula then gives $\alpha_w=0$ under global positive scalar curvature. For $(L,G)$-fibered singularities, the well-adapted metric normalizes the link scalar curvature to $\kappa_\ell$, so the conical fibers are scalar-flat, and the submersion scalar-curvature relation, combined with the vanishing of the relevant submersion tensor, lets positivity near the singular stratum be controlled by the base $\beta M$. A gluing formula $\alpha_{\mathrm{cyl}}(M)+\alpha_{\mathrm{cyl},w}(N(\beta M))=\alpha_w(M_\Sigma)$ connects the resolution and the singular stratum, and a bordism exact triangle for $(L,G)$-fibered spin pseudomanifolds, together with surgery results for positive scalar curvature, pushes existence across bordisms.
What would settle it
Run the numbers on a concrete example: for $L=SU(2)$ with the normalized metric of scalar curvature $6$, compute the vertical Dirac eigenvalues and check the gap condition $(-1/2,1/2)$; then on the paper's K3 example (link $S^3$, singular stratum a K3 surface), attempt to produce a well-adapted positive-scalar-curvature metric despite the nonzero $\alpha(K3)$. Success would directly contradict the obstruction theorem.
Extended reading notes
Core claim
On its own terms, the central discovery is Theorem 1.2: let $L=G/K$ be a homogeneous space with invariant metric of scalar curvature $\kappa_L=\ell(\ell-1)$, and let $M_\Sigma$ be a compact $(L,G)$-fibered spin pseudomanifold whose resolution $M$, singular locus $\beta M$, $L$, and $G$ are simply connected, with $n\ge \ell+6$. If either $L$ is a spin psc-$G$-boundary or $[\beta M\to BG]=0$ in $\Omega^{\mathrm{spin}}_{n-\ell-1}(BG)$, then $M_\Sigma$ admits a well-adapted wedge metric of positive scalar curvature if and only if $\alpha_{\mathrm{cyl}}(M)\in KO_n$ and $\alpha(\beta M)\in KO_{n-\ell-1}$ both vanish. The same two vanishings are proved necessary without those sufficiency hypotheses (Theorem 1.1), through the wedge $\alpha$-class $\alpha_w(M_\Sigma)\in KO_n$ built from the essentially self-adjoint wedge Dirac operator; a gluing formula identifies $\alpha_w$ with $\alpha_{\mathrm{cyl}}(M)$ when the tubular-neighborhood metric is positive scalar curvature.
Load-bearing premise
The proof takes as given, rather than proves, the analytic fact that the Dirac operator on the singular space has a well-defined index class under a spectral-gap condition; if that fact does not hold for the well-adapted metrics considered here, the alpha-class obstruction is not defined and the main theorems do not follow.
Editorial extensions
If this is right
- For every $(L,G)$-fibered spin pseudomanifold in the theorem's range, the vanishing of $\alpha_{\mathrm{cyl}}(M)$ and $\alpha(\beta M)$ is both necessary and sufficient for a well-adapted wedge positive-scalar-curvature metric, under either condition (i) or (ii).
- A well-adapted positive-scalar-curvature metric forces the singular stratum $\beta M$ itself to carry positive scalar curvature, because positivity in the tubular neighborhood descends to the base through the submersion scalar-curvature formula.
- If $L$ is a sphere, an odd complex projective space, or a compact Lie group, condition (i) holds automatically, so the two-class criterion applies broadly without extra bundle hypotheses.
- In the Baas-Sullivan case of a trivial link bundle with $L=\mathbb{H}P^{2k}$, the transfer is injective and the same two vanishing conditions are necessary and sufficient.
- The wedge class $\alpha_w$, although metric-dependent in general, is unchanged along one-parameter families of psc-Witt adapted metrics, so the obstruction is stable under such deformations.
Reading between the lines
- The paper leaves implicit that the obstruction side of the two-class criterion should survive for a much wider class of links and bundle structures, since the wedge Dirac operator and its spectral-gap condition are defined before the homogeneous-space assumption is introduced.
- The dimensional threshold $n\ge \ell+6$ comes from surgery theory; low-dimensional examples, where explicit gluing can be checked by hand, might provide cheaper tests of the criterion than the full bordism machinery.
- If the planned non-simply-connected sequel replaces these $KO_n$ classes by classes in the $KO$-theory of group C*-algebras, the present theorem becomes the simply-connected base case of an assembly-map-style statement for singular spaces, with stable existence following from injectivity of the assembly map.
- Because $\alpha_w$ can depend on the adapted metric near the singularity, the space of well-adapted positive-scalar-curvature metrics may have components distinguished by the local metric near $\beta M$ even when the usual positive-scalar-curvature space on $\beta M$ does not; this is testable by comparing relative indices of two adapted metrics on the same $M_\Sigma$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies positive scalar curvature (psc) wedge metrics on depth-one Thom-Mather stratified pseudomanifolds with fibered singularities. For a link L and a resolution M with boundary a fiber bundle over the singular stratum βM, the authors introduce a wedge alpha-class α_w(MΣ,g) ∈ KO_n using the Albin–Gell-Redman theory of Dirac operators on incomplete edge spaces. They prove an obstruction theorem: if a well-adapted wedge psc metric exists, then the cylindrical alpha α_cyl(M) and the alpha-invariant of βM both vanish. For links that are homogeneous spaces L=G/K with G compact connected semisimple, and under simple-connectivity and a dimension bound n ≥ ℓ+6, they prove a converse (Theorem 1.2): assuming either (i) L is a spin psc-G-boundary or (ii) [βM→BG]=0 in spin bordism, the two alpha-invariants vanishing is also sufficient for the existence of a well-adapted wedge psc metric. The proof combines surgery and bordism arguments with the analytic index theory; the main results are Theorem 1.1 (obstruction), Theorem 1.2 (existence), and Theorem 2.3 (the imported analytic foundation).
Significance. If the main theorems are correct, this is a substantial contribution: it gives a complete necessary-and-sufficient criterion, in terms of two index-theoretic classes, for the existence of wedge psc metrics on a natural class of singular spaces. The obstruction is derived from the Schrödinger-Lichnerowicz formula and is not fitted to the existence result; the sufficiency argument uses surgery and bordism in a clean way. The paper is also valuable for explicitly identifying its analytic input: the wedge Dirac operator theory of Albin and Gell-Redman is cited rather than proved, and the authors explain how the spectral hypothesis (6) is met for psc-Witt metrics, which is the key mitigating fact. The examples in Section 3, such as the K3 example with S3-links, illustrate that the well-adapted condition is genuinely restrictive. Overall, the paper is a strong contribution to the geometric topology of singular spaces, provided the proof gaps identified below are repaired.
major comments (3)
- [§6.2, proof of Theorem 6.4] The proof asserts: "Choose a metric of positive scalar curvature on W restricting to a product metric of positive scalar curvature in a neighborhood of βM." This is not justified by the stated hypotheses: a spin null-bordism W of βM over BG does not automatically carry a psc metric. One must first observe that [βM→BG]=0 in Ω_spin(BG) implies [βM]=0 in Ω_spin, hence α(βM)=0; since βM is simply connected and dim βM ≥5, Stolz's theorem provides a psc metric on βM. Then the relative Gromov-Lawson surgery theorem, applied after making (W,βM) 2-connected (possible because BG is 3-connected), gives the required psc metric on W. This missing step is load-bearing for Theorem 1.2(ii), and a related issue arises when Theorem 4.5 is invoked later, since the resolution of the constructed pseudomanifold must be simply connected; one must also ensure that the surgeries on W preserve the principal G-bundle over the surgery traces.
- [§3.2, proof of Theorem 3.5(1)] The argument that choosing R very small makes the fiber scalar curvature term R^{-2}κℓ "swamp all the other terms" is not correct as written. In Proposition 3.4 the A-tensor terms have norms that scale like R^{-2} when the vertical metric is R^2 g_L, so the combination κF − 3Σ||A||^2 has an R-independent coefficient; if that coefficient is negative, shrinking R drives the scalar curvature to −∞. The statement itself is true and is supported by the cited Observation in [35, p. 512], but the proof given should be repaired—for example by also rescaling the base metric as in part (2)—or replaced by a precise reference.
- [§6, application of Theorem 4.5] In the proofs of Theorems 6.3 and 6.4, the Bordism Theorem 4.5 is applied to a constructed pseudomanifold M'_Σ, but no verification is given that the resolution M' of M'_Σ is simply connected or can be arranged to be so. In Theorem 6.4 this requires performing surgeries on the interior of W to make W simply connected while extending the principal G-bundle; in Theorem 6.3 one must ensure that the chosen filling \bar{L} yields a simply connected M'. These are routine surgery arguments, but they are part of the load-bearing proof and should be stated explicitly.
minor comments (5)
- [Throughout] There are several typographical errors: "Te next step" in the proof of Theorem 4.6, "αcyℓ" in Section 5, "we we consider" in Section 3.2, and "( N /integerdivideβM )" in Definition 3.3 should be corrected.
- [§6.1, Remark 6.2] Remark 6.2 defers the semisimple-but-not-simple case of Theorem 6.1 to the reader. Since Theorem 1.2 is stated for G compact connected semisimple, either the details should be supplied or the statement of Theorem 1.2 should be restricted to simple G.
- [§4.3, proof of Theorem 4.6] The sentence "The argument is exactly the same" for the (W,M) part is terse; a few more lines would make the surgery step transparent, especially concerning compatibility with the map to BG.
- [§2.4, Theorem 2.3] The main analytic input, Theorem 2.3, is imported from [1,2]. The paper should state more prominently that condition (6) is a hypothesis on the vertical family and that the psc-Witt rescaling observation immediately after the theorem is what makes it applicable to well-adapted metrics; the content is present but easy to overlook.
- [References] Reference [38] is a Math StackExchange post; if possible, replace it by a published source for the fact that odd complex projective spaces bound spin manifolds with positive scalar curvature.
Circularity Check
No significant circularity found; the main theorems are derived from index theory, bordism, and surgery, with the key analytic input imported from external work by Albin–Gell-Redman rather than from the authors' own fitted or self-cited results.
full rationale
The derivation chain is not circular. The obstructions α_cyl(M) and α(βM) are defined through Dirac index theory, not fitted to the existence of psc metrics. The necessity direction follows from the Schrödinger–Lichnerowicz formula: a well-adapted psc wedge metric makes the relevant Dirac operators L²-invertible, forcing the α-invariants to vanish. The sufficiency direction is obtained by bordism and surgery: vanishing α(βM) gives a psc metric on βM by Stolz's theorem and the Gromov–Lawson surgery theorem, and the bordism exact sequence plus Theorem 4.5 push the psc metric across the (L,G)-fibered bordism. The geometric normalization κ_L = κ_ℓ is an explicit convention chosen so that the conical fibers are scalar-flat (Corollary 3.2); it is not a parameter fitted to the desired conclusion. The main external input is Theorem 2.3, which imports the essential self-adjointness and KO-class construction for wedge Dirac operators from the work of Albin and Gell-Redman [1,2]. This is genuinely external to the present paper and is not a self-citation; it is load-bearing but that makes the result dependent on an external analytic theorem, not circular. The paper's citations to its own prior work [10,12,11] are contextual and are not used to force the main theorems. The proof of Theorem 6.4 contains a terse step asserting the existence of a psc null-bordism after choosing a psc metric on W, but this is a gap in exposition or a missing surgical detail, not circularity. Likewise, the assertion in Theorem 4.6 that surgeries can be made while extending the map to BG is argued directly and does not assume the conclusion. Overall, no step reduces by construction to its own input, and no fitted parameter is renamed as a prediction; the proper score is 0.
Assumptions & free parameters
free parameters (1)
- metric normalization on link L =
κ_L = ℓ(ℓ-1)
assumptions (6)
- domain assumption The microlocal analysis of Albin and Gell-Redman (refs [1],[2]) applies to the wedge Dirac operator, yielding essential self-adjointness and a KO class under the spectral condition (6).
- standard math Gromov-Lawson surgery theorem for positive scalar curvature metrics (ref [18]).
- standard math Stolz's theorem: a simply connected closed spin manifold of dimension at least 5 with vanishing alpha-invariant admits a psc metric (ref [35]).
- standard math Bunke's relative index and gluing formula for KO classes (ref [15]).
- standard math Spin bordism ring structure results of Anderson, Brown, and Peterson (ref [6]).
- domain assumption G is a compact connected semisimple Lie group acting transitively on L by isometries, with L=G/K.
Cite this review
Pith. "Pith review of Positive scalar curvature on simply connected spin pseudomanifolds." pith.science (2026). https://pith.science/paper/FJDU3CUN
@misc{pith2026190804420,
author = {Pith},
title = {Pith review of: Positive scalar curvature on simply connected spin pseudomanifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/FJDU3CUN}},
note = {Machine review of arXiv:1908.04420}
}
abstract
Let $M_\Sigma$ be an $n$-dimensional Thom-Mather stratified space of depth $1$. We denote by $\beta M$ the singular locus and by $L$ the associated link. In this paper we study the problem of when such a space can be endowed with a wedge metric of positive scalar curvature. We relate this problem to recent work on index theory on stratified spaces, giving first an obstruction to the existence of such a metric in terms of a wedge $\alpha$-class $\alpha_w (M_\Sigma)\in KO_n$. In order to establish a sufficient condition we need to assume additional structure: we assume that the link of $M_\Sigma$ is a homogeneous space of positive scalar curvature, $L=G/K$, where the semisimple compact Lie group $G$ acts transitively on $L$ by isometries. Examples of such manifolds include compact semisimple Lie groups and Riemannian symmetric spaces of compact type. Under these assumptions, when $M_\Sigma$ and $\beta M$ are spin, we reinterpret our obstruction in terms of two $\alpha$-classes associated to the resolution of $M_\Sigma$, $M$, and to the singular locus $\beta M$. Finally, when $M_\Sigma$, $\beta M$, $L$, and $G$ are simply connected and $\dim M$ is big enough, and when some other conditions on $L$ (satisfied in a large number of cases) hold, we establish the main result of this article, showing that the vanishing of these two $\alpha$-classes is also sufficient for the existence of a well-adapted wedge metric of positive scalar curvature.
Reference graph
Works this paper leans on
-
[1]
Pierre Albin and Jesse Gell-Redman, The index formula for families of Dirac type operators on pse udomanifolds, arXiv:1712.08513
-
[2]
, The index of Dirac operators on incomplete edge spaces , SIGMA Symmetry Integrability Geom. Methods Appl. 12 (2016), Paper No. 089, 45. MR 3544861
work page 2016
-
[3]
Pierre Albin, ´Eric Leichtnam, Rafe Mazzeo, and Paolo Piazza, The signature package on Witt spaces , Ann. Sci. ´Ec. Norm. Sup´ er. (4)45 (2012), no. 2, 241–310. MR 2977620
work page 2012
- [4]
-
[5]
Pierre Albin, ´Eric Leichtnam, Rafe Mazzeo, and Paolo Piazza, Hodge theory on Cheeger spaces , J. Reine Angew. Math. 744 (2018), 29–102. MR 3871440
work page 2018
-
[6]
D. W. Anderson, E. H. Brown, Jr., and F. P. Peterson, The structure of the Spin cobordism ring , Ann. of Math. (2) 86 (1967), 271–298. MR 0219077
work page 1967
-
[7]
Nils Andreas Baas, On bordism theory of manifolds with singularities , Math. Scand. 33 (1973), 279–302
work page 1973
-
[8]
M. Banagl, Topological invariants of stratified spaces, Springer Monographs in Mathematics, Springer Verlag, Ber lin, 2007
work page 2007
Show all 38 references
-
[9]
Jean-Michel Bismut and Jeff Cheeger, η-invariants and their adiabatic limits , J. Amer. Math. Soc. 2 (1989), no. 1, 33–70. MR 966608
1989
-
[10]
Boris Botvinnik, Manifolds with singularities accepting a metric of positiv e scalar curvature, Geom. Topol. 5 (2001), 683–718. MR 1857524
2001
-
[11]
Boris Botvinnik, Paolo Piazza, and Jonathan Rosenberg, Positive scalar curvature on spin pseudomanifolds: the fundamental group and secondary invariants , available at arXiv:2005.02744, 2020
2005 arXiv
-
[12]
Boris Botvinnik and Jonathan Rosenberg, Positive scalar curvature on manifolds with fibered singula rities, available at arXiv:1808.06007, 2018
2018 arXiv
-
[13]
Brasselet, G
J.-P. Brasselet, G. Hector, and M. Saralegi, Th´ eor` eme de de Rham pour les vari´ et´ es stratifi´ ees, Ann. Global Anal. Geom. 9 (1991), no. 3, 211–243. MR 1143404 26
1991
-
[14]
Bruner and J
Robert R. Bruner and J. P. C. Greenlees, Connective real K-theory of finite groups , Mathematical Surveys and Monographs, vol. 169, American Mathematical Society, Prov idence, RI, 2010. MR 2723113
2010
-
[15]
Ulrich Bunke, A K-theoretic relative index theorem and Callias-type Dirac o perators, Math. Ann. 303 (1995), no. 2, 241–279. MR 96e:58148
1995
-
[16]
Norio Ejiri, A negative answer to a conjecture of conformal transformati ons of Riemannian manifolds , J. Math. Soc. Japan 33 (1981), no. 2, 261–266. MR 607943
1981
-
[17]
J. P. C. Greenlees, Local cohomology in equivariant topology , Local cohomology and its applications (Guanajuato, 1999), Lecture Notes in Pure and Appl. Math., vol. 226, Dekke r, New York, 2002, pp. 1–38. MR 1888194
1999
-
[18]
Blaine Lawson, Jr., The classification of simply connected manifolds of positiv e scalar curvature, Ann
Mikhael Gromov and H. Blaine Lawson, Jr., The classification of simply connected manifolds of positiv e scalar curvature, Ann. of Math. (2) 111 (1980), no. 3, 423–434. MR 577131
1980
-
[19]
Hautes ´Etudes Sci
, Positive scalar curvature and the Dirac operator on complet e Riemannian manifolds , Inst. Hautes ´Etudes Sci. Publ. Math. (1983), no. 58, 83–196 (1984). MR 720933
1983
-
[20]
S. G. Hoggar, On KO theory of Grassmannians , Quart. J. Math. Oxford Ser. (2) 20 (1969), 447–463. MR 0254841
1969
-
[21]
Blaine Lawson, Jr
H. Blaine Lawson, Jr. and Marie-Louise Michelsohn, Spin geometry, Princeton Mathematical Series, vol. 38, Prince- ton University Press, Princeton, NJ, 1989. MR 1031992
1989
-
[22]
Blaine Lawson, Jr
H. Blaine Lawson, Jr. and Shing Tung Yau, Scalar curvature, non-abelian group actions, and the degre e of symmetry of exotic spheres , Comment. Math. Helv. 49 (1974), 232–244. MR 0358841
1974
-
[23]
4, 341–359
Eric Leichtnam and Paolo Piazza, On higher eta-invariants and metrics of positive scalar cur vature, K-Theory 24 (2001), no. 4, 341–359. MR 1885126
2001
-
[24]
I , Comm
Rafe Mazzeo, Elliptic theory of differential edge operators. I , Comm. Partial Differential Equations 16 (1991), no. 10, 1615–1664. MR 1133743
1991
-
[25]
Melrose, The Atiyah-Patodi-Singer index theorem , Research Notes in Mathematics, vol
Richard B. Melrose, The Atiyah-Patodi-Singer index theorem , Research Notes in Mathematics, vol. 4, A K Peters Ltd., Wellesley, MA, 1993. MR 96g:58180
1993
-
[26]
Naolekar and Ajay Singh Thakur, KO-groups of stunted complex and quaternionic projective spa ces, available at https://www.researchgate.net/publication/262673524, 2014
Aniruddha C. Naolekar and Ajay Singh Thakur, KO-groups of stunted complex and quaternionic projective spa ces, available at https://www.researchgate.net/publication/262673524, 2014
2014
-
[27]
Barrett O’Neill, The fundamental equations of a submersion , Michigan Math. J. 13 (1966), 459–469. MR 0200865
1966
-
[28]
Paolo Piazza and Thomas Schick, Rho-classes, index theory and Stolz’ positive scalar curva ture sequence, J. Topol. 7 (2014), no. 4, 965–1004. MR 3286895
2014
-
[29]
Paolo Piazza and Vito Felice Zenobi, Singular spaces, groupoids and metrics of positive scalar c urvature, J. Geom. Phys. 137 (2019), 87–123. MR 3893404
2019
-
[30]
Ravenel, Complex cobordism and stable homotopy groups of spheres , Pure and Applied Mathematics, vol
Douglas C. Ravenel, Complex cobordism and stable homotopy groups of spheres , Pure and Applied Mathematics, vol. 121, Academic Press, Inc., Orlando, FL, 1986, second ed ition available at https://web.math.rochester.edu/people/faculty/doug/mybooks/ravenel.pdf. MR 860042
1986
-
[31]
III , Topology 25 (1986), no
Jonathan Rosenberg, C ∗-algebras, positive scalar curvature, and the Novikov conj ecture. III , Topology 25 (1986), no. 3, 319–336. MR 842428
1986
-
[32]
, Manifolds of positive scalar curvature: a progress report , Surveys in differential geometry. Vol. XI, Surv. Differ. Geom., vol. 11, Int. Press, Somerville, MA, 2007, pp. 259–294. MR 2408269
2007
-
[33]
Math., vol
Jonathan Rosenberg and Stephan Stolz, A “stable” version of the Gromov-Lawson conjecture , The ˇCech centennial (Boston, MA, 1993), Contemp. Math., vol. 181, Amer. Math. So c., Providence, RI, 1995, pp. 405–418. MR 1321004
1993
-
[34]
P. H. Siegel, Witt spaces: a geometric cycle theory for KO-homology at odd primes , Amer. J. Math. 105 (1983), no. 5, 1067–1105. MR 714770
1983
-
[35]
Stephan Stolz, Simply connected manifolds of positive scalar curvature , Ann. of Math. (2) 136 (1992), no. 3, 511–540. MR 1189863
1992
-
[36]
1, 2 (Tri- este, 2001), ICTP Lect
, Manifolds of positive scalar curvature , Topology of high-dimensional manifolds, No. 1, 2 (Tri- este, 2001), ICTP Lect. Notes, vol. 9, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2002, available at http://users.ictp.it/~pub off/lectures/vol9.html, pp. 661–709. MR 1937026 27
2001
-
[37]
Swan, Vector bundles and projective modules, Trans
Richard G. Swan, Vector bundles and projective modules, Trans. Amer. Math. Soc. 105 (1962), 264–277. MR 143225
1962
-
[38]
user98602, Manifolds whose boundaries are real / complex projective sp aces, available at https://math.stackexchange.com/questions/2869349/. Department of Mathematics, University of Oregon, Eugene OR 97403-1222, USA Email address, Boris Botvinnik: botvinn@uoregon.edu URL: http...
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.