Lemma 21.43.5 (0H0S)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 21: Cohomology on Sites
Section 21.43: Modules on a category
Lemma 21.43.5 (cite)

numberstags

Lemma 21.43.5. In the situation above, suppose that $K$ is an object of $\mathit{QC}(\mathcal{O})$ and $M$ arbitrary in $D(\mathcal{O})$ . For every object $U$ of $\mathcal{C}$ we have

$\mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ U)}(K|_ U, M|_ U) = R\mathop{\mathrm{Hom}}\nolimits _{\mathcal{O}(U)}(R\Gamma (U, K), R\Gamma (U, M))$

Proof. We may replace $\mathcal{C}$ by $\mathcal{C}/U$ . Thus we may assume $U = X$ is a final object of $\mathcal{C}$ . By Lemma 21.43.4 we see that $K = Lf^*P$ where $P = R\Gamma (U, K) = R\Gamma (X, K) = Rf_*K$ . Thus the result because $Lf^*$ is the left adjoint to $Rf_*(-) = R\Gamma (U, -)$ . $\square$

Comments (0)

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).

Comments (0)

Post a comment