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.
Articles by others on the same topic
There are currently no matching articles.