Hodge filtrations and the higher direct images of canonical sheaves (Q1075387): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 00:44, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hodge filtrations and the higher direct images of canonical sheaves |
scientific article |
Statements
Hodge filtrations and the higher direct images of canonical sheaves (English)
0 references
1986
0 references
Let \(\pi\) : \(X\to S\) be a proper surjective morphism with connected fibers between nonsingular algebraic varieties over \({\mathbb{C}}\). Assume that there is an open subset \(S_ 0\) of S such that \(S\setminus S_ 0\) is a divisor with only normal crossings and that \(\pi_ 0:\quad X_ 0\to S_ 0\) is smooth, where \(X_ 0=\pi^{-1}(S_ 0)\) and \(\pi_ 0=\pi | X_ 0\). The local system \(R^ i\pi_{0*}{\mathbb{C}}_{X_ 0}\) on \(S_ 0\) forms a variation of Hodge structures with weight i for each \(i\geq 0\). Suppose that all the local monodromies of the local systems \(R^ i\pi_{0*}{\mathbb{C}}_{X_ 0}\) around \(S\setminus S_ 0\) are unipotent. Then there exists an isomorphism \(R^ i\pi_*\omega_{X/S}\cong F^ d({\mathcal H}_ S^{d+i})\) for all \(i\geq 0\), where \(d:=\dim X-\dim S\), \(\omega_{X/S}:=\omega_ X\otimes \pi^*\omega_ S^{-1}\) is the relative canonical sheaf, \({\mathcal H}^ i_ S\) is the canonical extension of \(R^ i\pi_{0*}{\mathbb{C}}_{X_ 0}\otimes_{{\mathbb{C}}_{S_ 0}}{\mathcal O}_{S_ 0}\) to S, and \(F^ d({\mathcal H}^ i_ S)\) is the d-th filtration of \({\mathcal H}^ i_ S\) induced from the d-th Hodge filtration.
0 references
direct images of canonical sheaves
0 references
variation of Hodge structures
0 references