Lemma 84.20.4. Let $\mathcal{C}$ be a site with fibre products and $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. Let $\mathcal{O}_\mathcal {C}$ be a sheaf of rings. Let $K$ be a hypercovering of $X$. Let $\mathcal{A} \subset \textit{Mod}(\mathcal{O})$ denote the weak Serre subcategory of cartesian $\mathcal{O}$-modules. Then the functor $La^*$ defines an equivalence

$D^+(\mathcal{O}_ X) \longrightarrow D_\mathcal {A}^+(\mathcal{O})$

with quasi-inverse $Ra_*$.

Proof. Via Remarks 84.15.7 and 84.16.6 and the discussion in the introduction to this section this follows from Lemma 84.18.4. $\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).