Algebraic Solutions of Differential Equations
71
mixed Hodge structures on S an
(4.3.5.0)
(n n (
O an, Z))san ~ R" 7~, n (Z)
has as image a constant subfamily of mixed Hodge structures. Its image is
the largest constant sublocal system of R" ft. n
(Z).
Proof.
The first assertion results from the fact that the category of
families of mixed Hodge structures is an abelian subcategory of the cate
gory of local systems, and that the formation of images (as well as of
kernels and cokernels) commutes with the inclusion of the category of
families of mixed Hodge structures into that of local systems. The second
assertion will result from the equality a.,~itTO'n
~'O,n__
x., 2
in the usual Leray
spectral sequence in integral cohomology of rt~": Ua"~ S an, which itself
follows from the following proposition.
(4.3.6)
Proposition.
Hypotheses as in
(4.3.5),
the Leray spectral sequence
Rq
an
(4.3.6.0)
E~'q=HP(S an,
~z, (Z)) ~
HP+q(U an,
Z)
is degenerate at E 2.
It suffices to show that E g'q =0 unless p = 0 or p = 1. This is
true, because the R q n."(Z) are local systems on S"", and because S a" is
This is the end of the preview. Sign up
to
access the rest of the document.
This note was uploaded on 12/21/2011 for the course MAP 4341 taught by Professor Normankatz during the Fall '11 term at UNF.
 Fall '11
 NormanKatz

Click to edit the document details