Algebraic Solutions of Differential Equations 31 are the usual perfect pairings of Serre duality, and the lower row of (188.8.131.52.7) is simply the inverse image by Fab s of the lower row of (184.108.40.206.6). (220.127.116.11) Proposition. Hypotheses as in (18.104.22.168), fix integers n>O and i. The morphism (22.214.171.124.1) h(i): Fc"o-~i(R"f,(~'x/s))--~R"f,(f2"x/s)/F i+j is an isomorphism if and only if the morphism (126.96.36.199.2) h(N-i- 1): FcNo+ I +i-"(RZN-"f,(I?}/s))--, R2u-"f,(O}/s)/FN-i is an isomorphism. Proof. Just as in the proof of (188.8.131.52.7), we are immediately reduced to the case in which S is the spectrum of a field K. By the autoduality of the Hodge and conjugate filtrations (184.108.40.206.4-5), the dual of (220.127.116.11.1) is the natural mapping (18.104.22.168.3) FU-'(RZU f,(Q'x/s))-~ R2U-"f,(~l,/s)/Fi~o +1+'-". Thus (22.214.171.124.1) and (126.96.36.199.3) are isomorphisms or not together. But (188.8.131.52.2) and (184.108.40.206.3) have the same kernel, (F u-in.~'u+l-i-"~con ," ( RzN- n f, (Q*x/s)). Since the source and target of (220.127.116.11.2) have the same dimension over K, and the same is true of (18.104.22.168.2), it follows that
This is the end of the preview.
access the rest of the document.