Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-113/4/b/solution

On an affine open , write . Give the reduced induced subscheme structure . These constructions agree under localization and therefore glue to a reduced closed subscheme .
Let be another closed immersion with the same underlying closed set. Affine-locally write . Since , its vanishing ideal is , and the inclusion induces a quotient homomorphism
Contravariance of the spectrum of a commutative ring gives a factorization
The quotient maps force these local factorizations to agree on overlaps, so they glue. They are also the only possible maps over , which proves uniqueness.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!