Proposition 66.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)