
Lemma 21.13.4. Let $\mathcal{C}$ be a site. Let $\mathcal{O}$ be a sheaf of rings on $\mathcal{C}$. Let $\mathcal{F}$ be an $\mathcal{O}$-module, and denote $\mathcal{F}_{ab}$ the underlying sheaf of abelian groups. Then we have

$H^ i(\mathcal{C}, \mathcal{F}_{ab}) = H^ i(\mathcal{C}, \mathcal{F})$

and for any object $U$ of $\mathcal{C}$ we also have

$H^ i(U, \mathcal{F}_{ab}) = H^ i(U, \mathcal{F}).$

Here the left hand side is cohomology computed in $\textit{Ab}(\mathcal{C})$ and the right hand side is cohomology computed in $\textit{Mod}(\mathcal{O})$.

Proof. By Derived Categories, Lemma 13.20.4 the $\delta$-functor $(\mathcal{F} \mapsto H^ p(U, \mathcal{F}))_{p \geq 0}$ is universal. The functor $\textit{Mod}(\mathcal{O}) \to \textit{Ab}(\mathcal{C})$, $\mathcal{F} \mapsto \mathcal{F}_{ab}$ is exact. Hence $(\mathcal{F} \mapsto H^ p(U, \mathcal{F}_{ab}))_{p \geq 0}$ is a $\delta$-functor also. Suppose we show that $(\mathcal{F} \mapsto H^ p(U, \mathcal{F}_{ab}))_{p \geq 0}$ is also universal. This will imply the second statement of the lemma by uniqueness of universal $\delta$-functors, see Homology, Lemma 12.11.5. Since $\textit{Mod}(\mathcal{O})$ has enough injectives, it suffices to show that $H^ i(U, \mathcal{I}_{ab}) = 0$ for any injective object $\mathcal{I}$ in $\textit{Mod}(\mathcal{O})$, see Homology, Lemma 12.11.4.

Let $\mathcal{I}$ be an injective object of $\textit{Mod}(\mathcal{O})$. Apply Lemma 21.11.9 with $\mathcal{F} = \mathcal{I}$, $\mathcal{B} = \mathcal{C}$ and $\text{Cov} = \text{Cov}_\mathcal {C}$. Assumption (3) of that lemma holds by Lemma 21.13.3. Hence we see that $H^ i(U, \mathcal{I}_{ab}) = 0$ for every object $U$ of $\mathcal{C}$.

If $\mathcal{C}$ has a final object then this also implies the first equality. If not, then according to Sites, Lemma 7.29.5 we see that the ringed topos $(\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O})$ is equivalent to a ringed topos where the underlying site does have a final object. Hence the lemma follows. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).