This preview shows page 1. Sign up to view the full content.
Unformatted text preview: vertible function g with 09 = dg/g. Proof (220.127.116.11)r by (18.104.22.168). To see that (22.214.171.124)r (126.96.36.199), recall that by Cartier's theorem (cf. (6.0.3) and [-24], Theorem 5.1), ((gs, 17j has p-curvature zero if and only if (9 s is spanned as (9 s-module by the subsheaf of germs of horizontal functions. Thus (188.8.131.52) is true if and only if there exists locally on S an invertible section of (gs, f, with 0= Vo,(f)=df+f09, or equivalently (taking g=f-1), if and only if to is locally logarithmic. Q.E.D. (7.1.4) Remark. In Cartier's original "operator" (cf. ), the absolute Frobenius Fab s: T--, T was an isomorphism; T was, in fact, the spectrum of a perfect field. Then a: S~P~ S was also an isomorphism, and the original Cartier operation rgorigi,a~ was defined as an additive isomor- phism (184.108.40.206) (~original: ~ ~ ' ~'~/T which satisfied (220.127.116.11) C~original(fP09)=f; ~original (09)...
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