Lemma 69.4.4 (0DK5)—The Stacks project

Lemma 69.4.4. With $S$, $X$, $Y$, $\pi $, $\mathcal{A}$, $\mathcal{B}$, $\varphi $, and $f$ as in Lemma 69.4.3 we have

\[ K \otimes _\mathcal {B}^\mathbf {L} Rf_*M = Rf_*(Lf^*K \otimes _\mathcal {A}^\mathbf {L} M) \]

in $D(\mathcal{B})$ for any $K \in D(\mathcal{B})$ and $M \in D(\mathcal{A})$.

Proof. Since $f_*$ is exact (Lemma 69.4.1) the functor $Rf_*$ is computed by applying $f_*$ to any representative complex. Choose a complex $\mathcal{K}^\bullet $ of $\mathcal{B}$-modules representing $K$ which is K-flat with flat terms, see Cohomology on Sites, Lemma 21.17.11. Then $f^*\mathcal{K}^\bullet $ is K-flat with flat terms, see Cohomology on Sites, Lemma 21.18.1. Choose any complex $\mathcal{M}^\bullet $ of $\mathcal{A}$-modules representing $M$. Then we have to show

\[ \text{Tot}(\mathcal{K}^\bullet \otimes _\mathcal {B} f_*\mathcal{M}^\bullet ) = f_*\text{Tot}(f^*\mathcal{K}^\bullet \otimes _\mathcal {A} \mathcal{M}^\bullet ) \]

because by our choices these complexes represent the right and left hand side of the formula in the lemma. Since $f_*$ commutes with direct sums (for example by the description of the stalks in Lemma 69.4.2), this reduces to the equalities

\[ \mathcal{K}^ n \otimes _\mathcal {B} f_*\mathcal{M}^ m = f_*(f^*\mathcal{K}^ n \otimes _\mathcal {A} \mathcal{M}^ m) \]

which are true by Lemma 69.4.3. $\square$

The Stacks project

Comments (0)

Post a comment