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