Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-16/3/i/solution

An -module homomorphism induces, by localization of a module, compatible maps
on all principal open subsets . These glue to an -linear morphism of sheaves .
Conversely, taking global sections of an -linear morphism of sheaves gives an -module homomorphism , since and . On , compatibility with restriction determines the image of , and -linearity determines the image of . It must be . Thus the morphism of sheaves is uniquely recovered from . Both constructions preserve addition and composition, proving the affine module-sheaf equivalence on morphisms:
No finite-generation assumption is used.

New to topics? Read the docs here!