arxiv: 2604.22106 · v1 · submitted 2026-04-23 · 🧮 math.DG

Recognition: unknown

Stable 2-systole bounds in positive scalar curvature

Douglas Stryker

Authors on Pith no claims yet

Pith reviewed 2026-05-08 13:34 UTC · model grok-4.3

classification 🧮 math.DG

keywords stable 2-systolepositive scalar curvaturespin manifolds2-essential manifoldsRiemannian metricsminimal surfacessystolic geometrydifferential geometry

0 comments

The pith

Closed spin 2-essential manifolds have a uniform upper bound on stable 2-systole for all metrics with scalar curvature at least 1.

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

The paper establishes a uniform upper bound on the stable 2-systole that holds for every Riemannian metric with scalar curvature at least 1 on any closed spin 2-essential manifold. This bound depends only on the manifold itself and applies to examples such as S²×S², S²×T^n, and CP^{2n+1}. A sympathetic reader would care because positive scalar curvature is a rigid condition that forces the existence of controlled minimal surfaces in essential homology classes, preventing those surfaces from growing arbitrarily large. The result therefore constrains the possible geometries of these manifolds under a curvature lower bound.

Core claim

The central claim is that the stable 2-systole is uniformly bounded on the space of Riemannian metrics with scalar curvature at least one for closed spin 2-essential manifolds. This means there exists a constant depending only on the manifold such that every metric satisfying Scal ≥ 1 has a stable minimal 2-cycle in a non-trivial homology class whose area is at most that constant. The result covers manifolds including S² × S², S² × T^n, and CP^{2n+1}.

What carries the argument

the stable 2-systole, the infimum of areas of stable minimal surfaces representing non-zero classes in the second homology group

If this is right

Every metric with Scal ≥ 1 must contain a stable minimal 2-cycle whose area is controlled by a manifold-dependent constant.
The bound applies uniformly to all metrics on the listed examples including S²×S² and CP^{2n+1}.
Positive scalar curvature prevents the 2-systole from becoming arbitrarily large in these homology classes.
The result supplies a concrete geometric restriction that follows directly from the spin and 2-essential assumptions.

Where Pith is reading between the lines

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

The bound could be used to study compactness properties of the space of positive scalar curvature metrics on these manifolds.
It may connect to questions about the existence of metrics with Scal ≥ 1 by showing that large systoles are incompatible with the curvature condition.
Explicit computation of the constant on simple cases such as S²×S² would provide a direct test of the result.

Load-bearing premise

The manifolds are closed, spin, and 2-essential so that standard spin-geometric obstructions can be applied to control the areas of minimal surfaces.

What would settle it

A sequence of metrics with scalar curvature at least 1 on one of these manifolds in which the area of every stable minimal 2-cycle tends to infinity would falsify the uniform bound.

read the original abstract

We prove that the stable 2-systole is uniformly bounded on the space of Riemannian metrics with scalar curvature at least one for closed spin 2-essential manifolds, which includes $S^2 \times S^2$, $S^2 \times T^n$, and $\mathbb{C}\mathbb{P}^{2n+1}$.

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.

Desk Editor's Note private letter to a colleague

Stryker shows the stable 2-systole stays uniformly bounded under Scal >=1 on closed spin 2-essential manifolds by combining Dirac index theory with the 2-essential condition.

read the letter

The main takeaway is that this paper establishes a uniform upper bound on the stable 2-systole for any metric with scalar curvature at least 1, but only on closed spin 2-essential manifolds such as S2 x S2, S2 x Tn, and CP^{2n+1}. The argument assumes a sequence of metrics where the stable 2-systole grows without bound, then uses the 2-essential property to produce a homology class that forces a contradiction via the index of the Dirac operator under positive scalar curvature. This is the core of the proof and it appears to run without extra metric assumptions or gaps in the homology handling. What is new here is the focus on the stable 2-systole rather than the more common 1-systole or volume bounds in PSC settings. The paper applies standard spin-geometric tools cleanly to get the uniform control, and the listed examples all fit the hypotheses directly. The work is straightforward and does not introduce new machinery, which keeps it short and readable. The soft spots are limited. The bound is existential rather than effective, so no explicit constant comes out, which is typical for these index arguments but reduces immediate quantitative use. The 2-essential condition is central, and while the abstract names the manifolds, a reader might want a bit more on how restrictive it is in practice. No circularity or hidden fitting appears. This paper is for differential geometers working on positive scalar curvature, systolic geometry, or the moduli space of PSC metrics. Someone already familiar with Dirac operators and minimal surface theory will extract the most value. The thinking is clear and the methods are standard but applied to a fresh setting, so the paper deserves a serious referee. I would recommend sending it to peer review rather than desk rejecting it.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that the stable 2-systole is uniformly bounded above for Riemannian metrics with scalar curvature at least 1 on closed spin 2-essential manifolds, including the examples S²×S², S²×T^n, and ℂP^{2n+1}. The argument proceeds by assuming the systole is arbitrarily large and deriving a contradiction via spin-geometric obstructions.

Significance. If the result holds, it supplies a uniform systolic bound in the positive scalar curvature setting for an interesting class of spin manifolds. The proof combines standard Dirac operator index theory with the 2-essential condition to obtain the contradiction, and treats the listed examples uniformly without hidden metric assumptions. This is a solid, tool-based contribution to systolic geometry that strengthens existing obstructions in PSC manifolds.

minor comments (1)

The abstract is concise but omits any mention of the proof tools (Dirac index theory, 2-essential condition); while not required, a one-sentence indication of the method would improve reader orientation without lengthening the abstract unduly.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report accurately captures the main result and its scope.

Circularity Check

0 steps flagged

No circularity; derivation self-contained via standard index theory

full rationale

The claimed uniform bound follows from applying the Dirac operator index theorem to the 2-essential condition on closed spin manifolds, producing a contradiction if the stable 2-systole is assumed arbitrarily large under Scal ≥ 1. No equations fit parameters to data, no self-definitional loops appear, no load-bearing self-citations reduce the central claim to prior work by the same author, and the argument invokes only external spin-geometric facts without smuggling ansatzes or renaming known results. The listed examples are treated uniformly under the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger records the minimal assumptions visible in the statement: the manifold must be closed, spin, and 2-essential. No free parameters or new entities are introduced in the abstract.

axioms (1)

domain assumption The manifold is closed, spin, and 2-essential
Explicitly required by the theorem statement in the abstract.

pith-pipeline@v0.9.0 · 5330 in / 1299 out tokens · 33122 ms · 2026-05-08T13:34:54.738172+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

An improved cowaist inequality for line bundles and consequences
math.DG 2026-04 unverdicted novelty 7.0

A refinement of Gromov's cowaist inequality for Hermitian line bundles produces sharp stable two-systolic inequalities for odd-dimensional CP^n and improves the stable two-systole upper bound for n-fold S^2 products f...

Reference graph

Works this paper leans on

9 extracted references · 3 canonical work pages · cited by 1 Pith paper · 1 internal anchor

[1]

Geom.13(1995), no

[Ban95] Wojciech Banaszczyk,Inequalities for convex bodies and polar reciprocal lattices inR n, Discrete Comput. Geom.13(1995), no. 2, 217–231. [BBN10] Hubert Bray, Simon Brendle, and Andre Neves,Rigidity of area-minimizing two-spheres in three- manifolds, Comm. Anal. Geom.18(2010), no. 4, 821–830. [BH23] Christian B¨ ar and Bernhard Hanke,Boundary condit...

1995
[2]

Blaine Lawson, Jr.,Spin and scalar curvature in the presence of a fun- damental group

[GL80] Mikhael Gromov and H. Blaine Lawson, Jr.,Spin and scalar curvature in the presence of a fun- damental group. I, Ann. of Math. (2)111(1980), no. 2, 209–230. [Gro83] Mikhael Gromov,Filling Riemannian manifolds, J. Differential Geom.18(1983), no. 1, 1–147. [Gro96a] ,Positive curvature, macroscopic dimension, spectral gaps and higher signatures, Functi...

1980
[3]

[LM23] Yevgeny Liokumovich and Davi Maximo,Waist inequality for 3-manifolds with positive scalar cur- vature, Perspectives in scalar curvature. Vol. 2, World Sci. Publ., Hackensack, NJ, [2023]©2023, pp. 799–831. MR 4577931 [Moo01] John Douglas Moore,Lectures on Seiberg-Witten invariants, second ed., Lecture Notes in Mathe- matics, vol. 1629, Springer-Verl...

2023
[4]

[MW26] Ovidiu Munteanu and Jiaping Wang,Geometry of three-dimensional manifolds with positive scalar curvature, Amer. J. Math.148(2026), no. 1, 131–160. [Ori25] Shunichiro Orikasa,Systolic Inequality and Scalar Curvature, arXiv preprint (2025), arXiv:2509.17376. [Pet16] Peter Petersen,Riemannian geometry, third ed., Graduate Texts in Mathematics, vol. 171...

work page arXiv 2026
[5]

Methods Appl.16(2020), Paper No

[Ric20] Thomas Richard,On the 2-systole of stretched enough positive scalar curvature metrics onS 2 ×S 2, SIGMA Symmetry Integrability Geom. Methods Appl.16(2020), Paper No. 136,

2020
[6]

[RZ23] Thomas Richard and Jintian Zhu,Small two spheres in positive scalar curvature, using minimal hypersurfaces, Perspectives in scalar curvature

[RT26] Oskar Riedler and Thomas Tony,Scalar-rigid submersions are Riemannian products, arXiv preprint (2026), arXiv:2601.14117. [RZ23] Thomas Richard and Jintian Zhu,Small two spheres in positive scalar curvature, using minimal hypersurfaces, Perspectives in scalar curvature. Vol. 2, World Sci. Publ., Hackensack, NJ,

work page arXiv 2026
[7]

©2023, pp. 381–415. [Sha26] Zehao Sha,The 2-systole on compact K¨ ahler surfaces with positive scalar curvature, arXiv preprint (2026), arXiv:2601.02901. [Shi25] Pengshuai Shi,Spectral flow of Callias operators, odd K-cowaist, and positive scalar curvature, Adv. Math.479(2025), Paper No. 110429,

work page internal anchor Pith review Pith/arXiv arXiv 2023
[8]

Stern,Scalar curvature and harmonic maps toS 1, J

[Ste22] Daniel L. Stern,Scalar curvature and harmonic maps toS 1, J. Differential Geom.122(2022), no. 2, 259–269. [SW25] Guangxiang Su and Xiangsheng Wang,K-cowaist on complete foliated manifolds, Algebr. Geom. Topol.25(2025), no. 4, 2037–2052. [Ton25] Thomas Tony,Scalar curvature rigidity and the higher mapping degree, J. Funct. Anal.288(2025), no. 3, Pa...

2022
[9]

[Wan23] Xiangsheng Wang,On a relation between theK-cowaist and the ˆA-cowaist, Proc. Amer. Math. Soc.151(2023), no. 11, 4983–4990. [Xu25] Kai Xu,A topological gap theorem for theπ 2-systole of positive scalar curvature 3-manifolds, Duke Math. J.174(2025), no. 8, 1647–1664. [Zhu20] Jintian Zhu,Rigidity of area-minimizing2-spheres inn-manifolds with positiv...

2023