Hyperbolicity for log canonical pairs and the cone theorem (Q2334608)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Hyperbolicity for log canonical pairs and the cone theorem
scientific article

    Statements

    Hyperbolicity for log canonical pairs and the cone theorem (English)
    0 references
    0 references
    7 November 2019
    0 references
    Let \(X\) be a complex normal projective variety, and let \(D = \sum_{j \in J} a_j D_j\) be a boundary divisor such that the pair \((X, D)\) is log-canonical. By the classical cone theorem we know that the log-canonical divisor \(K_X+D\) is nef if \(X\) does not contain any rational curves. Assume now that the divisor \(D\) is reduced, i.e. all the coefficient \(a_j\) are equal to one. Following Iitaka's philosophy one would like to study the positivity of \(K_X+D\) in terms of the geometry of the open strata defined by the pair \((X, D)\). The main result of this paper confirms this expectation: let \(X\) be a projective manifold, and let \(D = \sum_{j \in J} D_j\) be a simple normal crossings divisor. Assume that -- any morphism \(f : \mathbb{A}^1 \to X \setminus D\) is constant; -- for any intersection \(D_I =\cap_{i \in I} D_i, \; I \subset J\), any morphism \(f : \mathbb{A}^1 \to (D_I \setminus \cup_{j \in (J \setminus I)} D_j)\) is constant. Then \(K_X + D\) is nef. More generally the author proves the analogous statement for arbitrary log-canonical pairs \((X,D)\) by replacing \(X \setminus D\) with the complement of the non-klt locus \(\mbox{Nklt}(X, D)\) and the other open sets with the corresponding open strata of \(\mbox{Nklt}(X, D)\). Moreover, under the same assumption, he proves that \(K_X+D\) is ample if it is big and the restriction to every log canonical center of \((X, D)\) is big. As a consequence of the technique, one also obtains a more geometric version of the classical cone theorem for log-canonical pairs \((X,D)\): one has \[ \overline{\mbox{NE}}(X) = \overline{\mbox{NE}} (X)_{K_X + D \geq 0} + \sum_{i\in I} \mathbb{R}_{>0}[C_i] \] and the rational curves \(C_i\) generating the \(K_X+D\)-negative extremal rays can be chosen to satisfy one of the two following conditions: -- \(C_i \cap (X \setminus \mbox{Nklt}(X, D))\) contains the image of a non constant morphism \(f : \mathbb{A}^1 \to X\); -- there exists an open stratum \(W\) of \(\mbox{Nklt}(X, D)\) such that \(C_i \cap W\) contains the image of a non-constant morphism \(f : \mathbb{A}^1 \to W\).
    0 references
    minimal model program
    0 references
    hyperbolicity
    0 references
    cone theorem
    0 references
    extremal rays
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references