Remark 62.10.8. Let $\Lambda _1 \to \Lambda _2$ be a homomorphism of torsion rings. Let $f : X \to Y$ be a separated finite type morphism of quasi-compact and quasi-separated schemes. The diagram

$\xymatrix{ D(X_{\acute{e}tale}, \Lambda _2) \ar[r]_{res} \ar[d]_{Rf_!} & D(X_{\acute{e}tale}, \Lambda _1) \ar[d]^{Rf_!} \\ D(Y_{\acute{e}tale}, \Lambda _2) \ar[r]^{res} & D(Y_{\acute{e}tale}, \Lambda _1) }$

commutes where $res$ is the “restriction” functor which turns a $\Lambda _2$-module into a $\Lambda _1$-module using the given ring map. Writing $Rf_! = R\overline{f}_* \circ j_!$ for a factorization $f = \overline{f} \circ j$ as in Section 62.9, we see that the result holds for $j_!$ by inspection and for $R\overline{f}_*$ by Cohomology on Sites, Lemma 21.20.7. On the other hand, also the diagram

$\xymatrix{ D(X_{\acute{e}tale}, \Lambda _1) \ar[r]_{- \otimes _{\Lambda _1}^\mathbf {L} \Lambda _2} \ar[d]_{Rf_!} & D(X_{\acute{e}tale}, \Lambda _2) \ar[d]^{Rf_!} \\ D(Y_{\acute{e}tale}, \Lambda _1) \ar[r]^{- \otimes _{\Lambda _1}^\mathbf {L} \Lambda _2} & D(Y_{\acute{e}tale}, \Lambda _2) }$

is commutative as follows from Lemma 62.10.7.

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