Pith. sign in

REVIEW 2 major objections 5 minor 5 references

Homological $k$-systole in $n$-manifolds with positive intermediate curvature

T0 review · 2 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read For closed n-manifolds with positive triRic curvature and a nontrivial cup product of two 1-dimensional cohomology classes, the paper proves a sharp upper bound on the (n-2)-systole in terms of the sphere area, with equality exactly when th

desk verdict The (n-2)-systolic inequality for triRic is likely correct for n=4-6, but the proof leans on an unproved companion-paper slicing lemma and the abstract overstates the range. read the letter →

arxiv 2601.12461 v2 pith:T5XGF3KF submitted 2026-01-18 math.DG

Jingche Chen , Han Hong This is my paper
classification math.DG MSC 53C2053C2153C42
keywords systolicinequalitytriRiccurvatureintermediatestableweightedslicingspectralvolumecomparisonmetricdeformationrigidityhomology
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

The paper attempts to establish a sharp upper bound on the area of the least-area (n-2)-dimensional homology cycle in a closed n-dimensional manifold whose gamma-triRic curvature is positive, and to prove that equality forces the manifold to be isometrically covered by S^{n-2} × R^2. A sympathetic reader would care because it extends the sphere-systole rigidity known in dimension 3 and for hypersurfaces to codimension-two cycles, with an explicit sharp constant involving only the dimension. The proof proceeds by constructing a stable weighted 2-slicing from a pair of cohomology classes, applying a spectral volume comparison to the innermost slice, and then using metric deformation to propagate rigidity to the whole manifold. The main theorems cover n=4,5 for ordinary triRic curvature and n=4,5,6 for the gamma-weighted variant under a specific parameter range.

What carries the argument

The load-bearing object is the stable weighted 2-slicing: a nested pair Sigma2 ⊂ Sigma1 ⊂ M, each a stable critical point of a weighted area functional with weight functions rho1, rho2, and whose homology classes are the Poincare duals of alpha1 and alpha1 cup alpha2. The proof's engine is a refined spectral volume comparison (Theorem 2.1) that bounds the volume of a manifold whose spectral Ricci curvature is controlled by a gradient term; applying it to Sigma2 gives |Sigma2| ≤ |S^{n-2}|. Equality in the comparison forces Sigma2 round, both slices totally geodesic, and then a splitting lemma propagates the product structure.

What would settle it

A concrete check: in the proof of Theorem 2.1, substitute the defined alpha=2gamma/(n-1) into the printed Holder step; the exponent 2alpha-3gamma equals gamma(4/(n-1)-3), which is negative for every n ≥ 4, so the inequality u^{2alpha-3gamma} ≤ ... would need reversal. Verifying whether the intended exponent is a typo and whether the inequality can be repaired would settle the volume comparison. Alternatively, attempting to run the stable-weighted-slicing construction on a product S^{n-2} × T^2 would test whether Lemma 2.4's conclusion really follows from the cup-product assumption.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.4: for n=4,5,6, any closed oriented n-manifold carrying cohomology classes alpha1, alpha2 with alpha1 cup alpha2 != 0 and gamma-triRic curvature bounded below (with gamma in the stated interval) satisfies sys_{n-2}(M,g) ≤ (n-3)^{(n-2)/2} |S^{n-2}| / (inf gamma-triRic)^{(n-2)/2}; equality implies the universal cover is isometrically S^{n-2} × R^2. The sharp constant is exactly the sphere's area scaled by the curvature lower bound, and the rigidity statement says the round sphere product is the unique equality case up to covering.

Load-bearing premise

The entire argument depends on Lemma 2.4's assertion that the cohomological condition alpha1 cup alpha2 != 0 guarantees a stable weighted 2-slicing Sigma2 ⊂ Sigma1 with the prescribed homology classes; the paper does not prove this lemma, citing a companion work, and if that existence statement fails the inequality has no starting point.

Editorial extensions

If this is right

  • If correct, the (n-2)-systolic inequality with sharp constant holds for all closed 4- and 5-manifolds with positive triRic and a nontrivial cup product of two 1-classes, and in dimension 6 under the stated gamma range.
  • Equality rigidity gives a new recognition theorem: the only way to attain equality is the standard product S^{n-2} × R^2 (up to covering).
  • The result supplies the missing codimension-two analogue of the hypersurface systole theorem, showing the same sphere-area constant appears one dimension lower.
  • The proof framework, if valid, yields a roadmap for k-systolic inequalities: use a stable weighted k-slicing and a weighted spectral comparison on the deepest slice.

Reading between the lines

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

  • The gamma parameter window sqrt(n-3)/2 < gamma ≤ 3(n-1)/(4(n-2)) looks like a technical artifact of the quadratic-form estimates; a natural testable extension would be asking whether the theorem holds for all gamma in (0,1] or for all n ≤ 7 when the generic regularity hypothesis is assumed.
  • The proof of Theorem 2.1 contains a Holder step whose printed exponent appears negative for n ≥ 4; if that step cannot be repaired, the volume comparison may need a different formulation, and the systole inequality would need another source.
  • The topological hypothesis (existence of alpha1 cup alpha2 != 0) could perhaps be weakened to the existence of a stable weighted 2-slicing directly; whether such slicings always exist under weaker cohomological conditions is a question the paper leaves implicit.
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

2 major / 5 minor

Summary. The paper proves a sharp homological (n-2)-systolic inequality for closed oriented n-manifolds with n=4,5,6, assuming the existence of two H^1 classes whose cup product is nonzero and a lower bound on gamma-triRic curvature. Under a normalization inf gamma-triRic = n-3, the main result asserts sys_{n-2}(M,g) <= |S^{n-2}|, with equality implying that M is isometrically covered by S^{n-2} x R^2. The proof reduces the inequality to Lemma 3.1, which bounds the area of the second slice Sigma_2 of a stable weighted 2-slicing by |S^{n-2}| using a weighted spectral volume comparison (Theorem 2.1). The rigidity proof then uses metric-deformation and splitting arguments to propagate the equality from Sigma_2 to a global product splitting.

Significance. If fully verified, this is a substantial advance: it gives the first sharp codimension-two homological systole estimate under intermediate curvature and unifies the earlier codimension-one results of Bray-Brendle-Neves and Chu-Lee-Zhu. The weighted spectral comparison theorem (Theorem 2.1) and the algebraic absorption in Lemma 3.1 are elegant and appear internally consistent for the inequality part. The main caveats are the heavy reliance on an unpublished companion paper for the existence of the slicing, and an apparent gap in the dimension range of the spectral comparison when applied to Sigma_2 for n=4. These points need to be resolved before the result can be regarded as fully established.

major comments (2)
  1. [§2.2, Lemma 2.4] This lemma is the only bridge from the cohomological hypothesis alpha_1 cup alpha_2 != 0 to the geometric slice Sigma_2 whose area is bounded. Its proof is the single sentence 'The proof follows exactly from [CH25, Lemma 2.4] by ignoring the boundary,' where [CH25] is an unpublished companion preprint. The present paper does not state the precise hypotheses needed for the closed case, nor does it reproduce the argument. In particular, the introduction mentions a 'Generic regularity hypothesis' that is never defined and is not made a hypothesis of Theorems 1.3-1.4 or Lemma 2.4. Since the main inequality and the rigidity both run on the existence and regularity of this slicing, the authors must either prove Lemma 2.4 in this paper or state the companion result in full and verify its hypotheses for a closed oriented manifold.
  2. [§3, Lemma 3.1 / §2.1, Theorem 2.1] Theorem 2.1 is stated only for dimensions 3 <= n <= 7. In Lemma 3.1 the theorem is applied to the slice Sigma_2, whose dimension is n-2. For n=4 this dimension is 2, outside the stated range. Since Theorem 1.3 explicitly includes n=4, the inequality for n=4 rests on an unproved extension of Theorem 2.1 to surfaces. Please either state and prove the n=2 case, or treat n=4 separately. Relatedly, when applying Theorem 2.1 to Sigma_2 the coefficient of |∇log rho_2|^2 in (3.5) is (n-2)/(n-1) gamma^2, not (dim Sigma_2 - 2)/(dim Sigma_2 - 1) gamma^2 = (n-4)/(n-3) gamma^2. For n>=5 the former is larger and hence sufficient, but this should be stated explicitly.
minor comments (5)
  1. [Abstract] The abstract states results 'for 3 <= n <= 7' and mentions general 'optimal k-systolic inequalities', while the theorems cover only k = n-2 and n = 4,5,6. Please align the abstract with the actual results.
  2. [§4.1, Lemmas 4.1-4.2] The displayed inequalities contain a typo: '(r^2 - ρ^3)^3' should read '(r^2 - ρ^2)^3' in both lemmas.
  3. [§4.2, Corollary 4.6 and §4.3] The text refers to 'Theorem 2.5' when invoking the splitting result; the statement is Lemma 2.5.
  4. [Introduction, after Theorem 1.4] The phrase 'Even though Generic regularity hypothesis is assumed' is undefined. If this is a standing hypothesis, it must be named and included in the theorem statements; otherwise it should be removed.
  5. [§3, Lemma 3.1] The coefficient mismatch noted in the second major comment is harmless for n>=5 but deserves an explicit sentence to prevent the reader from thinking Theorem 2.1 is applied with the wrong dimension.

Circularity Check

1 steps flagged · score 4.0 of 10

Main theorem rests on Lemma 2.4, whose proof is deferred verbatim to the same authors' companion [CH25]; otherwise the derivation is self-contained.

  1. self citation load bearing [Lemma 2.4, Section 2.2 (page 8)]
    "Proof.The proof follows exactly from [CH25, Lemma 2.4] by ignoring the boundary."

    Lemma 2.4 is the sole bridge from the cohomological hypothesis α1∪α2≠0 to the stable weighted 2-slicing Σ2⊂Σ1⊂M whose area is later bounded in Lemma 3.1. Without it there is no slice to feed into Theorem 2.1, so Theorems 1.3–1.4 have no operative content. The proof is not given here; it is imported from [CH25], the same authors' companion preprint, and the hypotheses of that companion result (including the 'Generic regularity hypothesis' mentioned in the introduction but not listed in Theorems 1.3–1.4 or Lemma 2.4) are not reproduced. Thus the central premise is justified only by a self-citation whose content is not verified in this paper.

full rationale

Apart from Lemma 2.4, the derivation chain is not circular. The target inequality has a fixed constant (n−3)^{(n−2)/2}|S^{n−2}|, the curvature lower bound is a genuine hypothesis, and no parameter is tuned to force the systole to equal |S^{n−2}|. Lemma 3.1 derives |Σ2|≤|S^{n−2}| from the weighted spectral comparison Theorem 2.1, whose proof is sketched from the external references [AX24] and [CLMS26]; the splitting Lemma 2.5 is sourced from [HK78]. None of these steps reduces the claimed theorem to its own statement. The load-bearing reliance is Lemma 2.4: the paper's one-line proof refers entirely to the authors' own companion preprint [CH25], and the introduction's caveat that a 'Generic regularity hypothesis is assumed' is not made a formal hypothesis of the main theorems or of Lemma 2.4. This is a self-citation carrying the bridge from topology to geometry, so the main theorem inherits any unstated assumptions there. That is a real circularity-burden signal, but it is not an equation-level derivation of the target inequality from its inputs, so a moderate score of 4 is appropriate.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

The edifice rests on two imported black boxes and one standard splitting theorem. Lemma 2.4 (stable weighted 2-slicing from a cup product) is taken verbatim from the authors' companion preprint [CH25]; Theorem 2.1 (weighted spectral volume comparison) is claimed to be 'basically contained in [AX24]' with a sketch whose Holder step I could not verify. The gamma-interval is an analytically forced constraint, not a fit. No invented entities: gamma-triRic is a new curvature contraction but is defined from the Riemann tensor with clear content and no independent-evidence burden.

free parameters (2)
  • gamma (triRic curvature parameter) = range constraint sqrt(n-3)/2 < gamma <= 3(n-1)/(4(n-2))
    The theorem is parameterized by gamma; the range is exactly the interval on which the algebraic estimates in Lemma 3.1 close (gradient bound (3.4) needs gamma <= 3(n-1)/(4(n-2)); PSD of quadratic forms (3.6)-(3.7) needs gamma >= sqrt(n-3)/2). For n >= 7 the interval is empty, which the authors themselves note limits the method to n <= 6.
  • conformal exponent 5 in deformation f = t(r^2-rho^2)^5 = 5
    Chosen by hand (following [CLZ25a]) so that the Hessian estimates (4.2)-(4.3) produce the margin 75t rho^2 (r^2-rho^2)^3 in Lemmas 4.1-4.2; a methodological constant, not fitted to any data.
assumptions (4)
  • domain assumption Existence of a stable weighted 2-slicing Sigma2 subset Sigma1 realizing the Poincare dual of alpha1 cup alpha2 (Lemma 2.4)
    Imported verbatim from the authors' companion preprint [CH25, Lemma 2.4]; the proof is not reproduced here. If this existence theorem is false or requires extra hypotheses (e.g. generic regularity) not stated in Lemma 2.4, the inequality has no way to start.
  • domain assumption Weighted spectral volume comparison (Theorem 2.1): gamma Delta log u + (n-2)/(n-1) gamma^2 |grad log u|^2 + (n-1) <= Ric implies Vol <= Vol(S^n), with rigidity
    Proof is said to be 'basically contained in [AX24]'; the sketch given includes a Holder step whose printed exponent (2alpha-3gamma < 0 for n >= 4) I could not verify. The entire area bound |Sigma2| <= |S^(n-2)| and its equality rigidity rest on this theorem.
  • standard math Splitting theorem (Lemma 2.5): nonnegative Ricci + a closed two-sided locally area-minimizing hypersurface imply a local splitting; if homology-minimizing, the cover splits off an R factor
    Quoted from [HK78] (Heintze-Karcher Theorem 3.2(d)); used repeatedly to propagate splittings from Sigma2 to Sigma1 to M in the rigidity argument.
  • domain assumption Regularity of area / weighted-area minimizers (no singularities) in the dimensions used
    The paper mentions a 'Generic regularity hypothesis' for the slicing construction without listing it among the theorem hypotheses; smoothness of Sigma1 and of the rho1-weighted minimizer Sigma2 is needed throughout Sections 3-4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Homological $k$-systole in $n$-manifolds with positive intermediate curvature." pith.science (2026). https://pith.science/paper/T5XGF3KF

@misc{pith2026260112461,
  author       = {Pith},
  title        = {Pith review of: Homological $k$-systole in $n$-manifolds with positive intermediate curvature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T5XGF3KF}},
  note         = {Machine review of arXiv:2601.12461}
}
abstract

In this paper, we prove optimal $k$-systolic inequalities and characterize the case of equality on closed $n$-dimensional Riemannian manifolds with positive intermediate curvature for $3\leq n\leq 7$. This unifies prior works of Bray-Brendle-Neves \cite{BrayBrenleNevesrigidity} and Chu-Lee-Zhu \cite{chuleezhu_n_systole}, and extends them to higher codimensions. The proof is inspired by our recent work on splitting theorems under intermediate curvature \cite{chenhong2026}.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

5 extracted references · 2 linked inside Pith

  1. [1]

    New spectral bishop-gromov and bonnet- myers theorems and applications to isoperimetry.arXiv:2405.08918,

    [AX24] Gioacchino Antonelli and Kai Xu. New spectral bishop-gromov and bonnet- myers theorems and applications to isoperimetry.arXiv:2405.08918,

    arXiv

  2. [4]

    A splitting theorem for manifolds with nonneg- ative spectral ricci curvature and mean-convex boundary.arXiv:2503.07009,

    [HW25b] Han Hong and Gaoming Wang. A splitting theorem for manifolds with nonneg- ative spectral ricci curvature and mean-convex boundary.arXiv:2503.07009,

    arXiv

  3. [5]

    Rigidity and nonexistence of CMC hypersurfaces in 5-manifolds.arXiv:2405.06867,

    [HY24] Han Hong and Zetian Yan. Rigidity and nonexistence of CMC hypersurfaces in 5-manifolds.arXiv:2405.06867,

    arXiv

  4. [2019]

    Nonexistence of the metric with positive inter- mediate curvatures on manifolds with boundary.arXiv:2510.13099,

    [CH25] Jingche Chen and Han Hong. Nonexistence of the metric with positive inter- mediate curvatures on manifolds with boundary.arXiv:2510.13099,

    arXiv

  5. [2025]

    Stable minimal hypersurfaces inR 5.arXiv:2401.01492, to appear in Ann

    [CLMS26] Otis Chodosh, Chao Li, Paul Minter, and Douglas Stryker. Stable minimal hypersurfaces inR 5.arXiv:2401.01492, to appear in Ann. of Math.,

    arXiv

Pith tools

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