{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Dr. Katz DEq Homework Solutions 14

Dr. Katz DEq Homework Solutions 14 - is/J"...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
14 N.M. Katz: In fact, it is defined ([35]) as the coboundary map 17 in the long exact sequence of the Rif, and the short exact sequence O-~f* (f2s/r) | f2x/sl ,-l(logD)_~KO/K~-(f2~/~(logD)) ( -~ t2]/s (log D) --~ 0. This "makes sense", because the coboundary is a mapping 17: R~ f, ((2~c/s (log O)) ~ R q +1 L (f* (Q~S/r) | 12]'~S 1 (log D)) ( /l ~2~/r | Rq f, (t2]/s (log D)). (The final isomorphism thanks to the local freeness of ~2~/r. ) (1.4.1) The Hodge Filtration. Let us recall that for any complex L ~ the Hodge filtration of L ~ is the filtration by the subcomplexes Fi(L'), where by definition 0 if j--i ( U(/J)= /j if j>=i. ( Let us denote by L ~ [n] the complex L ~ +" whose term of degree i
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: is/J+", whence ( F i (L" In]) = (F i +" (L')) [n]. Applying F ~ to the exact sequence (, we obtain the exact sequence 0 -~ (f* (12~/r) | F i-1 (12],/s (log D))) [ - 1 ] ( -~ F~(K~ (Q]/r (log D))) V i (f2~c/s (log D))-~ 0. Thus the coboundary maps for the W f, and the exact sequence ( and ( "fit together" to form a commutative diagram Rqf,(O]ls(log D))--E-~ v 12Xs/r| (2~/s(log D)) ( | Rqf, (F *(O]/s (log D))) _~00]/r | Rqf, (U- 1 (O]/s(log D))). Thus we find: ( PrOlmSition (Griffith's Transversality Theorem). The Gauss- Manin connection respects the Hodge filtration up to a shift of one, i.e. ( 17(FiR~f,(g2]/s(log O))) =f2xs/r| D)))....
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online