Hodge filtrations and the higher direct images of canonical sheaves (Q1075387): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3924325 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3663441 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher direct images of dualizing sheaves. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher direct images of dualizing sheaves. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Variation of Hodge structure: The singularities of the period mapping / rank | |||
Normal rank |
Revision as of 14:13, 17 June 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