70
N.M. Katz:
By (4.2.2.3), (4.3.1), and "Riemann's existence theorem" (cf. [36] and
the appendix) we have (4.3.3.1) ~ (4.3.3.2).
To see that (4.3.3.2) ~
(4.3.3.3), 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 (4.3.3.3)~ (4.3.3.0), we first remark that it
suffices to prove that (4.3.3.0) holds after any base change ~o: S'* S by a
finite 6tale morphism, because (4.3.3.0) is of a differential nature, hence
local on S for the 6tale topology. The hypothesis (4.3.3.3) 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.
Sign up
to
access the rest of the document.
 Fall '11
 NormanKatz
 Manifold, System R, largest constant subl, isomorphic local systems, affine curve, finite 6tale covering

Click to edit the document details