114 N.M. Katz: Taking this difference simultaneously for all primes > 7, p,~n, we get a group homomorphism (22.214.171.124) H 1 (E, 12~/r)o ---, I-I F(Ep, Q~p/r,). p~7 p~n (126.96.36.199) Proposition. The kernel of this homomorphism consists precisely of those (SO, V) which have p-curvature zero for all p > 7, pXn. The inverse image of the torsion subgroup of the target (those "tuples" having almost all components zero) consists precisely of those (SO, I 7) which have p- curvature zero for almost all primes p. Proof This follows from (188.8.131.52) and the definition of(184.108.40.206). Q.E.D. (7.5.9) The restriction of the homomorphism (220.127.116.11) to the subgroup F(E, f2~/r) of T-connections on the structural sheaf (9 E is just the diagonal embedding via simultaneous reduction mod p: (18.104.22.168) F(E, ~/r)--~ 1-] F(Ep, 1 O~,tr,). p>7 p~'n Passing to the quotient, (22.214.171.124) induces a homomorphism I-I r(Ep, 1 f2E,/r~) (126.96.36.199) EQ(Q)=E(T)___, ,==7.p~,, F(E, O~/r) (188.8.131.52) Proposition. A point Po~EQ(Q) lies in the kernel of (184.108.40.206)/f and only if there exists on the invertible sheaf SO
This is the end of the preview.
access the rest of the document.