On generic nefness of tangent sheaves (Q6165543)

From MaRDI portal
scientific article; zbMATH DE number 7720766
Language Label Description Also known as
English
On generic nefness of tangent sheaves
scientific article; zbMATH DE number 7720766

    Statements

    On generic nefness of tangent sheaves (English)
    0 references
    0 references
    0 references
    1 August 2023
    0 references
    Let \(X\) be a complex projective manifold of dimension \(n\) that is not uniruled, or equivalently the canonical bundle \(K_X\) is pseudoeffective. By a famous theorem of \textit{Y. Miyaoka} [Adv. Stud. Pure Math. 10, 449--476 (1987; Zbl 0648.14006)] the cotangent bundle \(\Omega_X\) is generically nef, i.e. the restriction of \(\Omega_X\) to a sufficiently positive complete intersection curve \(C \subset X\) is nef. If \(X\) is uniruled such a statement is typically not true without additional assumptions, neither for \(\Omega_X\) nor \(T_X\). In this paper the author shows that the tangent bundle \(T_X\) is generically nef if one assumes that the anticanonical bundle \(-K_X\) is nef, thereby confirming a conjecture of Peternell. As a consequence one obtains that \[ c_2(X) \cdot H_1 \cdot \ldots \cdot H_{n-2} \geq 0 \] for any collection of nef line bundles \(H_j\) on \(X\). In fact both statements hold more generally for projective varieties with \(\mathbb Q\)-factorial log-canonical singularities. The proof uses the algebraic integrability criterion of \textit{F. Campana} and \textit{M. Păun} [Publ. Math., Inst. Hautes Étud. Sci. 129, 1--49 (2019; Zbl 1423.14109)] as well as a direct image argument introduced by \textit{M. Chen} and \textit{Q. Zhang} [J. Eur. Math. Soc. (JEMS) 15, No. 5, 1853--1858 (2013; Zbl 1308.14015)]. In the second part of the paper the author gives a description of the boundary case in the inequality above: let \(X\) be a projective manifold such that \(-K_X\) is nef and \[ c_2(X) \cdot H_1 \cdot \ldots \cdot H_{n-2} = 0 \] for some collection of ample line bundles \(H_j\) on \(X\). Then, up to finite étale cover, \(X\) is an abelian variety or a \(\mathbb P^1\)-bundle over an abelian variety.
    0 references
    0 references
    tangent bundle
    0 references
    generically nef
    0 references
    manifold with nef anticanonical bundle
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references