Lemma 75.49.4. Consider a commutative diagram

\[ \xymatrix{ X \ar[rr]_ f \ar[rd]_ p & & Y \ar[ld]^ q \\ & Z } \]

of algebraic spaces. Assume that

$p$ is locally of finite presentation,

$p$ is flat,

$p$ is closed, and

$q$ is locally of finite type.

Then there exists an open subspace $W \subset Z$ such that a morphism $Z' \to Z$ factors through $W$ if and only if the base change $f_{Z'} : X_{Z'} \to Y_{Z'}$ is flat.

**Proof.**
By Lemma 75.23.6 the set

\[ A = \{ x \in |X| : X\text{ flat at }x \text{ over }Y\} . \]

is open in $|X|$ and its formation commutes with arbitrary base change. Let $W \subset Z$ be the open subspace (see Properties of Spaces, Lemma 65.4.8) with underlying set of points

\[ |W| = |Z| \setminus |p|\left(|X| \setminus A\right) \]

i.e., $z \in |Z|$ is a point of $W$ if and only if the whole fibre of $|X| \to |Z|$ over $z$ is contained in $A$. This is open because $p$ is closed. Since the formation of $A$ commutes with arbitrary base change it follows that $W$ works.
$\square$

## Comments (0)