Unformatted text preview: (184.108.40.206.1) . [ R"f. (f2~,./s (log D))/F i+1 (220.127.116.11.2) Proposition. Hypotheses as in (2.3.2), and n>O fixed as above, suppose that for an integer i, the mapping h(i) (18.104.22.168.1) is an iso- morphism. Then there is a unique mapping of locally free Cs-modules, the i + 1-st Hasse- Witt operation (22.214.171.124.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)) (126.96.36.199.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
- Fall '11
- Morphism, Homomorphism, asse- Witt, asse- Witt operation, locally free Cs-modules