Processing math: 100%

The Stacks project

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


Comments (0)


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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.