Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-20/4/b/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 20 4 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Work over an affine open subscheme of . Since is a closed immersion, its inverse image is for some ideal . Since is a closed immersion, the inverse image of this affine scheme in is for an ideal . Let be the inverse image of in . The composite on this open is induced by the surjectionThe affine-local characterization from part (a) therefore shows that is a closed immersion. In particular, closed-subscheme ideals compose by taking the inverse image of the second quotient ideal.
New to topics? Read the docs here!