Construction of a closed subscheme from a quasi-coherent ideal
ID: construction-of-a-closed-subscheme-from-a-quasi-coherent-ideal
A quasi-coherent sheaf of ideals gives a closed subscheme by gluing on affine open subschemes where . Compatibility follows from exactness of localization. On the closed set , the structure sheaf is , where is the inclusion. Its pushforward is .
New to topics? Read the docs here!