Unformatted text preview: cohomology sheaf of the complex (22.214.171.124) E~o(an) v dv~ ' E,o(an) v dr~ E~o(an) v. By induction, this complex receives isomorphically the complex (126.96.36.199) 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. (188.8.131.52) and , (184.108.40.206) and Prop. (3.1.8)) ((Qi-/c (log D)) "n, W), ' ((Q]/c (log D)) "n, z <__ .) (220.127.116.11) 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 (18.104.22.168) 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 ~ (22.214.171.124) Rqf,(C) ~, Rqf,(t2~/c) ,Rqf,(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