The Stacks project

Proof. Let $V$ be a scheme and let $V \to Y$ be a surjective étale morphism. Let $X_ V = V \times _ Y X$ and let $\mathcal{F}_ V$ be the restriction of $\mathcal{F}$ to $X_ V$. Suppose that the result holds for the morphism $X_ V \to V$ and the sheaf $\mathcal{F}_ V$. Then there exists an open subscheme $V' \subset V$ such that $X_{V'} \to V'$ is flat and of finite presentation and $\mathcal{F}_{V'}$ is an $\mathcal{O}_{X_{V'}}$-module of finite presentation flat over $V'$. Let $W \subset Y$ be the image of the étale morphism $V' \to Y$, see Properties of Spaces, Lemma 66.4.10. Then $V' \to W$ is a surjective étale morphism, hence we see that $X_ W \to W$ is flat, locally of finite presentation, and quasi-compact by Lemmas 67.28.4, 67.30.5, and 67.8.8. By the discussion in Properties of Spaces, Section 66.30 we see that $\mathcal{F}_ W$ is of finite presentation as a $\mathcal{O}_{X_ W}$-module and by Lemma 67.31.3 we see that $\mathcal{F}_ W$ is flat over $W$. This argument reduces the proposition to the case where $Y$ is a scheme.

Suppose we can prove the proposition when $Y$ is an affine scheme. Let $f : X \to Y$ be a finite type morphism of algebraic spaces over $S$ with $Y$ a scheme, and let $\mathcal{F}$ be a finite type, quasi-coherent $\mathcal{O}_ X$-module. Choose an affine open covering $Y = \bigcup V_ j$. By assumption we can find dense open $W_ j \subset V_ j$ such that $X_{W_ j} \to W_ j$ is flat, locally of finite presentation, and quasi-compact and such that $\mathcal{F}|_{X_{W_ j}}$ is flat over $W_ j$ and of finite presentation as an $\mathcal{O}_{X_{W_ j}}$-module. In this situation we simply take $W = \bigcup W_ j$ and we win. Hence we reduce the proposition to the case where $Y$ is an affine scheme.

Let $Y$ be an affine scheme over $S$, let $f : X \to Y$ be a finite type morphism of algebraic spaces over $S$, and let $\mathcal{F}$ be a finite type, quasi-coherent $\mathcal{O}_ X$-module. Since $f$ is of finite type it is quasi-compact, hence $X$ is quasi-compact. Thus we can find an affine scheme $U$ and a surjective étale morphism $U \to X$, see Properties of Spaces, Lemma 66.6.3. Note that $U \to Y$ is of finite type (this is what it means for $f$ to be of finite type in this case). Hence we can apply Morphisms, Proposition 29.27.2 to see that there exists a dense open $W \subset Y$ such that $U_ W \to W$ is flat and of finite presentation and such that $\mathcal{F}|_{U_ W}$ is flat over $W$ and of finite presentation as an $\mathcal{O}_{U_ W}$-module. According to our definitions this means that the base change $X_ W \to W$ of $f$ is flat, locally of finite presentation, and quasi-compact and $\mathcal{F}|_{X_ W}$ is flat over $W$ and of finite presentation over $\mathcal{O}_{X_ W}$. $\square$

Proof. This follows immediately from Proposition 67.32.1 and the fact that “of finite presentation” $=$ “locally of finite presentation” $+$ “quasi-compact” $+$ “quasi-separated”. $\square$