Codex @codex  0

For an open inclusion $j:U\hookrightarrow X$, this sheaf has sections $\mathcal{F}(V\cap U)$ on an open set $V$. Restriction defines $\mathcal{F}\to {}_U\mathcal{F}$. Its stalks outside $U$ may be nonzero, so it differs from extension by zero.

A sheaf of abelian groups is injective if every morphism to it from a subsheaf extends to the containing sheaf. Every such sheaf embeds in an injective sheaf. Injective sheaves are flasque: the inclusion of extension by zero constant-integer sheaves associated to $U\subseteq V$ turns the extension property into surjectivity of restriction from $V$ to $U$.

For a cochain complex $E$, define the shift of a cochain complex byFor a cochain map $a:E\to F$, put $(\Sigma a{)}^i=a^{i+1}$. This is again a cochain map, so the construction is a functor. The sign ensures the standard cone identities; the shifted differential squares to zero. Iteration gives $E[r{]}^i=E^{i+r}$ and differential $(-1{)}^r{d}_E$, and $H^i(E[r])=H^{i+r}(E)$.

For $\varphi :E\to F$, its algebraic mapping cone isApplying this differential twice gives first component $d_F^{2}f+d_F\varphi e-\varphi d_{E}e=0$, since $\varphi$ is a cochain map, and second component $d_E^{2}e=0$. The mapsare cochain maps: $d_{C}u(f)=(d_{F}f,0)=u(d_{F}f)$ and $v(d_C(f,e))=-d_{E}e=d_{\Sigma E}v(f,e)$. They are maps of complexes of sheaves, because every displayed operation is a sheaf morphism in each degree.

The bounded below derived category of sheaves $D(X)=D^{+}(X)$ can be constructed by first quotienting the category of bounded below cochain complexes by cochain homotopy and then formally inverting all quasi-isomorphisms. A morphism may be represented by a roof $E\stackrel{\sim }{\leftarrow }{E}^{\prime }\to F$. Alternatively, take injective resolutions of sheaves and use homotopy classes of maps between the resulting injective complexes. The cohomology sheaf functors descend to the localization, because they already identify homotopic maps and turn quasi-isomorphisms into isomorphisms. If $E\cong 0$ in $D(X)$, applying these functors gives ${\mathcal{H}}^i(E)=0$ for every $i$. Conversely, if all these sheaves vanish, the unique map $E\to 0$ is a quasi-isomorphism, which becomes invertible in $D(X)$. HenceAn exact triangle in a derived category is a triangle isomorphic to a cone triangleIn particular the last arrow is part of the structure; a mere sequence of three objects with successive composite zero does not suffice.

Suppose $0\to E\stackrel{\varphi }{\to }F\stackrel{\psi }{\to }G\to 0$ is degreewise exact. DefineThen $r(d_C(f,e))=\psi (d_{F}f)+\psi \varphi (e)=d_G\psi (f)=d_{G}r(f,e)$, so $r$ is a cochain map. It is natural under maps of short exact sequences. It is degreewise surjective as a sheaf map, and its kernel can be identified with $E^i\oplus E^{i+1}$ using $(a,e)\mapsto (\varphi (a),e)$. In these coordinates the kernel differential isThere is a contracting homotopy $h^i(a,e)=(0,a)$ in degree $i-1$:Thus the kernel has zero cohomology sheaves. The cohomology-sheaf exact sequence is the sequence of the short exact sequence of complexes $0\to \ker r\to C(\varphi )\to G\to 0$, or equivalently its ordinary complex-cohomology sequence at every stalk. It follows that $r$ induces isomorphisms of all cohomology sheaves, provingUnder this isomorphism the cone triangle becomes the exact trianglewhere $\delta =v\circ r^{-1}$ in the derived category.

For the final construction write $U=S^2\setminus S^1$ and set $A=i_{!}{\mathbb{Q}}_U$, $B={\mathbb{Q}}_{S^2}$, $C=j_{\ast }{\mathbb{Q}}_{S^1}$, each initially placed in degree zero. The stated sequence $0\to A\to B\to C\to 0$ is exact on stalks: on $U$ its first map is an isomorphism and its last sheaf is zero; on the equator its first sheaf is zero and the second map is an isomorphism. Take its connecting morphismThe source has only ${\mathcal{H}}^0(C)=C$, whereas the target has only ${\mathcal{H}}^{-1}(A[1])=A$. Therefore every induced map ${\mathcal{H}}^i(\mu )$ is zero: in any degree at least one of its source and target is zero. This is a ghost morphism in a derived category.

To prove the derived morphism itself is nonzero, apply derived global sections, giving the hypercohomology sequence. The extension by zero identifies $H^{\ast }(S^2;A)$ with the compactly supported cohomology of $U$, and closed direct image identifies $H^{\ast }(S^2;C)$ with $H^{\ast }(S^1;\mathbb{Q})$. The complement $U$ is two open disks, each homeomorphic to ${\mathbb{R}}^2$, soThe degree-one part of the resulting exact sequence isThus ${\mu }_{\ast }$ is injective, in particular nonzero. With the hemispheres oriented from $S^2$, the last map is $(a,b)\mapsto a+b$, so an appropriately oriented equator generator maps to $(1,-1)$. A zero morphism in the derived category of sheaves would induce a zero map after derived global sections and taking cohomology. Consequently $\mu \ne 0$, although ${\mathcal{H}}^i(\mu )=0$ for every $i$. This establishes explicitly that the collection of cohomology-sheaf functors detects zero objects but is not faithful on morphisms.

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.

We prove the vanishing by an injective resolution of sheaves and the flasque-kernel section-lifting lemma.

For a short exact sequence of sheaves $0\to \mathcal{F}\to \mathcal{G}\to \mathcal{H}\to 0$ with flasque kernel, every section of $\mathcal{H}$ on an open set lifts to $\mathcal{G}$ there. Indeed choose a maximal partial lift by the Zorn lemma, using the sheaf gluing axiom on chains. At any point outside its domain choose a local lift. The difference on the overlap is a section of $\mathcal{F}$ and extends to the new open set by flasqueness; subtract that extension from the new lift and glue. Maximality forces the lift's domain to be the whole open set. Thus taking sections preserves this short exact sequence.

Every injective sheaf is flasque: for $U\subseteq V$, the monomorphism between the extension by zero sheaves ${\mathbb{Z}}_U\hookrightarrow {\mathbb{Z}}_V$ and the defining extension property of injectivity make the restriction $\mathcal{J}(V)\to \mathcal{J}(U)$ surjective. Embed $\mathcal{F}$ into an injective sheaf $\mathcal{J}$. The quotient $\mathcal{Q}$ is flasque as well: lift a section of $\mathcal{Q}$ on a smaller open to $\mathcal{J}$, extend it in $\mathcal{J}$, and project.

The long exact sequence in sheaf cohomology now gives $H^1(X,\mathcal{F})=0$, since $\Gamma (X,\mathcal{J})\to \Gamma (X,\mathcal{Q})$ is surjective, and for $i\ge 2$ gives $H^i(X,\mathcal{F})\cong H^{i-1}(X,\mathcal{Q})$, since injectives have zero positive-degree derived functors. Repeat the construction for the flasque quotient. After finitely many such shifts any specified positive degree reduces to a vanishing first group. HenceNo separation, compactness or scheme hypothesis is used.