This preview shows page 1. Sign up to view the full content.
Unformatted text preview: (220.127.116.11.1) . [ R"f. (f2~,./s (log D))/F i+1 (18.104.22.168.2) Proposition. Hypotheses as in (2.3.2), and n>O fixed as above, suppose that for an integer i, the mapping h(i) (22.214.171.124.1) is an iso- morphism. Then there is a unique mapping of locally free Cs-modules, the i + 1-st Hasse- Witt operation (126.96.36.199.3) H-W(i+I): F,~sR"-i-tf,(f2ix-~sl(logD))-~ R"-i-~f,(f2~Ts~(logD)) which renders commutative the following diagram: H-W(i+I) Fa~s (R"-'- ~ f, (f~ix-~ (log D))) ~~ cohEn2 -i- 1,i+1 E i + 1,n - i-1 ~ Rn-i- If, (~r~-S1 (log V)) (188.8.131.52.4) F~'o~i-l(R"f,(f2~c/s(log D))) h(i+l), R,f,(f2~c/s(log D))/F,+2 F~:'(R"f, (f2~c/s(l 3g D))) h(0 ) f*(i x/s(l~ D))/F ~ R ~ f2" i+1 ! 0...
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