Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-16/3/i/solution
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 16 3 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
An -module homomorphism induces, by localization of a module, compatible mapson 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!