{"id":"a9e95364-03b2-40d7-86d6-b529ede7c852","arxiv_id":"2502.00367","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A compact Kähler manifold with semi-positive holomorphic sectional curvature is a locally trivial fibration over a finite étale quotient of a torus with rationally connected projective fibers.","lead":"This paper proves that any compact Kähler manifold with holomorphic sectional curvature never negative fibers over a finite quotient of a torus, with rationally connected projective fibers. It gives a structural reason why the fundamental group of such a manifold is virtually abelian.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central proof rests on the unpublished [ZZ, Theorem 1.4]; without an independent proof or a complete proof in this paper, Theorem 2.5 Step (2) is unverified.","rationale":"The paper's central claim is a structure theorem for compact Kähler manifolds with semi-positive holomorphic sectional curvature. The proof is coherent and internally consistent as far as it goes, but it explicitly depends on the unpublished [ZZ, Theorem 1.4] to handle the non-projective case, and that theorem is not proved in this paper. This is the single most load-bearing condition because without the splitting TX ≅ V⊕W obtained from a nonzero holomorphic 2-form, Theorem 2.5(2) cannot produce the contradiction that completes the proof that a manifold with q̂(X)=0 is rationally connected. The reader's verdict of CONDITIONAL is appropriate: the paper is plausible and largely well-written, but its correctness is conditional on an external result of unknown status. I found no internal contradiction in the proof beyond the acknowledged gaps, so I do not recommend rejection. The proposed concrete test directly checks the validity of the imported splitting theorem, which would settle the concern.","tokens_in":15134,"tokens_out":22482,"duration_ms":219949,"concrete_test":"Download arXiv:2311.18779v4 and verify the proof of Theorem 1.4 in full detail, checking: (i) the hypotheses match the present use (compact Kähler, semi-positive holomorphic sectional curvature, pseudo-effective invertible subsheaf of Ω^m for m=2), (ii) the decomposition TX ≅ V⊕W is global and holomorphic, and (iii) V is a flat vector bundle, not merely a bundle whose vectors are truly flat. If any of these fail, the main theorem of this paper is unsupported. Alternatively, attempt to prove Theorem 2.4 directly from the definition of truly flat vectors using the Gauss-Codazzi formula in [Mat22a, (2.2)], and check whether vanishing of ⟨R(v,\\bar v)f,\\bar f⟩ for all v∈TX and f∈V forces the full curvature of V to vanish; if not, Theorem 2.4 has an internal gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 2.5(2) in the non-projective case invokes Theorem 2.4, a restatement of [ZZ, Theorem 1.4]. That theorem asserts a holomorphic orthogonal splitting TX ≅ V⊕W with V a flat vector bundle whenever a pseudo-effective invertible subsheaf of Ω^m_X exists. This splitting is the only mechanism by which the paper obtains a nontrivial flat factor from a nonzero holomorphic 2-form, and the subsequent argument that Imρ is finite and contradicts q̂(X)=0 depends entirely on it. [ZZ] is an unpublished preprint and the present paper provides no proof or validation of its main theorem. Moreover, the application in Theorem 2.5 needs the theorem for m=2, for the reflexive hull of the sheaf generated by η, and with the conclusion that V is flat, not merely that its vectors are truly flat. If [ZZ, Theorem 1.4] is false or has narrower hypotheses, the step 'Thus, by Theorem 2.4...' collapses, and the rationally-connected conclusion for the fiber F (and hence Theorem 1.1(b3)) is not established. A second sketched import, Theorem 2.1's claim that the same argument as [Mat22a, Theorem 3.1] works for the saturation M, is used to prove specialness and then Corollary 2.3(1), but the primary unresolved dependency is [ZZ].","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that a compact Kähler manifold X admitting a Kähler metric with semi-positive holomorphic sectional curvature has virtually abelian fundamental group and admits a locally constant fibration to a finite étale quotient of a torus, with rationally connected projective fiber. The proof proceeds by first showing such manifolds are special in the sense of Campana, then analyzing the Albanese map and the augmented irregularity, and finally invoking a splitting theorem for the tangent bundle from an unpublished preprint to show the Albanese fibers are rationally connected.","tokens_in":15368,"tokens_out":18044,"duration_ms":173344,"significance":"If the proof is correct, this is a major structure theorem that fully resolves [Mat22b, Problem 3.7] and a question of Ni, extending the projective case to all compact Kähler manifolds. The paper gives a clear high-level strategy, proves several nontrivial Kähler versions of known results (e.g., the Albanese fibration properties via Bergman kernels), and correctly identifies the remaining difficulty. However, the main theorem is conditional on the unpublished [ZZ, Theorem 1.4] and on a sketched extension of a previous result; until those are verified, the central claim is not fully established.","major_comments":[{"comment":"Theorem 2.5(2) relies on Theorem 2.4, which is a restatement of the unpublished preprint result [ZZ, Theorem 1.4]. The manuscript provides no proof of the existence of the holomorphic orthogonal splitting TX ≅ V⊕W with V a nonzero flat vector bundle; Theorem 2.4 only derives flatness of V from the splitting and the truly-flat condition. Since the splitting is the only mechanism producing a nontrivial flat factor from a non-zero holomorphic 2-form, and since Theorem 2.5(2) is the key to showing the Albanese fiber is rationally connected, Theorem 1.1 is conditional on the correctness of [ZZ]. Please either include a complete proof of [ZZ, Theorem 1.4] (at least for the cases used here: m=2, reflexive hull of the subsheaf generated by η, with the flatness conclusion) or replace the citation with a published, verified version.","section":"§2, Theorem 2.4; §2, Theorem 2.5(2)"},{"comment":"The proof that a compact Kähler manifold with semi-positive holomorphic sectional curvature is special is not complete: it asserts that 'by essentially the same argument' as in [Mat22a, Theorem 3.1], the saturation M = (τ_*(O_Γ(φ̄^*K_Y)^sat))^{∗∗} is a Hermitian flat line bundle. The manuscript does not verify the required hypotheses for the saturation (pseudo-effectiveness of the saturated line bundle, the extension property on the exceptional locus, and the identification M = φ^*K_Y on X1), even though the argument in [Mat22a] is carried out for the pull-back of K_Y, not for its saturation. Since Theorem 2.1 is used to prove Corollary 2.3(1), and hence to reduce Imρ to an abelian group in Theorem 2.5(2), this sketched step is load-bearing. Please provide the full details.","section":"§2, Theorem 2.1"}],"minor_comments":[{"comment":"In the displayed curvature formula, the notation for the ambient curvature and the subbundle curvature is slightly unclear; it should be stated explicitly that the left-hand side is the curvature of the tangent bundle with the Kähler metric and the right-hand side is the curvature of the subbundle with the induced metric.","section":"§2, Theorem 2.4"},{"comment":"When defining g_F := g_{TX/Y}|_F, it should be said explicitly that F is a fiber of the Albanese map and that the isomorphism TF ≅ TX/Y|_F is induced by the splitting (2.1).","section":"§2, Corollary 2.3(2)"},{"comment":"The reference [Mok92] appears twice in the bibliography, and the reference [Zha96] is listed but does not appear to be cited in the text.","section":"References"},{"comment":"Several passages contain typographical artifacts, such as 'CUR V ATURE' in the title and 'lo cally' in the abstract; these should be corrected in the final version.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The editor should carefully verify the status and novelty of the unpublished preprint [ZZ] relative to this submission. The acknowledgments and Corollary 1.3 indicate that part of the results (the latter part of Corollary 1.3) were already established in [ZZ]; the main structure theorem of this paper may also overlap substantially with [ZZ]. If [ZZ] is under review elsewhere, the journal should consider whether the present paper provides sufficient independent proof of its key input before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper extends the known structure theorem for projective manifolds with semi-positive holomorphic sectional curvature to all compact Kähler manifolds. The result is what the community expected: a locally constant fibration with rationally connected projective fiber over a finite étale quotient of a torus, so π1 is virtually abelian. If correct, that settles Problem 3.7 in the author's own survey and a question of Ni. The method is a genuine alternative: instead of relying on pseudo-effectiveness of the canonical bundle of the base (still open for Kähler), the author pushes through Campana special varieties and a splitting theorem imported from [ZZ]. The writing is clear and the internal logic is coherent; I traced the main chain and found no direct contradiction.\n\nThe good parts: the proof that the Albanese map is a locally constant fibration with the induced metric on the fiber semi-positive is solid, and the careful reduction to a finite cover attaining augmented irregularity is well done. The paper is honest about its dependencies, even noting that [Ou] may provide another route.\n\nThe soft spots are real but localized. The main one is Theorem 2.4, which is essentially [ZZ, Theorem 1.4] with a half-page argument to upgrade 'truly flat' to 'flat'. [ZZ] is an unpublished preprint, and the proof of Theorem 2.5(2) collapses if that splitting isn't available in exactly the stated generality (a pseudo-effective invertible subsheaf of Ω^2_X, with V a flat bundle). The stress-test note is on target. A second, minor issue is Theorem 2.1: 'the same argument' as [Mat22a, Theorem 3.1] is only sketched, and that's used for specialness. Third, the novelty boundary with [ZZ] is murky; the author notes that part of Corollary 1.3 was already in [ZZ] but doesn't precisely state what [ZZ] proves versus what is new here. That's fixable with a careful comparison.\n\nOverall: this is for complex geometers working on curvature and fundamental groups. It is a serious paper with a major claim, but as written the main theorem is only as good as [ZZ]. It deserves a proper referee, not a desk rejection. The referee should ask for either a complete proof of the splitting theorem in an appendix or confirmation that [ZZ] is accepted and available. Also ask for details in Theorem 2.1 and a clearer novelty statement.\n\nI'd take it to peer review.","headline":"A well-written extension of the projective structure theorem to compact Kähler manifolds, but the main proof is conditional on an unpublished splitting result.","tokens_in":15919,"tokens_out":4378,"would_cite":false,"duration_ms":41392,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C25","32Q10","14M22"],"pacs":[],"model":"deepseek-v4-flash","headline":"Compact Kähler manifolds with semi-positive holomorphic sectional curvature fiber over a finite étale quotient of a torus with rationally connected projective fibers, and have virtually abelian fundamental group.","keywords":["holomorphic sectional curvature","compact Kähler manifold","fundamental group","virtually abelian","rationally connected fibration","variety of special type","Albanese map","augmented irregularity"],"falsifier":"Take a compact Kähler manifold with semi-positive holomorphic sectional curvature and compute the augmented irregularity of a fiber of its Albanese map. The theorem predicts that after a finite étale cover every such fiber is rationally connected, hence has augmented irregularity zero; finding a single example with a fiber of positive augmented irregularity would refute the main result.","tokens_in":1963,"feed_emoji":"📐","tokens_out":5332,"duration_ms":190114,"temperature":0.7,"pith_summary":"This paper proves that every compact Kähler manifold admitting a Kähler metric of semi-positive holomorphic sectional curvature is a locally constant fibration over a base that is a finite étale quotient of a torus, with fiber a rationally connected projective manifold. Because the fibration is locally constant, the structure is the same on all fibers, and the fundamental group becomes virtually abelian. The proof shows that the Albanese map is such a fibration after a finite étale cover, and that any such manifold with vanishing augmented irregularity must be rationally connected and projective. This extends a structure theorem previously known for projective manifolds to all compact Kähler manifolds, and it yields the rational-connectedness conclusion when the curvature is positive somewhere. The central claim, put plainly, is that semi-positive holomorphic sectional curvature forces a torus-base-plus-rationally-connected-fiber decomposition.","feed_headline":"Semi-positive curvature turns Kähler manifolds into torus fibrations","feed_subtitle":"Compact Kähler manifolds then split into a flat torus quotient and rationally connected fibers, fixing the fundamental group.","key_machinery":"The proof runs on three linked mechanisms. First, under semi-positive holomorphic sectional curvature, a pseudo-effective line subbundle of a wedge power of the cotangent bundle $\\Omega^m_X$ forces a holomorphic orthogonal splitting of the tangent bundle $T_X \\cong V \\oplus W$ in which $V$ is a nonzero flat vector bundle; this splitting, imported from an unpublished preprint, is what turns curvature positivity into flatness. Second, varieties of special type, meaning manifolds admitting no dominant almost holomorphic map of general type, are used to show that the image of any linear representation of $\\pi_1(X)$ is virtually abelian. Third, the augmented irregularity $\\hat{q}(X)$, the supremum over finite étale covers of the number of independent holomorphic 1-forms, is the numerical control: the proof first forces the Albanese fiber to have $\\hat{q}=0$ using positivity of direct images, then shows $\\hat{q}=0$ implies rational connectedness and projectivity using the flat splitting and the finiteness of monodromy. The locally constant nature of the Albanese fibration comes from the splitting $T_X \\cong T_{X/Y} \\oplus \\varphi^*T_Y$, where the pulled-back tangent directions are truly flat, meaning their holomorphic sectional curvature vanishes in every direction.","core_discovery":"At the center of the paper is Theorem 1.1: if $X$ is a compact Kähler manifold admitting a Kähler metric of semi-positive holomorphic sectional curvature, then there is a fibration $\\varphi: X \\to Y$, locally constant (hence locally trivial), with $Y$ a finite étale quotient of a torus and the fiber $F$ a rationally connected projective manifold; consequently $\\pi_1(X)$ is virtually abelian. The proof establishes that after a suitable finite étale cover the Albanese map is such a fibration, and that a compact Kähler manifold with semi-positive holomorphic sectional curvature and augmented irregularity zero is rationally connected and projective. Along the way the paper shows that the image of any linear representation of $\\pi_1(X)$ is virtually abelian, that the fiber of the Albanese map carries a Kähler metric with semi-positive holomorphic sectional curvature, and that the universal cover splits as a product of a complex Euclidean space with the fiber, in a way compatible with the metrics. A final corollary gives $\\dim X - \\dim Y \\ge n_{\\mathrm{tf}}(X,g)$ for an MRC fibration, so rational connectedness follows when the truly-flat invariant is maximal.","pith_inferences":["A structural consequence of the theorem is that the only possible infinite part of the fundamental group in this curvature class comes from the flat torus quotient; the rationally connected fiber is simply connected, so $\\pi_1(X)$ is determined entirely by the base.","Because the splitting theorem is imported from an unpublished preprint, the main theorem is currently conditional on that preprint; a natural check is to verify that the asserted extension of an earlier argument to saturated subsheaves in Theorem 2.1 is fully valid.","The same two-step strategy, using the Albanese map together with augmented irregularity, may transfer to other Kähler curvature positivity conditions such as nef anticanonical bundles, where locally constant fibrations over torus quotients are already known in special cases.","The inequality $\\dim X - \\dim Y \\ge n_{\\mathrm{tf}}(X,g)$ is a computable consistency check: for any proposed example with semi-positive holomorphic sectional curvature, one can compute both sides to test whether the structure theorem's predictions hold."],"forward_implications":["If the theorem is correct, the fundamental group of every compact Kähler manifold with semi-positive holomorphic sectional curvature contains a finite-index subgroup isomorphic to $\\mathbb{Z}^{2m}$; in particular it is virtually abelian and torsion-free after a finite cover.","After a finite étale cover, the Albanese map is an MRC fibration, so the irregularity of the cover equals the dimension of the maximal rationally connected fibration base.","The universal cover of $X$ is a metric product $\\mathbb{C}^m \\times F$, where the flat factor comes from the torus quotient and $F$ is rationally connected with a Kähler metric of semi-positive holomorphic sectional curvature.","If the holomorphic sectional curvature is positive at some point, or more generally if $n_{\\mathrm{tf}}(X,g)=\\dim X$, then $\\dim Y=0$ and $X$ is rationally connected, settling the quasi-positive case of the rational-connectedness conjecture."],"supporting_citations":[{"why":"Supplies the black-box theorem that a pseudo-effective invertible subsheaf of $\\Omega^m_X$ forces a holomorphic orthogonal splitting $T_X \\cong V \\oplus W$ with $V$ a nonzero flat bundle; Step (2) of the main proof depends on it.","marker":"[ZZ]"},{"why":"Provides the projective version of the structure theorem being extended, plus the splitting $T_X \\cong T_{X/Y} \\oplus \\varphi^*T_Y$ and the truly-flat analysis for the Albanese map.","marker":"[Mat22a]"},{"why":"Gives the definition and basic theory of special varieties and the theorem that images of linear representations of their fundamental groups are virtually abelian.","marker":"[Cam04]"},{"why":"Supplies the positivity of direct images result used to show that $K_Z$ is pseudo-effective and hence that $Z$ is a finite étale quotient of a torus.","marker":"[Wan21]"},{"why":"Provides the criterion used to turn a locally free saturated foliation into a smooth rationally connected fibration during the reduction to finite étale covers.","marker":"[Hör07]"},{"why":"Supplies the reduction argument showing it suffices to prove the locally constant fibration statement after replacing $X$ by a finite étale cover.","marker":"[CH19]"},{"why":"Supplies the definition of truly flat tangent vectors and the invariant $n_{\\mathrm{tf}}$ used in the flatness analysis and in Corollary 1.3.","marker":"[HLWZ18]"}],"fun_headline_variants":["Kähler curvature splits manifolds into torus quotient and rational fibers","Semi-positive curvature forces torus fibrations on Kähler manifolds","Virtually abelian fundamental groups from semi-positive curvature","Kähler manifolds with semi-positive curvature are fibered by tori","Curvature condition yields torus fibrations for Kähler manifolds"],"cache_read_input_tokens":18048,"weakest_assumption_plain":"The load-bearing assumption is an unpublished theorem that a pseudo-effective line subbundle of a wedge power of the cotangent bundle must split off a nonzero flat subbundle of the tangent bundle, plus the assertion that a previously proven argument extends without full proof to the saturated case.","fun_headline_variants_meta":{"raw":{"variants":["Kähler curvature splits manifolds into torus quotient and rational fibers","Semi-positive curvature forces torus fibrations on Kähler manifolds","Virtually abelian fundamental groups from semi-positive curvature","Kähler manifolds with semi-positive curvature are fibered by tori","Curvature condition yields torus fibrations for Kähler manifolds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001198,"raw_usage":{"total_tokens":4927,"prompt_tokens":918,"completion_tokens":4009,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":534,"completion_tokens_details":{"reasoning_tokens":3913}},"tokens_in":534,"tokens_out":4009,"duration_ms":27059,"temperature":1.0,"reasoning_tokens":3913,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T19:19:07.008861+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a compact Kähler manifold with semi-positive holomorphic sectional curvature and compute the augmented irregularity of a fiber of its Albanese map. The theorem predicts that after a finite étale cover every such fiber is rationally connected, hence has augmented irregularity zero; finding a single example with a fiber of positive augmented irregularity would refute the main result.","supporting_citations":[],"review_version":1}