Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-113/1/i/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 113 1 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
The points of the spectrum of a commutative ring are its prime ideals. Its Zariski topology has closed sets and basis . The structure sheaf of a scheme can be defined as follows: a section over assigns an element of to every , and locally that assignment is represented by one fraction , with outside every prime in the neighbourhood. Restrictions forget values. Local representability and equality can be checked on an open cover, so these assignments satisfy the sheaf gluing axiom. On the sections identify with the localization of a ring .
Evaluation at induces the ring homomorphism . It is surjective because is represented by a section on . For injectivity, represent a germ by on a neighbourhood of . If its value in vanishes, there is with . The section is then zero after restricting to inside that neighbourhood. Its germ is zero. Thus
New to topics? Read the docs here!