Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-113/3/a/solution

An -module is a quasi-coherent sheaf when every affine open has for some -module . For a morphism , its direct image sheaf is
while 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. Let
be the open immersion. The sheaf is coherent, but
is not a finitely generated -module. Therefore is not coherent.

New to topics? Read the docs here!