Dr. Katz DEq Homework Solutions 83

Dr. Katz DEq Homework Solutions 83 - Let (M, V) be as in...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Algebraic Solutions of Differential Equations 83 Let eo . ... , ~,_ 1 denote the dual basis of the dual module AS/. A section ( ~ fi ei, f/ local sections of (9 s i=o is horizontal for the dual connection V on M/f and only if its coefficients satisfy dfi dX =f/+x for O<i<n-2 ( dfn- 1 ,-1 Y a, dX i=o Thus ( The projection A7/-*(9 s defined by ~Jiki--*fo induces an isomorphism between (A~/) ~, the sheaf of germs of horizontal sections of M, and the sheaf of germs of sections of (9 s which are annihilated by V2- -F a, -Z2- i=0 If T has characteristic p, this isomorphism is F- 1 ((gs~p,)_linear. Combining ( and (6.0.2), we find (6.0.5) Proposition. Let T be a reduced and irreducible scheme of charac- teristic p, S an irreducible scheme which is dtale over A~T by means of a section X of(9 s. Let k (resp. K) denote the function field of T (resp. S).
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Let (M, V) be as in (6.0.4). Then (M, V) has p-curvature zero if and only if the field K contains n = rank M solutions of the ordinary differential equation ( (f)= ~ ai (f) i=0 which are linearly independent over the subfield k. K p. (6.0.6) Suppose further that k is a perfect field (then kKP=KP). For any discrete valuation v of K, let v o denote the induced valuation of K p. Clearly the ramification index e(V/Vo) (= the index of the value groups) is p. As K is a p-dimensional vector space over K p, it follows that if t is a uniformizing parameter in K vor v, the elements 1, t . ... , t p-I form a basis of K over K p, and thus provide an isomorphism of KP-vector spaces ( K--- KP(~ . .. G K p. ptimes In terms of this isomorphism, the v-adic topology on K is just the p-fold product of the vo-adic topology on KP; 6*...
View Full Document

This note was uploaded on 12/21/2011 for the course MAP 4341 taught by Professor Normankatz during the Fall '11 term at UNF.

Ask a homework question - tutors are online