70 N.M. Katz: By (22.214.171.124), (4.3.1), and "Riemann's existence theorem" (cf.  and the appendix) we have (126.96.36.199) ~ (188.8.131.52). To see that (184.108.40.206) ~ (220.127.116.11), notice that (4.3.3,2) implies in particular that the local system (~oan)*(R"n."(C)) is constant on (S') an, i.e., iso- morphic to (Cb-)(s,),n. Thus, both q~*(R"f.(O~/s(logD)),V) and (((gs,)b",d) are coherent (gs,-modules with integrable connections having regular singular points (cf. 4.1) and they both give rise via (4.1.0) to isomorphic local systems on (S') ~". Hence they are isomorphic. In order to prove that (18.104.22.168)~ (22.214.171.124), we first remark that it suffices to prove that (126.96.36.199) holds after any base change ~o: S'-* S by a finite 6tale morphism, because (188.8.131.52) is of a differential nature, hence local on S for the 6tale topology. The hypothesis (184.108.40.206) implies that the local system R" n, n (C) becomes constant on a finite 6tale covering, hence also R" n.n(Q) and R" n.n(z)/torsion become constant. As the torsion in R"n,'(Z) is a local system of finite groups, it follows that R'n.'(Z) becomes constant on a finite 6tale covering ~0': S"~ S, After making
This is the end of the preview.
access the rest of the document.
Manifold, System R, largest constant subl, isomorphic local systems, affine curve, finite 6tale covering