This preview shows page 1. Sign up to view the full content.
Unformatted text preview: cohomology sheaf of the complex (220.127.116.11) E~o(an) v dv~ ' E,o(an) v dr~ E~o(an) v. By induction, this complex receives isomorphically the complex (18.104.22.168) Ero(abs ) ar~ ,E,o(abs) a*~ whose first cohomology sheaf is E,o+l(abs ). This implies that Ero+l(abs) - ,Ero+l(an) v, and proves the lemma. We may now conclude the proof of (4.1.1) by noting the filtered quasi- isomorphisms (cf. (22.214.171.124) and , (126.96.36.199) and Prop. (3.1.8)) ((Qi-/c (log D)) "n, W), ' ((Q]/c (log D)) "n, z <__ .) (188.8.131.52) l (j, (t]~/~), z =< .). Q.E.D. In the course of the above, we made use of the following fact, applied to X a" and the intersections/)anc~ c~ D an S an, -iL "" i, over in order to prove that (184.108.40.206) was an isomorphism for r= 1. (4.1.2) Proposition. Let f: Ys 5 r be a proper and smooth morphism of complex manifolds. The canonical morphism of sheaves on 5 ~ (220.127.116.11) Rqf,(C) ~, Rqf,(t2~/c) ,Rqf,(a~/~)...
View Full Document
- Fall '11