Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Positive scalar curvature and exotic structures on simply connected four manifolds

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Simply connected 4-manifolds obey the scalar-curvature width and $S^1$-stability theorems once "PSC" is read up to homeomorphism.

desk verdict Good question and a correct homeomorphism-invariant reformulation, but the surgery proof hinges on a false lemma, so the main theorems are not established as written. read the letter →

arxiv 2501.01113 v2 pith:WSLXDBKQ submitted 2025-01-02 math.DG math.GT

Aditya Kumar , Balarka Sen This is my paper · ORCID
classification math.DGmath.GT MSC 53C2157R6557K40
keywords positivescalarcurvature4-manifoldsbandwidthinequalityS1-stabilityexoticsmoothstructuresμ-bubblessurgerytheorySeiberg-Witteninvariants
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Four-manifolds are the only dimension where the standard positive-scalar-curvature (PSC) conjectures fail: Seiberg–Witten invariants produce simply connected 4-manifolds that are not PSC even though their product with a circle is PSC. This paper argues that the failure is entirely due to exotic smooth structures. The main theorems state that Gromov's band width inequality and Rosenberg's $S^1$-stability become true for simply connected smooth 4-manifolds if the conclusions are read up to homeomorphism: a band $M^4\times[-1,1]$ with scalar curvature $\ge 20\kappa^2$ has width at most $2\pi/(5\kappa)$, and $M\times S^1$ is PSC exactly when some smooth structure on $M$ is PSC. If correct, this extends the Gromov–Lawson–Stolz classification to dimension 4 in the homeomorphism sense and pins the known counterexamples on exotic structures rather than on topology.

What carries the argument

The load-bearing object is the separating $\mu$-bubble: a minimizer of Gromov's modified area functional with a carefully chosen weight function $h$ that blows up on the faces of the band. Its second variation converts the scalar curvature lower bound on the band into a positive lower bound for $\lambda_1(-\Delta+R/2)$ on a hypersurface $\Sigma$, which by conformal deformation makes $\Sigma$ PSC. The second half of the machinery is 5-dimensional surgery theory: a cobordism from $M$ to a PSC $\Sigma$ is simplified by normal-map surgery and 1-handle trading until $M\#k(S^2\times S^2)$ is obtained from $\Sigma$ by surgeries of codimension $\ge 3$, which preserve PSC by the Gromov–Lawson–Schoen–Yau surgery theorem.

What would settle it

Test Lemma 23 on the loop in $S^4$ given by a non-slice knot in an equatorial $S^3$: the lemma predicts a smooth embedded disk, while the non-slice property predicts none, so this single example decides whether the surgery step in Proposition 27 is valid.

Watch

Extended reading notes

Core claim

The central claim is Theorem A: if $M^4$ is a closed simply connected smooth 4-manifold that is not PSC up to homeomorphism, then every metric on the band $M^4\times[-1,1]$ with scalar curvature $R_g\ge 20\kappa^2$ has width at most $2\pi/(5\kappa)$. From this the paper derives Theorem B: $M$ is PSC up to homeomorphism if and only if $M\times S^1$ is PSC. The proof passes through the more general Theorem C, which replaces the simple-connectedness hypothesis by the assumption that no stabilization $M\#k(S^2\times S^2)$ is PSC, and through an up-to-homeomorphism version of the Gromov–Lawson–Stolz classification in dimension 4. The mechanism is that a band longer than the bound would contain a separating PSC hypersurface, a 5-dimensional surgery argument would then make some $M\#k(S^2\times S^2)$ PSC, and in the simply connected case that forces $M$ itself to be PSC up to homeomorphism.

Load-bearing premise

The load-bearing premise is Lemma 23, that every embedded nullhomotopic circle in a 4-manifold bounds a smoothly embedded disk, which is used to trade 1-handles for 3-handles; if that lemma fails for a non-slice knot in an equatorial $S^3\subset S^4$, the surgery step in Proposition 27 breaks.

Editorial extensions

If this is right

  • Every closed simply connected 4-manifold is either PSC up to homeomorphism or satisfies the sharp width bound with constant $2\pi/(5\kappa)$.
  • The Gromov–Lawson–Stolz dichotomy extends to dimension 4: non-spin simply connected 4-manifolds are PSC up to homeomorphism, while spin ones are PSC up to homeomorphism exactly when $\hat A(M)=0$.
  • For $M=K3$, the band $M\times[-1,1]$ obeys the width inequality, resolving that specific case of Gromov's conjecture.
  • For any closed 4-manifold $M$, if $M\times S^1$ is PSC, then some stabilization $M\#k(S^2\times S^2)$ is PSC.
  • If $M\times S^1$ is PSC and $M$ is simply connected, then $M$ is homeomorphic to a PSC manifold, so the known counterexamples to $S^1$-stability are all exotic-structure effects.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the results hold, the known Seiberg–Witten counterexamples to $S^1$-stability are best understood as statements about smooth structures: the homeomorphism type still satisfies the PSC dichotomy, and the failure must be encoded in the smooth structure.
  • A natural next question is whether the stabilization number $k$ in Theorem C can be bounded by a quantity such as the minimal $b_2$ contribution needed to kill Seiberg–Witten invariants; if so, it would give a quantitative measure of how exotic a 4-manifold is.
  • The proof relies on Lemma 23, which states that every embedded nullhomotopic circle in a 4-manifold bounds a smoothly embedded disk; testing this lemma on a non-slice knot in an equatorial $S^3\subset S^4$ would show whether the handle-trading step in Proposition 27 needs a different argument.
  • The same up-to-homeomorphism relaxation may revive other dimension-4 PSC statements currently obstructed by Seiberg–Witten invariants, such as classification up to stabilization or width estimates for other bands.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper addresses Gromov's band width inequality and Rosenberg's S1-stability conjecture for closed simply connected smooth 4-manifolds, proving them 'up to homeomorphism' (Theorems A and B), together with a more general Theorem C for arbitrary 4-manifolds under a stabilization hypothesis. The strategy is standard in broad outline: use µ-bubble descent to produce a separating PSC hypersurface in a long band, and then use surgery theory in a 5-dimensional cobordism to transfer PSC from the hypersurface to M, possibly after stabilization by S^2×S^2 summands. The surgery part is carried out through Lemma 26, Lemma 24, and Proposition 27; the latter is the central technical result. The paper also contains an extension of the Gromov-Lawson-Stolz classification to dimension 4 up to homeomorphism (Observation 30) and an example involving a non-simply connected 4-manifold (Example 11).

Significance. If the main results were correct, they would establish the expected up-to-homeomorphism analogues of two central conjectures in 4-dimensional positive scalar curvature geometry and would support the picture that failure of S1-stability in dimension 4 is due to exotic smooth structures. The µ-bubble descent argument in Section 2 is a careful and standard exposition, and the introductory example showing PSC on V5×S1 via an exotic copy and the s-cobordism theorem is illuminating. However, because the central surgery step relies on a false 4-dimensional unknotting lemma, the paper does not provide a valid proof of its main theorems.

major comments (3)
  1. [§3.2, Lemma 23] Lemma 23 is false as stated. A nullhomotopic embedded circle in a 4-manifold need not bound a smoothly embedded disk. For instance, take a non-slice knot K in an equatorial S^3 ⊂ S^4. Since S^4 is simply connected, K is nullhomotopic, but if K bounded a smoothly embedded disk in S^4, then, cutting S^4 along the equatorial S^3 and surgering the closed curves of intersection, K would bound a smooth disk in B^4, i.e., would be slice; the trefoil is a counterexample. The proof's use of Whitney finger moves cannot remove double points; in dimension 4 the Whitney trick is obstructed, and finger moves only rearrange intersections. This lemma is load-bearing for the paper's surgery argument.
  2. [§3.2, Lemma 24] Lemma 24 is not established because it depends directly on Lemma 23. In the proof, the existence of an embedded disk in ∂+V bounded by α∪β' is exactly the false statement of Lemma 23. Without such a disk, the cancelling 2-handle/3-handle pair cannot be produced, and the conclusion that all 1-handles can be traded for 3-handles fails. Consequently, Lemma 24 cannot be used to eliminate 1-handles from the handle decomposition in the subsequent arguments.
  3. [§3.4, Proposition 27] Proposition 27 is the central surgery step and it relies on Lemma 24 to choose a handle decomposition of V without 1-handles. Since Lemma 24 is invalid, the proof of Proposition 27 collapses. In particular, the claimed construction of the level set diffeomorphic to M#k(S^2×S^2) and the transfer of PSC via codimension-≥3 surgeries are not justified. The subsequent results that depend on Proposition 27—Theorem 28, Corollary 29, Proposition 31, Theorem 32, and Theorem 33 (Theorems A, B, and C in the introduction)—are therefore unproven.
minor comments (4)
  1. [§1.2 and §4.2] The statement labeled Observation 9 in the introduction and Observation 30 in Section 4.2 is identical; this duplication with different labels is confusing and should be consolidated.
  2. [§3.4, proof of Proposition 27] The phrase 'Since i induces an isomorphism on π1, we may choose a handle decomposition of (V;M,Σ) without 1-handles, by Lemma 24' presupposes the false Lemma 24; the proof should be revised to justify handle cancellation independently or with a correct statement.
  3. [§4.1, Theorem 28 proof] The proof says 'due to Proposition 27, the band X does not admit any PSC hypersurface that separates the faces'; this is only valid if Proposition 27 holds, so the statement is conditional on the invalid proposition.
  4. [§2.3, Proposition 18 proof] There is a typo in the line 'Cauchy-Schwarzh2/n≤|A|2': it should read 'h^2/n ≤ |A|^2'. The mathematical content is unaffected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained with respect to external results; the disputed Lemma 23 is an unsupported mathematical claim, not a circular step.

full rationale

The paper's derivation chain does not reduce any of its claims to its own inputs by construction. The main steps are: (1) the µ-bubble existence and second-variation statement (Lemma 15) imported from Zhu and Gromov; (2) the conformal descent argument (Proposition 18), whose constants are explicit and which does not assume the width inequality it proves; (3) the surgery argument (Proposition 27), which uses Wall-type normal surgery (Lemma 26) and the handle-trading Lemma 24; and (4) the classification observation (Observation 30), which invokes Freedman's homeomorphism classification and Lichnerowicz's obstruction. None of these steps fits a fitted parameter renamed as a prediction, and none of the conclusions is equivalent by definition to an assumption. The proof of Lemma 23 is a genuine mathematical flaw: a nullhomotopic embedded loop in a 4-manifold need not bound a smoothly embedded disk, as the non-slice knot counterexample shows. But that is a correctness gap in a load-bearing lemma, not a circularity: Lemma 23 is not assumed as the conclusion, nor is the theorem defined in terms of it. Likewise, the paper's citations of external authors (Freedman, Wall, Gromov-Lawson, Schoen-Yau, Zhu, Rade) are independent support with stated hypotheses; there is no self-citation chain that forces the result. Overall, the paper's central claims have independent mathematical content, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters. No invented entities. The central claim relies on external theorems plus the unsupported and false Lemma 23 about nullhomotopic loops bounding smooth disks in 4-manifolds.

assumptions (5)
  • standard math µ-bubble existence and second variation (Zhu 2021, Lemma 15)
    Background theorem used in Section 2 to produce a separating hypersurface with PSC when the band is long.
  • standard math Freedman classification: simply connected 4-manifolds are determined up to homeomorphism by their intersection form, and spin zero-signature case is homeomorphic to #k(S2xS2)
    Used in Observation 30 to identify PSC up to homeomorphism.
  • standard math Wall's h-cobordism theorem for simply connected 4-manifolds and the s-cobordism theorem in dimension 6 with Wh(Z)=0
    Used in Theorem 33 to transfer a PSC metric from M' x S1 to M x S1.
  • standard math Lichnerowicz A-hat obstruction and Gromov-Lawson-Schoen-Yau surgery theorem preserving PSC under codimension at least 3 surgeries
    Used to rule out PSC when A-hat is nonzero and to conclude PSC of stabilizations.
  • ad hoc to paper Every embedded nullhomotopic loop in a 4-manifold bounds a smoothly embedded disk
    This is Lemma 23. It is used in Lemma 24 to trade 1-handles. It is false: a non-slice knot in S3 is nullhomotopic in S4 but does not bound a smooth disk in S4, otherwise the knot would be slice.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Positive scalar curvature and exotic structures on simply connected four manifolds." pith.science (2026). https://pith.science/paper/WSLXDBKQ

@misc{pith2026250101113,
  author       = {Pith},
  title        = {Pith review of: Positive scalar curvature and exotic structures on simply connected four manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WSLXDBKQ}},
  note         = {Machine review of arXiv:2501.01113}
}
abstract

We address Gromov's band width inequality and Rosenberg's $S^1$-stability conjecture for simply connected smooth four manifolds. Both results are known to be false in dimension 4 due to counterexamples based on Seiberg-Witten invariants. Nevertheless we show that both of these results hold upon considering simply connected smooth four manifolds up to homeomorphism. We also obtain a related result for non-simply connected smooth four manifolds.

Figures

Figures reproduced from arXiv: 2501.01113 by the authors.

Figure 11
Figure 11. ]) [PITH_FULL_IMAGE:figures/full_fig_p012_11.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. A Codimension Two Approach to the $\mathbb{S}^1$-Stability Conjecture

    math.DG 2024-12 conditional novelty 6.0 of 10

    If X×S¹ admits a PSC metric whose circle factor is at angle < 45° to the X-slice, then X itself admits a PSC metric, for any closed oriented X of dimension at least two.

Reference graph

Works this paper leans on

24 extracted references · 14 canonical work pages · cited by 1 Pith paper

  1. [1]

    The disc embedding theorem

    Stefan Behrens, Boldizs\' a r Kalm\' a r, Min Hoon Kim, Mark Powell, and Arunima Ray, editors. The disc embedding theorem . Oxford University Press, Oxford, 2021

    work page 2021

  2. [2]

    Stable minimal surfaces and positive scalar curvature, 2021

    Otis Chodosh. Stable minimal surfaces and positive scalar curvature, 2021. Lecture notes, https://web.stanford.edu/ ochodosh/Math258-min-surf.pdf

    work page 2021

  3. [3]

    Generalized soap bubbles and the topology of manifolds with positive scalar curvature

    Otis Chodosh and Chao Li. Generalized soap bubbles and the topology of manifolds with positive scalar curvature. Ann. of Math. (2) , 199(2):707--740, 2024

    2024

  4. [4]

    Classifying sufficiently connected PSC manifolds in 4 and 5 dimensions

    Otis Chodosh, Chao Li, and Yevgeny Liokumovich. Classifying sufficiently connected PSC manifolds in 4 and 5 dimensions. Geom. Topol. , 27(4):1635--1655, 2023

    work page 2023

  5. [5]

    The topology of four-dimensional manifolds

    Michael Hartley Freedman. The topology of four-dimensional manifolds. J. Differential Geometry , 17(3):357--453, 1982

    1982

  6. [6]

    Minimal surfaces and functions of bounded variation , volume 80 of Monographs in Mathematics

    Enrico Giusti. Minimal surfaces and functions of bounded variation , volume 80 of Monographs in Mathematics . Birkh\" a user Verlag, Basel, 1984

    1984

  7. [7]

    Blaine Lawson, Jr

    Mikhael Gromov and H. Blaine Lawson, Jr. The classification of simply connected manifolds of positive scalar curvature. Ann. of Math. (2) , 111(3):423--434, 1980

    1980

  8. [8]

    M. Gromov. Positive curvature, macroscopic dimension, spectral gaps and higher signatures. In Functional analysis on the eve of the 21st century, V ol. II ( N ew B runswick, NJ , 1993) , volume 132 of Progr. Math. , pages 1--213. Birkh\" a user Boston, Boston, MA, 1996

    work page 1993

Show all 24 references
  1. [9]

    Metric inequalities with scalar curvature

    Misha Gromov. Metric inequalities with scalar curvature. Geom. Funct. Anal. , 28(3):645--726, 2018

    2018

  2. [10]

    Four lectures on scalar curvature

    Misha Gromov. Four lectures on scalar curvature. In Perspectives in scalar curvature. V ol. 1 , pages 1--514. World Sci. Publ., Hackensack, NJ, [2023] 2023

    2023

  3. [11]

    Gompf and Andr\' a s I

    Robert E. Gompf and Andr\' a s I. Stipsicz. 4 -manifolds and K irby calculus , volume 20 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 1999

    1999

  4. [12]

    Kazdan and F

    Jerry L. Kazdan and F. W. Warner. Scalar curvature and conformal deformation of R iemannian structure. J. Differential Geometry , 10:113--134, 1975

    1975

  5. [13]

    Spineurs harmoniques

    Andr\' e Lichnerowicz. Spineurs harmoniques. C. R. Acad. Sci. Paris , 257:7--9, 1963

    1963

  6. [14]

    Surgery theory---foundations , volume 362 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    Wolfgang L\" u ck and Tibor Macko. Surgery theory---foundations , volume 362 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer, Cham, [2024] 2024. With contributions by Diarmuid Crowley

    2024

  7. [15]

    John W. Milnor. Remarks concerning spin manifolds. In Differential and C ombinatorial T opology ( A S ymposium in H onor of M arston M orse) , pages 55--62. Princeton Univ. Press, Princeton, NJ, 1965

    1965

  8. [16]

    Scalar and mean curvature comparison via -bubbles

    Daniel R \"a de. Scalar and mean curvature comparison via -bubbles. Calc. Var. Partial Differential Equations , 62(7):Paper No. 187, 39, 2023

    2023

  9. [17]

    Manifolds of positive scalar curvature: a progress report

    Jonathan Rosenberg. Manifolds of positive scalar curvature: a progress report. In Surveys in differential geometry. V ol. XI , volume 11 of Surv. Differ. Geom. , pages 259--294. Int. Press, Somerville, MA, 2007

    2007

  10. [18]

    Simply connected manifolds of positive scalar curvature

    Stephan Stolz. Simply connected manifolds of positive scalar curvature. Ann. of Math. (2) , 136(3):511--540, 1992

    1992

  11. [19]

    Schoen and S

    R. Schoen and S. T. Yau. On the structure of manifolds with positive scalar curvature. Manuscripta Math. , 28(1-3):159--183, 1979

    1979

  12. [20]

    Positive scalar curvature due to the cokernel of the classifying map

    Thomas Schick and Vito Felice Zenobi. Positive scalar curvature due to the cokernel of the classifying map. SIGMA Symmetry Integrability Geom. Methods Appl. , 16:Paper No. 129, 12, 2020

    2020

  13. [21]

    The S eiberg- W itten invariants and symplectic forms

    Clifford Henry Taubes. The S eiberg- W itten invariants and symplectic forms. Math. Res. Lett. , 1(6):809--822, 1994

    1994

  14. [22]

    C. T. C. Wall. On simply-connected 4 -manifolds. J. London Math. Soc. , 39:141--149, 1964

    1964

  15. [23]

    C. T. C. Wall. Surgery on compact manifolds , volume 69 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, second edition, 1999. Edited and with a foreword by A. A. Ranicki

    1999

  16. [24]

    Width estimate and doubly warped product

    Jintian Zhu. Width estimate and doubly warped product. Trans. Amer. Math. Soc. , 374(2):1497--1511, 2021

    2021

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.