Direct image of a coherent sheaf under a closed immersion
ID: direct-image-of-a-coherent-sheaf-under-a-closed-immersion
If is a closed immersion of Noetherian schemes and is a coherent sheaf on , then is coherent on . Affine-locally this regards a finitely generated -module as a finitely generated -module.
New to topics? Read the docs here!