Lemma 32.4.17. Let $S$ be a scheme. Let $X = \mathop{\mathrm{lim}}\nolimits X_ i$ be a directed limit of schemes over $S$ with affine transition morphisms. Assume

$S$ quasi-separated,

$X_ i$ quasi-compact and quasi-separated,

$X \to S$ separated.

Then $X_ i \to S$ is separated for all $i$ large enough.

**Proof.**
Let $0 \in I$. Note that $I$ is nonempty as the limit is directed. As $X_0$ is quasi-compact we can find finitely many affine opens $U_1, \ldots , U_ n \subset S$ such that $X_0 \to S$ maps into $U_1 \cup \ldots \cup U_ n$. Denote $h_ i : X_ i \to S$ the structure morphism. It suffices to check that for some $i \geq 0$ the morphisms $h_ i^{-1}(U_ j) \to U_ j$ are separated for $j = 1, \ldots , n$. Since $S$ is quasi-separated the morphisms $U_ j \to S$ are quasi-compact. Hence $h_ i^{-1}(U_ j)$ is quasi-compact and quasi-separated. In this way we reduce to the case $S$ affine. In this case we have to show that $X_ i$ is separated and we know that $X$ is separated. Thus the lemma follows from Lemma 32.4.14.
$\square$

## Comments (0)