{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Dr. Katz DEq Homework Solutions 10

Dr. Katz DEq Homework Solutions 10 - 10 N.M Katz w hich is...

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

View Full Document Right Arrow Icon
10 N.M. Katz: which is the negative of the isomorphism ( explicated in (, and which we will not use. In the setting of (, we may choose over each V~ a morphism ~: ~1Vi~ Ker([3)[ V/~-fg[ Vi which is a section of ~: fq~--~ouf (i.e., such that ~ki. ~ = id,lv, ). ( In fact, we may simply choose ~biso that ~ o ~bi = id~rlv, - q~i ~ [3, this being possible because, over V~, id~e-Cp~o[3 is a projection onto ker([3). Then the difference ~bi- ~b~ defines a morphism from ~r V/~ V~ to f~l V~ n ~ which vanishes on the image of ct, thus defining by passage to quotients a morphism from ~1 V/c~ V~to fq[ V/c~ V~, still denoted ~i- ~b~. The cohomology class of {~k~-~b~} in Ha(X, Hom(~, if)) is the element corresponding to the extension class of ( via the isomorphism ( To see that this isomorphism is the negative of (, it suffices to recall that ( 0~ o ~i = id~elv, - ~o~o [3 whence ( ~ o (~k,- ~s) = - (~o,- ~os) o [3 which gives the equality of the two cocycles {~b i- ~bs} and {- (q~-cp~)}. ( The "second" isomorphism ( is the
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}