On a question of Demailly-Peternell-Schneider (Q363237)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On a question of Demailly-Peternell-Schneider
scientific article

    Statements

    On a question of Demailly-Peternell-Schneider (English)
    0 references
    0 references
    0 references
    0 references
    2 September 2013
    0 references
    The authors prove the following main theorem: Let \(f:X\rightarrow Y\) be a surjective morphism from a projective log canonical pair \((X,D)\) onto a \(\mathbb{Q}\)-Gorenstein projective variety \(Y\). If \(-(K_X+D)\) is nef, then \(-K_Y\) is pseudo-effective. This answers firmly a question posed by Demailly-Peternell-Schneider [\textit{J.-P. Demailly} et al., Int. J. Math. 12, No. 6, 689--741 (2001; Zbl 1111.32302)] and recently by \textit{T. Peternell} [J. Eur. Math. Soc. (JEMS) 14, No. 2, 571--603 (2012; Zbl 1250.14022)]. Examples 1.2, 1.3, and 1.5 are included to show that under the above assumptions: 1. \(-(K_X+D)\) being nef, or even nef and big, does not imply nefness of \(-K_Y\). 2. Pseudo-effectiveness of \(-(K_X+D)\) does not imply pseudo-effectivenees of \(-K_Y\). 3. \((X,D)\) being log canonical is necessary. The proof mainly depends on the weak positivity of the direct images of log pluricanonical sheaves by \textit{E. Viehweg} [Adv. Stud. Pure Math. 1, 329--353 (1983; Zbl 0513.14019)], \textit{F. Campana} [Ann. Inst. Fourier 54, No. 3, 499--630 (2004; Zbl 1062.14014)], and \textit{S. Lu} [``A refined Kodaira dimension and its canonical fibration'', \url{arXiv:math/0211029}], see Lemma 2.2. As a consequence, the authors show that under the same assumptions as in the main theorem, \(Y\) is either uniruled or \(K_Y\sim_\mathbb{Q}0\). In particular, for \(X\) a smooth projective variety with \(-K_X\) nef, the Albanese morphism is an algebraic fiber space, i.e., surjective with connected fibers.
    0 references
    0 references
    0 references
    pseudo-effective
    0 references
    weak positivity
    0 references
    anti-canonical divisor
    0 references
    0 references