Godement resolution

The Godement resolution of a sheaf is a construction in homological algebra that allows one to view global, cohomological information about the sheaf in terms of local information coming from its stalks. It is useful for computing sheaf cohomology. It was discovered by Roger Godement.

Given a topological space X (more generally, a topos X with enough points), and a sheaf F on X, the Godement construction for F gives a sheaf ${\displaystyle \operatorname {Gode} (F)}$ constructed as follows. For each point ${\displaystyle x\in X}$, let ${\displaystyle F_{x}}$ denote the stalk of F at x. Given an open set ${\displaystyle U\subseteq X}$, define

${\displaystyle \operatorname {Gode} (F)(U):=\prod _{x\in U}F_{x}.}$

An open subset ${\displaystyle U\subseteq V}$ clearly induces a restriction map ${\displaystyle \operatorname {Gode} (F)(V)\rightarrow \operatorname {Gode} (F)(U)}$, so ${\displaystyle \operatorname {Gode} (F)}$ is a presheaf. One checks the sheaf axiom easily. One also proves easily that ${\displaystyle \operatorname {Gode} (F)}$ is flabby, meaning each restriction map is surjective. The map ${\displaystyle \operatorname {Gode} }$ can be turned into a functor because a map between two sheaves induces maps between their stalks. Finally, there is a canonical map of sheaves ${\displaystyle F\to \operatorname {Gode} (F)}$ that sends each section to the 'product' of its germs. This canonical map is a natural transformation between the identity functor and ${\displaystyle \operatorname {Gode} }$.

Another way to view ${\displaystyle \operatorname {Gode} }$ is as follows. Let ${\displaystyle X_{\text{disc}}}$ be the set X with the discrete topology. Let ${\displaystyle p\colon X_{\text{disc}}\to X}$ be the continuous map induced by the identity. It induces adjoint direct and inverse image functors ${\displaystyle p_{*}}$ and ${\displaystyle p^{-1}}$. Then ${\displaystyle \operatorname {Gode} =p_{*}\circ p^{-1}}$, and the unit of this adjunction is the natural transformation described above.

Because of this adjunction, there is an associated monad on the category of sheaves on X. Using this monad there is a way to turn a sheaf F into a coaugmented cosimplicial sheaf. This coaugmented cosimplicial sheaf gives rise to an augmented cochain complex that is defined to be the Godement resolution of F.

In more down-to-earth terms, let ${\displaystyle G_{0}(F)=\operatorname {Gode} (F)}$, and let ${\displaystyle d_{0}\colon F\rightarrow G_{0}(F)}$ denote the canonical map. For each ${\displaystyle i>0}$, let ${\displaystyle G_{i}(F)}$ denote ${\displaystyle \operatorname {Gode} (\operatorname {coker} (d_{i-1}))}$, and let ${\displaystyle d_{i}\colon G_{i-1}\rightarrow G_{i}}$ denote the canonical map. The resulting resolution is a flabby resolution of F, and its cohomology is the sheaf cohomology of F.

Let ${\displaystyle X}$ be a topological space, ${\displaystyle {\mathsf {Ab}}(X)}$ the category of Abelian sheaves on ${\displaystyle X}$ (the construction holds more generally in sheaves with more algebraic structure, e.g. sheaves of vector spaces, modules or rings). The Godement resolution is a sequence of covariant functors ${\displaystyle {\mathcal {G}}^{k}:{\mathsf {Ab}}(X)\rightarrow {\mathsf {Ab}}(X)}$ (${\displaystyle k=0,1,2,...}$) and natural transformations ${\displaystyle \varepsilon :{\boldsymbol {1}}\rightarrow {\mathcal {G}}^{0}}$, ${\displaystyle \delta _{k}:{\mathcal {G}}^{k}\rightarrow {\mathcal {G}}^{k+1}}$ (${\displaystyle {\boldsymbol {1}}}$ is the identity functor) such that for any sheaf ${\displaystyle {\mathcal {S}}\in {\mathsf {Ab}}(X)}$

• ${\displaystyle {\mathcal {G}}^{k}({\mathcal {S}})}$ is a flabby sheaf;
• ${\displaystyle 0\xrightarrow {} {\mathcal {S}}\xrightarrow {\varepsilon } {\mathcal {G}}^{0}({\mathcal {S}})\xrightarrow {\delta } {\mathcal {G}}^{1}({\mathcal {S}})\xrightarrow {\delta } \cdots }$ is a resolution of ${\displaystyle {\mathcal {S}}}$.

Recall that a sheaf space (or étalé space) is a triple ${\displaystyle (E,\pi ,X)}$ where ${\displaystyle E}$ is a topological space, ${\displaystyle \pi }$ is a surjective local homeomorphism, and each fibre ${\displaystyle E_{x}=\pi ^{-1}(x)}$ has the structure of an Abelian group such that the map ${\displaystyle E\times _{X}E\rightarrow E,\quad (s_{0},s_{1})\mapsto s_{0}-s_{1}}$ is continuous. A morphism of sheaf spaces ${\displaystyle f:(E,\pi ,X)\rightarrow (E^{\prime },\pi ^{\prime },X)}$ is a continuous map between the spaces ${\displaystyle E}$ and ${\displaystyle E^{\prime }}$ such that ${\displaystyle \pi ^{\prime }\circ f=\pi }$.

Moreover, the association ${\displaystyle U\mapsto \Gamma (U,E)}$ sending each open set ${\displaystyle U\subseteq X}$ to the Abelian group of all continuous sections of ${\displaystyle \pi }$ (frequently abbreviated as sections of ${\displaystyle E}$, although this is an abuse of terminology) is an Abelian sheaf, and the functor ${\displaystyle \mathrm {Sec} :{\mathsf {Et}}(X)\rightarrow {\mathsf {Ab}}(X)}$ sending each sheaf space ${\displaystyle (E,\pi ,X)}$ to the sheaf ${\displaystyle \mathrm {Sec} (E,\pi ,X):=U\mapsto \Gamma (U,E)}$ and each morphism ${\displaystyle f:(E,\pi ,X)\rightarrow (E^{\prime },\pi ^{\prime },X)}$ into the operator ${\displaystyle \phi \mapsto f\circ \phi }$ of composition with a section ${\displaystyle \phi \in \Gamma (U,E)}$ is an equivalence of categories.

For simplicity, given a sheaf denoted ${\displaystyle {\mathcal {S}}}$, let its associated sheaf space be denoted ${\displaystyle \mathbf {S} }$, and implicitly identify each section ${\displaystyle \phi \in {\mathcal {S}}(U)}$ with the corresponding continuous section of the sheaf space.

A serration^[1] of ${\displaystyle {\mathcal {S}}}$ (or equivalently, of ${\displaystyle \mathbf {S} }$) over the open set ${\displaystyle U\subseteq X}$ is a local section ${\displaystyle \phi :U\rightarrow \mathbf {S} ,\ \ \pi \circ \phi =\mathrm {Id} _{U}}$ that does not need to be continuous. If ${\displaystyle {\mathcal {G}}^{0}({\mathcal {S}})(U)}$ denotes the set of all serrations over ${\displaystyle U}$, then this set is equipped with a natural Abelian group structure, ${\displaystyle {\mathcal {G}}^{0}({\mathcal {S}})}$ is an Abeliean sheaf, and since every continuous section is also a serration, there is a natural monomorphism ${\displaystyle \varepsilon :{\mathcal {S}}\rightarrow {\mathcal {G}}^{0}({\mathcal {S}})}$ of sheaves.

Now define ${\displaystyle {\mathcal {F}}^{1}({\mathcal {S}}):={\mathcal {G}}^{0}({\mathcal {S}})/{\mathcal {S}}}$, and iterate this construction by replacing ${\displaystyle {\mathcal {S}}}$ with ${\displaystyle {\mathcal {F}}^{1}({\mathcal {S}})}$, producing ${\displaystyle {\mathcal {G}}^{1}({\mathcal {S}}):={\mathcal {G}}^{0}({\mathcal {F}}^{1}({\mathcal {S}}))}$ and ${\displaystyle {\mathcal {F}}^{2}({\mathcal {S}}):={\mathcal {G}}^{1}({\mathcal {S}})/{\mathcal {F}}^{1}({\mathcal {S}})}$, and so on. Once ${\displaystyle {\mathcal {G}}^{0}({\mathcal {S}}),\dots ,{\mathcal {G}}^{k-1}({\mathcal {S}})}$ and ${\displaystyle {\mathcal {F}}^{1}({\mathcal {S}}),\dots ,{\mathcal {F}}^{k}({\mathcal {S}})}$ have been constructed, then one can define, recursively,$${\displaystyle {\mathcal {G}}^{k}({\mathcal {S}}):={\mathcal {G}}^{0}({\mathcal {F}}^{k}({\mathcal {S}})),\quad {\mathcal {F}}^{k+1}({\mathcal {S}}):={\mathcal {G}}^{k}({\mathcal {S}})/{\mathcal {F}}^{k}({\mathcal {S}}).}$$By construction, the short sequences ${\displaystyle 0\rightarrow {\mathcal {F}}^{k}({\mathcal {S}})\rightarrow {\mathcal {G}}^{k}({\mathcal {S}})\rightarrow {\mathcal {F}}^{k+1}({\mathcal {S}})\rightarrow 0}$ are exact, thus concatenating them produces the long exact sequence$${\displaystyle 0\xrightarrow {} {\mathcal {S}}\xrightarrow {\varepsilon } {\mathcal {G}}^{0}({\mathcal {S}})\xrightarrow {\delta } {\mathcal {G}}^{1}({\mathcal {S}})\xrightarrow {\delta } {\mathcal {G}}^{2}({\mathcal {S}})\xrightarrow {\delta } \cdots ,}$$where ${\displaystyle \delta :{\mathcal {G}}^{k}({\mathcal {S}})\rightarrow {\mathcal {G}}^{k+1}({\mathcal {S}})}$ is given by the composition ${\displaystyle {\mathcal {G}}^{k}({\mathcal {S}})\rightarrow {\mathcal {F}}^{k+1}({\mathcal {S}})\rightarrow {\mathcal {G}}^{k+1}({\mathcal {S}})}$.

Each sheaf ${\displaystyle {\mathcal {G}}^{k}({\mathcal {S}})}$ and ${\displaystyle {\mathcal {F}}^{k}({\mathcal {S}})}$ that appears in the above construction is functorial in its argument ${\displaystyle {\mathcal {S}}}$, in the sense that it is an additive endofunctor of the category ${\displaystyle {\mathsf {Ab}}(X)}$. For ${\displaystyle {\mathcal {G}}^{0}}$ this is easy to see since any morphism ${\displaystyle f:{\mathcal {S}}\rightarrow {\mathcal {S}}^{\prime }}$ of sheaves induces a corresponding morphism (denoted the same way) ${\displaystyle f:\mathbf {S} \rightarrow \mathbf {S} ^{\prime }}$ between their sheaf spaces, and any serration ${\displaystyle \phi \in {\mathcal {G}}^{0}({\mathcal {S}})(U)}$ may be composed as ${\displaystyle \phi \mapsto f\circ \phi \in {\mathcal {G}}^{0}({\mathcal {S}})(U)}$. Evidently, if ${\displaystyle \phi }$ is continuous, then so is its image, hence the morphism (also denoted the same way) ${\displaystyle f:{\mathcal {G}}^{0}({\mathcal {S}})\rightarrow {\mathcal {G}}^{0}({\mathcal {S}}^{\prime })}$ takes the subsheaf ${\displaystyle {\mathcal {S}}}$ into the subsheaf ${\displaystyle {\mathcal {S}}^{\prime }}$ (essentially trivially), consequently, there is also an induced morphism ${\displaystyle {\mathcal {F}}^{1}({\mathcal {S}})\rightarrow {\mathcal {F}}^{1}({\mathcal {S}}^{\prime })}$.

It is easy to verify that the induced morphisms satisfy all compositional rules needed for functoriality, hence ${\displaystyle {\mathcal {G}}^{0}}$ and ${\displaystyle {\mathcal {F}}^{1}}$ are functors. But since the higher degree Godement sheaves ${\displaystyle {\mathcal {G}}^{k\geq 1}}$ and ${\displaystyle {\mathcal {F}}^{k\geq 2}}$ are constructed iteratively by the same procedure, these are compositions of functors and are hence themselves functors.

For any open set ${\displaystyle U\subseteq X}$, let ${\displaystyle \phi \in {\mathcal {G}}^{0}({\mathcal {S}})(U)}$. Then we can extend ${\displaystyle \phi }$ to a global section ${\displaystyle {\hat {\phi }}:X\rightarrow \mathbf {S} }$ by setting$${\displaystyle {\hat {\phi }}(x)=\left\{{\begin{matrix}\phi (x)&x\in U\\0&x\in X\setminus U\end{matrix}}\right..}$$Hence, ${\displaystyle {\mathcal {G}}^{0}({\mathcal {S}})}$ is flabby for any sheaf ${\displaystyle {\mathcal {S}}}$. Since we have ${\displaystyle {\mathcal {G}}^{k}={\mathcal {G}}^{0}\circ {\mathcal {F}}^{k}}$, it follows then that the higher degree Godement sheaves are also flabby.

For any short exact sequence ${\displaystyle 0\rightarrow {\mathcal {S}}^{\prime }\rightarrow {\mathcal {S}}\rightarrow {\mathcal {S}}^{\prime \prime }\rightarrow 0}$ of sheaves, and any ${\displaystyle k\geq 0}$, the sequence$${\displaystyle 0\rightarrow {\mathcal {G}}^{k}({\mathcal {S}}^{\prime })\rightarrow {\mathcal {G}}^{k}({\mathcal {S}})\rightarrow {\mathcal {G}}^{k}({\mathcal {S}}^{\prime \prime })\rightarrow 0}$$is also exact, hence ${\displaystyle {\mathcal {G}}^{k}}$ is an exact functor.

For ${\displaystyle k=0}$, this follows from a simple direct computation, then consider the short exact sequence ${\displaystyle 0\rightarrow {\mathcal {S}}^{\bullet }\rightarrow {\mathcal {G}}^{0}({\mathcal {S}}^{\bullet })\rightarrow {\mathcal {F}}^{1}({\mathcal {S}}^{\bullet })\rightarrow 0}$ of complexes (where ${\displaystyle {\mathcal {S}}^{\bullet }}$ stands for ${\displaystyle 0\rightarrow {\mathcal {S}}^{\prime }\rightarrow {\mathcal {S}}\rightarrow {\mathcal {S}}^{\prime \prime }\rightarrow 0}$), where the first two complexes are exact, thus the cohomology long exact sequence implies that ${\displaystyle 0\rightarrow {\mathcal {F}}^{1}({\mathcal {S}}^{\prime })\rightarrow {\mathcal {F}}^{1}({\mathcal {S}})\rightarrow {\mathcal {F}}^{1}({\mathcal {S}}^{\prime \prime })\rightarrow 0}$ is exact as well, therefore ${\displaystyle {\mathcal {F}}^{1}}$ is also an exact functor. Then the exactness of ${\displaystyle {\mathcal {G}}^{k\geq 1}}$ and ${\displaystyle {\mathcal {F}}^{k\geq 2}}$ follows from iterating the same argument.

Actually, slightly more can be said. Define the functors ${\displaystyle G^{k}:{\mathsf {Ab}}(X)\rightarrow {\mathsf {Ab}},\ G^{k}({\mathcal {S}}):={\mathcal {G}}^{k}({\mathcal {S}})(X)}$, and recall the well-known theorem^[1][2] that if ${\displaystyle 0\rightarrow {\mathcal {S}}^{\prime }\rightarrow {\mathcal {S}}\rightarrow {\mathcal {S}}^{\prime \prime }\rightarrow 0}$ is any short exact sequence of sheaves where ${\displaystyle {\mathcal {S}}^{\prime }}$ is flabby, then$${\displaystyle 0\rightarrow {\mathcal {S}}^{\prime }(X)\rightarrow {\mathcal {S}}(X)\rightarrow {\mathcal {S}}^{\prime \prime }(X)\rightarrow 0}$$is also exact. Since ${\displaystyle {\mathcal {G}}^{k}({\mathcal {S}})}$ is flabby for any sheaf ${\displaystyle {\mathcal {S}}}$, the sequence$${\displaystyle 0\rightarrow G^{k}({\mathcal {S}}^{\prime })\rightarrow G^{k}({\mathcal {S}})\rightarrow G^{k}({\mathcal {S}}^{\prime \prime })\rightarrow 0}$$is also exact, hence the ${\displaystyle G^{k}}$ are also exact functors.

The main use of the Godement resolution is to define sheaf cohomology. In the literature there exist (at least) three methods by which the cohomology of sheaves can be constructed, via

1. Čech cohomology;^[2]
2. the Godement resoution;^[1][3]
3. derived functors (injective resolutions).^[4]

This list is ordered in terms of increasing generality. Čech cohomology can be defined for any topological space, but it is guaranteed to agree with the other forms of sheaf cohomology only if the space is a paracompact Hausdorff space, the approach via the Godement resolution works on any space and agrees with derived functor cohomology, while the latter can be defined generally also for sheaves on sites.

For sheaves on topological spaces, the Godement resolution has a number of advantages over derived functor cohomology due to the fact that it is canonical and the Godement functors are exact.

As an illustration, recall the fact^[1][5] that the category ${\displaystyle {\mathsf {Ab}}(X)}$ of Abelian sheaves has enough injectives, meaning that for any sheaf ${\displaystyle {\mathcal {S}}}$ there is a monomorphism ${\displaystyle {\mathcal {S}}\rightarrow {\mathcal {I}}}$ into an injective sheaf. This is highly non-constructive, the standard proof involves constructing an injective group ${\displaystyle I(x)}$ for each point ${\displaystyle x\in X}$. Let ${\displaystyle {\mathcal {I}}^{0}}$ be an injective sheaf into which ${\displaystyle {\mathcal {S}}}$ embeds, then take ${\displaystyle {\mathcal {I}}^{1}}$ to be an injective sheaf into which the quotient ${\displaystyle {\mathcal {I}}^{0}/{\mathcal {S}}}$ embeds, and so on. This constructs a resolution$${\displaystyle 0\rightarrow {\mathcal {S}}\rightarrow {\mathcal {I}}^{0}\rightarrow {\mathcal {I}}^{1}\rightarrow {\mathcal {I}}^{2}\rightarrow \cdots }$$where each sheaf ${\displaystyle {\mathcal {I}}^{k}}$ is injective. The derived functor approach to sheaf cohomology then defines ${\displaystyle H^{k}(X,{\mathcal {S}}):=H^{k}({\mathcal {I}}^{\bullet }(X))}$, i.e. the kth cohomology of ${\displaystyle X}$ with coefficients in ${\displaystyle {\mathcal {S}}}$ is equal to the kth cohomology of the complex$${\displaystyle 0\rightarrow {\mathcal {I}}^{0}(X)\rightarrow {\mathcal {I}}^{1}(X)\rightarrow {\mathcal {I}}^{2}(X)\rightarrow \cdots .}$$However, since the injective resolution of the sheaf is not canonical, this definition becomes well-defined only if one shows that the cohomology groups are independent of the choice of injective resolution. Furthermore, one must show that the cohomology long exact sequence exists. Both of these follows from highly general categorical arguments coming from the properties of injective objects.

It is also possible^[1] to define an injective resolution which is canonical in the sense that it is functorial in the initial sheaf, but these functors fail to be exact, which means that the existence of the cohomology long exact sequence has to be proven by different means.

In the approach via the Godement resolution, one defines the sheaf cohomology groups to be ${\displaystyle H^{k}(X,{\mathcal {S}}):=H^{k}(G^{\bullet }({\mathcal {S}}))}$, where the latter is the kth cohomology of the complex$${\displaystyle 0\rightarrow G^{0}({\mathcal {S}})\rightarrow G^{1}({\mathcal {S}})\rightarrow G^{2}({\mathcal {S}})\rightarrow \cdots }$$and ${\displaystyle G^{k}({\mathcal {S}}):={\mathcal {G}}^{k}({\mathcal {S}})(X)}$. This is manifestly well-defined as the resolution is canonically given for any sheaf, and since the functors ${\displaystyle G^{k}}$ are exact, the existence of the long exact sequence follows from a simple argument.

A sheaf cohomology theory on a topological space ${\displaystyle X}$ consists of a sequence ${\displaystyle H^{0}(X,-),H^{1}(X,-),\dots }$ of covariant functors from ${\displaystyle {\mathsf {Ab}}(X)}$ to ${\displaystyle {\mathsf {Ab}}}$ such that the following properties are satisfied:

1. ${\displaystyle H^{0}(X,{\mathcal {S}})={\mathcal {S}}(X)}$ for any sheaf ${\displaystyle {\mathcal {S}}}$;
2. for any short exact sequence ${\displaystyle 0\rightarrow {\mathcal {S}}^{\prime }\rightarrow {\mathcal {S}}\rightarrow {\mathcal {S}}^{\prime \prime }\rightarrow 0}$ there is a corresponding long exact sequence${\displaystyle 0\rightarrow {\mathcal {S}}^{\prime }(X)\rightarrow {\mathcal {S}}(X)\rightarrow {\mathcal {S}}^{\prime \prime }(X)\rightarrow H^{1}(X,{\mathcal {S}}^{\prime })\rightarrow H^{1}(X,{\mathcal {S}})\rightarrow H^{1}(X,{\mathcal {S}}^{\prime \prime })\rightarrow H^{2}(X,{\mathcal {S}}^{\prime })\rightarrow \cdots }$ of sheaf cohomology groups which is natural or functorial in the sense that any morphism ${\displaystyle {\mathcal {S}}^{\bullet }\rightarrow {\mathcal {T}}^{\bullet }}$ of short exact sequences of sheaves induces a corresponding morphism of their cohomology long exact sequences.

Theorem: The functors ${\displaystyle H^{k}(X,-):=H^{k}(G^{\bullet }(-))}$ satisfy the sheaf cohomology axioms.

Proof: For the complex ${\displaystyle G^{\bullet }({\mathcal {S}})}$, the zeroth cohomology is $${\displaystyle H^{0}(G^{\bullet }({\mathcal {S}}))=\ker(G^{0}({\mathcal {S}})\rightarrow G^{1}({\mathcal {S}}))=\ker({\mathcal {G}}^{0}({\mathcal {S}})\rightarrow {\mathcal {G}}^{1}({\mathcal {S}}))(X)=\mathrm {im} ({\mathcal {S}}\rightarrow {\mathcal {G}}^{0}({\mathcal {S}}))(X).}$$Since the latter is the section space of the image of a sheaf monomorphism, it follows that ${\displaystyle H^{0}(G^{\bullet }({\mathcal {S}}))={\mathcal {S}}(X)}$.

Then for any short exact sequence ${\displaystyle 0\rightarrow {\mathcal {S}}^{\prime }\rightarrow {\mathcal {S}}\rightarrow {\mathcal {S}}^{\prime \prime }\rightarrow 0}$, consider the commutative diagram$${\displaystyle {\begin{matrix}&&0&&0&&0\\&&\downarrow &&\downarrow &&\downarrow &&\\0&\rightarrow &G^{0}({\mathcal {S}}^{\prime })&\rightarrow &G^{0}({\mathcal {S}})&\rightarrow &G^{0}({\mathcal {S}}^{\prime \prime })&\rightarrow &0\\&&\downarrow &&\downarrow &&\downarrow &&\\0&\rightarrow &G^{1}({\mathcal {S}}^{\prime })&\rightarrow &G^{1}({\mathcal {S}})&\rightarrow &G^{1}({\mathcal {S}}^{\prime \prime })&\rightarrow &0\\&&\downarrow &&\downarrow &&\downarrow &&\\0&\rightarrow &G^{2}({\mathcal {S}}^{\prime })&\rightarrow &G^{2}({\mathcal {S}})&\rightarrow &G^{2}({\mathcal {S}}^{\prime \prime })&\rightarrow &0\\&&\downarrow &&\downarrow &&\downarrow &&\\&&\vdots &&\vdots &&\vdots &&\\\end{matrix}}.}$$The rows are exact because the ${\displaystyle G^{k}}$ are exact functors, so this is a short exact sequence ${\displaystyle 0\rightarrow G^{\bullet }({\mathcal {S}}^{\prime })\rightarrow G^{\bullet }({\mathcal {S}})\rightarrow G^{\bullet }({\mathcal {S}}^{\prime \prime })\rightarrow 0}$ of complexes, and the corresponding cohomology long exact sequence reads$${\displaystyle 0\rightarrow {\mathcal {S}}^{\prime }(X)\rightarrow {\mathcal {S}}(X)\rightarrow {\mathcal {S}}^{\prime \prime }(X)\rightarrow H^{1}(G^{\bullet }({\mathcal {S}}^{\prime }))\rightarrow H^{1}(G^{\bullet }({\mathcal {S}}))\rightarrow H^{1}(G^{\bullet }({\mathcal {S}}^{\prime \prime }))\rightarrow H^{2}(G^{\bullet }({\mathcal {S}}^{\prime }))\rightarrow \cdots }$$which establishes the second axiom as well.

A sheaf ${\displaystyle {\mathcal {S}}}$ is acyclic if each higher cohomology group vanishes, that is ${\displaystyle H^{k}(X,{\mathcal {S}})=0,\ \ k>0}$. It is an important fact, that sheaf cohomology can also be computed from acyclic resolutions. This follows directly from the sheaf cohomology axioms, since if$${\displaystyle 0\rightarrow {\mathcal {S}}\rightarrow {\mathcal {A}}^{0}\rightarrow {\mathcal {A}}^{1}\rightarrow {\mathcal {A}}^{2}\rightarrow \cdots }$$is an exact sequence where the sheaves ${\displaystyle {\mathcal {A}}^{k}}$ are acyclic, then breaking it down into short exact sequences of the form ${\displaystyle 0\rightarrow {\mathcal {Z}}^{k}\rightarrow {\mathcal {A}}^{k}\rightarrow {\mathcal {Z}}^{k+1}\rightarrow 0}$, where ${\displaystyle {\mathcal {Z}}^{k}:=\ker({\mathcal {A}}^{k}\rightarrow {\mathcal {A}}^{k+1})}$, and applying the sheaf cohomology long exact sequence to each, the cohomology long exact sequence decomposes into exact sequences$${\displaystyle 0\rightarrow {\mathcal {Z}}^{k}(X)\rightarrow {\mathcal {A}}^{k}(X)\rightarrow {\mathcal {Z}}^{k+1}(X)\rightarrow H^{1}(X,{\mathcal {Z}}^{k})\rightarrow 0,\ \ k\geq 0,}$$and ${\displaystyle 0\rightarrow H^{p}(X,{\mathcal {Z}}^{k+1})\rightarrow H^{p+1}(X,{\mathcal {Z}}^{k})\rightarrow 0,\ \ p\geq 1,\ k\geq 0.}$

The first implies that ${\displaystyle H^{1}(X,{\mathcal {Z}}^{k})\cong H^{k+1}({\mathcal {A}}^{\bullet }(X))}$, while the second that ${\displaystyle H^{p}(X,{\mathcal {Z}}^{k+1})\cong H^{p+1}(X,{\mathcal {Z}}^{k}).}$ Together these give${\displaystyle H^{k}(X,{\mathcal {S}})\cong H^{k}({\mathcal {A}}^{\bullet }(X))}$ (technically, the proof is valid only for ${\displaystyle k\geq 1}$, but the validity for ${\displaystyle k=0}$ is essentially trivial).

A proof very similar to the one above then establishes that whenever an exact sequence ${\displaystyle 0\rightarrow {\mathcal {S}}^{0}\rightarrow {\mathcal {S}}^{1}\rightarrow {\mathcal {S}}^{2}\rightarrow \cdots }$ is given in which every sheaf is flabby, then the cohomology ${\displaystyle H^{k}({\mathcal {S}}^{\bullet }(X))}$ of the sequence of global sections vanishes.

Since the Godement sheaves are flabby, for any flabby sheaf ${\displaystyle {\mathcal {S}}}$, the Godement resolution is an exact sequence in which every sheaf is flabby. Thus, ${\displaystyle H^{k}(X,{\mathcal {S}})=0}$, whenever ${\displaystyle k>0}$.

Consequently,

• flabby sheaves are acyclic, and
• sheaf cohomology can be computed generally by flabby resolutions.

• Godement, Roger (1973), Topologie algébrique et théorie des faisceaux, Paris: Hermann, ISBN 9782705612528, MR 0345092
• Weibel, Charles A. (1994), An introduction to homological algebra, Cambridge University Press, doi:10.1017/CBO9781139644136, ISBN 978-0-521-55987-4, MR 1269324

• The Stacks Project authors. "20.30 Godement resolution".
• Goresky, Mark. "Introduction to Perverse Sheaves §.4.1. Godement resolution" (PDF). Institute for Advanced Study.