Lemma 21.12.2. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Consider the functor $i : \textit{Mod}(\mathcal{C}) \to \textit{PMod}(\mathcal{C})$. It is a left exact functor with right derived functors given by
\[ R^ pi(\mathcal{F}) = \underline{H}^ p(\mathcal{F}) : U \longmapsto H^ p(U, \mathcal{F}) \]
see discussion in Section 21.7.
Proof.
It is clear that $i$ is left exact. Choose an injective resolution $\mathcal{F} \to \mathcal{I}^\bullet $ in $\textit{Mod}(\mathcal{O})$. By definition $R^ pi$ is the $p$th cohomology presheaf of the complex $\mathcal{I}^\bullet $. In other words, the sections of $R^ pi(\mathcal{F})$ over an object $U$ of $\mathcal{C}$ are given by
\[ \frac{\mathop{\mathrm{Ker}}(\mathcal{I}^ n(U) \to \mathcal{I}^{n + 1}(U))}{\mathop{\mathrm{Im}}(\mathcal{I}^{n - 1}(U) \to \mathcal{I}^ n(U))}. \]
which is the definition of $H^ p(U, \mathcal{F})$.
$\square$
Comments (0)