This preview shows page 1. Sign up to view the full content.
Unformatted text preview: whose precise formulation is somewhat lengthy. (2.2.1) Suppose given f: Y~ Z an arbitrary morphism of schemes. For every Zscheme ZI, we form the fibre product Yz,= Yxz Z~, which sits in the cartesian diagram Yzl ~ Y Z,  ~ Z. Suppose we are give, for every Zscheme Za, a finitely filtered complex (nonzero only in positive degrees). (Kz,, F) of fz~l((.Oz,) modules on Yz,, which is functorial in the variable Zscheme Z1 in the following sense: (2.2.1.2) For any morphism ~0:Z2~Z1 of Zschemes, denote by ~0r: Yz, ~ Yz, the induced morphism, which sits in the commutative diagram (2.2.1.3) Y  Z2 e , Za Y...
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
 NormanKatz

Click to edit the document details