Remark 36.22.7. With notation as in Lemma 36.22.6. The diagram

$\xymatrix{ R\mathop{\mathrm{Hom}}\nolimits _ X(M, Rg'_*L) \otimes _ R^\mathbf {L} R' \ar[r] \ar[d]_\mu & R\mathop{\mathrm{Hom}}\nolimits _{X'}(L(g')^*M, L(g')^*Rg'_*L) \ar[d]^ a \\ R\mathop{\mathrm{Hom}}\nolimits _ X(M, R(g')_*L) \ar@{=}[r] & R\mathop{\mathrm{Hom}}\nolimits _{X'}(L(g')^*M, L) }$

is commutative where the top horizontal arrow is the map from the lemma, $\mu$ is the multiplication map, and $a$ comes from the adjunction map $L(g')^*Rg'_*L \to L$. The multiplication map is the adjunction map $K' \otimes _ R^\mathbf {L} R' \to K'$ for any $K' \in D(R')$.

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