Lemma 20.27.5. Let $f : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. Let $\mathcal{K}^\bullet$ and $\mathcal{M}^\bullet$ be complexes of $\mathcal{O}_ Y$-modules. The diagram

$\xymatrix{ Lf^*(\mathcal{K}^\bullet \otimes _{\mathcal{O}_ Y}^\mathbf {L} \mathcal{M}^\bullet ) \ar[r] \ar[d] & Lf^*\text{Tot}(\mathcal{K}^\bullet \otimes _{\mathcal{O}_ Y} \mathcal{M}^\bullet ) \ar[d] \\ Lf^*\mathcal{K}^\bullet \otimes _{\mathcal{O}_ X}^\mathbf {L} Lf^*\mathcal{M}^\bullet \ar[d] & f^*\text{Tot}(\mathcal{K}^\bullet \otimes _{\mathcal{O}_ Y} \mathcal{M}^\bullet ) \ar[d] \\ f^*\mathcal{K}^\bullet \otimes _{\mathcal{O}_ X}^\mathbf {L} f^*\mathcal{M}^\bullet \ar[r] & \text{Tot}(f^*\mathcal{K}^\bullet \otimes _{\mathcal{O}_ X} f^*\mathcal{M}^\bullet ) }$

commutes.

Proof. We will use the existence of K-flat resolutions as in Lemma 20.26.8. If we choose such resolutions $\mathcal{P}^\bullet \to \mathcal{K}^\bullet$ and $\mathcal{Q}^\bullet \to \mathcal{M}^\bullet$, then we see that

$\xymatrix{ Lf^*\text{Tot}(\mathcal{P}^\bullet \otimes _{\mathcal{O}_ Y} \mathcal{Q}^\bullet ) \ar[r] \ar[d] & Lf^*\text{Tot}(\mathcal{K}^\bullet \otimes _{\mathcal{O}_ Y} \mathcal{M}^\bullet ) \ar[d] \\ f^*\text{Tot}(\mathcal{P}^\bullet \otimes _{\mathcal{O}_ Y} \mathcal{Q}^\bullet ) \ar[d] \ar[r] & f^*\text{Tot}(\mathcal{K}^\bullet \otimes _{\mathcal{O}_ Y} \mathcal{M}^\bullet ) \ar[d] \\ \text{Tot}(f^*\mathcal{P}^\bullet \otimes _{\mathcal{O}_ X} f^*\mathcal{Q}^\bullet ) \ar[r] & \text{Tot}(f^*\mathcal{K}^\bullet \otimes _{\mathcal{O}_ X} f^*\mathcal{M}^\bullet ) }$

commutes. However, now the left hand side of the diagram is the left hand side of the diagram by our choice of $\mathcal{P}^\bullet$ and $\mathcal{Q}^\bullet$ and Lemma 20.26.5. $\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).