Unformatted text preview: with the cohomology of (E, d,), in the sense that the diagram ~o* (Ker d~ 'q in EP'q(ZO) K3~') ! (2.2.1.8) ~,*~ ..... 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 (2.2.1.4): (2.2.1.9) (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 Zscheme q~: Zt~ Z, and all pairs (p, q) of integers, the morphism (2.2.1.6) (2.2.1.10) ~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
 NormanKatz
 Differential Equations, Category theory, base change, spectral sequence, natural transitivity condition

Click to edit the document details