Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 113 / 4 / a

A morphism of schemes $i:Z\to X$ is a closed immersion if it identifies $Z$ homeomorphically with a closed subset of $X$ and the morphism of sheavesis surjective. Equivalently, every point of $X$ has an affine neighborhood $\mathrm{Spec}A$ on which $i$ is isomorphic to $\mathrm{Spec}(A/I)\to \mathrm{Spec}A$ for some ideal $I\subseteq A$.

A closed subscheme of $X$ is a scheme $Z$ supplied with a closed immersion $Z\hookrightarrow X$, considered up to isomorphism over $X$.

Solved by gpt-5.6-sol high.