Remark 48.32.8. Let us generalize the covariance of compactly supported cohomology given in Remark 48.32.7 to étale morphisms. Namely, in Situation 48.16.1 suppose given a commutative diagram

of $\textit{FTS}_ S$ with $h$ étale. Then there is a canonical morphism

functorial in $K$ in $D^ b_{\textit{Coh}}(\mathcal{O}_ X)$. We define this transformation using the sequence of maps

functorial in $L$ and $K$. Here we have used Proposition 48.32.2 twice, we have used the equality $h^* = h^!$ of Lemma 48.18.2, and we have used the equality $h^! \circ f^! = g^!$ of Lemma 48.16.3. The functoriality in $L$ shows by Categories, Remark 4.22.7 that we obtain a canonical map $Rg_!(h^*K) \to Rf_!K$ in $\text{Pro-}D^ b_{\textit{Coh}}(\mathcal{O}_ Y)$ which is functorial in $K$ by the functoriality of the arrow above in $K$.

## Comments (0)