Proposition 77.5.1. 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 $x \in |X|$ with image $y \in |Y|$. Assume that
$f$ is locally of finite presentation,
$\mathcal{F}$ is of finite presentation, and
$\mathcal{F}$ is flat at $x$ over $Y$.
Then there exists a commutative diagram of pointed schemes
\[ \xymatrix{ (X, x) \ar[d] & (X', x') \ar[l]^ g \ar[d] \\ (Y, y) & (Y', y') \ar[l] } \]
whose horizontal arrows are étale such that $X'$, $Y'$ are affine and such that $\Gamma (X', g^*\mathcal{F})$ is a projective $\Gamma (Y', \mathcal{O}_{Y'})$-module.
Comments (0)