Remark 46.10.3. Remark 46.10.2 above implies we have an equivalence of derived categories

$D_{\textit{Adeq}}(\mathcal{O})/D_\mathcal {C}(\mathcal{O}) \longrightarrow D_\mathit{QCoh}(S)$

where $\mathcal{C}$ is the category of parasitic adequate modules. Namely, it is clear that $D_\mathcal {C}(\mathcal{O})$ is the kernel of $Rf_*$, hence a functor as indicated. For any object $X$ of $D_{\textit{Adeq}}(\mathcal{O})$ the map $Lf^*Rf_*X \to X$ maps to a quasi-isomorphism in $D_\mathit{QCoh}(S)$, hence $Lf^*Rf_*X \to X$ is an isomorphism in $D_{\textit{Adeq}}(\mathcal{O})/D_\mathcal {C}(\mathcal{O})$. Finally, for $X, Y$ objects of $D_{\textit{Adeq}}(\mathcal{O})$ the map

$Rf_* : \mathop{\mathrm{Hom}}\nolimits _{D_{\textit{Adeq}}(\mathcal{O})/D_\mathcal {C}(\mathcal{O})}(X, Y) \to \mathop{\mathrm{Hom}}\nolimits _{D_\mathit{QCoh}(S)}(Rf_*X, Rf_*Y)$

is bijective as $Lf^*$ gives an inverse (by the remarks above).

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