Lemma 77.5.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 on $X$. Let $y \in |Y|$. Set $F = f^{-1}(\{ y\} ) \subset |X|$. Assume that
$f$ is of finite presentation,
$\mathcal{F}$ is of finite presentation, and
$\mathcal{F}$ is flat over $Y$ at all $x \in F$.
Then there exists a commutative diagram of algebraic spaces
such that $h$ and $g$ are étale, there is a point $y' \in |Y'|$ mapping to $y$, we have $F \subset g(|X'|)$, the algebraic spaces $X'$, $Y'$ are affine, and $\Gamma (X', g^*\mathcal{F})$ is a projective $\Gamma (Y', \mathcal{O}_{Y'})$-module.
Comments (0)