Lemma 66.30.9. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Then $f$ is flat if and only if the morphism of sites $(f_{small}, f^\sharp ) : (X_{\acute{e}tale}, \mathcal{O}_ X) \to (Y_{\acute{e}tale}, \mathcal{O}_ Y)$ associated to $f$ is flat.

Proof. Flatness of $(f_{small}, f^\sharp )$ is defined in terms of flatness of $\mathcal{O}_ X$ as a $f_{small}^{-1}\mathcal{O}_ Y$-module. This can be checked at stalks, see Modules on Sites, Lemma 18.39.3 and Properties of Spaces, Theorem 65.19.12. But we've already seen that flatness of $f$ can be checked on stalks, see Lemma 66.30.8. $\square$

There are also:

• 2 comment(s) on Section 66.30: Flat morphisms

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