Solution

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

A flasque sheaf has surjective restriction maps for every pair of opens . To prove the claim for an injective sheaf of modules, let and . The natural map
is a monomorphism: its stalks are either the identity on , the map from zero to that stalk, or the zero-to-zero map. Here is extension by zero for module sheaves.
The extension-by-zero adjunction identifies
The injective object property extends every morphism from to one from . Under the displayed identification this is exactly surjectivity of . Injective module sheaves are therefore flasque. This argument works on an arbitrary ringed space, without Noetherian or separation assumptions.

New to topics? Read the docs here!