Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-113/1/i/solution

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!