Unformatted text preview: (2.3.4.2.1) . [ R"f. (f2~,./s (log D))/F i+1 (2.3.4.2.2) Proposition. Hypotheses as in (2.3.2), and n>O fixed as above, suppose that for an integer i, the mapping h(i) (2.2.4.2.1) is an iso morphism. Then there is a unique mapping of locally free Csmodules, the i + 1st Hasse Witt operation (2.3.4.2.3) HW(i+I): F,~sR"itf,(f2ix~sl(logD))~ R"i~f,(f2~Ts~(logD)) which renders commutative the following diagram: HW(i+I) Fa~s (R"' ~ f, (f~ix~ (log D))) ~~ cohEn2 i 1,i+1 E i + 1,n  i1 ~ Rni If, (~r~S1 (log V)) (2.3.4.2.4) F~'o~il(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
 Fall '11
 NormanKatz
 Morphism, Homomorphism, asse Witt, asse Witt operation, locally free Csmodules

Click to edit the document details