This preview shows page 1. Sign up to view the full content.
Algebraic Solutions of Differential Equations
23
(over Ao) divisors Di, o in X o which cross normally relative to So =
Spec(Ao), such that the geometric situation (1.0) over S (for the purposes
of 2.3.2, the base scheme T figuring in (1.0) may be taken to be S itself)
comes from the analogous situation over
So
by the change of base
S, So
(cf. EGA IV, 8.9.1, 8.10.5, and 7.7.9). We must show that after replacing
Ao by a larger subring At, A =At ~ Ao, which is still finitely generated
over Z, the hypotheses (2.3.2.1.2), that the Hodge ==De Rham spectral
sequence degenerate at E1 and have Et locally free of finite rank, are
valid over At, which is a noetherian ring. (For then, once the theorem is
proved over At, it remains true over A by (2.2.1.11).) In fact, it suffices to
find such an A1 over which (2.3.2.1) holds; then (2.3.2.2) follows. For if
we suppose that over At the E~ terms noted
E'~'b(AO,
are
locally free of
finite rank,
the differential
(2.3.2.4.1)
d t E~'b(A~) ~ E~ + L b(A~)
This is the end of the preview. Sign up
to
access the rest of the document.
 Fall '11
 NormanKatz

Click to edit the document details