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!