Unformatted text preview: constant. But in that case, we have (P(A) being idempotent). n an __ (184.108.40.206) P(A) R zc, (Z)- P(A). I where I = the largest constant sub-local system f R . ... '~" By (4.3.4), I is a constant sub-family of mixed Hodge structures, hence (4.4.1) so is P(A)I=P(A)R"~,"(Z), and in particular (220.127.116.11) holds. Q.E.D. 5. Applications to the Question of Grothendieck 5.0. A Global Situation (5.0,0) Let A be a subring of C which is finitely generated over Z, and put T= Spec(A). Let g: S---~ T be a smooth morphism with geometrically connected fibres, and f: X ~ S a projective and smooth morphism. Let D = U Di be a union of divisors in X, each smooth over S, which have normal crossings relative to S. D \ X (18.104.22.168) T (5.0.1) Let q/c S be an affine open neighborhood of the generic point of S over which each of the Hodge cohomology sheaves Re f, (~x/s) is a...
View Full 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