Pith. sign in

REVIEW 4 major objections 4 minor 2 cited by

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

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

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

Pith's one-line read This paper proves that a PSC metric on X × S1 descends to a PSC metric on X whenever the circle direction makes an angle strictly below π/4 with the slice normal at some point of S1.

desk verdict A genuinely new conditional proof of the S1-stability direction via a codimension-two PDE, with a repairable technical gap in the scaling estimate. read the letter →

arxiv 2412.12479 v6 pith:Z2MBMG74 submitted 2024-12-17 math.DG

Steven Rosenberg , Jie Xu This is my paper · ORCID
classification math.DG MSC 53C2158J05
keywords positivescalarcurvatureS1-stabilityconjectureellipticPDEconformalgeometryGauss-CodazziequationYamabeinvariantcodimensiontwo
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

This paper addresses the $\mathbb{S}^1$-stability conjecture, which asserts that a closed oriented manifold $X$ carries a positive scalar curvature (PSC) metric if and only if the product $X \times \mathbb{S}^1$ does, a statement known to fail in dimension four. What the paper tries to establish is the non-trivial direction under a geometric restriction: if a PSC metric $h$ on $X \times \mathbb{S}^1$ has, at some slice $X \times \{P\}$, the circle direction $\partial_\theta$ making an angle strictly less than $\pi/4$ with the unit normal to the slice, then $X$ itself admits a PSC metric. The proof works in every dimension and bypasses spin geometry and minimal surfaces entirely; it thickens the product to $X \times [-1,1] \times \mathbb{S}^1$, solves an elliptic PDE whose ellipticity is exactly the angle condition, and uses a conformal change plus two Gauss-Codazzi reductions to show that the restricted metric on $X$ has positive scalar curvature. If the proof holds, the failure of the conjecture is a geometric phenomenon — the circle direction tilting at least $45^\circ$ away from the slice normal somewhere on every slice — rather than a purely topological one.

What carries the argument

The load-bearing object is the elliptic operator $L' := \nabla_V\nabla_V - \Delta_{\sigma^*g}$ acting on functions on $W = X \times [-1,1]$, where $V$ is the component of the slice normal $\mu$ tangent to $X$ after writing $\mu = a\partial_\theta + V$ with $a = h(\mu, \partial_\theta)^{-1}$. Ellipticity is decided by the principal symbol, whose positivity is equivalent to $|V|^2_h < 1$, i.e. to $h(\partial_\theta, \partial_\theta)/h(\mu, \partial_\theta)^2 < 2$ — the same inequality as the angle hypothesis $\angle_h(\mu, \partial_\theta) < \pi/4$. The operator feeds the PDE $4\nabla_V\nabla_V u - 4\Delta_{\sigma^*g}u + R_g|_W u = F$ with Dirichlet boundary data, whose solution $u$, chosen with arbitrarily small $C^{1,\alpha}$ norm via a source term $F$ concentrated in a thin slab around $X \times \{0\}$, produces the conformal factor $u_M^{4/(n-2)}$ on $M$. Two applications of the Gauss-Codazzi equation — first from $M$ to the hypersurface $X \times \mathbb{S}^1$, then from there to $X$ — convert the positivity of the scalar curvature of $\tilde{g}$ into positivity of $\tau^*\iota^*\tilde{g}$, with comparison lemmas transferring Laplacian and gradient information between $M$, $W$, and the slices.

What would settle it

Search for a counterexample inside the theorem's scope: a closed oriented 4-manifold $X$ with no PSC metric, together with a PSC metric $h$ on $X \times \mathbb{S}^1$ for which $\angle_h(\mu, \partial_\theta) < \pi/4$ at some slice — Theorem 3.1 says no such pair can exist, so finding one would refute it. More locally, one can test the proof's fragile step directly: for an explicit metric such as the round metric on $\mathbb{S}^n \times \mathbb{S}^1$, run the scaling in Lemma 2.3 ($t' = \epsilon^{-1}t$, $\theta' = \epsilon^{-1}\theta$) and compute whether the Sobolev constants really stay bounded as $\epsilon \to 0$; a blow-up would invalidate the estimate (14) and with it the curvature bound (38)–(39).

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is Theorem 3.1: for an oriented closed manifold $X$ with $\dim X = n-1 \geq 2$, if $X \times \mathbb{S}^1$ carries a PSC metric $h$ satisfying $\angle_h(\mu, \partial_\theta) < \pi/4$ on $X \times \{P\}$ for some $P \in \mathbb{S}^1$ — where $\mu$ is the unit normal to the slice chosen so that $h(\mu, \partial_\theta) > 0$ — then $X$ admits a PSC metric. The proof constructs a metric $\tilde{g} = u_M^{4/(n-2)} g$ on $M = X \times [-1,1] \times \mathbb{S}^1$, with $g = h \oplus dt^2$, where $u_M$ is the pullback of $u + 1$ and $u$ solves the elliptic Dirichlet problem $4\nabla_V\nabla_V u - 4\Delta_{\sigma^*g} u + R_g|_W u = F$ on $W = X \times [-1,1]$. The angle hypothesis is precisely the ellipticity condition $h(\partial_\theta, \partial_\theta)/h(\mu, \partial_\theta)^2 < 2$ of the operator $L' = \nabla_V\nabla_V - \Delta_{\sigma^*g}$, and the inhomogeneous term $F$, concentrated near $X \times \{0\}$, makes the solution's $C^{1,\alpha}$ norm arbitrarily small while remaining dominant when the scalar curvature of $\tau^*\iota^*\tilde{g}$ is estimated through two applications of Gauss-Codazzi. The paper states as Corollary 3.1 that any counterexample to the conjecture must have angle at least $\pi/4$ on every slice, and as Corollary 3.2 that under the angle condition a positive Yamabe invariant on the product forces one on the base.

Load-bearing premise

The load-bearing premise is the technical estimate in Lemma 2.3: the second derivative of the constructed solution in the extra dimension $t$ can be made arbitrarily small near the middle slice, which rests on a scaling argument whose Sobolev constants are claimed to stay bounded as $\epsilon \to 0$; if that bound fails, the positivity of the final scalar curvature is no longer forced.

Editorial extensions

If this is right

  • The $\mathbb{S}^1$-stability conjecture becomes a theorem for every metric satisfying the angle condition: a PSC metric on $X \times \mathbb{S}^1$ forces one on $X$ in all dimensions, with no spin, minimal-surface, or dimension hypotheses.
  • Conversely, every known or possible counterexample — such as the odd-degree hypersurface in $\mathbb{CP}^3$ and the connected sums $M \# k\mathbb{CP}^2$ discussed in the paper — must have angle $\angle_h(\mu, \partial_\theta) \geq \pi/4$ somewhere on every slice $X \times \{P\}$ (Corollary 3.1).
  • Under the angle condition the Yamabe invariant propagates from product to base: $\lambda_h(X \times \mathbb{S}^1) > 0$ implies $\lambda_{\tau^*h}(X) > 0$ (Corollary 3.2).
  • The obstruction to the conjecture is located geometrically — in how far the circle direction tilts from the slice normal — rather than in a topological invariant, for the class of metrics the theorem covers.

Reading between the lines

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

  • The equality of the geometric threshold ($\pi/4$) and the ellipticity threshold ($|V|^2 < 1$) suggests the angle condition is not a technical artifact: the condition that makes curvature descend is the same condition that makes the auxiliary PDE solvable, and probing that coincidence in related descent problems could be productive.
  • The trick of adding a dimension to turn a non-elliptic operator into an elliptic one (the analogous operator on $X \times \mathbb{S}^1$ alone is $\nabla_\mu\nabla_\mu - \Delta_h$, which is never elliptic) could plausibly transfer to other problems where curvature or index information must pass between a manifold and a submanifold or quotient.
  • A concrete check: take a known four-dimensional counterexample and the PSC product metric on it that is known to exist, compute the angle field $\angle_h(\mu, \partial_\theta)$ slice by slice, and locate where the $\pi/4$ threshold is crossed; Corollary 3.1 predicts a crossing on every slice, and the angular profile would show how sharp the theorem's hypothesis is.
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

4 major / 4 minor

Summary. The paper proposes a proof of the S^1-stability conjecture for positive scalar curvature under an additional geometric hypothesis: for a fixed P in S^1, the angle between the unit normal to the slice X x {P} and the circle direction is < pi/4 (Theorem 3.1). The strategy is to extend the metric on X x S^1 to a product metric on W x S^1 with W = X x [-1,1], to solve an elliptic PDE with a carefully chosen inhomogeneous term F concentrated near X x {0}, and then to use two Gauss-Codazzi steps together with conformal changes to show that the induced metric on X has positive scalar curvature. The main technical work is in Section 2: ellipticity of the operator L', existence of a C^{1,alpha}-small solution of the Dirichlet problem, a partial C^2-estimate for the solution in the t-direction, and comparison formulas for Laplacians and conformal factors. Section 3 assembles these estimates into the proof of Theorem 3.1 and derives two corollaries about Yamabe invariants and obstructions for counterexamples.

Significance. If the proof is correct, the paper establishes a genuinely new conditional result: the first PDE-based proof that a PSC metric on X x S^1 satisfying a local angle bound forces a PSC metric on X. The introduction of the auxiliary interval W and the use of the relative Yamabe invariant to control the t-derivative are plausible and potentially reusable ideas. The claimed theorem is not circular: the constants in Proposition 2.1 are chosen to satisfy inequalities, not to force the conclusion, and the main theorem follows from the constructed solution of the elliptic PDE. A notable strength is that the angle condition is explicit and falsifiable, leading to the clean obstruction statement in Corollary 3.1. However, the proof as printed is not fully sound: the scaling argument in Lemma 2.3 contains a missing factor, and several notational inconsistencies make the estimates hard to verify. These issues are local and repairable, so the central strategy is defensible.

major comments (4)
  1. [Lemma 2.3, Eqs. (21)-(22)] The scaling argument with theta' = epsilon^{-1} theta drops a factor. After this change of variables one has \int_{S^1} d\theta' = 2\pi/\epsilon, so converting the M,g' norm in (20)-(21) back to W,sigma*g' produces an additional factor (2\pi/\epsilon)^{1/q} with q = 2(n+1)/(n-1). This factor is not present in the equality at the end of (22), which is therefore dimensionally inconsistent. As a result, the displayed derivation of the bound just below (22) does not follow. This is load-bearing because the estimate (14) is used in (38)-(39) to subtract 4\eta' from the scalar curvature; if the bound on \partial^2 u / \partial t^2 is not established, the positivity conclusion is not justified. The missing factor appears repairable: inserting it and propagating it through (19), (23), and the last line of the proof yields a bound of the form \bar D \epsilon^{1/(n+1)} \eta + \bar D'(C+1)\epsilon^{1/2}, which can still be made smaller than \eta' by fixing \eta and then shrinking \epsilon. The lemma needs a corrected scaling proof, not a new idea.
  2. [Setup and Lemma 2.3, dimension convention] The dimension notation is internally inconsistent. At the beginning of Section 2 the paper states "We assume dim(M) = n-1 \ge 2", while Lemma 2.3 and the Sobolev exponent in (20)-(21) require dim M = n+1 when dim X = n-1. The conformal powers and the critical exponent q = 2(n+1)/(n-1) in (21) are those for a manifold of dimension n+1, and the proof of Theorem 3.1 uses the convention that n = dim(X \times S^1). The statement "dim(M) = n-1" is therefore a typo that affects how every Sobolev and conformal formula in the paper is read. This should be corrected globally, since a reader trying to verify the estimates in Section 2 cannot tell whether n denotes dim X, dim(X \times S^1), or dim M.
  3. [Eq. (38) in the proof of Theorem 3.1] In the displayed chain (38), the term printed as 4\nabla_V u_Y \nabla_V u_Y is not the term that appears in (37) and (39), which require the Hessian 4\nabla_V\nabla_V u_Y. If the printed product of gradients were used, the expression would not have the correct homogeneity and the subsequent rearrangement with the K_2 term would not be valid. The preceding equation (37) and the following equation (39) make clear that the Hessian is intended, but the typo should be fixed in a revision.
  4. [Proposition 2.1, injectivity argument] The sentence "The operator L is injective: if Lu = 0, then combining Lem. 2.1, (10) and the maximum principle gives u = 0" needs more detail. Since L contains the first-order operator \nabla_V\nabla_V, the maximum principle for Lu = 0 with u = 0 on \partial W requires the zeroth-order coefficient R_{g|\sigma(W)} to be nonnegative and the argument must account for the non-symmetric first-order terms. This is likely correct, but the proof as written is too compressed for a step that underlies the Fredholm alternative and the spectral estimate (12).
minor comments (4)
  1. [Title] The typeset title contains a spacing artifact: "S1-ST ABILITY" should almost certainly be "S^1-Stability".
  2. [References] Reference [9] in the bibliography contains the malformed URL "https://https://arxiv.org/abs/2302.05521"; one "https://" should be removed.
  3. [Remark 2.1(ii)] The claim that u_W := u+1 is positive for \eta \ll 1 follows from the C^{1,\alpha} bound (8), but the proof does not state the explicit threshold \eta < 1. Adding this one-line justification would make the remark self-contained.
  4. [Lemma 2.2] The proof of Lemma 2.2 asserts that the L^p norm of F on X \times [-\epsilon,\epsilon] is smaller than \delta for sufficiently small \epsilon. This is correct because F is bounded by C+1 and the volume of the support shrinks, but the sentence hides the dependence of the volume on \epsilon; spelling out the estimate would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the PSC metric on X is constructed from a PDE whose inhomogeneous term is freely chosen; the conclusion is not used as an input.

full rationale

The paper's proof is constructive and self-contained. Theorem 3.1 is proved by solving the elliptic PDE (7) on W with an explicitly chosen inhomogeneous term F that is concentrated near X × {0}, taking F = C + 1 there by Lemma 2.2. The final positivity bound on R_{τ^*ι^*\tilde g} in (39) is obtained by choosing C large, so the auxiliary term F dominates the curvature terms; this is a standard freedom in a conformal-PDE construction, not a fit of the theorem's conclusion. The solution u and all needed estimates (small C^{1,α} norm in Proposition 2.1, the second-derivative bound in Lemma 2.3, and the smallness of B1 and K2) are proven in the paper, with the angle hypothesis entering only to guarantee ellipticity in Lemma 2.1. The only self-citation is [9], invoked as motivation ('motivated by [9], we consider a conformal transformation of g to \tilde g'), and it is not load-bearing for the proof. No equation is equivalent by construction to an input, and no fitted parameter is renamed as a prediction.

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

The proof relies on standard elliptic theory and conformal/CR geometry tools. The only invented entity is the auxiliary interval factor added to create ellipticity; it carries no independent falsifiable evidence, but the paper explains its role. No numerical constants are fitted to data.

assumptions (5)
  • domain assumption Closed oriented X, dim X = n-1 ≥ 2; product geometry with g = h ⊕ dt² on M = X×[-1,1]×S¹
    Imposed in Thm 3.1 and the setup in §2.
  • domain assumption h is a PSC metric on X×S¹ and satisfies the angle bound ∠_h(μ,∂_θ) < π/4 at X×{P}
    This is the hypothesis of Thm 3.1; ellipticity of L' in Lem 2.1 depends on it via (4).
  • standard math Standard elliptic regularity, Fredholm alternative, Sobolev embedding for compact manifolds with boundary
    Used in Prop 2.1 for existence and regularity of u.
  • standard math Relative Yamabe constant λ(M,∂M,[g]) > 0 and the Sobolev inequality (20) hold whenever R_g > 0 on M with product metric
    Invoked before (20) in Lem 2.3; positivity of λ is essential for the estimates.
  • standard math Gauss-Codazzi equations and conformal transformation formulas for scalar and Ricci curvature
    Used in the proof of Thm 3.1, equations (35)-(36).
invented entities (1)
  • Auxiliary interval factor W = X×[-1,1] added to X×S¹
    purpose: To make the conformal PDE elliptic by adding a t-direction; the analogous operator on X×S¹ is non-elliptic (see before Lem 2.1).
    The extra dimension is an analytical device with no independent evidence outside the paper; it is explained in the text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Codimension Two Approach to the $\mathbb{S}^1$-Stability Conjecture." pith.science (2026). https://pith.science/paper/Z2MBMG74

@misc{pith2026241212479,
  author       = {Pith},
  title        = {Pith review of: A Codimension Two Approach to the $\mathbbS^1$-Stability Conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z2MBMG74}},
  note         = {Machine review of arXiv:2412.12479}
}
abstract

J. Rosenberg's $\mathbb{S}^1$-stability conjecture states that a closed oriented manifold $X$ admits a positive scalar curvature metric iff $X\times \mathbb{S}^1$ admits a positive scalar curvature metric $h$. As pointed out by J. Rosenberg and others, there are known counterexamples in dimension four. We prove this conjecture whenever $h$ satisfies a geometric bound which measures the discrepancy between $\partial_\theta\in T\mathbb{S}^1$ and the normal vector field to $X\times \{P\}$, for a fixed $P\in \mathbb{S}^1.$

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. The Rosenberg $ \mathbb{S}^{1} $-Stability Conjecture for $ \chi(X) = 0 $

    math.DG 2026-07 conditional novelty 7.0 of 10

    For closed oriented manifolds X with dim X ≥ 5 and χ(X)=0, the Rosenberg S¹-stability conjecture holds: X × S¹ admits a PSC metric if and only if X does.

  2. Scalar and Mean Curvature Comparison on Compact Cylinder

    math.DG 2025-07 conditional novelty 5.0 of 10

    On a compact cylinder X×I with positive scalar curvature and nonnegative mean curvature, the angle condition guarantees existence of a metric with positive scalar curvature on X, forcing negative mean curvature if X a...

Reference graph

Works this paper leans on

10 extracted references · 7 canonical work pages · cited by 2 Pith papers

  1. [9]

    Ruberman, S

    D. Ruberman, S. Rosenberg, and J. Xu. The conformal Laplacian and positive scalar curvature metrics on manifolds with boundary. https://https://arxiv.org/abs/2302.05521. 2023

    arXiv 2023

  2. [1]

    Agmon, A

    S. Agmon, A. Douglis, and L. Nirenberg. Estimates near the boundary for solutions of elliptic partial differential equstions satisfying general boundary conditions I. Commun. Pure Appl. Math , 12:623–727, 1959

    1959

  3. [2]

    Akutagawa and B

    K. Akutagawa and B. Botvinnik. The relative Yamabe invariant. Comm. Anal. Geom. , 10(5):935–965, 2002

    work page 2002

  4. [3]

    Carlotto and C

    A. Carlotto and C. Li. Constrained deformations of positive scalar curvature metrics. J. Differential Geometry , 126(2), 2024. 14 S. ROSENBERG AND J. XU

    work page 2024

  5. [4]

    Cherrier

    P. Cherrier. Probl´ emes de Neumann non lin´ eaires sur les vari´ et´ es Riemanniannes.J. Funct. Anal. , 57:154–206, 1984

    work page 1984

  6. [5]

    O. Chodosh. Stable minimal surfaces and positive scalar curvature. https://web.stanford.edu/~ochodosh/ Math258-min-surf.pdf

    work page

  7. [6]

    Positive scalar curvature and exotic structures on simply connected four manifolds

    A. Kumar and B. Sen. Positive scalar curvature and exotic structures on simply connected four manifolds. https://arxiv.org/abs/2501.01113. 2025

    work page Pith review arXiv 2025

  8. [7]

    D. R¨ ade. Scalar and mean curvature comparison viaµ-bubbles. Calc. Var. Partial Differential Equations, 62(187), 2023

    2023

Show all 10 references
  1. [8]

    Rosenberg

    J. Rosenberg. Manifolds of positive scalar curvature: a progress report. Surveys in Differential Geometry , 11(1):259–294, 2006

    2006

  2. [10]

    R. Zeidler. Band width estimates via the Dirac operator. J. Differential Geom. , 122(1):155–183, 2022. Department of Mathematics and Statistics, Boston University, Boston, MA, U.S.A. Email address : sr@math.bu.edu Department of Mathematics, Northeastern University, Boston, MA,...

    2022

Pith tools

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