Remark 21.39.4. Notation and assumptions as in Example 21.39.1. Let \mathcal{F}^\bullet be a bounded complex of abelian sheaves on \mathcal{C}. For any object U of \mathcal{C} there is a canonical map
in D(\textit{Ab}). If \mathcal{F}^\bullet is a complex of \underline{B}-modules then this map is in D(B). To prove this, note that we compute L\pi _!(\mathcal{F}^\bullet ) by taking a quasi-isomorphism \mathcal{P}^\bullet \to \mathcal{F}^\bullet where \mathcal{P}^\bullet is a complex of projectives. However, since the topology is chaotic this means that \mathcal{P}^\bullet (U) \to \mathcal{F}^\bullet (U) is a quasi-isomorphism hence can be inverted in D(\textit{Ab}), resp. D(B). Composing with the canonical map \mathcal{P}^\bullet (U) \to \pi _!(\mathcal{P}^\bullet ) coming from the computation of \pi _! as a colimit we obtain the desired arrow.
Comments (0)
There are also: