Unformatted text preview: kKP is an isomorphism. Thus it remains to prove only that (22.214.171.124) is an isomorphism if and only if its source and target have the same dimension. This is indeed the case, because (126.96.36.199) is always injective; in fact we have the apparently more general (6.0.3) Proposition. Let T be a scheme of characteristic p, S a smooth T-scheme, and (M, V) a quasi-coherent (gs-module with integrable T- connection. The canonical mapping ( cf the diagram (188.8.131.52)) (184.108.40.206) F, (M v) | (gs = F* (F, (MY)) --~ M is always injective. Proof The question is local on S, so we may assume S is 6tale over A~ via X1, . .., X,. Then (9 s is a free F-X(~s~,~)-module with basis the monomials X wd~f'n xW'. .. X w" having 0< Wi <p- 1. Thus we must show 6 Inventiones math., Vol. 18...
View Full Document
- Fall '11
- Trigraph, Rational number, Algebraic Solutionsof DifferentialEquations