Lemma 71.5.7. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $\mathcal{F}$ be an $\mathcal{O}_ X$-module of finite presentation. Let $X = Z_{-1} \subset Z_0 \subset Z_1 \subset \ldots $ be as in Lemma 71.5.6. Set $X_ r = Z_{r - 1} \setminus Z_ r$. Then $X' = \coprod _{r \geq 0} X_ r$ represents the functor

Moreover, $\mathcal{F}|_{X_ r}$ is locally free of rank $r$ and the morphisms $X_ r \to X$ and $X' \to X$ are of finite presentation.

## Comments (0)