Lemma 62.12.2. Let $f : X \to Y$ be a finite type separated morphism of schemes with $Y$ quasi-compact and quasi-separated. Let $K$ be an object of $D^+_{tors}(X_{\acute{e}tale}, \Lambda )$ or of $D(X_{\acute{e}tale}, \Lambda )$ in case $\Lambda $ is torsion. Then there is a canonical isomorphism

in $D(\Lambda )$ for any geometric point $\overline{y} : \mathop{\mathrm{Spec}}(k) \to Y$.

## Comments (0)