Holomorphic sectional curvature, nefness and Miyaoka-Yau type inequality (Q2043057): Difference between revisions

By the work of \textit{D. Wu} and \textit{S.-T. Yau} [Invent. Math. 204, No. 2, 595--604 (2016; Zbl 1357.53085)] and \textit{V. Tosatti} and \textit{X. Yang} [J. Differ. Geom. 107, No. 3, 573--579 (2017; Zbl 1421.53075)] it is known that the canonical bundle of a compact Kähler manifold \((X, \omega)\) with negative holomorphic sectional curvature is always ample. Furthermore if \((X, \omega)\) has semi-negative holomorphic sectional curvature, then \(X\) does not contain any rational curve and the canonical bundle is nef. Since by definition a \((1,1)\)-class is nef if it is a limit of Kähler classes the author of this paper aims at proving analogous statements under a weaker, asymptotic, positivity assumption: for this purpose he introduces for a Kähler class \(\alpha\) the invariant \[ \mu_\alpha:=\inf\{\sup_X H_\omega \ | \ \omega \mbox{ is a Kähler metric in } \alpha\} \] where \(\sup_X H_\omega\) is the maximal value of the holomorphic sectional curvature of \(\omega\) on \(X\). By definition \(\mu_\alpha<0\) implies the existence of a Kähler metric with negative holomorphic sectional curvature, but the assumption \(\mu_\alpha=0\) is, at least a priori, weaker than the existence of a Kähler metric with semi-negative holomorphic sectional curvature. One then defines that a compact Kähler manifold \((X, \omega)\) is of almost non-positive holomorphic sectional curvature if for any number \(\epsilon>0\), there exists a Kähler class \(\alpha_\epsilon\) on \(X\) such that \(-\mu_{\alpha_\epsilon}\alpha_\epsilon+\epsilon[\omega]\) is a Kähler class. The main result of this paper states that this weaker assumption still has the same implications for the canonical bundle: if \(X\) has almost non-positive holomorphic sectional curvature, it does not contain any rational curve and the canonical bundle is nef. \newline The second part of the paper concerns the generalisation of the Miyaoka-Yau inequality \[ \left(\frac{2(n+1)}{n}c_2(X)-c_1(X)^2\right)(-c_1(X))^{n-2}\ge0 \] to this setup. The author first shows that if \(X\) is an \(n\)-dimensional compact Kähler manifold with almost non-positive holomorphic sectional curvature, the inequality above holds. Moreover if \((c_1(X))^{n-2}=0\), he proves a refined inequality \[ \left(\frac{2(n+1)}{n}c_2(X)-c_1(X)^2\right)\cdot(-c_1(X))^{\nu}\cdot\alpha_\infty^{n-\nu-2}\ge0 \] where \(\nu\) is the numerical dimension of \(-c_1(X)\) and \(\alpha_\infty\) is a suitably chosen nef class.