{"id":"c7f20b45-a4ba-42cf-88fc-886f9132f274","arxiv_id":"1908.04420","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A simply connected spin pseudomanifold with homogeneous link admits a well-adapted positive scalar curvature wedge metric exactly when two alpha-invariants vanish, under a dimension bound and one of two bordism conditions.","lead":"This paper proves an obstruction and a sufficiency theorem for when a singular space called a depth-one pseudomanifold carries a wedge metric of positive scalar curvature. The result is an if-and-only-if condition in terms of two index-theoretic alpha-invariants, under assumptions of spin, simple connectivity, and a homogeneous link.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No fatal flaw found; the load-bearing premise is the imported wedge Dirac analysis of Albin–Gell-Redman (Theorem 2.3), which is cited rather than proved and should be verified against its spectral hypothesis.","rationale":"The reader's weakest assumption correctly identifies the main external dependency: the wedge alpha-class is defined through the microlocal analysis of Albin and Gell-Redman, and the entire obstruction theory depends on its validity. I examined the internal topology and surgery arguments in Sections 4–6 and found them consistent; the bordism exact triangle and the surgery proofs are standard and have no obvious errors. The one internal point I considered was the assertion in Theorem 6.4 that a psc null-bordism W exists, which is not immediate from [βM→BG]=0 alone. However, it can be justified by first using α(βM)=0 and Stolz's theorem to get a psc metric on βM, then performing surgeries to make (W,βM) 2-connected, and finally applying the relative Gromov-Lawson surgery theorem. Since this repair is standard and does not affect the statement, it does not change the verdict. The paper's central claim is well-supported, and the moderate confidence assigned by the reader is appropriate.","tokens_in":26409,"tokens_out":35988,"duration_ms":356272,"concrete_test":"Verify the microlocal theorem: inspect Albin–Gell-Redman's papers to confirm that under condition (6) the wedge Dirac operator is essentially self-adjoint and Fredholm with a Cℓ_n-linear index, and confirm that for a homogeneous link L=G/K with normalized metric κ_L=κ_ℓ and psc, the smallest nonzero eigenvalue μ of D_L satisfies |μ|>1/2 after choosing the cone radius R sufficiently small (R<2/|μ|). If either check fails, Theorem 2.3 and hence the main theorems are unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on the wedge Dirac operator defining a KO class α_w(MΣ,g) (Theorem 2.3). This is imported from Albin–Gell-Redman [1,2] rather than proved. The fragile hypothesis is the spectral gap condition (6): spec_{L2}(D_L) ∩ (-1/2,1/2)=∅ for every link fiber. If this fails for some well-adapted metric, the operator is not essentially self-adjoint and the entire obstruction theory, including the 'only if' direction of Theorem 1.2, collapses. The paper notes that psc-Witt metrics can be rescaled to achieve (6), and for psc links the Lichnerowicz formula gives a spectral gap; this is the key mitigating fact. A secondary, more internal gap is that the proof of Theorem 6.4 asserts the existence of a psc null-bordism W for βM→BG without giving the surgery argument; this is repairable by the relative Gromov-Lawson theorem after making (W,βM) 2-connected.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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).","tokens_in":26584,"tokens_out":23138,"duration_ms":236904,"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":[{"comment":"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.","section":"§6.2, proof of Theorem 6.4"},{"comment":"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.","section":"§3.2, proof of Theorem 3.5(1)"},{"comment":"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.","section":"§6, application of Theorem 4.5"}],"minor_comments":[{"comment":"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.","section":"Throughout"},{"comment":"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.","section":"§6.1, Remark 6.2"},{"comment":"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.","section":"§4.3, proof of Theorem 4.6"},{"comment":"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.","section":"§2.4, Theorem 2.3"},{"comment":"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.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is likely correct, but the proof of Theorem 6.4 has a genuine gap that is repairable with a standard surgery argument, and the proof of Theorem 3.5(1) contains a flawed scaling argument. I recommend major revision to close these points. The authors should also be asked to clarify the semisimple case in Remark 6.2 and to make the status of the imported analytic theorem in [1,2] fully explicit. The paper's overall architecture is sound and the results are significant, so I do not see grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a serious paper, and the main theorem appears to hold up. Botvinnik–Piazza–Rosenberg prove an iff for well-adapted psc wedge metrics on simply connected spin depth-one pseudomanifolds whose link is a homogeneous space L=G/K with the normalized metric: the metric exists iff α_cyl(M) and α(βM) both vanish. That genuinely extends the Gromov–Lawson–Rosenberg program to a natural class of singular spaces.\n\nWhat’s new: the wedge alpha-class α_w, the bordism exact triangle for (L,G)-fibered singularities, and the converse direction built on surgery and bordism. The proof is structured carefully: obstruction from Schrödinger–Lichnerowicz, sufficiency via the Bordism Theorem, with the surgery machinery pushed through the fibration. Example 3.7 is a useful caution, showing the class f_*[D] in KO_{n-ℓ-1}(BG) is not an obstruction.\n\nThe soft spots are real but mostly minor. The load-bearing premise is Theorem 2.3, imported from Albin–Gell-Redman: the wedge Dirac operator defines α_w only under the spectral gap condition (6). This is not proved here. If that condition failed for a well-adapted metric, the 'only if' side would have no invariant to vanish. The paper does state the mitigating fact—psc-Witt metrics can be rescaled to satisfy (6), and for psc links Lichnerowicz gives the gap—so I don't think it's fatal, but a referee should press on it. Two smaller items: Remark 6.2 leaves a semisimple case to the reader, and Theorem 4.6's 'argument is exactly the same' is a handwave, though standard. Theorem 6.4 asserts a psc null-bordism W for βM→BG without showing the surgery; that's repairable via the relative Gromov–Lawson theorem after making (W,βM) 2-connected.\n\nThe citation pattern is honest; the paper builds on its own earlier work and on Albin–Gell-Redman, but it is clear what is imported and what is new.\n\nWho it's for: people in psc metrics, index theory, and stratified spaces. It deserves a serious referee, not a desk reject. I would accept after minor-to-moderate revision, asking the authors to expand the two deferred proofs and include a fuller discussion of the spectral condition and its verification.","headline":"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.","tokens_in":27166,"tokens_out":2956,"would_cite":true,"duration_ms":26791,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","58J22","53C27","19L41","55N22"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["positive scalar curvature","pseudomanifold","wedge metric","alpha-invariant","spin bordism","index theory","homogeneous space","KO-homology"],"falsifier":"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.","tokens_in":26165,"feed_emoji":"📐","tokens_out":10860,"duration_ms":112581,"temperature":0.7,"pith_summary":"The paper asks when a depth-one stratified pseudomanifold, a space built from a smooth manifold by coning off a bundle of links over a singular stratum, can carry a wedge metric of positive scalar curvature adapted to the singularity. Under a homogeneous-space assumption on the link, $L=G/K$ with a normalized invariant metric whose scalar curvature equals that of the round sphere, it proves that existence of a well-adapted positive-scalar-curvature metric is detected exactly by two alpha-classes: the cylindrical class of the resolution and the class of the singular stratum. The vanishing of these two classes is shown to be necessary in general and sufficient when the spaces are simply connected, the dimension is high enough, and one of two technical conditions on the link or the bundle holds. This matters because it carries the classical manifold question of positive scalar curvature versus vanishing alpha-invariant from smooth spin manifolds to a large class of singular spaces.","feed_headline":"Two alpha classes decide positive-curvature wedge metrics","feed_subtitle":"A spin pseudomanifold with homogeneous link admits a well-adapted positive scalar curvature metric exactly when two KO-index classes vanish.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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$."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the microlocal analysis of the Dirac operator on incomplete edge spaces that makes the wedge operator essentially self-adjoint and defines its KO class.","marker":"[2]"},{"why":"Extends the same microlocal index theory to families of Dirac-type operators on pseudomanifolds, giving the index formula used for the wedge alpha-class.","marker":"[1]"},{"why":"Provides the relative index and gluing formula used to equate the cylindrical class of the resolution with the wedge class when the tubular-neighborhood metric is positive scalar curvature.","marker":"[15]"},{"why":"Gives the cylindrical Dirac index and the vanishing theorem for positive scalar curvature on complete manifolds that produce the cylindrical alpha-obstruction.","marker":"[19]"},{"why":"The surgery theorem for positive scalar curvature that lets the bordism argument push psc metrics across surgeries on the Bockstein and on the interior.","marker":"[18]"},{"why":"The classification theorem for simply connected psc manifolds used to pass from vanishing $\\alpha(\\beta M)$ to an actual psc metric on the singular stratum.","marker":"[35]"},{"why":"The vertical Dirac spectral-gap result used to ensure condition (6) from fiberwise positive scalar curvature.","marker":"[9]"},{"why":"The submersion scalar-curvature formula, with vanishing of the relevant tensor, that controls positivity of the tubular-neighborhood metric in well-adapted metrics.","marker":"[27]"},{"why":"Structure of the spin cobordism ring used to show certain quaternionic projective-space links are not zero-divisors, making the transfer injective in the Baas-Sullivan theorem.","marker":"[6]"}],"fun_headline_variants":["Two alpha classes control psc wedge metrics","KO classes pin down positive curvature on pseudomanifolds","Spin pseudomanifold psc metric iff two KO classes vanish","Wedge metric existence tied to alpha-class vanishings","Homogeneous-link pseudomanifolds: psc metric from two alpha classes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Two alpha classes control psc wedge metrics","KO classes pin down positive curvature on pseudomanifolds","Spin pseudomanifold psc metric iff two KO classes vanish","Wedge metric existence tied to alpha-class vanishings","Homogeneous-link pseudomanifolds: psc metric from two alpha classes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000232,"raw_usage":{"total_tokens":1574,"prompt_tokens":1118,"completion_tokens":456,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":734,"completion_tokens_details":{"reasoning_tokens":373}},"tokens_in":734,"tokens_out":456,"duration_ms":4453,"temperature":1.0,"reasoning_tokens":373,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:42:59.584380+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Methods Appl","cited_arxiv_id":null,"evidence_quote":"Supplies the microlocal analysis of the Dirac operator on incomplete edge spaces that makes the wedge operator essentially self-adjoint and defines its KO class."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the relative index and gluing formula used to equate the cylindrical class of the resolution with the wedge class when the tubular-neighborhood metric is positive scalar curvature."},{"cited_title":"Hautes ´Etudes Sci","cited_arxiv_id":null,"evidence_quote":"Gives the cylindrical Dirac index and the vanishing theorem for positive scalar curvature on complete manifolds that produce the cylindrical alpha-obstruction."},{"cited_title":"Blaine Lawson, Jr., The classification of simply connected manifolds of positiv e scalar curvature, Ann","cited_arxiv_id":null,"evidence_quote":"The surgery theorem for positive scalar curvature that lets the bordism argument push psc metrics across surgeries on the Bockstein and on the interior."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The vertical Dirac spectral-gap result used to ensure condition (6) from fiberwise positive scalar curvature."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The submersion scalar-curvature formula, with vanishing of the relevant tensor, that controls positivity of the tubular-neighborhood metric in well-adapted metrics."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Structure of the spin cobordism ring used to show certain quaternionic projective-space links are not zero-divisors, making the transfer injective in the Baas-Sullivan theorem."}],"review_version":1}