Unformatted text preview: ~ I'P(S, (9*) dlog , Hi(S, f~s/r) (the left hand zero because F(S, (9*)=F(T, (9*) is annihilated by d log). The trace morphism (of. [15, 42]) defines a functorial isomorphism (18.104.22.168) H 1(S, Qs~/r) ~, a = F(T, (9r)- (22.214.171.124) If P is a section of S/T, its image IPI is a divisor in S which is smooth over T. The inverse of its sheaf of ideals is an invertible sheaf on S, noted classically (gs([P]). If P1, .-., Pr are sections, and n 1, . .., nr integers, we define the invertible sheaf (126.96.36.199) (9 s (Z n i [P~]) = (gs ([P1])|174 ... | (9s ([P~])| The composite mapping trace (188.8.131.52) HI(S, (9,) dlog ) HI(S, ~r-~IS/T) ~~,A allows us to attach to the class in Hi(S, (9*) of Os(Z ni [Pi]) an element of A, which is none other than the image in A of the integer 2; ni. Thus...
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.
- Fall '11