Lemma 59.42.4. Let $f : X \to Y$ be a morphism of schemes. Denote $f_{small} : \mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale}) \to \mathop{\mathit{Sh}}\nolimits (Y_{\acute{e}tale})$ the associated morphism of small étale topoi. Assume at least one of the following

$f$ is integral, or

$f$ is separated and locally quasi-finite.

Then the functor $f_{small, *} : \textit{Ab}(X_{\acute{e}tale}) \to \textit{Ab}(Y_{\acute{e}tale})$ has the following properties

the map $f_{small}^{-1}f_{small, *}\mathcal{F} \to \mathcal{F}$ is always surjective,

$f_{small, *}$ is faithful, and

$f_{small, *}$ reflects injections and surjections.

## Comments (0)