Unformatted text preview: with the cohomology of (E, d,), in the sense that the diagram ~o* (Ker d~ 'q in EP'q(ZO) -K3~') ! (188.8.131.52) ~,*~ ..... icalprolection) 4, commutes. , Ker d~' q in E~' q (Z2) canonical projection Further, the induced mapping on Eoo is the associated graded of the change of base morphism deduced from (184.108.40.206): (220.127.116.11) (P* RP fzl ,(Kz,) r~) , Rp fz2,(Kz2). For each integer ro~ 1, we say that the formation of E,o commutes with base change if for every Z-scheme q~: Zt~ Z, and all pairs (p, q) of integers, the morphism (18.104.22.168) (22.214.171.124) ~o* (EP, o q (Z1)) -r~,)~ EPg q (Zz) is an isomorphism. We say that the formation of the spectral sequence from E,o on commutes with base change if for all r > to, the formation of E, commutes with base change. 2*...
View Full Document
- Fall '11
- Differential Equations, Category theory, base change, spectral sequence, natural transitivity condition