REVIEW 2 major objections 4 minor 56 references
Fundamental groups of compact K\"ahler manifolds with semi-positive holomorphic sectional curvature
T0 review · 2 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read 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.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (2)
- [§2, Theorem 2.4; §2, Theorem 2.5(2)] 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.
- [§2, Theorem 2.1] 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.
minor comments (4)
- [§2, Theorem 2.4] 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.
- [§2, Corollary 2.3(2)] 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).
- [References] The reference [Mok92] appears twice in the bibliography, and the reference [Zha96] is listed but does not appear to be cited in the text.
- [Throughout] 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.
Circularity Check
No significant circularity: the Kähler structure theorem is derived from prior published projective results and an external splitting theorem, not from its own conclusion.
full rationale
The derivation chain is not circular. The main theorem reduces the compact Kähler case to the author's existing projective structure theorem [Mat22a] and to the external splitting theorem [ZZ]. No parameter is fitted, no target quantity is used in its own definition, and no 'prediction' is forced by construction. The self-citation to [Mat22a] supplies a published, independent theorem whose hypotheses (projective) do not include the present Kähler conclusion; it is therefore real evidence rather than a circular premise. The proof of Theorem 2.1 extends [Mat22a, Theorem 3.1] to the saturation by a sketched 'same argument' — this is a rigor gap, not circularity. The reliance on the unpublished [ZZ, Theorem 1.4] is a verification risk: if that theorem fails, Theorem 2.5(2) collapses. But an unproved external input is not an equivalence with the paper's own conclusion, and no definitional or fitted-input reduction is present. Accordingly, the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Zhang-Zhang splitting theorem ([ZZ, Theorem 1.4])
- domain assumption Matsumura's structure and curvature tools ([Mat22a, Theorem 1.6 and Theorem 3.1])
- domain assumption Campana's special variety results ([Cam04, Theorem 7.4 and Theorem 7.8])
- standard math Positivity of direct images ([Wan21, Theorem 2.6]) and base change for torus fibers
- standard math If a compact Kähler manifold has no nonzero holomorphic 2-form then it is projective (Huybrechts)
Cite this review
Pith. "Pith review of Fundamental groups of compact K\"ahler manifolds with semi-positive holomorphic sectional curvature." pith.science (2026). https://pith.science/paper/E2XSA2RY
@misc{pith2026250200367,
author = {Pith},
title = {Pith review of: Fundamental groups of compact K\"ahler manifolds with semi-positive holomorphic sectional curvature},
year = {2026},
howpublished = {\url{https://pith.science/paper/E2XSA2RY}},
note = {Machine review of arXiv:2502.00367}
}
abstract
In this paper, we prove that a compact K\"ahler manifold $X$ with semi-positive holomorphic sectional curvature admits a locally trivial fibration $\phi \colon X \to Y$, where the fiber $F$ is a rationally connected projective manifold and the base $Y$ is a finite \'etale quotient of a torus. This result extends the structure theorem, previously established for projective manifolds, to compact K\"ahler manifolds. A key part of the proof involves analyzing the foliation generated by truly flat tangent vectors and showing the abelianness of the topological fundamental group $\pi_{1}(X)$, with a focus on varieties of special type.
Reference graph
Works this paper leans on
-
[1]
A. Alvarez, G. Heier, F. Zheng, On projectivized vector bundles and positive holomorphic sectional curvature, Proc. Amer. Math. Soc. 146 (2018), no. 7, 2877--2882
work page 2018
-
[2]
Boucksom, J.-P
S. Boucksom, J.-P. Demailly, M. P a un, T. Peternell, The pseudo-effective cone of a compact K\"ahler manifold and varieties of negative Kodaira dimension, J. Algebraic Geom. 22 (2013), no. 2, 201--248
2013
-
[3]
B. Berndtsson, M. P a un, Bergman kernels and the pseudoeffectivity of relative canonical divisors, Duke Math. J. 145 (2008), no. 2, 341--378
work page 2008
-
[4]
Cao, Albanese maps of projective manifolds with nef anticanonical divisors, Ann
J. Cao, Albanese maps of projective manifolds with nef anticanonical divisors, Ann. Sci. \'Ec. Norm. Sup\'er. (4), 52 (2019), no. 5, 1137--1154
work page 2019
-
[5]
Campana, Connexit\'e rationnelle des vari\'et\'es de Fano, Ann
F. Campana, Connexit\'e rationnelle des vari\'et\'es de Fano, Ann. Sci. \'Ecole Norm. Sup. (4) 25 (1992), no. 5, 539--545
work page 1992
-
[6]
Campana, Remarques sur les groupes de K\"ahler nilpotents, Ann
F. Campana, Remarques sur les groupes de K\"ahler nilpotents, Ann. Sci. \'Ecole Norm. Sup. (4) 28 (1995), no. 3, 307--316
1995
-
[7]
Campana, Orbifolds, special varieties and classification theory, Ann
F. Campana, Orbifolds, special varieties and classification theory, Ann. Inst. Fourier (Grenoble) 54 (2004), no. 3, 499--630
2004
-
[8]
F. Campana, B. Claudon, P. Eyssidieux, Repr\'esentations lin\'eaires des groupes k\"ahl\'eriens: factorisations et conjecture de Shafarevich lin\'eaire. (French) Linear representations of K\"ahler groups: factorizations and linear Shafarevich conjecture. Compos. Math. 151 (2015), no. 2, 35--376
work page 2015
Show all 56 references
-
[9]
Campana, J
F. Campana, J. Cao, S. Matsumura, Projective klt pairs with nef anti-canonical divisor, Algebr. Geom. 8 (2021), no. 4, 430--464
2021
-
[10]
J. Chu, M. C. Lee, J Zhu, On K\"ahler manifolds with non-negative mixed curvature, preprint, available at arXiv: arXiv:2408.14043v1
-
[11]
J. Cao, A. H\"oring, A decomposition theorem for projective manifolds with nef anticanonical divisor, J. Algebraic Geom. 28 (2019), 567--597
2019
-
[12]
Campana, T
F. Campana, T. Peternell, Projective manifolds whose tangent bundles are numerically effective, Math. Ann. 289 (1991), 169--187
1991
-
[13]
Druel, F
S. Druel, F. L. Bianco, Numerical characterization of some toric fiber bundles, Math. Z. 300 (2022), no.4, 3357--3382
2022
-
[14]
Demailly, T
J.-P. Demailly, T. Peternell, M. Schneider, Compact complex manifolds with numerically effective tangent bundles, J. Algebraic Geom., 3 (1994), no. 2, 295--345
1994
-
[15]
Ejiri, Y
S. Ejiri, Y. Gongyo, Nef anti-canonical divisors and rationally connected fibrations, Compos. Math. 155 (2019), 1444--1456
2019
-
[16]
Ejiri, M
S. Ejiri, M. Iwai, S. Matsumura, On asymptotic base loci of relative anti-canonical divisors of algebraic fiber spaces, J. Algebraic Geom. 32 (2023), no. 3, 477--517
2023
-
[17]
Graber, J
T. Graber, J. Harris, J. Starr, Families of rationally connected varieties, J. Amer. Math. Soc. 16 (2003), no. 1, 57--67
2003
-
[18]
Chaturvedi, G
A. Chaturvedi, G. Heier, Hermitian metrics of positive holomorphic sectional curvature on fibrations, Math. Z. 295 (2020), no. 1-2, 349--364
2020
-
[19]
Hosono, M
G. Hosono, M. Iwai, S. Matsumura, On projective manifolds with pseudo-effective tangent bundle, J. Inst. Math. Jussieu 21 (2022), no. 5, 1801--1830
2022
-
[20]
Hitchin, On the curvature of rational surfaces, Differential geometry (Proc
N. Hitchin, On the curvature of rational surfaces, Differential geometry (Proc. Sympos. Pure Math., Vol. XXVII, Part 2, Stanford Univ., Stanford, Calif., 1973), pp. 65--80. Amer. Math. Soc., Providence, R. I., 1975
1973
-
[21]
Heier, S
G. Heier, S. S. Y. Lu, B. Wong, F. Zheng, Reduction of manifolds with semi-negative holomorphic sectional curvature, Math. Ann. 372 (2018), no. 3-4, 951--962
2018
-
[22]
C. D. Hacon, J. M^ c Kernan, On Shokurov's rational connectedness conjecture, Duke Math. J. 138 (2007), no. 1, 119--136
2007
-
[23]
Hacon, M
C. Hacon, M. Popa, C. Schnell, Algebraic fiber spaces over abelian varieties: around a recent theorem by Cao and P a un , Local and global methods in algebraic geometry, 143--195, Contemp. Math., 712 , Amer. Math. Soc., Providence, RI, 2018
2018
-
[24]
Howard, B
A. Howard, B. Smyth, H. Wu, On compact K\"ahler manifolds of nonnegative bisectional curvature I and II, Acta Math. 147 (1981), no. 1-2, 51--70
1981
-
[25]
Huybrechts, Complex geometry
D. Huybrechts, Complex geometry. An introduction, Universitext. Springer-Verlag, Berlin, 2005
2005
-
[26]
H\"oring, Uniruled varieties with split tangent bundle, Math
A. H\"oring, Uniruled varieties with split tangent bundle, Math. Z. 256 (2007), no. 3, 465--479
2007
-
[27]
Heier, B
G. Heier, B. Wong, On projective K\"ahler manifolds of partially positive curvature and rational connectedness, Doc. Math. 25 (2020), 219--238
2020
-
[28]
Koll\'ar, Y
J. Koll\'ar, Y. Miyaoka, S. Mori, Rationally connected varieties, J. Algebraic Geom. 1 (1992), no. 3, 429--448
1992
-
[29]
Matsumura, On the image of MRC fibrations of projective manifolds with semi-positive holomorphic sectional curvature, Pure Appl
S. Matsumura, On the image of MRC fibrations of projective manifolds with semi-positive holomorphic sectional curvature, Pure Appl. Math. Q. 16 (2020), no. 5, 1443--1463
2020
-
[30]
Matsumura, On projective manifolds with semi-positive holomorphic sectional curvature, Amer
S. Matsumura, On projective manifolds with semi-positive holomorphic sectional curvature, Amer. J. Math. 144 (2022), no. 3, 747--777
2022
-
[31]
Matsumura, Open problems on structure of positively curved projective varieties, Ann
S. Matsumura, Open problems on structure of positively curved projective varieties, Ann. Fac. Sci. Toulouse Math. (6) 31 (2022), no. 3, 1011--1029
2022
-
[32]
Mok, The uniformization theorem for compact K\"ahler manifolds of nonnegative holomorphic bisectional curvature, J
N. Mok, The uniformization theorem for compact K\"ahler manifolds of nonnegative holomorphic bisectional curvature, J. Differential Geom. 27 (1988), no. 2, 179--214
1988
-
[33]
Mok, Factorization of semisimple discrete representations of K\"ahler groups, Invent
N. Mok, Factorization of semisimple discrete representations of K\"ahler groups, Invent. Math. 110 (1992), no.3, 557--614
1992
-
[34]
Mori, Projective manifolds with ample tangent bundles, Ann
S. Mori, Projective manifolds with ample tangent bundles, Ann. of Math. (2) 110 (1979), no. 3, 593--606
1979
-
[35]
M\"uller Locally Constant Fibrations and Positivity of Curvature, preprint, available at arXiv:2212.11530v2
N. M\"uller Locally Constant Fibrations and Positivity of Curvature, preprint, available at arXiv:2212.11530v2
-
[36]
Matsumura, J
S. Matsumura, J. Wang, Structure theorem for projective klt pairs with nef anti-canonical divisor, preprint, available at arXiv:2105.14308v3
-
[37]
Matsumura, X
S. Matsumura, X. Wu, Compact K\"ahler threefolds with nef anti-canonical bundle, to appear in Math. Ann. DOI: https://doi.org/10.1007/s00208-024-02934-5
-
[38]
N. Mok, J. Q. Zhong, Curvature characterization of compact Hermitian symmetric spaces, J. Differential Geom. 23 (1986), no.1, 15--67
1986
-
[39]
M. Iwai, S. Matsumura, G. Zhong, Positivity of tangent sheaves of projective varieties -- the structure of MRC fibrations, preprint, available at arXiv:2309.09489v1
-
[40]
Ni, General Schwarz lemmata and their applications, Int
L. Ni, General Schwarz lemmata and their applications, Int. J. Math. 30 , No. 13, Article ID 1940007, 17 p. (2019)
2019
-
[41]
Ni, The fundamental group, rational connectedness and the positivity of K\"ahler manifolds, J
L. Ni, The fundamental group, rational connectedness and the positivity of K\"ahler manifolds, J. Reine Angew. Math. 774 , 267--299 (2021)
2021
-
[42]
L. Ni, F. Zheng, Positivity and the Kodaira embedding theorem, Geom. Topol. 26 , No. 6, 2491--2505 (2022)
2022
-
[43]
Ou, A characterization of uniruled compact K\"ahler manifolds, preprint, available at arXiv:2501.18088v1
W. Ou, A characterization of uniruled compact K\"ahler manifolds, preprint, available at arXiv:2501.18088v1
-
[44]
P a un, Sur le groupe fondamental des vari\'et\'es k\"ahl\'eriennes compactes \`a classe de Ricci num\'eriquement effective, C
M. P a un, Sur le groupe fondamental des vari\'et\'es k\"ahl\'eriennes compactes \`a classe de Ricci num\'eriquement effective, C. R. Acad. Sci. Paris S\'er. I Math. 324 (1997), no. 11, 1249--1254
1997
-
[45]
P a un, Relative adjoint transcendental classes and Albanese map of compact K\"ahler manifolds with nef Ricci curvature, Adv
M. P a un, Relative adjoint transcendental classes and Albanese map of compact K\"ahler manifolds with nef Ricci curvature, Adv. Stud. Pure Math., 74 , Mathematical Society of Japan, Tokyo, 2017
2017
-
[46]
P a un, S
M. P a un, S. Takayama, Positivity of twisted relative pluricanonical divisors and their direct images, J. Algebraic Geom. 27 (2018), 211--272
2018
-
[47]
Siu, S.-T
Y.-T. Siu, S.-T. Yau, Compact K\"ahler manifolds of positive bisectional curvature, Invent. Math. 59 (1980), no. 2, 189--204
1980
-
[48]
Tang, Positive curvature operator, projective manifold and rational connectedness, preprint, available at 1905.04894v2
K. Tang, Positive curvature operator, projective manifold and rational connectedness, preprint, available at 1905.04894v2
1905 arXiv
-
[49]
Wang, On the Iitaka conjecture C_ n,m for K\"ahler fibre spaces , Ann
J. Wang, On the Iitaka conjecture C_ n,m for K\"ahler fibre spaces , Ann. Fac. Sci. Toulouse Math. (6) 30 (2021), no. 4, 813--897
2021
-
[50]
Yang, RC-positivity, rational connectedness and Yau's conjecture, Camb
X. Yang, RC-positivity, rational connectedness and Yau's conjecture, Camb. J. Math. 6 (2018), 183--212
2018
-
[51]
Yang, RC-positive metrics on rationally connected manifolds, Forum Math
X. Yang, RC-positive metrics on rationally connected manifolds, Forum Math. Sigma 8 (2020), Paper No. e53, 19 pp
2020
-
[52]
Yau, Problem section, Seminar on Differential Geometry, 669--706, Ann
S.-T. Yau, Problem section, Seminar on Differential Geometry, 669--706, Ann. of Math. Stud., 102 , Princeton Univ. Press, Princeton, N.J, (1982)
1982
-
[53]
Zhang, On projective manifolds with nef anticanonical divisors, J
Q. Zhang, On projective manifolds with nef anticanonical divisors, J. Reine Angew. Math. 478 (1996), 57--60
1996
-
[54]
Zhang, On projective varieties with nef anticanonical divisors, Math
Q. Zhang, On projective varieties with nef anticanonical divisors, Math. Ann. 332 (2005), no. 3, 697--703
2005
-
[55]
Zuo Representations of fundamental groups of algebraic varieties, Lecture Notes in Math., 1708 Springer-Verlag, Berlin, 1999, viii+135 pp
K. Zuo Representations of fundamental groups of algebraic varieties, Lecture Notes in Math., 1708 Springer-Verlag, Berlin, 1999, viii+135 pp
1999
-
[56]
Zhang, X
S. Zhang, X. Zhang On the structure of compact K\"hler manifolds with nonnegative holomorphic sectional curvature, preprint, available at arXiv:2311.18779v4
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.