On the negativity of kernels of Kodaira-Spencer maps on Hodge bundles and applications (Q5929552)

From MaRDI portal
scientific article; zbMATH DE number 1585225
Language Label Description Also known as
English
On the negativity of kernels of Kodaira-Spencer maps on Hodge bundles and applications
scientific article; zbMATH DE number 1585225

    Statements

    On the negativity of kernels of Kodaira-Spencer maps on Hodge bundles and applications (English)
    0 references
    0 references
    5 April 2001
    0 references
    Let \(X\) denote a smooth complex projective variety, and \(S= \sum_i S_i \subset X\) a normal crossing divisor with smooth components. One considers a polarized variation of Hodge structure \({\mathbf V}_0\) on \(X_0=X \setminus S\) and the period map \(\Phi:X_0 \to{\mathcal D}/ \Gamma\), corresponding to \({\mathbf V}_0\). The main results of this paper are the following semi-positivity properties: Theorem 0.1. Suppose that \(\varphi\) is injective at some points. Let \(D\subset X_0\) denote the degeneration locus of \(\varphi\). Then (i) \(\Omega^1_X (\log S)\) is weakly positive on \(X_0\setminus D\), i.e. for any ample line bundle \(L\) on \(X\) and for any positive number \(\alpha\) there exists some positive number \(\beta\) such that the symmetric tensor \(S^{\alpha \beta} (\Omega^1_X (\log S))\otimes L^\beta |_{X_0\setminus D}\) is generated by global sections on \(X\); (ii) the Kodaira dimension of \(\det\Omega^1_X (\log S)\) is equal to \(\dim X\), i.e. \((X,S)\) is of logarithmic general type. Theorem 0.2. Under the same assumption as in Theorem 0.1 suppose that the monodromy around the components of \(S\) are unipotent. Let \((E,\theta)\) denote the canonical extension of \((E_0,\theta_0)\). Then, after a blowing up \(\sigma\): \((\widetilde X,\widetilde S)\to(X,S)\), there exists a positive rational number \(r^{p,q}\) which is bounded above by the Hodge type of \((E,\theta)\), an effective \(\mathbb{Q}\)-divisor \(P^{p,q}\) and a semi-negative \(\mathbb{Q}\)-divisor \(N^{p,q}\) on \(\widetilde X\), such that \(\det\tau^*E^{p,q}= r^{p,q}\det \tau^* \Omega^1_X (\log S)-P^{p,q}+ N^{p,q}\). Finally, some applications are given.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    polarized variation of Hodge structure
    0 references
    Hodge bundles
    0 references
    family of polarized varieties
    0 references
    deformations
    0 references