Positivity criteria for log canonical divisors and hyperbolicity (Q524589)

Let \(X\) be a complex algebraic variety, then \(X\) is Mori (resp. Brody) hyperbolic if every algebraic morphism from the complex line \(\mathbb C\) to \(X\) is a constant map (resp. every holomorphic map from the complex line \(\mathbb C\) to \(X\) is a constant map). If \(X\) is a smooth projective variety and \(D=\sum _{i=1}^rD_i\) is a divisor on \(X\) with simple normal crossings, then the pair \((X,D)\) is Mori (resp. Brody) hyperbolic if so are \(X\setminus D\) and the pairs \((D_k,D_k\cap \bigcup _{j\neq k}D_j)\). It is conjectured that if \((X, D)\) is a Mori (resp. Brody) hyperbolic pair, then \(K_X+D\) is nef (resp. ample). Recall that a divisor \(L\) is nef if \(L\cdot C\geq 0\) for any curve \(C\subset X\). In this paper the authors prove several statements closely connected to this conjecture. In particular they show that the closure \(\overline{\text{NE}}(X)\) of the cone of effective 1-cycles on \(X\) is generated by the \(K_X+D\)-non-negative part and at most a countable collection of extremal rational curves \(l_i\) which satisfy the following property: there exists a partition \( \{1,\ldots , r\}=L\cup K\) such that \(l_i\subset \cap _{l\in L}D_l\) and the normalization of \(l_i\setminus \bigcup _{l\in K}D_{l}\) contains a complex line \(\mathbb C\). Thus we have \[ \overline{\text{NE}}(X)=\overline{\text{NE}}(X)_{K_X+D\geq 0}+\sum _{i}l_i. \] Furthermore the intersection numbers satisfy \[ -l_i\cdot (K_X+D)\in \{ 1,2,\ldots , 2\dim X\} \] and if \(l_i\) is not a \(\mathcal D\)-compact rational curve, then \(-l_i\cdot (K_X+D)=1\) (recall that \(l_i\) is \(\mathcal D\)-compact if there exists a partition \( \{1,\ldots , r\}=L\cup K\) such that \(l_i\subset \cap _ {l\in L}D_l\) and \(l_i \cap D_l=\emptyset\) for all \({l\in K}\)). In particular, if \(X\setminus D\) is Mori hyperbolic, then \(K_X+D\) is nef.