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 Z-scheme 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 Z-scheme Za, a finitely filtered complex (non-zero only in positive degrees). (Kz,, F) of fz~l((.Oz,) modules on Yz,, which is functorial in the variable Z-scheme Z1 in the following sense: (220.127.116.11) For any morphism ~0:Z2~Z1 of Z-schemes, denote by ~0r: Yz, ~ Yz, the induced morphism, which sits in the commutative diagram (18.104.22.168) 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