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

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

is commutative as follows from Lemma 62.10.7.

## Comments (0)