pith. sign in

arxiv: 2606.20528 · v1 · pith:5CCAS2KFnew · submitted 2026-06-18 · 🧮 math.DG

Positive Scalar Curvature Obstructions via Singular Dimension Descent

Yuchen Bi , Jintian Zhu This is my paper

Pith reviewed 2026-06-26 15:42 UTC · model grok-4.3

classification 🧮 math.DG
keywords positive scalar curvaturedimension descentenlargeable manifoldsAM-PI spacessystole estimateswidth inequalitiessingular setsAssouad codimension
0
0 comments X

The pith

A singular dimension descent method obstructs positive scalar curvature on enlargeable manifolds in all dimensions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a Schoen-Yau style singular dimension descent technique that uses recent conformal blow-up methods to produce positive scalar curvature obstructions. This yields obstructions for enlargeable manifolds along with cubical width inequalities and two-systole estimates. The same approach extends to enlargeable AM-PI spaces when the singular set meets an Assouad codimension threshold. A sympathetic reader would see this as a way to obtain uniform geometric control without restricting to low dimensions.

Core claim

The authors establish that a singular dimension descent argument, modeled on the Schoen-Yau method and paired with conformal blow-up techniques, produces positive scalar curvature obstructions for enlargeable manifolds in arbitrary dimensions, together with the corresponding cubical width inequalities and two-systole estimates. The method further applies to enlargeable AM-PI spaces, yielding an obstruction whenever the Assouad codimension of the singular set exceeds 3-2/n.

What carries the argument

The Schoen-Yau type singular dimension descent method, which reduces the obstruction problem across dimensions by descending through controlled singularities while preserving the positive scalar curvature prohibition.

If this is right

  • Enlargeable manifolds carry no metric of positive scalar curvature in any dimension.
  • Enlargeable manifolds satisfy cubical width inequalities.
  • Enlargeable manifolds satisfy two-systole estimates.
  • Enlargeable AM-PI spaces with singular set of Assouad codimension greater than 3-2/n carry no metric of positive scalar curvature.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The descent technique could be tested on other classes of spaces that admit controlled singularities.
  • The codimension threshold 3-2/n might admit refinement if the conformal blow-up step is sharpened.
  • Width and systole inequalities derived this way could interact with existing systolic geometry results on non-singular manifolds.

Load-bearing premise

The manifolds or spaces are enlargeable or AM-PI so that the cited conformal blow-up techniques can be adapted to the singular descent without introducing new obstructions.

What would settle it

An explicit metric of positive scalar curvature on an enlargeable manifold in dimension greater than or equal to three would contradict the claimed obstruction.

read the original abstract

In light of recent advances in conformal blow-up methods for the positive mass theorem, including He--Shi--Yu, Bi--Hao--He--Shi--Zhu, and Brendle--Wang, we develop a Schoen--Yau type singular dimension descent method for positive scalar curvature obstructions in arbitrary dimensions. We prove obstructions to positive scalar curvature on enlargeable manifolds and establish the corresponding cubical width inequalities and two-systole estimates. The method also applies to enlargeable AM--PI spaces, giving a positive scalar curvature obstruction when the singular set has Assouad codimension greater than \(3-2/n\).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript develops a Schoen-Yau-style singular dimension descent method for positive scalar curvature obstructions in arbitrary dimensions, building on recent conformal blow-up results (He--Shi--Yu, Bi--Hao--He--Shi--Zhu, Brendle--Wang). It establishes PSC obstructions for enlargeable manifolds together with associated cubical width inequalities and two-systole estimates, and extends the method to enlargeable AM-PI spaces when the singular set satisfies Assouad codimension greater than 3-2/n.

Significance. If the adaptation of the conformal blow-up to the singular descent setting is valid, the work would extend classical PSC obstruction techniques to singular spaces and arbitrary dimensions while producing new geometric inequalities; the explicit codimension threshold and the handling of AM-PI spaces constitute concrete advances over smooth-case results.

major comments (1)
  1. [§3 (Singular Dimension Descent Construction)] The central construction invokes the conformal blow-up to produce a limit space whose ADM mass remains positive while the singular set contributes no negative scalar-curvature or mass defect. This control near the singular set (Assouad codimension > 3-2/n) is invoked to initiate the inductive reduction but is not independently verified in the singular regime; without an explicit error estimate or mass inequality that accounts for the singular set, the dimension descent cannot be guaranteed to yield the claimed PSC obstruction.
minor comments (2)
  1. [Introduction] The abstract and introduction cite Bi--Hao--He--Shi--Zhu without an explicit statement of how the present singular-descent argument differs from or extends the cited conformal blow-up techniques; a short comparison paragraph would clarify the novelty.
  2. [§2 (Preliminaries)] Notation for the Assouad codimension threshold 3-2/n is introduced without a preceding definition or reference to the precise metric-measure space setting in which it is measured.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on the manuscript. The primary concern regarding explicit verification of the conformal blow-up and mass control in the singular regime is addressed below. We will incorporate additional estimates to clarify the argument.

read point-by-point responses

  1. Referee: [§3 (Singular Dimension Descent Construction)] The central construction invokes the conformal blow-up to produce a limit space whose ADM mass remains positive while the singular set contributes no negative scalar-curvature or mass defect. This control near the singular set (Assouad codimension > 3-2/n) is invoked to initiate the inductive reduction but is not independently verified in the singular regime; without an explicit error estimate or mass inequality that accounts for the singular set, the dimension descent cannot be guaranteed to yield the claimed PSC obstruction.

    Authors: We thank the referee for this observation. The Assouad codimension threshold > 3-2/n is selected precisely so that the singular set has vanishing contribution to the ADM mass and scalar curvature integrals under the conformal blow-up, following the capacity and Hausdorff measure estimates in the cited works (He--Shi--Yu, Brendle--Wang). The inductive reduction therefore proceeds with positive mass in the limit. To address the request for independent verification, we will add an explicit error estimate lemma in the revised Section 3 that quantifies the mass defect from the singular set and confirms it is zero under the given codimension condition. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via new singular descent argument

full rationale

The paper develops a Schoen-Yau type singular dimension descent for PSC obstructions on enlargeable manifolds and AM-PI spaces, citing prior conformal blow-up results (including Bi-Hao-He-Shi-Zhu with author overlap) only as background for the method. No quoted step reduces a central claim or prediction to a fitted input, self-definition, or unverified self-citation chain by construction. The obstructions, width inequalities, and codimension conditions are obtained from the descent applied to the enlargeability assumption, with citations functioning as external support rather than load-bearing definitions of the result. This is the normal case of a self-contained derivation against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard differential-geometric background plus the enlargeability and AM-PI assumptions drawn from prior literature; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math Standard definitions and properties of scalar curvature, Riemannian metrics, and enlargeable manifolds
    Invoked throughout the obstruction argument.
  • domain assumption AM-PI spaces and Assouad codimension behave as in the cited literature
    Required for the singular-set extension.

pith-pipeline@v0.9.1-grok · 5623 in / 1205 out tokens · 32435 ms · 2026-06-26T15:42:40.480114+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Riemannian Positive Mass Theorem in All Dimensions in the Presence of Low-Codimension Singularities

    math.DG 2026-06 unverdicted novelty 7.0

    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...

  2. $L^\infty$-metrics on tori and Schoen's conjecture

    math.DG 2026-06 unverdicted novelty 5.0

    Under a non-surjectivity assumption on the fundamental group homomorphism from the singular set, an L^∞ metric on a torus with non-negative scalar curvature outside a Minkowski dimension ≤ n-3+(n-1)^{-1} singular set ...

Reference graph

Works this paper leans on

25 extracted references · 1 linked inside Pith · cited by 2 Pith papers

  1. [1]

    Plongements lipschitziens dansRn.Bulletin de la Société Mathé- matique de France, 111:429–448, 1983

    Patrice Assouad. Plongements lipschitziens dansRn.Bulletin de la Société Mathé- matique de France, 111:429–448, 1983

    1983

  2. [2]

    A proof for the Riemannian positive mass theorem up to dimension 19, 2026

    Yuchen Bi, Tianze Hao, Shihang He, Yuguang Shi, and Jintian Zhu. A proof for the Riemannian positive mass theorem up to dimension 19, 2026. arXiv:2603.02769v2

    arXiv 2026

  3. [3]

    European Mathematical Society (EMS), Zürich, 2011

    Anders Björn and Jana Björn.Nonlinear potential theory on metric spaces, volume 17 ofEMS Tracts in Mathematics. European Mathematical Society (EMS), Zürich, 2011

    2011

  4. [4]

    Existence and almost uniqueness for p-harmonic Green functions on bounded domains in metric spaces.J

    Anders Björn, Jana Björn, and Juha Lehrbäck. Existence and almost uniqueness for p-harmonic Green functions on bounded domains in metric spaces.J. Differential Equations, 269(9):6602–6640, 2020

    2020

  5. [5]

    Bombieri and E

    E. Bombieri and E. Giusti. Harnack’s inequality for elliptic differential equations on minimal surfaces.Invent. Math., 15:24–46, 1972

    1972

  6. [6]

    A dimension descent scheme for the positive mass theorem in arbitrary dimension, 2026

    Simon Brendle and Yipeng Wang. A dimension descent scheme for the positive mass theorem in arbitrary dimension, 2026. arXiv:2604.08473v2

    Pith/arXiv arXiv 2026

  7. [7]

    Positive scalar curvature with point singularities.Duke Mathematical Journal, 2025

    Simone Cecchini, Georg Frenck, and Rudolf Zeidler. Positive scalar curvature with point singularities.Duke Mathematical Journal, 2025. To appear

    2025

  8. [8]

    A note on the singular set of area-minimizing hypersurfaces.Calculus of Variations and Partial Differential Equations, 59(1):Paper No

    Nick Edelen. A note on the singular set of area-minimizing hypersurfaces.Calculus of Variations and Partial Differential Equations, 59(1):Paper No. 18, 2020

    2020

  9. [9]

    Blaine Lawson, Jr

    Mikhail Gromov and H. Blaine Lawson, Jr. Spin and scalar curvature in the presence of a fundamental group. I.Annals of Mathematics, 111(2):209–230, 1980

    1980

  10. [10]

    Metric inequalities with scalar curvature.Geometric and Functional Analysis, 28(3):645–726, 2018

    Misha Gromov. Metric inequalities with scalar curvature.Geometric and Functional Analysis, 28(3):645–726, 2018. SINGULAR DIMENSION DESCENT 51

    2018

  11. [11]

    Area and Gauss-Bonnet inequalities with scalar curvature.Comment

    Misha Gromov and Jintian Zhu. Area and Gauss-Bonnet inequalities with scalar curvature.Comment. Math. Helv., 99(2):355–395, 2024

    2024

  12. [12]

    Singularity removal rigidity theorems for minimal hypersurfaces in manifolds with nonnegative scalar curvature, 2026

    Shihang He, Yuguang Shi, and Haobin Yu. Singularity removal rigidity theorems for minimal hypersurfaces in manifolds with nonnegative scalar curvature, 2026. arXiv:2602.23705v1

    arXiv 2026

  13. [13]

    Juha Heinonen, Pekka Koskela, Nageswari Shanmugalingam, and Jeremy T. Tyson. Sobolev spaces on metric measure spaces, volume 27 ofNew Mathematical Mono- graphs. Cambridge University Press, Cambridge, 2015. An approach based on upper gradients

    2015

  14. [14]

    From almost smooth spaces to RCD spaces.Calc

    Shouhei Honda and Song Sun. From almost smooth spaces to RCD spaces.Calc. Var. Partial Differential Equations, 65(4):Paper No. 131, 45, 2026

    2026

  15. [15]

    Geometric implications of the Poincaré inequality.Results Math., 50(1- 2):93–107, 2007

    Riikka Korte. Geometric implications of the Poincaré inequality.Results Math., 50(1- 2):93–107, 2007

    2007

  16. [16]

    Blaine Lawson and Marie-Louise Michelsohn.Spin Geometry, volume 38 ofPrince- ton Mathematical Series

    H. Blaine Lawson and Marie-Louise Michelsohn.Spin Geometry, volume 38 ofPrince- ton Mathematical Series. Princeton University Press, 1989

    1989

  17. [17]

    The positive mass theorem with arbitrary ends.Journal of Differential Geometry, 128(1):257–293, 2024

    Martin Lesourd, Ryan Unger, and Shing-Tung Yau. The positive mass theorem with arbitrary ends.Journal of Differential Geometry, 128(1):257–293, 2024

    2024

  18. [18]

    Scalar curvature and hammocks.Mathematische Annalen, 313(3):385–407, 1999

    Joachim Lohkamp. Scalar curvature and hammocks.Mathematische Annalen, 313(3):385–407, 1999

    1999

  19. [19]

    Cambridge University Press, 1995

    Pertti Mattila.Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability, volume 44 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, 1995

    1995

  20. [20]

    On the universal cover and the fundamental group of anRCD∗(K, N)-space.J

    Andrea Mondino and Guofang Wei. On the universal cover and the fundamental group of anRCD∗(K, N)-space.J. Reine Angew. Math., 753:211–237, 2019

    2019

  21. [21]

    AaronNaberandDanieleValtorta.Thesingularstructureandregularityofstationary varifolds.Journal of the European Mathematical Society, 22(10):3305–3382, 2020

    2020

  22. [22]

    On the proof of the positive mass conjecture in general relativity.Communications in Mathematical Physics, 65(1):45–76, 1979

    Richard Schoen and Shing-Tung Yau. On the proof of the positive mass conjecture in general relativity.Communications in Mathematical Physics, 65(1):45–76, 1979

    1979

  23. [23]

    On the structure of manifolds with positive scalar curvature.Manuscripta Mathematica, 28(1–3):159–183, 1979

    Richard Schoen and Shing-Tung Yau. On the structure of manifolds with positive scalar curvature.Manuscripta Mathematica, 28(1–3):159–183, 1979

    1979

  24. [24]

    Positive scalar curvature and minimal hyper- surface singularities

    Richard Schoen and Shing-Tung Yau. Positive scalar curvature and minimal hyper- surface singularities. InSurveys in Differential Geometry 2019. Differential Geom- etry, Calabi–Yau Theory, and General Relativity. Part 2, volume 24 ofSurveys in Differential Geometry, pages 441–480. International Press, Boston, MA, 2022

    2019

  25. [25]

    Positive mass theorem with arbitrary ends and its application.Interna- tional Mathematics Research Notices, 2023(11):9880–9900, 2023

    Jintian Zhu. Positive mass theorem with arbitrary ends and its application.Interna- tional Mathematics Research Notices, 2023(11):9880–9900, 2023. (Yuchen Bi)Mathematical Institute, Department of Pure Mathematics, Uni- versity of Freiburg, Ernst-Zermelo-Straße 1, D-79104 Freiburg im Breisgau, Germany Email address:yuchen.bi@math.uni-freiburg.de (Jintian Z...

    2023