Lemma 74.8.1. Let $S$ be a scheme. Let $X \to Y \to Z$ be morphism of algebraic spaces. Let $P$ be one of the following properties of morphisms of algebraic spaces over $S$: flat, locally finite type, locally finite presentation. Assume that $X \to Z$ has $P$ and that $X \to Y$ is a surjection of sheaves on $(\mathit{Sch}/S)_{fppf}$. Then $Y \to Z$ is $P$.
Proof. Choose a scheme $W$ and a surjective étale morphism $W \to Z$. Choose a scheme $V$ and a surjective étale morphism $V \to W \times _ Z Y$. Choose a scheme $U$ and a surjective étale morphism $U \to V \times _ Y X$. By assumption we can find an fppf covering $\{ V_ i \to V\} $ and lifts $V_ i \to X$ of the morphism $V_ i \to Y$. Since $U \to X$ is surjective étale we see that over the members of the fppf covering $\{ V_ i \times _ X U \to V\} $ we have lifts into $U$. Hence $U \to V$ induces a surjection of sheaves on $(\mathit{Sch}/S)_{fppf}$. By our definition of what it means to have property $P$ for a morphism of algebraic spaces (see Morphisms of Spaces, Definition 67.30.1, Definition 67.23.1, and Definition 67.28.1) we see that $U \to W$ has $P$ and we have to show $V \to W$ has $P$. Thus we reduce the question to the case of morphisms of schemes which is treated in Descent, Lemma 35.14.8. $\square$
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)