Injective module sheaves are flasque
ID: injective-module-sheaves-are-flasque
For opens , there is a monomorphism between the extensions by zero of and . Morphisms from these sheaves into an injective sheaf of modules identify with sections on and , respectively. The injective object extension property therefore makes the restriction surjective, proving that is flasque. The argument applies to any ringed space.
New to topics? Read the docs here!