Lemma 88.13.8. Let $S$ be a scheme. Let $f : X \to Y$ be a morphisms of locally Noetherian formal algebraic spaces over $S$. If $f$ is representable by algebraic spaces and flat in the sense of Bootstrap, Definition 80.4.1, then $f$ is flat in the sense of Definition 88.13.4.

**Proof.**
This is a sanity check whose proof should be trivial but isn't quite. We urge the reader to skip the proof. Assume $f$ is representable by algebraic spaces and flat in the sense of Bootstrap, Definition 80.4.1. Consider a commutative diagram

with $U$ and $V$ affine formal algebraic spaces, $U \to X$ and $V \to Y$ representable by algebraic spaces and étale. Then the morphism $U \to V$ corresponds to a taut map $B \to A$ of $\textit{WAdm}^{Noeth}$ by Formal Spaces, Lemma 87.22.2. Observe that this means $B \to A$ is adic (Formal Spaces, Lemma 87.23.1) and in particular for any ideal of definition $J \subset B$ the topology on $A$ is the $J$-adic topology and the diagrams

are cartesian.

Let $T \to V$ is a morphism where $T$ is a scheme. Then

The first statement is the assumption on $f$. The first implication because $U \to X$ is étale and hence flat and compositions of flat morphisms of algebraic spaces are flat. The second impliciation because $U \times _ Y T = U \times _ V V \times _ Y T$. The third implication by More on Flatness, Lemma 38.2.3. The fourth implication because we can pullback by the morphism $T \to V \times _ Y T$. We conclude that $U \to V$ is flat in the sense of Bootstrap, Definition 80.4.1. In terms of the continuous ring map $B \to A$ this means the ring maps $B/J^ n \to A/J^ nA$ are flat (see diagram above).

Finally, we can conclude that $B \to A$ is flat for example by More on Algebra, Lemma 15.27.4. $\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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)