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 (126.96.36.199) H 1(S, Qs~/r) ~, a = F(T, (9r)- (188.8.131.52) 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 (184.108.40.206) (9 s (Z n i [P~]) = (gs ([P1])|174 ... | (9s ([P~])| The composite mapping trace (220.127.116.11) 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
- Fall '11
- Trigraph, Category theory, invertible sheaf