The Stacks project

99.25 Flat morphisms

The property “being flat” of morphisms of algebraic spaces is smooth local on the source-and-target, see Descent on Spaces, Remark 72.19.5. It is also stable under base change and fpqc local on the target, see Morphisms of Spaces, Lemma 65.30.4 and Descent on Spaces, Lemma 72.10.13. Hence, by Lemma 99.16.1 above, we may define what it means for a morphism of algebraic spaces to be flat as follows and it agrees with the already existing notion defined in Properties of Stacks, Section 98.3 when the morphism is representable by algebraic spaces.

Definition 99.25.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. We say $f$ is flat if the equivalent conditions of Lemma 99.16.1 hold with $\mathcal{P} = \text{flat}$.

Proof. Combine Remark 99.16.3 with Morphisms of Spaces, Lemma 65.30.3. $\square$

Proof. Combine Remark 99.16.4 with Morphisms of Spaces, Lemma 65.30.4. $\square$

Lemma 99.25.4. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Let $\mathcal{Z} \to \mathcal{Y}$ be a surjective flat morphism of algebraic stacks. If the base change $\mathcal{Z} \times _\mathcal {Y} \mathcal{X} \to \mathcal{Z}$ is flat, then $f$ is flat.

Proof. Choose an algebraic space $W$ and a surjective smooth morphism $W \to \mathcal{Z}$. Then $W \to \mathcal{Z}$ is surjective and flat (Morphisms of Spaces, Lemma 65.37.7) hence $W \to \mathcal{Y}$ is surjective and flat (by Properties of Stacks, Lemma 98.5.2 and Lemma 99.25.2). Since the base change of $\mathcal{Z} \times _\mathcal {Y} \mathcal{X} \to \mathcal{Z}$ by $W \to \mathcal{Z}$ is a flat morphism (Lemma 99.25.3) we may replace $\mathcal{Z}$ by $W$.

Choose an algebraic space $V$ and a surjective smooth morphism $V \to \mathcal{Y}$. Choose an algebraic space $U$ and a surjective smooth morphism $U \to V \times _\mathcal {Y} \mathcal{X}$. We have to show that $U \to V$ is flat. Now we base change everything by $W \to \mathcal{Y}$: Set $U' = W \times _\mathcal {Y} U$, $V' = W \times _\mathcal {Y} V$, $\mathcal{X}' = W \times _\mathcal {Y} \mathcal{X}$, and $\mathcal{Y}' = W \times _\mathcal {Y} \mathcal{Y} = W$. Then it is still true that $U' \to V' \times _{\mathcal{Y}'} \mathcal{X}'$ is smooth by base change. Hence by our definition of flat morphisms of algebraic stacks and the assumption that $\mathcal{X}' \to \mathcal{Y}'$ is flat, we see that $U' \to V'$ is flat. Then, since $V' \to V$ is surjective as a base change of $W \to \mathcal{Y}$ we see that $U \to V$ is flat by Morphisms of Spaces, Lemma 65.31.3 (2) and we win. $\square$

Lemma 99.25.5. Let $\mathcal{X} \to \mathcal{Y} \to \mathcal{Z}$ be morphisms of algebraic stacks. If $\mathcal{X} \to \mathcal{Z}$ is flat and $\mathcal{X} \to \mathcal{Y}$ is surjective and flat, then $\mathcal{Y} \to \mathcal{Z}$ is flat.

Proof. Choose an algebraic space $W$ and a surjective smooth morphism $W \to \mathcal{Z}$. Choose an algebraic space $V$ and a surjective smooth morphism $V \to W \times _\mathcal {Z} \mathcal{Y}$. Choose an algebraic space $U$ and a surjective smooth morphism $U \to V \times _\mathcal {Y} \mathcal{X}$. We know that $U \to V$ is flat and that $U \to W$ is flat. Also, as $\mathcal{X} \to \mathcal{Y}$ is surjective we see that $U \to V$ is surjective (as a composition of surjective morphisms). Hence the lemma reduces to the case of morphisms of algebraic spaces. The case of morphisms of algebraic spaces is Morphisms of Spaces, Lemma 65.31.5. $\square$

Lemma 99.25.6. Let $f : \mathcal{X} \to \mathcal{Y}$ be a flat morphism of algebraic stacks. Let $\mathop{\mathrm{Spec}}(A) \to \mathcal{Y}$ be a morphism where $A$ is a valuation ring. If the closed point of $\mathop{\mathrm{Spec}}(A)$ maps to a point of $|\mathcal{Y}|$ in the image of $|\mathcal{X|} \to |\mathcal{Y}|$, then there exists a commutative diagram

\[ \xymatrix{ \mathop{\mathrm{Spec}}(A') \ar[r] \ar[d] & \mathcal{X} \ar[d] \\ \mathop{\mathrm{Spec}}(A) \ar[r] & \mathcal{Y} } \]

where $A \to A'$ is an extension of valuation rings (More on Algebra, Definition 15.120.1).

Proof. The base change $\mathcal{X}_ A \to \mathop{\mathrm{Spec}}(A)$ is flat (Lemma 99.25.3) and the closed point of $\mathop{\mathrm{Spec}}(A)$ is in the image of $|\mathcal{X}_ A| \to |\mathop{\mathrm{Spec}}(A)|$ (Properties of Stacks, Lemma 98.4.3). Thus we may assume $\mathcal{Y} = \mathop{\mathrm{Spec}}(A)$. Let $U \to \mathcal{X}$ be a surjective smooth morphism where $U$ is a scheme. Then we can apply Morphisms of Spaces, Lemma 65.42.4 to the morphism $U \to \mathop{\mathrm{Spec}}(A)$ to conclude. $\square$


Comments (0)


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.




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 06PV. Beware of the difference between the letter 'O' and the digit '0'.