The Stacks project

Proof. Suppose that $\mathcal{F}$ is of finite type. Pick $x \in X$. If $x \not\in Z$, then $i_*\mathcal{F}$ is zero in a neighbourhood of $x$ and hence finitely generated in a neighbourhood of $x$. If $x = i(z)$, then choose an open neighbourhood $z \in V \subset Z$ and sections $s_1, \ldots , s_ n \in \mathcal{F}(V)$ which generate $\mathcal{F}$ over $V$. Write $V = Z \cap U$ for some open $U \subset X$. Note that $U$ is a neighbourhood of $x$. Clearly the sections $s_ i$ give sections $s_ i$ of $i_*\mathcal{F}$ over $U$. The resulting map

is surjective by inspection of what it does on stalks (here we use that $\mathcal{O}_ X \to i_*\mathcal{O}_ Z$ is surjective). Hence $i_*\mathcal{F}$ is of finite type.

Conversely, suppose that $i_*\mathcal{F}$ is of finite type. Choose $z \in Z$. Set $x = i(z)$. By assumption there exists an open neighbourhood $U \subset X$ of $x$, and sections $s_1, \ldots , s_ n \in (i_*\mathcal{F})(U)$ which generate $i_*\mathcal{F}$ over $U$. Set $V = Z \cap U$. By definition of $i_*$ the sections $s_ i$ correspond to sections $s_ i$ of $\mathcal{F}$ over $V$. The resulting map

is surjective by inspection of what it does on stalks. Hence $\mathcal{F}$ is of finite type. $\square$