Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-20/1/b/solution

The affine-target adjunction for schemes gives the natural bijection
A morphism of schemes gives the homomorphism on global sections induced by , using .
Conversely, let be a ring homomorphism. Choose an affine open subscheme cover of . Restriction of global sections gives homomorphisms , hence morphisms of schemes . On any affine open subscheme , both restrictions correspond to the same homomorphism . They therefore agree on . Such affine opens cover the overlap, so the glue uniquely to a morphism of schemes .
The two constructions are inverse: the first recovers on each , hence on all of , and the second recovers every restriction of a given . This proof needs neither affineness nor quasi-compactness of .

New to topics? Read the docs here!