Lemma 59.86.2. Consider a tower of cartesian diagrams of schemes
\[ \xymatrix{ W \ar[d]_ i & Z \ar[l]^ j \ar[d]^ k \\ X \ar[d]_ f & Y \ar[l]^ h \ar[d]^ e \\ S & T \ar[l]_ g } \]
Let $K$ in $D(T_{\acute{e}tale})$. If
\[ f^{-1}Rg_*K \to Rh_*e^{-1}K \quad \text{and}\quad i^{-1}Rh_*e^{-1}K \to Rj_*k^{-1}e^{-1}K \]
are isomorphisms, then $(f \circ i)^{-1}Rg_*K \to Rj_*(e \circ k)^{-1}K$ is an isomorphism. Similarly, if $\mathcal{F}$ is an abelian sheaf on $T_{\acute{e}tale}$ and if
\[ f^{-1}R^ qg_*\mathcal{F} \to R^ qh_*e^{-1}\mathcal{F} \quad \text{and}\quad i^{-1}R^ qh_*e^{-1}\mathcal{F} \to R^ qj_*k^{-1}e^{-1}\mathcal{F} \]
are isomorphisms, then $(f \circ i)^{-1}R^ qg_*\mathcal{F} \to R^ qj_*(e \circ k)^{-1}\mathcal{F}$ is an isomorphism.
Comments (0)