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

$\xymatrix{ U \ar[d] \ar[r] & V \ar[d] \\ X \ar[r] & Y }$

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

$\xymatrix{ \mathop{\mathrm{Spec}}(A/J^ nA) \ar[r] \ar[d] & \mathop{\mathrm{Spec}}(B/J^ n) \ar[d] \\ U \ar[r] & V }$

are cartesian.

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

\begin{align*} X \times _ Y T \to T\text{ is flat} & \Rightarrow U \times _ Y T \to T\text{ is flat} \\ & \Rightarrow U \times _ V V \times _ Y T \to T\text{ is flat} \\ & \Rightarrow U \times _ V V \times _ Y T \to V \times _ Y T\text{ is flat} \\ & \Rightarrow U \times _ V T \to T\text{ is flat} \end{align*}

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$

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0GCG. Beware of the difference between the letter 'O' and the digit '0'.