REVIEW 4 major objections 4 minor 35 references
On projective manifolds with pseudo-effective tangent bundle
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A projective manifold with pseudo-effective tangent bundle admits a smooth fibration to a base finitely covered by an abelian variety, with rationally connected general fibers; under a positively curved singular hermitian metric the…
desk verdict The main structure theorem is a genuine extension of the nef tangent bundle theory and deserves peer review, but the blow-up section has a false Lelong number inequality and the whole paper rests on an equivalence cited from elsewhere. 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 central object is the tangent bundle $T_X$ equipped with a singular hermitian metric, defined on the open set where the sheaf is locally free and required to satisfy that $\log|u|_{g^\vee}$ is plurisubharmonic for local sections of the dual. Pseudo-effectivity is the existence, for every $m>0$, of such metrics on $\operatorname{Sym}^m E$ whose curvature currents are bounded below by a fixed hermitian form. The argument is carried by three consequences of this notion: Theorem 1.2, that pseudo-effectivity plus $c_1=0$ forces local freeness and numerical flatness; Theorem 1.3, that positively curved exact sequences with $c_1(Q)=0$ split; and Theorem 1.4, the reflexive-sheaf version. These results, applied to the relative tangent sequence of an MRC fibration, force the fibration to be smooth and its base to have a numerically flat tangent bundle.
What would settle it
Construct a rank-two reflexive sheaf on a smooth projective threefold that is not locally free, is weakly positive in the sense of Definition 2.2(5), but admits no sequence of singular hermitian metrics on its symmetric powers satisfying the curvature bound of Definition 2.1; such a sheaf would disprove the equivalence on which the paper's main theorem and its surface classification rest.
Extended reading notes
Core claim
The paper's central claim is that pseudo-effectivity of the tangent bundle imposes a rigid structure on a projective manifold $X$: there exists a smooth surjective morphism $\varphi:X\to Y$ with connected fibers, where $Y$ is smooth and admits a finite étale cover by an abelian variety, and a general fiber $F$ is rationally connected and itself has pseudo-effective tangent bundle. This is Theorem 1.1. The proof goes through three structural results for singular hermitian metrics: a pseudo-effective reflexive sheaf with $c_1=0$ is locally free and numerically flat (Theorem 1.2); a positively curved exact sequence of vector bundles with $c_1(Q)=0$ splits (Theorem 1.3); and the same splitting holds for reflexive sheaves on compact Kähler manifolds (Theorem 1.4). When $T_X$ carries a positively curved singular hermitian metric, the tangent sequence splits and $\varphi$ is locally trivial. As an application, the paper classifies minimal ruled surfaces with pseudo-effective tangent bundle (base $\mathbb{P}^1$ or an elliptic curve) and studies blow-ups of Hirzebruch surfaces, showing that pseudo-effectivity persists for blow-ups along up to three general points.
Load-bearing premise
The paper relies on an external theorem asserting that its metric definition of pseudo-effectivity agrees with the algebraic weak-positivity definition for projective manifolds; if that equivalence fails for reflexive or singular sheaves, the structure theorem and the surface classification may be speaking about different classes of bundles.
Editorial extensions
If this is right
- Every projective manifold with pseudo-effective tangent bundle is smoothly fibered over a flat projective base, so the MRC fibration can be chosen holomorphic and without singular fibers.
- The base of this fibration is finitely covered by an abelian variety, so its tangent bundle is numerically flat and its canonical bundle is torsion.
- A general fiber $F$ again has pseudo-effective tangent bundle, so the class is closed under taking general fibers of the MRC fibration.
- If $T_X$ admits a positively curved singular hermitian metric, the tangent sequence splits and $\varphi$ is locally trivial, giving a genuine fiber bundle structure over the flat base.
- The surface results determine the ruled case completely: pseudo-effectivity forces the base to be $\mathbb{P}^1$ or an elliptic curve, forces smoothness of the ruling over an elliptic curve, and holds for all minimal ruled surfaces over those bases.
Reading between the lines
- If the metric/algebraic equivalence used in the paper extends from projective manifolds to compact Kähler manifolds, the same MRC argument should give a Kähler version of Theorem 1.1 with a torus base; the paper already proves the Albanese version, Theorem 3.11.
- The splitting theorem suggests a practical test for positive curvature on ruled surfaces: the dimension count $h^0(X,T_X)=h^0(X,T_{X/Y})+h^0(X,\varphi^*T_C)$ that rules out positively curved metrics on $S_n$ could be applied to other projectivized flat bundles to detect when the tangent sequence must split.
- The surface examples suggest a threshold phenomenon: blowing up a Hirzebruch surface at up to three general points preserves pseudo-effectivity of the tangent bundle, while no more than two points can preserve generic global generation; understanding the fourth point likely requires controlling the position of the blown-up points rather than just their number.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops singular hermitian metrics on torsion-free sheaves and applies them to study projective manifolds with pseudo-effective tangent bundle. The main result (Theorem 1.1) asserts that such a manifold X admits a smooth MRC fibration X -> Y over a smooth base Y with a finite etale abelian cover, whose general fiber is rationally connected and itself has pseudo-effective tangent bundle; under a positively curved singular metric assumption, the tangent sequence splits and the fibration is locally trivial. The paper also proves splitting theorems for positively curved vector bundles (Theorems 1.3 and 1.4), characterizes numerically flat sheaves (Theorem 1.2), and gives a partial classification of surfaces with pseudo-effective tangent bundle: minimal ruled surfaces over P^1 or an elliptic curve, plus a study of blow-ups of Hirzebruch surfaces.
Significance. If the main theorem is correct, it is a substantial extension of the nef tangent bundle theory of Campana-Peternell and Demailly-Peternell-Schneider to the pseudo-effective regime, with an elegant statement: the base of the MRC fibration is abelian up to etale cover, and the fibers are rationally connected. The splitting theorems for singular positively curved metrics and the explicit examples of ruled surfaces with pseudo-effective but not nef tangent bundle are useful and interesting in their own right. The paper also provides concrete computations distinguishing pseudo-effectivity, generic global generation, and nefness. However, several load-bearing steps rely on an external equivalence between metric and algebraic pseudo-effectivity for non-locally-free sheaves, and on a semicontinuity assertion for Lelong numbers that is not proved. These gaps affect both the proof of the structure theorem and the surface classification.
major comments (4)
- [§3.3, proof of Theorem 3.10] The main theorem is stated for the metric Definition 2.1, but the proof uses algebraic consequences of pseudo-effectivity that are immediate for Definition 2.2(5) and not proved for Definition 2.1. In particular, the sentence 'The morphism r is generically surjective, and thus the reflexive sheaf Q is also pseudo-effective' is used for the sheaf Q in (3.3), which is only generically a quotient of TX and may not be locally free before Theorem 1.2 is applied. Similarly, the proof of conclusion (4) uses the fact that the non-nef locus of O_{P(TX)}(1) has proper image in X, which is an algebraic statement. The paper cites [Iwa18, Theorem 1.3] for the equivalence of Definitions 2.1 and 2.2(5), but does not verify that this equivalence holds for reflexive non-locally-free sheaves. Since the classification and the structure theorem could refer to different classes if that equivalence fails, this point is load-bearing and must be either proved in the text or stated with complete hypotheses.
- [§3.1, Lemma 3.2] In the proof of Lemma 3.2(1), after defining f_m = (1/m) log |τ^m|_{h_m^∨} and observing √-1∂∂ f_m ≥ -ω/m, the text asserts that 'its weak limit (after we take a subsequence) should be zero'. This does not follow from the displayed curvature bound: a sequence of quasi-psh functions with second derivatives bounded below by -ω/m can converge weakly to a non-zero psh function. The subsequent contradiction using Lelong numbers depends on this unproved convergence to zero. Lemma 3.2 is used in the proof of Theorem 3.11 for the smoothness of the Albanese map, so this is not a purely cosmetic gap.
- [§4.2, Proposition 4.5(2), around Eq. (4.8)] The proof of the bound ν(S,p_0) ≥ 1/2 relies on the assertion 'Lelong numbers will also increase after taking a weak limit of currents', yielding ν(T,p') ≥ lim sup ν(√-1Θ_{g_m},p'). This is not a general property of weakly convergent closed positive currents; the inequality needs a proof or a precise reference valid for the specific sequence constructed here. If this inequality fails, the bound ν(S,p_0) ≥ 1/2 and hence the conclusion #Σ ≤ 4 are unsupported. Since Proposition 4.5(2) is used in the surface classification, this is a load-bearing gap in the classification part of the paper.
- [§3.2, proof of Theorem 3.9(2)] The proof of conclusion (2) applies Lemma 3.1 to the injection Q^∨ → Ω_X induced by (3.3). Lemma 3.1 requires the relevant sheaf to be almost nef. In the setting of Theorem 3.10, Ω_X is not known to be almost nef from the metric pseudo-effectivity of TX without invoking the same equivalence with Definition 2.2(5) discussed above, and the paper does not supply a direct metric argument. Please clarify the exact logical chain or provide a self-contained proof of this step.
minor comments (4)
- [Throughout] There are repeated typographical errors: 'Chen class' should be 'Chern class' in Theorems 1.2, 1.4, and Lemma 3.5, and 'Ehrensmann' should be 'Ehresmann' in the proof of Theorem 3.10.
- [§2.1, after Definition 2.2] The sentence 'The above definition is equivalent to the definition (5) below' should state precisely which class of sheaves (locally free, reflexive, or all torsion-free) is covered by [Iwa18, Theorem 1.3], and whether that reference has appeared in final form.
- [§4.1, Proposition 4.2] The construction of sections of Sym^m(T_X) ⊗ φ^*O(2p) via condition (4.7) is very hard to follow; a more conceptual explanation or a worked-out example for small m would improve readability.
- [§4.2, proof of Proposition 4.8] The explicit formulas for θ_1, θ_2, θ_3 in the cases n=1 and n≥2 are extremely long. Consider moving them to an appendix or providing a computer-algebra verification file, as the current presentation is difficult to check by hand.
Circularity Check
No significant circularity: the main theorems are proved in the text, the cited definitional equivalence is external rather than an input-to-prediction reduction, and no fitted parameter or self-citation chain forces the conclusions.
full rationale
The paper's central derivation chain is self-contained. Theorem 1.2 is proved directly in Section 3.1 by induction using Bando-Siu admissible Hermitian-Einstein metrics; Theorems 1.3 and 1.4 are proved in Section 3.2; Theorem 3.10 (= Theorem 1.1) is then proved by running the MRC fibration argument and applying these proved results together with standard external facts from [Hör07], [BDPP13], [GHS03], [Bea83] and [DPS94]. No equation is normalized to force a conclusion, and no fitted constant is renamed as a prediction. The only definitional bridge is the assertion after Definition 2.2 that Definition 2.1 is equivalent to Definition 2.2(5) for projective manifolds, cited to [Iwa18, Theorem 1.3]. Although [Iwa18] is a preprint by a co-author, it is a parameter-free theorem with stated hypotheses that do not include the target structure theorem, so under the stated rules it counts as independent support rather than circularity. A possible mathematical concern is that this equivalence is not reproved and is used for reflexive sheaves that may not be locally free, but that is a correctness or verification risk, not a circularity of the derivation. The surface classifications in Section 4 are obtained by explicit section constructions and applications of the proved splitting theorem, again without reducing the conclusion to its own input.
Assumptions & free parameters
assumptions (7)
- domain assumption Equivalence between metric pseudo-effectivity, Definition 2.1, and weak positivity, Definition 2.2(5)
- standard math Beauville-Bogomolov decomposition applies to compact Kahler manifolds with numerically flat tangent bundle
- standard math Bando-Siu admissible Hermitian-Einstein metrics exist for stable reflexive sheaves and imply local freeness and hermitian flatness when c1 and c2 vanish
- standard math Rau fi's theorem: a positively curved singular metric with smooth determinant has a well-defined curvature current
- standard math Höring's criterion: an integrable subbundle of TX with rationally connected general leaves yields a smooth MRC fibration
- standard math The MRC base has pseudo-effective canonical bundle by [BDPP13], and rationally connected fibrations over curves have sections by [GHS03]
- standard math Classification results for ruled surfaces over P1 and elliptic curves from [CP91], [Ati55], [Ati57], and [Suw69]
Cite this review
Pith. "Pith review of On projective manifolds with pseudo-effective tangent bundle." pith.science (2026). https://pith.science/paper/ZTIMZ3QA
@misc{pith2026190806421,
author = {Pith},
title = {Pith review of: On projective manifolds with pseudo-effective tangent bundle},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZTIMZ3QA}},
note = {Machine review of arXiv:1908.06421}
}
abstract
In this paper, we develop the theory of singular hermitian metrics on vector bundles. As an application, we give a structure theorem of a projective manifold $X$ with pseudo-effective tangent bundle: $X$ admits a smooth fibration $X \to Y$ to a flat projective manifold $Y$ such that its general fiber is rationally connected. Moreover, by applying this structure theorem, we classify all the minimal surfaces with pseudo-effective tangent bundle and study general non-minimal surfaces, which provide examples of (possibly singular) positively curved tangent bundles.
Reference graph
Works this paper leans on
-
[1]
M. F. Atiyah, Complex fibre bundles and ruled surfaces, Proc. London Math. Soc. (3) 5 (1955), 407--434
work page 1955
-
[2]
M. F. Atiyah, Vector bundles over an elliptic curve, Proc. London Math. Soc. (3) 7 (1957), 414--452
1957
-
[3]
S. Bando, Y.-T. Siu, Stable sheaves and Einstein-hermitian metrics, Geometry and analysis on complex manifolds, 39--50, World Sci. Publ., River Edge, NJ, 1994
work page 1994
-
[4]
J. Blanc, Finite subgroups of the Cremona group of the plane, Autumn School in Algebraic Geometry, Lukecin, Poland, 2012. Available at https://www.mimuw.edu.pl/ jarekw/EAGER/pdf/FiniteSubgroupsCremona.pdf
work page 2012
-
[5]
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
-
[6]
A. Beauville, Vari\'et\'es K\"ahleriennes dont la premi\`ere classe de Chern est nulle, Geometry and analysis on complex manifolds, 39--50, J. Differential Geom. 18 (1983), no. 4, 755--782 (1984)
work page 1983
-
[7]
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
1992
-
[8]
Albanese maps of projective manifolds with nef anticanonical bundles
J. Cao, Albanese maps of projective manifolds with nef anticanonical bundles, to appear in Annales Scientifiques de l'\'Ecole Normale Sup\'erieure, arXiv:1612.05921v3
Show all 35 references
-
[9]
J. Cao, A. H\"oring A decomposition theorem for projective manifolds with nef anticanonical bundle, to appear in Journal of Algebraic Geometry, arXiv:1706.08814v1
-
[10]
J. Cao, S. Matsumura, Projective klt pairs with nef anti-canonical divisor and rationally connected fibrations, in preparation
-
[11]
Campana, T
F. Campana, T. Peternell, Projective manifolds whose tangent bundles are numerically effective, Math. Ann., 289 (1991), 169--187
1991
-
[12]
J. Cao, M. P a un, Kodaira dimension of algebraic fiber spaces over abelian varieties., Invent. Math. 207 (2017), no.2, 169--187
2017
-
[13]
Demailly, Analytic methods in algebraic geometry , Surveys of Modern Mathematics, 1 , International Press, Somerville, Higher Education Press, Beijing, (2012)
J.-P. Demailly, Analytic methods in algebraic geometry , Surveys of Modern Mathematics, 1 , International Press, Somerville, Higher Education Press, Beijing, (2012)
2012
-
[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]
Demailly, T
J-P. Demailly, T. Peternell, M. Schneider. Pseudo-effective line bundles on compact K\"ahler manifolds, Internat. J. Math. 12 (2001), no. 6, 689--741
2001
-
[16]
I. V. Dolgachev, V.A. Iskovskikh. Finite subgroups of the plane Cremona group, Algebra, arithmetic, and geometry, 1 , (2009), 443--548
2009
-
[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]
Hartshorne, Ample subvarieties of algebraic varieties, Notes written in collaboration with C
R. Hartshorne, Ample subvarieties of algebraic varieties, Notes written in collaboration with C. Musili. Lecture Notes in Mathematics, Vol. 156 Springer-Verlag, Berlin-New York 1970 xiv+256 pp
1970
-
[19]
Hartshorne, Stable reflexive sheaves, Math
R. Hartshorne, Stable reflexive sheaves, Math. Ann. 254 (1980), no. 2, 121--176
1980
-
[20]
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
-
[21]
Hosono, Approximations and examples of singular hermitian metrics on vector bundles, Ark
G. Hosono, Approximations and examples of singular hermitian metrics on vector bundles, Ark. Mat. 55 (2017), no. 1, 131--153
2017
-
[22]
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
-
[23]
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
-
[24]
Iwai, Characterization of pseudo-effective vector bundles by singular hermitian metrics, Preprint, arXiv:1804.02146v2
M. Iwai, Characterization of pseudo-effective vector bundles by singular hermitian metrics, Preprint, arXiv:1804.02146v2
-
[25]
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
-
[26]
Koll\'ar, Y
J. Koll\'ar, Y. Miyaoka, S. Mori, Rationally connected varieties, J. Algebraic Geom. 1 (1992), no. 3, 429--448
1992
-
[27]
Matsumura, On morphisms of compact K\"ahler manifolds with semi-positive holomorphic sectional curvature, Preprint, arXiv:1809.08859v1
S. Matsumura, On morphisms of compact K\"ahler manifolds with semi-positive holomorphic sectional curvature, Preprint, arXiv:1809.08859v1
-
[28]
Matsumura, On the image of MRC fibrations of projective manifolds with semi-positive holomorphic sectional curvature, Preprint, arXiv:1801.09081v1
S. Matsumura, On the image of MRC fibrations of projective manifolds with semi-positive holomorphic sectional curvature, Preprint, arXiv:1801.09081v1
-
[29]
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
-
[30]
Mu\ oz, G
R. Mu\ oz, G. Occhetta, L. D. Sol\'a Conde, K. Watanabe, J. A.Wi\'sniewski A survey on the Campana-Peternell conjecture, Rend. Istit. Mat. Univ. Trieste 47 (2015), 127--185
2015
-
[31]
Noboru, Zariski-decomposition and abundance, MSJ Memoirs, 14
N. Noboru, Zariski-decomposition and abundance, MSJ Memoirs, 14 . Mathematical Society of Japan, Tokyo, 2004. xiv+277 pp. ISBN: 4-931469-31-0
2004
-
[32]
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
-
[33]
Raufi, Singular hermitian metrics on holomorphic vector bundles, Ark
H. Raufi, Singular hermitian metrics on holomorphic vector bundles, Ark. Mat. 53 (2015), no. 2, 359--382
2015
-
[34]
Suwa, On ruled surfaces of genus 1, J
T. Suwa, On ruled surfaces of genus 1, J. Math. Soc. Japan 21 (1969) 291--311
1969
-
[35]
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
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.