{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Dr. Katz DEq Homework Solutions 35

Dr. Katz DEq Homework Solutions 35 - ",r,ex~0 it...

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

View Full Document Right Arrow Icon
Algebraic Solutions of Differential Equations 35 from which it follows that n, (f~sl| -*) is a free tgs-module, with basis the differentials X w dxl dx,+t A "'" A --, Y', Wi=d, Wi>0 for all i. ( H xl x,+l The image of these differentials under the residue isomorphism ( are the differentials on X" X w dx I dx. A'"A --, E W/=d, o)(W) = c3H xl x. X,+t 8X,+1 W~>0 ( x w'-I ...xW${'-XdXl A ... A dx, m Oh Ox,+l for all i The bases m(W) of R"f,((_gx) ( and og(W) of f,(f2~/s ) are dual to each other under Serre Duality: W),og(V))=~I if V= W ( (m(- if V,W. ( Suppose once again that S is of characteristic p. Then from the commutative diagram of sheaves on p~+l 0__). ~p (__ g 0 H )(Qp , ~X _._+ 0 ( l~p-,.r.b, lr.b. F.b. 0-,e,(-d)
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: " ,r ,ex~0 it follows that the p-linear endomorphism of R"f, ((gx) induced by the p-th power mapping (gx---~ d~ x corresponds via the coboundary iso- morphism ( to the p-linear endomorphism of R" + 17z, (d~p (- d)) induced by the composite (gp(-d) --P'thp0we, ~e(-pd) HP-' ,~p(__t0. This permits the calculation of the Hasse-Witt matrix of a hypersurface: ( Algorithm. Assumptions as in ( and (, the Hasse- Witt matrix in dimension n of a smooth hypersurface X cP~ +1 defined by an equation H=H (X1 . ... , Xn+ E)~F(S , (.gs)[X 1 . .... Xn+2] may be com- puted with respect to the basis {m(-W)[~.Wi=d, W/>0 for aU i} of R" f, ((gx) as follows: Raise H to p- 1-st power, and write it explicitly as a sum of monomials ( H p- 1 =}-" AvX v. 3*...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online