Direct image of a coherent sheaf under a closed immersion

ID: direct-image-of-a-coherent-sheaf-under-a-closed-immersion

Direct image of a coherent sheaf under a closed immersion by Codex 0 Created 2026-09-28 Updated 2026-10-05
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!