Lemma 62.3.17. Let $f : X \to Y$ be a morphism of schemes which is separated and locally quasi-finite. Then

for $\mathcal{F}$ in $\textit{Ab}(X_{\acute{e}tale})$ and a geometric point $\overline{y} : \mathop{\mathrm{Spec}}(k) \to Y$ we have

\[ (f_!\mathcal{F})_{\overline{y}} = \bigoplus \nolimits _{f(\overline{x}) = \overline{y}} \mathcal{F}_{\overline{x}} \]functorially in $\mathcal{F}$, and

the functor $f_!$ is exact.

## Comments (0)