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
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
tangent bundle
0 references
generically nef
0 references
manifold with nef anticanonical bundle
0 references
0 references
0 references
0 references
0 references