Lemma 21.28.4. Let $f : (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C}) \to (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D})$ be a morphism of ringed topoi. Let $K$ be an object of $D(\mathcal{O}_\mathcal {D})$. Assume

1. $f$ is flat,

2. $K$ is bounded below,

3. $H^ q(K) \to Rf_*f^*H^ q(K)$ is an isomorphism.

Then $K \to Rf_*f^*K$ is an isomorphism.

Proof. Observe that $K \to Rf_*f^*K$ is an isomorphism if and only if it is an isomorphism on cohomology sheaves $H^ j$. Observe that $H^ j(Rf_*f^*K) = H^ j(Rf_*\tau _{\leq j}f^*K) = H^ j(Rf_*f^*\tau _{\leq j}K)$. Hence we may assume that $K$ is bounded. Then property (3) tells us the cohomology sheaves are in the triangulated subcategory $D' \subset D(\mathcal{O}_\mathcal {D})$ of Lemma 21.28.1. Hence $K$ is in it too. $\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).