Lemma 59.97.8. Let $K$ be a field. Let $n \geq 1$ be invertible in $K$. Consider a commutative diagram

$\xymatrix{ X \ar[d] & X' \ar[l]^ p \ar[d]_{f'} & Y \ar[l]^ h \ar[d]^ e \\ \mathop{\mathrm{Spec}}(K) & S' \ar[l] & T \ar[l]_ g }$

of schemes of finite type over $K$ with $X' = X \times _{\mathop{\mathrm{Spec}}(K)} S'$ and $Y = X' \times _{S'} T$. The canonical map

$p^{-1}E \otimes _{\mathbf{Z}/n\mathbf{Z}}^\mathbf {L} (f')^{-1}Rg_*F \longrightarrow Rh_*(h^{-1}p^{-1}E \otimes _{\mathbf{Z}/n\mathbf{Z}}^\mathbf {L} e^{-1}F)$

is an isomorphism for $E$ in $D(X_{\acute{e}tale}, \mathbf{Z}/n\mathbf{Z})$ and $F$ in $D(T_{\acute{e}tale}, \mathbf{Z}/n\mathbf{Z})$.

Proof. We will reduce this to Lemma 59.97.7 using that our functors commute with direct sums. We suggest the reader skip the proof. Recall that derived tensor product commutes with direct sums. Recall that (derived) pullback commutes with direct sums. Recall that $Rh_*$ and $Rg_*$ commute with direct sums, see Lemmas 59.96.2 and 59.96.3 (this is where we use our schemes are of finite type over $K$).

To finish the proof we can argue as follows. First we write $E = \text{hocolim} \tau _{\leq N} E$. Since our functors commute with direct sums, they commute with homotopy colimits. Hence it suffices to prove the lemma for $E$ bounded above. Similarly for $F$ we may assume $F$ is bounded above. Then we can represent $E$ by a bounded above complex $\mathcal{E}^\bullet$ of sheaves of $\mathbf{Z}/n\mathbf{Z}$-modules. Then

$\mathcal{E}^\bullet = \mathop{\mathrm{colim}}\nolimits \sigma _{\geq -N}\mathcal{E}^\bullet$

(stupid truncations). Thus we may assume $\mathcal{E}^\bullet$ is a bounded complex of sheaves of $\mathbf{Z}/n\mathbf{Z}$-modules. For $F$ we choose a bounded above complex of flat(!) sheaves of $\mathbf{Z}/n\mathbf{Z}$-modules. Then we reduce to the case where $F$ is represented by a bounded complex of flat sheaves of $\mathbf{Z}/n\mathbf{Z}$-modules. At this point Lemma 59.97.7 kicks in and we conclude. $\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).