{"id":"44af3034-d36f-4fb5-91bd-801d151d9e1a","arxiv_id":"2508.17237","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Compact Kähler manifolds with semi-positive holomorphic sectional curvature have MRC fibration rational dimension equal to the number of non-truly-flat directions, and quasi-negative k-Ricci or mixed curvature implies an ample canonical bundle.","lead":"This math paper records two results about compact Kähler manifolds, curved spaces that also carry complex coordinates. The results tie weak curvature conditions to the global structure of the manifold and to positivity of its canonical line bundle.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Second remark hinges on an unstated comparison inequality; under a natural definition of k-Ricci the implication to quasi-negative HSC fails, so the claim is unverifiable without the full definition.","rationale":"The reader identified the comparison inequality as a load-bearing premise but lacked the full text to scrutinize it. I sharpened that concern into a concrete algebraic example that, under the most natural pointwise definition of k-Ricci, shows the implication to quasi-negative HSC fails and the ampleness conclusion would be false. This does not definitively refute the paper, because the authors may intend a different definition of k-Ricci or mixed curvature. The correct verdict remains UNVERDICTED: the abstract alone cannot establish the claim, and the potential counterexample makes the need for the full definition urgent. I do not recommend REJECT or ACCEPT because the outcome depends entirely on the omitted definition. The structural lemma for the first remark is also load-bearing, but the comparison inequality is the more directly testable and more central to the second remark, so I focus there.","tokens_in":766,"tokens_out":13761,"duration_ms":159005,"concrete_test":"Obtain the full text and locate the definition of k-Ricci curvature and the comparison inequality used to reduce to HSC. Then run the algebraic counterexample: for M=\\Sigma_1\\times\\Sigma_2\\times\\mathbb{T} with c_1<0<c_2, compute Ric_2(X)=sum of two smallest eigenvalues of A_X and HSC(X)=c_1|x_1|^4+c_2|x_2|^4. If the paper's definition yields Ric_2(X)\\le0 with strict negativity and HSC(X)>0 for some X, the claim is falsified. If the definition excludes this example, the definition must be stated explicitly in the abstract; without it the reader cannot assess correctness.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract's second claim (quasi-negative k-Ricci, 1<k<n, or quasi-negative C_{a,b}, a,b>0, implies K_X ample) must rest on a pointwise comparison turning these conditions into quasi-negative holomorphic sectional curvature, since the only cited route to ampleness is the Wu-Yau theorem. That comparison is not stated. Under the natural definition of k-Ricci as the sum of the k smallest eigenvalues of the curvature operator A_X = R(X,\\bar X, \\cdot,\\cdot), the comparison is false. Consider M = \\Sigma_1 \\times \\Sigma_2 \\times T, where \\Sigma_1 has constant negative HSC c_1<0, \\Sigma_2 constant positive HSC c_2>0, and T is a flat elliptic curve. For n=3 and k=2, for a unit vector X=(x_1,x_2,x_3) with nonzero x_1,x_2, the eigenvalues of A_X are c_1|x_1|^2<0, 0, c_2|x_2|^2>0, so the sum of the two smallest is c_1|x_1|^2<0; if x_1=0 the sum is 0. Hence Ric_2 is quasi-nonpositive and strictly negative on an open set, so quasi-negative 2-Ricci holds. But HSC(X)=c_1|x_1|^4+c_2|x_2|^4, which is positive for x_1 small and x_2 near 1. Thus quasi-negative k-Ricci does not force quasi-negative HSC. Moreover K_M is not ample because it restricts to O(-2) on the \\Sigma_2=P^1 factor. Therefore, unless the paper uses a nonstandard definition of k-Ricci (e.g., averaging over k-planes in the Ricci-tensor sense, or requiring negativity uniformly over all k-dimensional subspaces), the central ampleness claim is false. The abstract provides no definition, making the claim impossible to verify.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":1163,"tokens_out":7292,"duration_ms":81804,"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":[{"comment":"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","section":"Abstract (second claim)"},{"comment":"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.","section":"Abstract (first claim)"},{"comment":"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.","section":"Abstract (general)"}],"minor_comments":[{"comment":"Please define 'rational dimension' and 'MRC fibration' explicitly, or give references.","section":"Abstract"},{"comment":"Please define the mixed curvature tensor C_{a,b} and state why a,b>0 is the relevant range.","section":"Abstract"},{"comment":"The phrase 'truly flat directions' is nonstandard; give the exact curvature condition (e.g., which curvature tensor vanishes in which directions).","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"The abstract-only submission makes a strong ampleness claim that appears false under a standard definition of k-Ricci; if the paper uses a nonstandard definition, this must be stated in the abstract itself. Given that only the abstract was available, I cannot certify soundness or reject based on the counterexample alone. I recommend requesting the full manuscript before a final decision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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 (1<k<n) or quasi-negative mixed curvature C_{a,b} (a,b>0) 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.","headline":"Second remark likely false under the standard k-Ricci definition; first remark plausible but unverifiable from abstract.","tokens_in":1679,"tokens_out":3205,"would_cite":false,"duration_ms":38458,"reading_group":"maybe","serious_thinker":"unclear","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","32Q15","14E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["holomorphic sectional curvature","k-Ricci curvature","mixed curvature","ample canonical bundle","MRC fibration","rational dimension","Kähler manifold","curvature comparison"],"falsifier":"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","tokens_in":620,"feed_emoji":"📐","tokens_out":7190,"duration_ms":75810,"temperature":0.7,"pith_summary":"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 1<k<n, and more generally quasi-negative mixed curvature C_{a,b} with a,b>0, 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.","feed_headline":"Intermediate curvature negativity forces ample canonical bundle","feed_subtitle":"New remark ties MRC fibration's rational dimension to a count of flat directions","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[],"fun_headline_variants":["MRC fibration dimension equals flat direction count","Quasi-negative k-Ricci yields ample canonical bundle","Semi-positive HSC: MRC dimension from non-flat directions","Mixed curvature negativity forces ample canonical bundle","Flat directions determine MRC fibration's rational dimension"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["MRC fibration dimension equals flat direction count","Quasi-negative k-Ricci yields ample canonical bundle","Semi-positive HSC: MRC dimension from non-flat directions","Mixed curvature negativity forces ample canonical bundle","Flat directions determine MRC fibration's rational dimension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000326,"raw_usage":{"total_tokens":1592,"prompt_tokens":608,"completion_tokens":984,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":352,"completion_tokens_details":{"reasoning_tokens":908}},"tokens_in":352,"tokens_out":984,"duration_ms":9733,"temperature":1.0,"reasoning_tokens":908,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T16:59:17.257072+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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","supporting_citations":[],"review_version":1}