Lemma 63.8.3. Consider a commutative diagram of schemes
with $f$, $f'$, and $f''$ proper and $g$, $g'$, $h$, and $h'$ 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 $(h \circ h')_! = h_! \circ h'_!$ and $(g \circ g')_! = g_! \circ g'_!$ using the equalities of Lemma 63.3.13, then the isomorphism $h_! \circ h'_! \circ Rf''_* \to Rf_* \circ g_! \circ g'_!$ of the outer rectangle is equal to the composition
of the two maps of the squares in the diagram. To prove this choose a K-injective complex $\mathcal{I}^\bullet $ of $\Lambda $-modules on $X''_{\acute{e}tale}$ and a quasi-isomorphism $g'_!\mathcal{I}^\bullet \to \mathcal{J}^\bullet $ to a K-injective complex $\mathcal{J}^\bullet $ of $\Lambda $-modules on $X'_{\acute{e}tale}$. Next, choose a quasi-isomorphism $g_!\mathcal{J}^\bullet \to \mathcal{K}^\bullet $ to a K-injective complex $\mathcal{K}^\bullet $ of $\Lambda $-modules on $X_{\acute{e}tale}$. The proof of Lemma 63.8.1 shows that the canonical maps
are quasi-isomorphisms and these quasi-isomorphisms define the first and second arrow above. Since $g_!$ is an exact functor (Lemma 63.3.17) we find that $g_!g'_!\mathcal{I}^\bullet \to \mathcal{K}^\bullet $ is a quasi-ismorphism and hence the canonical map
is a quasi-isomorphism and represents the map for the outer rectangle in the derived category. Clearly this map is the composition of the other two and the proof is complete. $\square$
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)