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
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
polarized variation of Hodge structure
0 references
Hodge bundles
0 references
family of polarized varieties
0 references
deformations
0 references