Lemma 63.8.2. Consider a commutative diagram of schemes

$\xymatrix{ X' \ar[r]_ k \ar[d]_{f'} & X \ar[d]^ f \\ Y' \ar[r]_ l \ar[d]_{g'} & Y \ar[d]^ g \\ Z' \ar[r]^ m & Z }$

with $f$, $f'$, $g$ and $g'$ proper and $k$, $l$, and $m$ separated and locally quasi-finite. Then the isomorphisms of Lemma 63.8.1 for the two squares compose to give the isomorphism for the outer rectangle (see proof for a precise statement).

Proof. The statement means that if we write $R(g \circ f)_* = Rg_* \circ Rf_*$ and $R(g' \circ f')_* = Rg'_* \circ Rf'_*$, then the isomorphism $m_! \circ Rg'_* \circ Rf'_* \to Rg_* \circ Rf_* \circ k_!$ of the outer rectangle is equal to the composition

$m_! \circ Rg'_* \circ Rf'_* \to Rg_* \circ l_! \circ Rf'_* \to Rg_* \circ Rf_* \circ k_!$

of the two maps of the squares in the diagram. To prove this choose a K-injective complex $\mathcal{J}^\bullet$ of $\Lambda$-modules on $X'_{\acute{e}tale}$ and a quasi-isomorphism $k_!\mathcal{J}^\bullet \to \mathcal{I}^\bullet$ to a K-injective complex $\mathcal{I}^\bullet$ of $\Lambda$-modules on $X_{\acute{e}tale}$. The proof of Lemma 63.8.1 shows that the canonical map

$a : l_!f'_*\mathcal{J}^\bullet \to f_*\mathcal{I}^\bullet$

is a quasi-isomorphism and this quasi-isomorphism produces the second arrow on applying $Rg_*$. By Cohomology on Sites, Lemma 21.20.10 the complex $f_*\mathcal{I}^\bullet$, resp. $f'_*\mathcal{J}^\bullet$ is a K-injective complex of $\Lambda$-modules on $Y_{\acute{e}tale}$, resp. $Y'_{\acute{e}tale}$. (Using this is cheating and could be avoided.) In particular, the same reasoning gives that the canonical map

$b : m_!g'_*f'_*\mathcal{J}^\bullet \to g_*f_*\mathcal{I}^\bullet$

is a quasi-isomorphism and this quasi-isomorphism represents the first arrow. Finally, the proof of Lemma 63.8.1 show that $g_*l_!f'_!\mathcal{J}^\bullet$ represents $Rg_*(l_!f'_*\mathcal{J}^\bullet )$ because $f'_*\mathcal{J}^\bullet$ is K-injective. Hence $Rg_*(a) = g_*(a)$ and the composition $g_*(a) \circ b$ is the arrow of Lemma 63.8.1 for the rectangle. $\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).