Torsion freeness of higher direct images of canonical bundles (Q1073856)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Torsion freeness of higher direct images of canonical bundles
scientific article

    Statements

    Torsion freeness of higher direct images of canonical bundles (English)
    0 references
    0 references
    0 references
    1987
    0 references
    Let X be a complex manifold, Y a reduced and irreducible complex space and let \(f:\quad X\to Y\) be a projective morphism. Assume that every connected component of X is mapped surjectively to Y. Then, the main purpose of this paper is to prove that \(R^ if_*\omega_ X\) is torsion free for every \(i\geq 0\), which is a local-analytic version of Kollár's theorem, where \(\omega_ X\) is the canonical bundle of X. We assume furthermore that Y is non-singular, X is equidimensional and that there is an effective divisor D on Y with only normal crossings such that f is smooth over \(Y\setminus D\). Set \({\mathcal H}^ j:=R^ jf_*({\mathbb{Z}})|_{Y\setminus D}\otimes {\mathcal O}_{Y\setminus D}\) and let \(F^ p({\mathcal H}^ j)\) be the p-th Hodge filtration of \({\mathcal H}^ j\). We set \(d=\dim X-\dim Y\). Then we can show that there are isomorphisms \(\phi_ i:\quad R^ if_*\omega_{X/Y}\simeq F^ d(^ u{\mathcal H}^{d+i})\) and \(\psi_ i:\quad R^ if_*{\mathcal O}_ X\simeq Gr^ 0_ F(^{\ell}{\mathcal H}^ i)\) for every \(i\geq 0\), where \(\omega_{X/Y}=\omega_ X\otimes f^*(\omega_ Y^{-1})\) and \({}^ u{\mathcal H}^ j\) (resp. \(^{\ell}{\mathcal H}^ j)\) is the upper (resp. lower) canonical extension of the variation of Hodge structure \({\mathcal H}^ j\). In particular, \(R^ if_*\omega_ X\) and \(R^ if_*{\mathcal O}_ X\) are locally free in this case. Moreover, we have that \(R^ if_*\omega_{X/Y}\) is semi-positive and \(R^ if_*{\mathcal O}_ X\) is semi-negative for every \(i\geq 0\) if the local monodromies are unipotent.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    torsion freeness of higher direct images of canonical bundles
    0 references
    projective morphism
    0 references
    divisor with only normal crossings
    0 references
    variation of Hodge structure
    0 references
    0 references