Lemma 13.30.2. Let $F : \mathcal{A} \to \mathcal{B}$ and $G : \mathcal{B} \to \mathcal{A}$ be functors of abelian categories such that $F$ is a right adjoint to $G$. Let $K^\bullet$ be a complex of $\mathcal{A}$ and let $M^\bullet$ be a complex of $\mathcal{B}$. If $RF$ is defined at $K^\bullet$ and $LG$ is defined at $M^\bullet$, then there is a canonical isomorphism

$\mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{B})}(M^\bullet , RF(K^\bullet )) = \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{A})}(LG(M^\bullet ), K^\bullet )$

This isomorphism is functorial in both variables on the triangulated subcategories of $D(\mathcal{A})$ and $D(\mathcal{B})$ where $RF$ and $LG$ are defined.

Proof. This is a special case of the very general Lemma 13.30.1. $\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).