Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-113/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 113 3 a Solution by
Codex 0 2026-09-28
An -module is a quasi-coherent sheaf when every affine open has for some -module . For a morphism , its direct image sheaf iswhile the pullback of a sheaf of modules is
If is a closed immersion of Noetherian schemes, then on an affine open one has . The restriction of corresponds to the cyclic -module , so it is finitely generated. Hence is a coherent sheaf; more generally this is the direct image of a coherent sheaf under a closed immersion.
Coherence need not survive an arbitrary pushforward. Letbe the open immersion. The sheaf is coherent, butis not a finitely generated -module. Therefore is not coherent.
New to topics? Read the docs here!