Remark on semi-positive holomorphic sectional curvature and quasi-negative $k$-Ricci curvature

Shiyu Zhang

REVIEW 3 major objections 3 minor 1 cited by

Remark on semi-positive holomorphic sectional curvature and quasi-negative $k$-Ricci curvature

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

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

Pith's one-line read Semi-positive holomorphic sectional curvature ties the MRC fibration to a count of non-truly-flat directions; quasi-negative k-Ricci curvature forces an ample canonical bundle.

desk verdict Second remark likely false under the standard k-Ricci definition; first remark plausible but unverifiable from abstract. read the letter →

arxiv 2508.17237 v2 pith:IRVWLYX7 submitted 2025-08-24 math.DG

Shiyu Zhang This is my paper · ORCID

classification math.DG MSC 53C5532Q1514E30

keywords holomorphicsectionalcurvaturek-RiccimixedamplecanonicalbundleMRCfibrationrationaldimensionKählermanifoldcomparison

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 short paper records two remarks about compact Kähler manifolds. The first says that when the holomorphic sectional curvature is semi-positive, the rational dimension of the maximal rationally connected (MRC) fibration equals the number of directions that are not 'truly flat'—in other words, a birational invariant is read off from a pointwise count of curvature directions. The second says that quasi-negative k-Ricci curvature for any intermediate 10, forces the canonical bundle to be ample. The proof strategy reduces the intermediate curvature conditions to quasi-negative holomorphic sectional curvature by pointwise comparison inequalities, then applies a known ampleness theorem. If correct, the second remark extends ampleness criteria beyond the Ricci-curvature case, and the first gives a curvature-theoretic formula for a key birational invariant.

What carries the argument

The central objects are the k-Ricci curvature (a partial average of holomorphic sectional curvatures that interpolates between holomorphic sectional curvature at k=1 and Ricci curvature at k=n) and the mixed curvature C_{a,b} (a weighted combination of sectional curvatures on a pair of subspaces). The argument runs through two steps: pointwise comparison inequalities converting quasi-negativity of these intermediate curvatures into quasi-negativity of holomorphic sectional curvature; and a structural lemma for semi-positive holomorphic sectional curvature that identifies the non-truly-flat directions with the horizontal directions of the MRC fibration, yielding the rational-dimension formula

What would settle it

A counterexample to the second remark would be a compact Kähler manifold with quasi-negative k-Ricci curvature for some intermediate k (or quasi-negative mixed curvature C_{a,b} with a,b>0) whose canonical bundle is not ample—for instance, a Calabi–Yau threefold admitting such a metric. For the first remark, a compact Kähler manifold with semi-positive holomorphic sectional curvature whose MRC rational dimension differs from the pointwise count of non-truly-flat directions would refute the formula. The comparison inequalities themselves can be checked algebraically on small Hermitian curvature

Watch

Extended reading notes

Core claim

The paper's central claim has two parts. (1) On a compact Kähler manifold with semi-positive holomorphic sectional curvature, the rational dimension of the MRC fibration is exactly the number of non-truly-flat directions; 'truly flat' is a curvature-theoretic notion that isolates directions in which the holomorphic sectional curvature vanishes in a strong sense, and the count of such directions is shown to match the dimension of the base of the fibration. (2) On a compact Kähler manifold with quasi-negative k-Ricci curvature for some 1<k<n, or with quasi-negative mixed curvature C_{a,b} for a,b>0, the canonical bundle is ample. For intermediate k, the k-Ricci curvature lies between the holom

Load-bearing premise

The proof depends on pointwise comparison inequalities that turn quasi-negativity of k-Ricci curvature (1<k<n) or mixed curvature C_{a,b} (a,b>0) into quasi-negativity of holomorphic sectional curvature, and on a structural lemma that matches non-truly-flat directions with the fibers of the MRC fibration; if either fails, the stated conclusions do not follow.

Editorial extensions

If this is right

If the second remark is correct, compact Kähler manifolds with quasi-negative k-Ricci curvature (1<k<n) or quasi-negative mixed curvature C_{a,b} (a,b>0) have ample canonical bundle, hence are projective and have finite fundamental group by standard consequences of ampleness.
The first remark turns the rational dimension of the MRC fibration into a computable curvature datum: on a semi-positive HSC manifold, you can count the non-truly-flat directions at a generic point and read off the fibration's dimension.
The comparison inequalities give a hierarchy: negativity conditions weaker than holomorphic sectional curvature still imply ampleness, so the known theorem applies to a broader class of Kähler metrics.
If the rational-dimension formula holds, it gives a curvature obstruction to the MRC fibration being trivial: a semi-positive HSC manifold with all directions truly flat has rational dimension zero.

Reading between the lines

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

The paper leaves open whether the comparison inequalities are sharp; one could test the optimal range of k and a,b for which quasi-negativity of the intermediate curvature forces quasi-negative HSC.
The rational-dimension formula suggests a more general principle: on varieties with non-negative curvature in various senses, birational invariants may be expressible through the flat locus of the curvature tensor. A next step would be to test the formula on non-compact or singular settings where MRC fibrations still exist.
If the ampleness conclusion holds for mixed curvature C_{a,b}, it may imply new stability or rigidity statements for intermediate Ricci flows, since the curvature conditions are natural in that context.

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.

Desk Editor's Note

read the letter

This is an abstract-only paper, so any verdict is provisional. The two remarks are clear and concise, but the second one is load-bearing and looks shaky. The first remark—that for a compact Kähler manifold with semi-positive HSC, the rational dimension of the MRC fibration equals the number of non-truly-flat directions—is plausible and likely follows from known structural results. If the proof is clean, that is a useful consolidation. The second remark, though, makes me stop. The abstract claims quasi-negative k-Ricci curvature (10) implies ampleness of the canonical bundle. The only cited route from these conditions to ampleness is presumably a comparison inequality that forces quasi-negative HSC. But that comparison is not stated, and under the standard eigenvalue-sum definition of k-Ricci it is false. A concrete counterexample: let M = Σ_1 × Σ_2 × T, where Σ_1 has constant negative HSC, Σ_2 has constant positive HSC, and T is a flat elliptic curve. For n=3, k=2, the 2-Ricci curvature is quasi-negative (nonpositive everywhere, negative on an open set), while HSC is positive somewhere. Also K_M is not ample because it restricts to O(-2) on the Σ_2 factor. So the central ampleness claim fails unless the author is using a nonstandard definition of k-Ricci—for instance, averaging over k-planes or requiring negativity uniformly over all k-dimensional subspaces. The abstract gives no definition, so I cannot judge. The mixed curvature C_{a,b} claim may also overlap with existing work, though I can't check that from the abstract alone. The paper may be salvageable: if the author defines k-Ricci carefully and the comparison goes through under that definition, the result could be a nice remark. But as it stands, the abstract conceals a potentially fatal ambiguity. If the full text is submitted, it deserves a serious referee—the area is active, and the first remark may be correct—but the referee needs the definitions and proofs. I would not cite this based on the abstract, and I wouldn't bring it to a reading group until the full text clarifies the second claim.

Referee Report

3 major / 3 minor

Summary. The paper records two remarks about compact Kähler manifolds. First, if a compact Kähler manifold has semi-positive holomorphic sectional curvature (HSC), the rational dimension of its MRC fibration is asserted to equal the number of non-truly-flat directions. Second, if a compact Kähler manifold has quasi-negative k-Ricci curvature for 1<k<n, or more generally quasi-negative mixed curvature C_{a,b} for a,b>0, the canonical bundle is asserted to be ample. The submission consists only of the abstract; no proofs or definitions are supplied. The claims are consistent with known Wu-Yau-type theorems only if auxiliary comparison inequalities and structural lemmas hold, but none of these are stated.

Significance. If the first remark is correct, it gives a curvature-theoretic formula for the rational dimension of the MRC fibration, extending the flat-locus description of semi-positive HSC manifolds. If the second remark is correct, it extends the Wu-Yau ampleness theorem to intermediate curvature conditions (k-Ricci, mixed curvature C_{a,b}), a substantial step. However, the second claim is not self-contained: under a natural definition of k-Ricci it appears to be false (see Major Comment 1), and in any case no proof or comparison inequality is visible in the abstract. The first claim likewise depends on an unstated structural lemma. The potentially high value of the results is currently outweighed by the absence of verifiable argumentation.

major comments (3)

[Abstract (second claim)] The claimed implication in the second sentence is not well-defined because 'k-Ricci curvature' is not defined. Under the standard definition Ric_k(X) = sum of the k smallest eigenvalues of A_X = R(X,\bar X,\cdot,\cdot), the claim is false. Example: M = \Sigma_1 \times \Sigma_2 \times T, n=3, where \Sigma_1 has constant HSC c_1<0, \Sigma_2 \cong P^1 has constant HSC c_2>0, and T is an elliptic curve. For a unit vector X=(x_1,x_2,x_3) with x_1,x_2\ne 0, the eigenvalues of A_X are c_1|x_1|^2<0, 0, c_2|x_2|^2>0; the sum of the two smallest is c_1|x_1|^2<0. If x_1=0 the sum is 0. Thus Ric_2 is quasi-negative. But HSC(X)=c_1|x_1|^4+c_2|x_2|^4 is positive for |x_1| small and |x_2| close to 1, so quasi-negative HSC does not hold. Moreover K_M is not ample since its restriction to the P^1 factor is O(-2). Hence under this definition the central ampleness claim is false. The paper must state its d
[Abstract (first claim)] The equality 'rational dimension of the MRC fibration equals number of non-truly-flat directions' requires a precise definition of 'truly flat' and a structural lemma identifying the flat locus of a semi-positive HSC metric with the relative base of the MRC fibration. Without that lemma, the count could depend on the metric or on the choice of directions, and the assertion is uncheckable. The abstract gives no such definition or statement.
[Abstract (general)] The submission provides only the abstract; no proof of either remark is included. The reader is told that the results are 'remarks' but no argument, reference to a full paper, or appendix is supplied. For a journal submission this is insufficient to verify the claims, especially given the nonstandard terminology. A full manuscript with definitions, comparison inequalities, and proofs is required before the mathematical validity can be assessed.

minor comments (3)

[Abstract] Please define 'rational dimension' and 'MRC fibration' explicitly, or give references.
[Abstract] Please define the mixed curvature tensor C_{a,b} and state why a,b>0 is the relevant range.
[Abstract] The phrase 'truly flat directions' is nonstandard; give the exact curvature condition (e.g., which curvature tensor vanishes in which directions).

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity evident: abstract-only mathematical remarks with no fitted parameters or definitional identifications.

full rationale

The submission is an abstract-only mathematical note. The claims—(1) a formula for the rational dimension of the MRC fibration in terms of non-truly-flat directions under semi-positive holomorphic sectional curvature, and (2) ampleness of the canonical bundle under quasi-negative k-Ricci or mixed curvature C_{a,b}—are presented as consequences of established theorems and structural lemmas, not as definitions of the relevant quantities. There are no fitted parameters, no normalization choices, and no quantity is defined in terms of the conclusion it is supposed to predict. The skeptical objection about the unstated comparison inequality is a correctness/verifiability concern, not a circularity concern: even if the comparison fails under one definition of k-Ricci, that would make the claim false or under-specified, not circular. No self-citations appear in the available text, and no load-bearing argument reduces to an author-imported uniqueness theorem or ansatz. Because only the abstract is available, a definitive check of the full derivation chain is impossible, but nothing in the provided text exhibits the specific reduction required to claim circularity. The honest finding is therefore no significant circularity (score 0).

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

The ledger is reconstructed from the abstract. This is a pure mathematics remark; no numbers are fitted to data and no new entities are postulated. The axioms listed are the background results the remarks presumably rely on; their precise statements and parameter conditions cannot be verified without the full text. If the proofs introduce ad hoc normalizations or new curvature constants, the ledger would need updating.

assumptions (4)

domain assumption Wu-Yau theorem: a compact Kähler manifold with a Kähler metric of negative holomorphic sectional curvature has ample canonical bundle, including quasi-negative extensions by Chu-Lee-Tam and others.
The ampleness conclusions in the second remark almost certainly route through this theorem; the abstract does not state it, but it is the standard engine for such results.
domain assumption Pointwise comparison inequalities showing that quasi-negative k-Ricci curvature for 1<k<n and quasi-negative mixed curvature C_{a,b} for a,b>0 imply quasi-negative holomorphic sectional curvature.
Without such an implication, the claims do not connect to the Wu-Yau engine; the exact constants and required parameter ranges are not visible from the abstract.
domain assumption Known structure theory of MRC fibrations for compact Kähler manifolds with semi-positive HSC, including rational connectedness results of Yang, Matsumura and others.
The first remark requires that the MRC fibration of a semi-positive HSC manifold exists with properties that let flat directions be identified with fiber directions.
domain assumption Standard compactness and smoothness hypotheses on the Kähler manifold and metric, and the analytic definition of truly flat HSC directions.
These background facts frame the statements; the precise definition of truly flat is not in the abstract.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Remark on semi-positive holomorphic sectional curvature and quasi-negative $k$-Ricci curvature." pith.science (2026). https://pith.science/paper/IRVWLYX7

@misc{pith2026250817237,
  author       = {Pith},
  title        = {Pith review of: Remark on semi-positive holomorphic sectional curvature and quasi-negative $k$-Ricci curvature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IRVWLYX7}},
  note         = {Machine review of arXiv:2508.17237}
}

abstract

We record two remarks. First, for a compact K\"ahler manifold with semi-positive holomorphic sectional curvature, the rational dimension of the MRC fibration is exactly the number of non-truly-flat directions. Second, for compact K\"ahler manifolds with quasi-negative $k$-Ricci curvature, $1<k<n$, or more generally with quasi-negative mixed curvature $C_{a,b}$ for $a,b>0$, the canonical bundle is ample.

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

Hermitian manifolds with nonpositive holomorphic sectional curvature
math.DG 2026-07 accept novelty 7.0 of 10

Nonpositive Hermitian holomorphic sectional curvature on a compact Kähler manifold implies the canonical bundle is nef; vanishing curvature implies vanishing first Chern class.

Pith tools

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