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
default for all languages
No label defined
    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
      polarized variation of Hodge structure
      0 references
      Hodge bundles
      0 references
      family of polarized varieties
      0 references
      deformations
      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\).NEWLINENEWLINENEWLINEThe main results of this paper are the following semi-positivity properties:NEWLINENEWLINENEWLINETheorem 0.1. Suppose that \(\varphi\) is injective at some points. Let \(D\subset X_0\) denote the degeneration locus of \(\varphi\). ThenNEWLINENEWLINENEWLINE(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\);NEWLINENEWLINENEWLINE(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.NEWLINENEWLINENEWLINETheorem 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}\).NEWLINENEWLINENEWLINEFinally, some applications are given.
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references