Remark 21.50.2. The map (21.50.0.1) is compatible with the base change map of Remark 21.19.3 in the following sense. Namely, suppose that
\[ \xymatrix{ (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}'), \mathcal{O}_{\mathcal{C}'}) \ar[r]_{g'} \ar[d]_{f'} & (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C}) \ar[d]^ f \\ (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}'), \mathcal{O}_{\mathcal{D}'}) \ar[r]^ g & (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D}) } \]
is a commutative diagram of ringed topoi. Let $E \in D(\mathcal{O}_\mathcal {C})$ and $K \in D(\mathcal{O}_\mathcal {D})$. Then the diagram
\[ \xymatrix{ Lg^*(Rf_*E \otimes ^\mathbf {L}_{\mathcal{O}_\mathcal {D}} K) \ar[r]_ p \ar[d]_ t & Lg^*Rf_*(E \otimes ^\mathbf {L}_{\mathcal{O}_\mathcal {C}} Lf^*K) \ar[d]_ b \\ Lg^*Rf_*E \otimes ^\mathbf {L}_{\mathcal{O}_{\mathcal{D}'}} Lg^*K \ar[d]_ b & Rf'_*L(g')^*(E \otimes ^\mathbf {L}_{\mathcal{O}_\mathcal {C}} Lf^*K) \ar[d]_ t \\ Rf'_*L(g')^*E \otimes ^\mathbf {L}_{\mathcal{O}_{\mathcal{D}'}} Lg^*K \ar[rd]_ p & Rf'_*(L(g')^*E \otimes ^\mathbf {L}_{\mathcal{O}_{\mathcal{D}'}} L(g')^*Lf^*K) \ar[d]_ c \\ & Rf'_*(L(g')^*E \otimes ^\mathbf {L}_{\mathcal{O}_{\mathcal{D}'}} L(f')^*Lg^*K) } \]
is commutative. Here arrows labeled $t$ are gotten by an application of Lemma 21.18.4, arrows labeled $b$ by an application of Remark 21.19.3, arrows labeled $p$ by an application of (21.50.0.1), and $c$ comes from $L(g')^* \circ Lf^* = L(f')^* \circ Lg^*$. We omit the verification.
Comments (0)