On compact K\"ahler manifolds with pseudo-effective tangent bundle

Chenghao Qing; Shin-ichi Matsumura

REVIEW 4 major objections 5 minor 28 references

On compact K\"ahler manifolds with pseudo-effective tangent bundle

T0 review · 4 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

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

Pith's one-line read Compact Kähler manifolds with pseudo-effective tangent bundle decompose into a torus base and rationally connected fibers.

desk verdict The Kähler case of the structure theorem is very likely true and the proof is a coherent chain; the main gap is unverified hypotheses in a cited theorem at the projectivity hinge. read the letter →

arxiv 2502.00623 v1 pith:KRN6M4TG submitted 2025-02-02 math.AG math.CVmath.DG

Shin-ichi Matsumura , Chenghao Qing This is my paper · ORCID

classification math.AGmath.CVmath.DG MSC 32J2514F3558A30

keywords pseudo-effectivevectorbundlecompactKählermanifoldrationallyconnectedfibrationaugmentedirregularityspecialtypevirtuallyabelianfundamentalgroupAlbanesemapsingularHermitianmetric

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 paper proves that every compact Kähler manifold whose tangent bundle is pseudo-effective admits a smooth fibration onto a finite étale quotient of a compact complex torus, with a very general fiber that is rationally connected and again has pseudo-effective tangent bundle. In the presence of a positively curved singular Hermitian metric on the tangent bundle, the fibration is locally constant rather than merely locally trivial. The result carries the structure theorem for smooth projective varieties over to the full Kähler category, settling a problem left open in that earlier work. A direct consequence is that the fundamental group of such a manifold is virtually abelian.

What carries the argument

The central objects are the Albanese map and the augmented irregularity $\hat q(X)$, the supremum of the irregularity over finite étale covers. The argument first establishes that a compact Kähler manifold with pseudo-effective tangent bundle is of special type, which implies that every linear representation of its fundamental group has virtually abelian image. The decisive step, Theorem 2.3(2), shows that when $\hat q(X)=0$ such a manifold is projective and rationally connected: a non-projective manifold would admit a flat subbundle of the cotangent bundle, and the external numerical-flatness criterion plus virtual abelianity force a contradiction with $\hat q(X)=0$. The fibration of Theorem 1.1 is then built by applying the induction hypothesis to the fibers of the Albanese map.

What would settle it

Find a compact Kähler manifold with pseudo-effective tangent bundle and vanishing augmented irregularity that is not projective; Theorem 2.3(2) asserts no such manifold exists, so one explicit example would refute the main theorem.

Watch

Extended reading notes

Core claim

The main theorem asserts that for a compact Kähler manifold $X$ with pseudo-effective tangent bundle, the Albanese map $X \to Y$ is a smooth fibration whose base $Y$ is a finite étale quotient of a torus, whose very general fiber $F$ is rationally connected and has pseudo-effective tangent bundle, and whose fibration becomes locally constant once $TX$ admits a positively curved singular Hermitian metric. The proof proceeds by showing that a fiber with vanishing augmented irregularity must be projective, using the fact that such an $X$ is of special type and hence has linear fundamental group representations with virtually abelian image. A contradiction argument then forces projectivity, and the projective structure theorem supplies rational connectivity. The smoothness of the fibration and the properties of the fibers are propagated by induction on dimension.

Load-bearing premise

The proof relies on two external theorems: one asserting that a strongly pseudo-effective reflexive subsheaf of the cotangent bundle is numerically flat, and one asserting that special-type Kähler manifolds have linear fundamental group representations with virtually abelian image; if either theorem carries hidden hypotheses, the step showing that a fiber with vanishing augmented irregularity is projective breaks down.

Editorial extensions

If this is right

Every compact Kähler manifold with pseudo-effective tangent bundle has virtually abelian fundamental group (Corollary 1.3).
The Albanese map is a smooth fibration onto a finite étale quotient of a torus, so the non-rational part of the manifold is entirely accounted for by the base.
In the positively curved case the fibration is locally constant, giving a stronger rigidity than local triviality.
The structure theorem for smooth projective varieties is recovered as the projective case, with the same fiberwise conclusion.

Reading between the lines

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

It would be natural to test whether, without positive curvature, the fibration of Theorem 1.1 still coincides with the MRC fibration; the paper shows this only in the positively curved case.
The mechanism suggests that pseudo-effectivity of the tangent bundle is strong enough to force the base of the Albanese map to be a torus quotient in all Kähler dimensions, which would rule out any non-toral base behavior.
One could attempt to make the projectivity step self-contained by proving the numerical flatness of cotangent subsheaves and the virtual abelianity directly in the Kähler category, removing the reliance on external theorems.

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

First thing you should know: this is the Kähler-case completion of the structure theorem for pseudo-effective tangent bundles, and it uses a genuinely different strategy from the projective proof. Instead of MRC fibrations, the authors use the Albanese map, prove the source is of special type, and then reduce to showing the general fiber is projective. That reduction is the real work, and Theorem 2.2's argument that the source must be special—via a curvature current supported on an exceptional divisor—is clean and convincing. The final induction is also clearly laid out. The paper earns credit for tackling a problem that was explicitly posed and for writing the proof in a mostly self-contained way given its citations.

The soft spots are all about verification of cited results. The load-bearing step is Theorem 2.3(2): from a non-zero holomorphic 2-form, they build a reflexive subsheaf F of Ω_X that is strongly pseudo-effective with vanishing determinant, and then conclude F is numerically flat by invoking [Wu22, Main Theorem]. The stress-test note is on target here—the paper does not state what [Wu22] requires, and the authors do not check hypotheses. At that point X is not assumed projective, and if [Wu22] is only proved for projective varieties, the contradiction establishing projectivity collapses. This is a genuine gap in presentation, not a manufactured one. A referee needs to look at [Wu22] and confirm the theorem holds for compact Kähler manifolds, or ask the authors to supply a proof.

The other soft spot is the removal of projectivity in the base for [Mul, Lemma 3.1], used for local constancy. The authors give a three-step sketch and cite [Bis95] and Simpson's correspondence. This is probably fine, but it is a sketch, and since the lemma is imported from a preprint, it deserves a careful check. There are also several other preprints in the chain ([Mat], [IMZ], [MWb]). That's more of a refereeing nuisance than a mathematical flaw—the cited results are about projective or intermediate cases, and the main theorem isn't circular.

So my overall read: the central theorem is very likely true, the proof is a coherent chain of established and near-established results, and the weak points are verifiable rather than conceptual. This deserves a serious referee. I'd recommend sending it to review with a note that the referee should verify the applicability of [Wu22] at the stated level of generality and ask for a full proof of the extended [Mul, Lemma 3.1].

Referee Report

4 major / 5 minor

Summary. The paper proves Theorem 1.1: if X is a compact Kähler manifold whose tangent bundle is pseudo-effective (in the strong sense of admitting singular Hermitian metrics on symmetric powers with psh weights), then X admits a smooth fibration onto a finite étale quotient of a compact torus, with very general fibers rationally connected and having pseudo-effective tangent bundle; if the tangent bundle admits a positively curved singular Hermitian metric, the fibration is locally constant. The proof uses the Albanese map, reduces to the case of vanishing augmented irregularity, and then shows that such an X must be projective and rationally connected by combining Campana's theory of special varieties with a flat subbundle argument. The paper also derives the corollary that π1(X) is virtually abelian.

Significance. If the proof is correct, this is a substantial extension of the structure theorem for pseudo-effective tangent bundles from the projective case to all compact Kähler manifolds, resolving a problem posed in [Mat22b, Problem 4.5]. The paper is proof-theoretic, with no fitted parameters, and the final inductive structure of the argument is clear. Its main strength is the clean conceptual reduction: Theorem 2.2 establishes specialness (and hence virtual abelianity of linear representations of the fundamental group), and Theorem 2.3(2) converts the existence of a flat subbundle of the cotangent bundle into a contradiction when the augmented irregularity vanishes. However, the proof relies heavily on external results, and several load-bearing steps are cited rather than proved or even stated in sufficient detail; these gaps currently prevent full verification of the main theorem.

major comments (4)

[Section 2, proof of Theorem 2.3(2)] In the proof of Theorem 2.3(2), the assertion 'by applying [Wu22, Main Theorem, Corollary] to F, we conclude that F is a numerically flat locally free sheaf' is not supported by the text: the hypotheses of [Wu22, Main Theorem] are not stated, and the proof has not verified that they hold for the reflexive subsheaf F of Ω_X on a compact Kähler manifold (which may be non-projective). The flatness of F is load-bearing, as it produces the representation ρ whose virtual abelianity and finiteness yield the contradiction q(X')=0. Please state [Wu22, Main Theorem] in full and check each hypothesis, or provide a self-contained Kähler proof of the numerical flatness of F.
[Section 2, proof of Theorem 2.2 and Theorem 2.3(2)] The proof uses the closure property that a generically surjective quotient of a pseudo-effective sheaf is pseudo-effective, first for (π∗L)∗ in Theorem 2.2 and then for F∗ in Theorem 2.3(2). This property is neither proved nor referenced in the manuscript; for the metric definition of pseudo-effectivity used here, it requires a separate argument (e.g., via regularized metrics or the non-nef locus description). Since this property is used to conclude that (π∗L)∗ has a Hermitian flat metric and that c1(det F)=0, a proof or precise reference is needed.
[Section 2, proof of Theorem 1.1(5)] The removal of the projectivity assumption on Y from [Mul, Lemma 3.1] is only sketched. The sketch says that the first two steps of the proof in [Mul] do not require Y projective, while the third step uses [Mul, Theorem 1.6 and Proposition 1.7] and appeals to [Bis95, Remark 3.7.(ii)] and Simpson's correspondence for compact Kähler manifolds. This is not a complete proof of the Kähler version of the lemma. Because local constancy is one of the main conclusions of Theorem 1.1, the authors should either prove the Kähler version of [Mul, Lemma 3.1] or state and prove the corresponding Kähler analogues of [Mul, Theorem 1.6 and Proposition 1.7].
[Section 2, Theorem 2.2] The conclusion 'the image of any GL-representation ρ : π1(X) → GL(r,C) is virtually abelian' is cited to [Cam04, Theorem 7.8] without stating the theorem. Since this conclusion is used in the proof of Theorem 2.3(2) to make Im(ρ) abelian after a finite étale cover, the authors should quote the precise statement and confirm that its hypotheses are satisfied for compact Kähler manifolds with pseudo-effective tangent bundle. If [Cam04, Theorem 7.8] is a standard result, a precise statement with a reference suffices.

minor comments (5)

[Section 1, Theorem 1.1(5)] [MWa] is cited for the definition of locally constant fibration but is absent from the reference list; please add the full bibliographic entry.
[References] The entry [Mok92] appears twice in the reference list; remove the duplicate.
[Section 2, proof of Theorem 1.1] The reduction to a finite étale cover is stated without proof: 'It is sufficient to prove the conclusion after we replace X with a finite étale cover by the argument in [CH19] and [Hör07, Corollary 2.11] (see also the proof of [Mat, Theorem 1.1])'. Please explain how the fibration on the cover descends to X, or give a precise lemma reference.
[Section 2, proof of Theorem 2.3(2)] The statement 'the vector bundle (Λ^r Ω_X ⊗ det F^*)^* = Λ^r TX ⊗ det F is pseudo-eﬀective' would benefit from a justification; please provide a reference or a one-line argument for pseudo-effectivity after twisting by a numerically trivial line bundle.
[Throughout] There are minor typographical issues, e.g., 'morpshim' for 'morphism' in the proof of Theorem 1.1(5) and an anomalous space in 'Consequently' in the introduction.

Circularity Check

0 steps flagged · score 0.0 of 10

No load-bearing circularity: the compact Kähler argument reduces to prior projective results and external theorems, none of which is the target conclusion by construction.

full rationale

The paper is a proof-theoretic extension of a known projective structure theorem to compact Kähler manifolds. The main chain is: show X is special via Theorem 2.2; in the non-projective contradiction, construct a reflexive subsheaf F of Ω_X; use [Wu22, Main Theorem, Corollary] to conclude F is numerically flat; use [Cam04, Theorem 7.8] for virtual abelianity; then trivialize F on an étale cover and contradict the vanishing augmented irregularity. No step defines a quantity in terms of the conclusion, fits a parameter and calls it a prediction, imports a uniqueness theorem whose content is the target result, or renames a known pattern. The self-citations to [HIM22, Theorem 3.12], [IMZ, Lemma 2.9(1)], and [Mat] supply prior partial results or technical lemmas with content distinct from the compact Kähler structure theorem being proved, so they do not make the derivation circular. The heavy reliance on [Wu22] without restating its hypotheses is a verification or correctness risk, not a circularity.

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

The paper introduces no new constants or entities. The proof is a chain of known theorems from the literature, several by the same authors; the ledger lists the main external results on which the central claim relies.

assumptions (7)

standard math A compact Kähler manifold with h^{2,0}=0 is projective.
Used in Theorem 2.3(2) to guarantee a nonzero holomorphic 2-form on any non-projective compact Kähler manifold.
domain assumption Pseudo-effectivity is preserved under generically surjective quotients of torsion-free sheaves.
Used in Theorem 2.2 to pass pseudo-effectivity from the exterior power of the tangent bundle to the line bundle (pi_*L)^*.
standard math Campana's theorem: a compact Kähler manifold of special type has virtually abelian image for every linear representation of its fundamental group.
Used in Theorem 2.2 and Theorem 2.3(2) to control the monodromy representation of the flat bundle F.
standard math [HIM22, Theorem 3.12]: pseudo-effective tangent bundle implies surjective Albanese map and pseudo-effective tangent bundles on the fibers.
Used in Theorem 2.3(1) and in the proof of Theorem 1.1 for smoothness and inheritance of pseudo-effectivity by very general fibers.
standard math [Wu22, Main Theorem]: strongly pseudo-effective reflexive sheaves on compact Kähler manifolds are numerically flat.
Used in Theorem 2.3(2) to conclude that the reflexive subsheaf F of the cotangent bundle is numerically flat.
standard math Augmented irregularity is additive under the smooth Albanese fibration.
Used in the final proof of Theorem 1.1 via [DPS94, Proposition 3.12 and Remark 3.13] to compute qhat(X)=qhat(F)+qhat(Y).
standard math Support theorem for closed positive currents: a closed positive current supported on a divisor is an effective divisor current.
Used in Theorem 2.2 to express the curvature current of L as an effective pi-exceptional divisor.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On compact K\"ahler manifolds with pseudo-effective tangent bundle." pith.science (2026). https://pith.science/paper/KRN6M4TG

@misc{pith2026250200623,
  author       = {Pith},
  title        = {Pith review of: On compact K\"ahler manifolds with pseudo-effective tangent bundle},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KRN6M4TG}},
  note         = {Machine review of arXiv:2502.00623}
}

abstract

In this paper, we prove that a compact K\"ahler manifold $X$ with pseudo-effective (resp. singular positively curved) tangent bundle admits a smooth (resp. locally constant) rationally connected fibration $\phi \colon X \to Y$ onto a finite \'etale quotient $Y$ of a compact complex torus. This result extends the structure theorem previously established for smooth projective varieties to compact K\"ahler manifolds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 23 canonical work pages

[1]

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

work page 2013
[2]

Biswas, On Harder-Narasimham filtration of the tangent bundle, Comm

I. Biswas, On Harder-Narasimham filtration of the tangent bundle, Comm. Anal. Geom., 3 (1995), no.. 1-2, 1--10

work page 1995
[3]

Bauer, S.\,J

T. Bauer, S.\,J. Kov\'acs, A. K\"uronya, E.\,C. Mistretta, T. Szemberg, S. Urbinati, On positivity and base loci of vector bundles, Eur. J.\ Math.\ 1 (2015), no. 2, 229--249

work page 2015
[4]

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

work page 1995
[5]

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

work page 2004
[6]

J. Cao, A. H\"oring, A decomposition theorem for projective manifolds with nef anticanonical divisor, J. Algebraic Geom. 28 (2019), 567--597

work page 2019
[7]

oring, Projectivity criteria for K\

B. Claudon, A. H\"oring, Projectivity criteria for K\"ahler morphisms, preprint, available at arXiv:2404.13927v1

arXiv
[8]

Campana, T

F. Campana, T. Peternell, Projective manifolds whose tangent bundles are numerically effective, Math. Ann. 289 (1991), 169--187

work page 1991

Show all 28 references

[9]

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
[10]

Graber, J

T. Graber, J. Harris, J. Starr, Families of rationally connected varieties, J. Amer. Math. Soc. 16 (2003), no. 1, 57--67

2003
[11]

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
[12]

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
[13]

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
[14]

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
[15]

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
[16]

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
[17]

Matsumura, Fundamental groups of compact K\"ahler manifolds with semi-positive holomorphic sectional curvature, preprint

S. Matsumura, Fundamental groups of compact K\"ahler manifolds with semi-positive holomorphic sectional curvature, preprint
[18]

Matsumura, On the minimal model program for projective varieties with pseudo-effective tangent sheaf, \'Epijournal de G\'eom\'etrie Alg\'ebrique, 27 November 2023, Volume 7

S. Matsumura, On the minimal model program for projective varieties with pseudo-effective tangent sheaf, \'Epijournal de G\'eom\'etrie Alg\'ebrique, 27 November 2023, Volume 7

2023
[19]

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
[20]

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
[21]

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
[22]

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

arXiv
[23]

Matsumura, J

S. Matsumura, J. Wang, Structure theorem for projective klt pairs with nef anti-canonical divisor, preprint, available at arXiv:2105.14308v3

arXiv
[24]

Matsumura, X

S. Matsumura, X. Wu, Compact K\"ahler threefolds with nef anti-canonical bundle, Math. Ann., 391 (2025), 1253--1289

2025
[25]

N. Mok, J. Q. Zhong, Curvature characterization of compact Hermitian symmetric spaces, J. Differential Geom. 23 (1986), no.1, 15--67

1986
[26]

M. Iwai, S. Matsumura, G. Zhong, Positivity of tangent sheaves of projective varieties -- the structure of MRC fibrations, preprint, available at arXiv:2309.09489v1

arXiv
[27]

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

arXiv
[28]

Wu, Strongly pseudo-effective and numerically flat reflexive sheaves, J

X. Wu, Strongly pseudo-effective and numerically flat reflexive sheaves, J. Geom. Anal. 32 (2022), Article 124

2022

Pith tools

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

[1] [1]

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

work page 2013

[2] [2]

Biswas, On Harder-Narasimham filtration of the tangent bundle, Comm

I. Biswas, On Harder-Narasimham filtration of the tangent bundle, Comm. Anal. Geom., 3 (1995), no.. 1-2, 1--10

work page 1995

[3] [3]

Bauer, S.\,J

T. Bauer, S.\,J. Kov\'acs, A. K\"uronya, E.\,C. Mistretta, T. Szemberg, S. Urbinati, On positivity and base loci of vector bundles, Eur. J.\ Math.\ 1 (2015), no. 2, 229--249

work page 2015

[4] [4]

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

work page 1995

[5] [5]

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

work page 2004

[6] [6]

J. Cao, A. H\"oring, A decomposition theorem for projective manifolds with nef anticanonical divisor, J. Algebraic Geom. 28 (2019), 567--597

work page 2019

[7] [7]

oring, Projectivity criteria for K\

B. Claudon, A. H\"oring, Projectivity criteria for K\"ahler morphisms, preprint, available at arXiv:2404.13927v1

arXiv

[8] [8]

Campana, T

F. Campana, T. Peternell, Projective manifolds whose tangent bundles are numerically effective, Math. Ann. 289 (1991), 169--187

work page 1991