Proposition 67.32.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Let $\mathcal{F}$ be a quasi-coherent sheaf of $\mathcal{O}_ X$-modules. Assume
$Y$ is reduced,
$f$ is quasi-separated,
$f$ is of finite type, and
$\mathcal{F}$ is a finite type $\mathcal{O}_ X$-module.
Then there exists an open dense subspace $W \subset Y$ such that the base change $X_ W \to W$ of $f$ is flat and of finite presentation and such that $\mathcal{F}|_{X_ W}$ is flat over $W$ and of finite presentation over $\mathcal{O}_{X_ W}$.
Comments (0)