{"id":"13a353da-05db-4b06-bc93-8b0ec2c28c53","arxiv_id":"2607.23246","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Nonpositive Hermitian holomorphic sectional curvature on a compact Kähler manifold implies the canonical bundle is nef; vanishing curvature implies vanishing first Chern class.","lead":"A compact Kähler manifold carrying a Hermitian metric with nonpositive holomorphic sectional curvature must have nef canonical bundle, even though the metric itself need not be Kähler. The same paper shows that identically vanishing curvature forces the first Chern class to vanish, yielding a Ricci-flat Kähler metric.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1(1) rests on Ou's uniruledness criterion; if [17] is incomplete or inapplicable, the proof of nefness fails.","rationale":"The reader's weakest_assumption is correct: the proof of Theorem 1.1(1) has no internal gap in the Chern–Lu part, but the transition from 'no rational curves' to 'K_X nef' passes through two external birational-geometry results. The load-bearing one is Ou's characterization of uniruled compact Kähler manifolds, a recent arXiv preprint that must hold in every dimension to close the induction in Cao–Höring's theorem. If [17] is wrong, incomplete, or only valid under extra hypotheses (e.g., projectivity), the central proof does not go through. I therefore recommend a conditional verdict: the paper's mathematics is sound modulo an unverified external input. If [17] is independently verified or has appeared in a refereed venue, the concern is resolved and the original ACCEPT verdict can stand.","tokens_in":8567,"tokens_out":29126,"duration_ms":306488,"concrete_test":"Verify the exact statement and proof of Ou [17, arXiv:2501.18088], checking (a) that it proves 'K_Y pseudoeffective ⇔ Y not uniruled' for all compact Kähler manifolds without extra hypotheses, and (b) that its proof does not invoke Cao–Höring's Theorem 1.3 for the same dimension. As a concrete analytical check, reproduce the induction for n=3: take a compact Kähler threefold with K_X pseudoeffective but not nef and confirm that [6, Thm 1.3] actually produces a rational curve using only the published criterion for surfaces and curves. If this cannot be done without [17], the paper's main theorem should be stated as conditional on Ou's result.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is not independently proven by the paper's Chern–Lu estimate. §3 (Proof of Theorem 1.1(1)) first shows that H_h≤0 excludes rational curves; this part is correct. It then needs the implication 'no rational curves ⇒ X not uniruled ⇒ K_X pseudoeffective', which is supplied by Ou [17, arXiv:2501.18088]. Finally, if K_X were not nef, the paper invokes Cao–Höring [6, Thm 1.3], whose induction hypothesis requires exactly the same equivalence in all dimensions ≤ n−1, again supplied by [17]. Thus the proof is conditional on a single external preprint being true in every dimension and for all compact Kähler manifolds. If [17] has a gap (e.g., it only works projectively, or it uses [6, Thm 1.3] at the same dimension and thereby creates circularity), then Theorem 1.1(1) collapses: the existence of a K_X-negative rational curve is the only mechanism forcing nefness. The paper itself flags this dependency in the introduction ('based on recent results of Ou [17] and Cao–Höring'), so this is an acknowledged structural input, not a hidden flaw. No internal inconsistency was found in the curvature computations, the conformal Gauduchon step, or the vanishing part.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves several results on compact Kähler manifolds admitting Hermitian metrics with nonpositive holomorphic sectional curvature. Theorem 1.1(1) states that the canonical bundle K_X is nef; the proof uses a Chern–Lu computation to exclude rational curves, then invokes Ou's characterization of uniruled compact Kähler manifolds to conclude K_X is pseudoeffective, and finally uses Cao–Höring's theorem to rule out the non-nef case by producing a K_X-negative rational curve. Theorem 1.1(2) shows that vanishing holomorphic sectional curvature forces c1(X)=0, giving a Ricci-flat Kähler metric; the proof uses a conformal Gauduchon metric and a limiting argument based on nefness. Theorem 1.2 gives a partial converse for compact complex manifolds with vanishing first Bott–Chern class and nonnegative holomorphic sectional curvature. Corollary 1.1 shows that negative holomorphic sectional curvature implies ampleness of K_X for compact Kähler surfaces. The paper is clearly written; the main caveat is that the nefness theorem depends on an external preprint [17].","tokens_in":8845,"tokens_out":20467,"duration_ms":168900,"significance":"If correct, the paper makes a genuine advance in the Wu–Yau program for Hermitian metrics: it removes the pluriclosed assumption from Broder–Stanfield's nefness theorem and replaces the nonpositive real bisectional curvature assumption in Yang–Zheng's theorem by the weaker and more natural nonpositive holomorphic sectional curvature. The vanishing result and its partial converse are also new and clearly proved. The Chern–Lu and conformal-Gauduchon computations are standard; the proofs are transparent and honestly flag the reliance on recent birational geometry (Ou, Cao–Höring). The principal uncertainty is external, not internal: Theorem 1.1(1) collapses if Ou's characterization fails. The paper also benefits from explicit, checkable curvature computations and a well-organized structure.","major_comments":[{"comment":"The displayed definition H_g(ξ) = R_{i\\bar j k\\bar \\ell} ξ^i ξ^j ξ^k ξ^\\ell / |ξ|^4 is not the holomorphic sectional curvature for the curvature tensor defined two lines above; with that tensor H_g is not real-valued and cannot be used in the Berger averaging formula. It should read H_g(ξ)=R_{i\\bar j k\\bar \\ell} ξ^i \\bar ξ^j ξ^k \\bar ξ^\\ell / |ξ|^4 (or the equivalent index ordering). This is the central curvature hypothesis of the paper and must be corrected.","section":"§2.1, definition of H_g"},{"comment":"The curvature contraction in (3.1) is written as R^h_{α\\bar β γ\\bar δ} f^α_1 f^β_1 \\bar f^γ_1 \\bar f^δ_1. With the curvature tensor convention in §2.1, the Chern–Lu holomorphic sectional curvature term should be R^h_{α\\bar β γ\\bar δ} f^α_1 \\bar f^β_1 f^γ_1 \\bar f^δ_1. The subsequent identification with H_h(ξ)u^2 is only valid in this second form. Please correct the indices in the display.","section":"§3, Eq. (3.1)"},{"comment":"The conformal Gauduchon identity is quoted with a factor f in the integrand, but the Gauduchon metric was defined as ω_G = f^{1/(n-1)}ω. Unless Yang's [25, Eq. (3.8)] uses a different convention, the conformal factor in the first integral should be f^{1/(n-1)}. Please verify the formula against [25] and make the notation consistent. The later arguments use only positivity of the factor, so the conclusions are unaffected, but the displayed identity is notational and dimensionally suspect.","section":"§3, Eqs. (3.2)/(3.5)"},{"comment":"The nefness proof depends essentially on Ou's theorem [17] in two places: to get K_X pseudoeffective from non-uniruledness, and to satisfy the induction hypothesis of Cao–Höring [6, Thm 1.3] in all lower dimensions. Since [17] is an arXiv preprint, the paper should state the exact theorem used, confirm it applies to all compact Kähler manifolds in every dimension, and flag the preprint status. This is an acknowledged structural dependency, but it is load-bearing: if [17] is invalid or circular, Theorem 1.1(1) has no proof.","section":"§1 and §3, proof of Thm 1.1(1)"}],"minor_comments":[{"comment":"The title contains 'CUR V A TURE' with extra spaces; this should be corrected to 'CURVATURE'.","section":"Title/Abstract"},{"comment":"There is a typo: 'compact. and the adjunction formula' should be 'compact, and the adjunction formula'.","section":"Example 3.1"},{"comment":"The author's name in citations appears as both 'Broder-Stanfield' and 'Broder-Stanfield' (e.g., Abstract vs. reference [3]); please ensure consistent spelling.","section":"Throughout"},{"comment":"The Brody criterion is stated as 'X is Kobayashi hyperbolic if and only if it is Brody hyperbolic'; for compact complex manifolds this is correct, but it may be helpful to note that the equivalence holds for compact complex spaces.","section":"§2.3"}],"recommendation":"minor_revision","confidential_remarks":"The main theorem is conditional on Ou's preprint [17]. I did not find internal inconsistencies in the Chern–Lu or conformal arguments, but the index errors in the curvature definition and Chern–Lu formula should be fixed. The editor may want to verify the status of [17] before accepting, since the paper's central claim rests on it."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Kai Tang's paper does exactly what it advertises: it proves that a compact Kähler manifold carrying any Hermitian metric with nonpositive holomorphic sectional curvature has nef canonical bundle, removing the pluriclosed assumption from Broder-Stanfield and replacing real bisectional curvature with the weaker holomorphic sectional condition in the Yang-Zheng program. The proof route is smart: exclude rational curves with a Chern-Lu calculation, then invoke recent birational geometry (Ou, Cao-Höring) to get nefness. The curvature part is clean and correctly done.\n\nWhat is genuinely new: Theorem 1.1(1) is a real step forward, and Theorem 1.1(2)—vanishing HSC forces c1=0, hence a Ricci-flat Kähler metric—is a nice consequence. The surface corollary (negative HSC ⇒ K_X ample) follows naturally from nefness plus classification, and the Hodge index step is correct. Theorem 1.2 is a tidy partial converse using Bott-Chern class zero; the argument is short and sound. The K3 example showing that c1=0 alone doesn't guarantee a vanishing-HSC Hermitian metric is a good addition.\n\nThe soft spot is the one the author openly flags: the proof of Theorem 1.1(1) leans on Ou's characterization of uniruled compact Kähler manifolds ([17]) and on Cao-Höring's rational-curve theorem, whose hypothesis requires that same characterization in all lower dimensions. If Ou's preprint is incomplete or only projective, the nefness argument collapses. The paper does not attempt to verify or even sketch that input; it treats it as a black box. That's a legitimate structural dependency, not a hidden flaw, but it means the theorem's validity is tied to an external result that is itself recent and not yet widely vetted. A referee should be explicitly asked to check that chain. The hyperbolicity step in Corollary 1.1 also relies on Yau's Schwarz lemma, which is standard but cited tersely.\n\nMy take: the internal geometry is sound, the writing is honest and clear, and the contribution is significant if the birational inputs hold. I would send this to a serious referee, with special attention to [17] and [6, Thm. 1.3]. The likely outcome is a solid paper, maybe with a request to expand the discussion of the external inputs.","headline":"A clean, honest proof of nefness for Hermitian holomorphic sectional curvature, conditional on a recent birational-geometry preprint that the author openly relies on.","tokens_in":9391,"tokens_out":2508,"would_cite":true,"duration_ms":23263,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C55","32Q15","32Q45","14E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"On any compact Kähler manifold, a Hermitian metric with nonpositive holomorphic sectional curvature forces the canonical bundle to be nef; if the curvature vanishes, the first Chern class vanishes and a Ricci-flat Kähler metric exists.","keywords":["Hermitian manifolds","holomorphic sectional curvature","canonical bundle","nefness","rational curves","Chern–Lu formula","Gauduchon metric","Bott–Chern class"],"falsifier":"Construct a Hermitian metric with nonpositive holomorphic sectional curvature on P^2 (or any uniruled compact Kähler manifold). The paper's Chern–Lu lemma forbids nonconstant maps from P^1 under this curvature condition, so such a manifold cannot carry any rational curve; a concrete metric of this kind on P^2 would directly contradict Theorem 1.1(1), since P^2 has non-nef canonical bundle.","tokens_in":8402,"feed_emoji":"📐","tokens_out":15864,"duration_ms":118728,"temperature":0.7,"pith_summary":"The paper proves that a single curvature sign controls the positivity of the canonical bundle even when the metric is an arbitrary Hermitian metric on a Kähler manifold, with no Kähler or pluriclosed requirement. The main theorem states that nonpositive holomorphic sectional curvature forces the canonical bundle to be nef, and identically vanishing curvature forces the first Chern class to vanish, so the manifold admits a Ricci-flat Kähler metric. In complex dimension two, negative holomorphic sectional curvature upgrades nefness to ampleness, making the surface projective of general type. A companion rigidity theorem says that on any compact complex manifold with vanishing first Bott–Chern class, a Hermitian metric with nonnegative holomorphic sectional curvature must actually have vanishing holomorphic sectional curvature.","feed_headline":"Nonpositive holomorphic curvature forces nef canonical bundle","feed_subtitle":"Works for arbitrary Hermitian metrics on Kähler manifolds; vanishing curvature forces a Ricci-flat Kähler metric.","key_machinery":"Three mechanisms carry the argument. (1) A Chern–Lu formula for maps from P^1 to X: for h with H_h ≤ 0, the energy density u of a nonconstant map satisfies Δ u ≥ τ u, so integrating on P^1 forces u≡0; this rules out all rational curves. (2) A birational-geometry bridge: a recent characterization states that a compact Kähler manifold is uniruled exactly when its canonical bundle fails to be pseudoeffective; combined with a rational-curve existence theorem for pseudoeffective-but-not-nef canonical bundles, the absence of rational curves implies K_X is nef. (3) For the vanishing and rigidity theorems, the Berger averaging formula (which expresses the average of H_h in terms of two scalar curvat","core_discovery":"On the paper's own terms, the central discovery is that the holomorphic sectional curvature of a Hermitian metric — no Kähler condition imposed — determines birational positivity of a compact Kähler manifold: if H_h ≤ 0 then K_X is nef, and if H_h ≡ 0 then c_1(X)=0. The nefness theorem drops the pluriclosed hypothesis used in earlier Schwarz-lemma arguments and weakens the real-bisectional-curvature condition used by prior authors, achieving the conclusion through a Chern–Lu estimate that forbids rational curves, followed by a birational-geometric bridge that turns the absence of rational curves into pseudoeffectivity of K_X and then cites a theorem that non-nef pseudoeffective K_X would pro","pith_inferences":["The structure of the proof suggests a transfer principle: on compact Kähler manifolds, any Hermitian curvature condition that (i) satisfies a Chern–Lu-type estimate ruling out rational curves and (ii) can be paired with the birational-geometric characterization of uniruledness will force K_X to be nef. Other curvature notions (e.g., k-Ricci curvature) may be amenable to the same two-step argument.","Because the nefness step leans on the birational-geometric characterization of uniruled Kähler manifolds (a recent arXiv preprint cited in the paper), the theorem's proof is conditional on that characterization in every dimension; if that characterization were to fail, the argument would break even though the curvature-to-nefness conclusion might still be true by other means.","The vanishing-case proof goes through a Gauduchon conformal change and integral identities; a natural testable extension is whether the conclusion can be strengthened to the given Hermitian metric being Chern-flat (or the manifold being Chern–Kähler-flat) under an additional integrability or torsion condition, rather than merely the existence of a Ricci-flat Kähler metric.","Theorem 1.2's rigidity has a possible analogue for noncompact manifolds or for one-parameter families of Hermitian metrics deforming a flat one: nonnegative holomorphic sectional curvature with vanishing first Bott–Chern class may force the family to remain in the zero-curvature locus, not merely the vanishing of H_h at each member."],"forward_implications":["The known result for Kähler metrics — nonpositive holomorphic sectional curvature implies nef canonical bundle — now extends to arbitrary Hermitian metrics on Kähler manifolds, with no Kähler or pluriclosed assumptions.","In complex dimension two, a Hermitian metric of negative holomorphic sectional curvature forces the surface to be projective of general type with ample canonical bundle, so it is Kobayashi hyperbolic.","A compact Kähler manifold admitting a Hermitian metric with identically zero holomorphic sectional curvature must have vanishing first Chern class and therefore carries a Ricci-flat Kähler metric; the given metric itself need not be Kähler or flat.","The rigidity statement: on a compact complex manifold with vanishing first Bott–Chern class, nonnegative holomorphic sectional curvature is only possible if it vanishes identically; the Fermat quartic K3 shows that c_1=0 alone does not guarantee a metric with vanishing curvature, so the nonnegativity assumption is essential.","The negative-curvature case in dimension two is one step toward the conjecture, stated in the introduction, that negative or quasi-negative holomorphic sectional curvature for Hermitian metrics should imply ampleness of the canonical bundle."],"fun_headline_variants":["Nonpositive holomorphic curvature gives nef canonical bundle, no Kähler required","Holomorphic curvature bounds dictate birational positivity of Kähler manifolds","Dimension-2 negative holomorphic curvature implies ample canonical bundle","Vanishing holomorphic sectional curvature forces first Chern class zero"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof of the main nefness theorem rests on a recent birational-geometry characterization: a compact Kähler manifold is uniruled exactly when its canonical bundle is not pseudoeffective. If that characterization fails in any dimension used by the induction, the contradiction step that forces K_X to be nef collapses — the curvature estimate itself only rules out rational curves and does not directly imply nefness.","fun_headline_variants_meta":{"raw":{"variants":["Nonpositive holomorphic curvature gives nef canonical bundle, no Kähler required","Holomorphic curvature bounds dictate birational positivity of Kähler manifolds","Dimension-2 negative holomorphic curvature implies ample canonical bundle","Vanishing holomorphic sectional curvature forces first Chern class zero"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000693,"raw_usage":{"total_tokens":2930,"prompt_tokens":660,"completion_tokens":2270,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":404,"completion_tokens_details":{"reasoning_tokens":2195}},"tokens_in":404,"tokens_out":2270,"duration_ms":16266,"temperature":1.0,"reasoning_tokens":2195,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T00:00:14.957396+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a Hermitian metric with nonpositive holomorphic sectional curvature on P^2 (or any uniruled compact Kähler manifold). The paper's Chern–Lu lemma forbids nonconstant maps from P^1 under this curvature condition, so such a manifold cannot carry any rational curve; a concrete metric of this kind on P^2 would directly contradict Theorem 1.1(1), since P^2 has non-nef canonical bundle.","supporting_citations":[],"review_version":1}