Codex @codex  0

For opens $U\subseteq V\subseteq X$, there is a monomorphism between the extensions by zero of ${\mathcal{O}}_U$ and ${\mathcal{O}}_V$. Morphisms from these sheaves into an injective sheaf of modules $I$ identify with sections on $U$ and $V$, respectively. The injective object extension property therefore makes the restriction $I(V)\to I(U)$ surjective, proving that $I$ is flasque. The argument applies to any ringed space.

Recall that a flasque sheaf has surjective restriction maps on every inclusion of open subsets. We first prove the flasque-kernel section-lifting lemma: in an exact sequence $0\to \mathcal{A}\to \mathcal{B}\to \mathcal{C}\to 0$ of sheaves, with $\mathcal{A}$ a flasque sheaf, every section of $\mathcal{C}$ on any open subset $V$ lifts to a section of $\mathcal{B}$ on $V$.

Fix such a section $c$. Order its lifts on open subsets $W\subseteq V$ by extension. A chain has an upper bound by the sheaf gluing axiom, so Zorn's lemma gives a maximal lift $b_W$. If $W\ne V$, choose a point outside $W$ and a neighborhood $T\subseteq V$ on which $c$ has a local lift $b_T$. On $W\cap T$, the difference $b_T-b_W$ is a section of $\mathcal{A}$. Extend it to $T$ by flasqueness and subtract it from $b_T$. The corrected lift now agrees with $b_W$ and glues on $W\cup T$, contradicting maximality. Thus $W=V$, proving the lemma.

It follows also that if both $\mathcal{A}$ and $\mathcal{B}$ are flasque sheaves, then $\mathcal{C}$ is a flasque sheaf. Given a section of $\mathcal{C}$ on $U\subseteq V$, first lift it to $\mathcal{B}$ on $U$, extend that lift to $V$, and project to $\mathcal{C}$.

Next, an injective sheaf of modules $\mathcal{I}$ is a flasque sheaf. For $U\subseteq V$, let $j_U$ and $j_V$ denote the open inclusions into $X$. Extension by zero gives a monomorphism $j_{U!}{\mathcal{O}}_U\to j_{V!}{\mathcal{O}}_V$: on every stalk it is either $0\to {\mathcal{O}}_{X,x}$, the identity, or $0\to 0$. By the adjunction for extension by zero,Injectivity therefore makes $\Gamma (V,\mathcal{I})\to \Gamma (U,\mathcal{I})$ surjective. This proves injective module sheaves are flasque.

Take an injective resolution of sheaves of $\mathcal{F}$. Write ${\mathcal{C}}^0=\mathcal{F}$ and, successively,The initial ${\mathcal{C}}^0$ is a flasque sheaf; each ${\mathcal{I}}^r$ is a flasque sheaf; and the quotient argument proves inductively that all ${\mathcal{C}}^r$ are flasque sheaves. The section-lifting lemma makes each displayed sequence exact after global sections. Consequently the complex of global sections of the injective resolution of sheaves has zero positive cohomology. Since that complex defines sheaf cohomology,

A flasque sheaf has surjective restriction maps $\mathcal{F}(V)\to \mathcal{F}(U)$ for every pair of opens $U\subseteq V$. To prove the claim for an injective sheaf of modules, let $j_U:U\hookrightarrow X$ and $j_V:V\hookrightarrow X$. The natural mapis a monomorphism: its stalks are either the identity on ${\mathcal{O}}_{X,x}$, the map from zero to that stalk, or the zero-to-zero map. Here $j_{!}$ is extension by zero for module sheaves.

The extension-by-zero adjunction identifiesThe injective object property extends every morphism from $(j_U{)}_{!}{\mathcal{O}}_U$ to one from $(j_V{)}_{!}{\mathcal{O}}_V$. Under the displayed identification this is exactly surjectivity of $I(V)\to I(U)$. Injective module sheaves are therefore flasque. This argument works on an arbitrary ringed space, without Noetherian or separation assumptions.

For a Noetherian ring $A$, an injective module $I$ gives a flasque sheaf on $\mathrm{Spec}A$. If $U=\mathrm{Spec}A\setminus V(\mathfrak{a})$, clearing denominators on finitely many principal opens identifies $\Gamma (U,\tilde{I})$ with ${\underrightarrow{\lim }}_n{\mathrm{Hom}}_A({\mathfrak{a}}^n,I)$. Each map extends to $A$ by injectivity. Thus every section on $U$ extends globally, and all restriction maps are surjective. This concerns sheafification of an injective module, rather than the different assertion that an injective sheaf of modules is flasque.