This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: BLOWING STUFF UP (DO NOT TRY TO SMUGGLE THROUGH TSA) 1. Computing Blowups Locally We fix X to be an integral noetherian affine scheme, X = Spec A . Most of what is said doesnt require the scheme to be integral (that is, we dont require A to be a domain), but certain ambiguities are avoided this way. Suppose that I is an ideal in A , I = ( z 1 ,...,z n ) and let : e X X be the blowup of X along I (we really mean the blowup along the ideal sheaf associated to I , but this abuse of notation is common and harmless). Let I denote the inverse image ideal sheaf of I (that is, I =  1 I O e X , the total transform). Exercise 1.1. Prove that e X can be covered by affine charts of the form U i = Spec A i = Spec A [ z 1 /z i ,...,z n /z i ] and show that the module ( U i , I ) is generated by z i A A i Remark 1.2 . The same statement is essentially true in the nonintegral case, but then one must be more careful by exactly what one means by A [ z 1 /z i ,...,z n /z i ]. In the integral case, all these elements live inside the fraction field. Exercise 1.3. Suppose that I and J are two ideals (or ideal sheaves by the same abuse of notation) on X (we still assume that X is integral, feel free to use this if it makes your life more convenient, or not). Let 1 : X 1 X be the blowup of X along I . Let J 1 be the inverse image ideal sheaf of...
View
Full
Document
This note was uploaded on 05/02/2010 for the course MATH 632 taught by Professor Staff during the Spring '08 term at University of Michigan.
 Spring '08
 STAFF
 Algebra

Click to edit the document details