Unformatted text preview: vertible function g with 09 = dg/g. Proof (126.96.36.199)r by (188.8.131.52). To see that (184.108.40.206)r (220.127.116.11), 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 (18.104.22.168) 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 (22.214.171.124) (~original: ~ ~ ' ~'~/T which satisfied (126.96.36.199) C~original(fP09)=f; ~original (09)...
View Full Document
- Fall '11
- Trigraph, Equivalence relation, Binary relation, Identity element, exact onef orms