Sur le cone des 1-cycles effectifs en dimension 3. (On the cone of effective 1-cycles in dimension 3) (Q1073862)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sur le cone des 1-cycles effectifs en dimension 3. (On the cone of effective 1-cycles in dimension 3)
scientific article

    Statements

    Sur le cone des 1-cycles effectifs en dimension 3. (On the cone of effective 1-cycles in dimension 3) (English)
    0 references
    0 references
    1985
    0 references
    Let X be a normal projective threefold over the complex numbers. Assume X has only canonical singularities in the sense of \textit{M. Reid} [Journées géom. Algébr., Angers/France, 273-310 (1980; Zbl 0451.14014)]. Such threefolds have a canonical Q-divisor, denoted by K. Let NS(X) be the Néron-Severi group and NE(X) the cone generated by effective curves in the dual of NS(X)\(\otimes {\mathbb{R}}\). - Let \(NK(X,0)=\{Z\in \overline{NE(X)}| \quad K.Z<0\}.\) The author defines a face F of NK(X,0) to be extremal if \(\bar F\subset NK(X,0)\), also F to be minimal if the number of irreducible curves whose class lies in F is finite. Extremal rays were studied in depth by \textit{S. Mori} [Ann. Math., II. Ser. 116, 133-176 (1982; Zbl 0557.14021)]. The author proves the following theorem: ''Let X and K be as above and F a minimal extremal face of NK(X,0). Then for every curve C such that this class of C belongs to F the following holds: \((i)\quad C\quad is\) a smooth rational curve; \((ii)\quad -1<KC<0.''\)- As a corollary, he obtains the following: ''Let X be a normal Gorenstein projective threefold with nonnegative Kodaira dimension. Assume that all extremal rays of X are minimal. Then the canonical divisor of X is numerically positive''. The author also remarks that any smooth threefold with non-negative Kodaira dimension has a birational model which has only canonical singularities and satisfying the hypothesis above on extremal rays. (This is a consequence of theorems of M. Reid and Y. Kawamata.) If in addition they were Gorenstein, the corollary would be applicable but unfortunately they are not in general. Some of the intermediate propositions should be of independent interest.
    0 references
    0 references
    numerically positive canonical divisor
    0 references
    normal projective threefold
    0 references
    Néron-Severi group
    0 references
    cone generated by effective curves
    0 references
    Extremal rays
    0 references
    Kodaira dimension
    0 references
    0 references