Lemma 67.21.1. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Assume that $f$ is quasi-separated of finite type. Let $y \in |Y|$ be a point of codimension $0$ on $Y$. The following are equivalent:

the space $|X_ k|$ is finite where $\mathop{\mathrm{Spec}}(k) \to Y$ represents $y$,

$X \to Y$ is quasi-finite at all points of $|X|$ over $y$,

there exists an open subspace $Y' \subset Y$ with $y \in |Y'|$ such that $Y' \times _ Y X \to Y'$ is finite.

If $Y$ is decent these are also equivalent to

the set $f^{-1}(\{ y\} )$ is finite.

**Proof.**
The equivalence of (1) and (2) follows from Lemma 67.18.10 (and the fact that a quasi-separated morphism is decent by Lemma 67.17.2).

Assume the equivalent conditions of (1) and (2). Choose an affine scheme $V$ and an étale morphism $V \to Y$ mapping a point $v \in V$ to $y$. Then $v$ is a generic point of an irreducible component of $V$ by Properties of Spaces, Lemma 65.11.1. Choose an affine scheme $U$ and a surjective étale morphism $U \to V \times _ Y X$. Then $U \to V$ is of finite type. The morphism $U \to V$ is quasi-finite at every point lying over $v$ by (2). It follows that the fibre of $U \to V$ over $v$ is finite (Morphisms, Lemma 29.20.14). By Morphisms, Lemma 29.51.1 after shrinking $V$ we may assume that $U \to V$ is finite. Let

\[ R = U \times _{V \times _ Y X} U \]

Since $f$ is quasi-separated, we see that $V \times _ Y X$ is quasi-separated and hence $R$ is a quasi-compact scheme. Moreover the morphisms $R \to V$ is quasi-finite as the composition of an étale morphism $R \to U$ and a finite morphism $U \to V$. Hence we may apply Morphisms, Lemma 29.51.1 once more and after shrinking $V$ we may assume that $R \to V$ is finite as well. This of course implies that the two projections $R \to V$ are finite étale. It follows that $V/R = V \times _ Y X$ is an affine scheme, see Groupoids, Proposition 39.23.9. By Morphisms, Lemma 29.41.9 we conclude that $V \times _ Y X \to V$ is proper and by Morphisms, Lemma 29.44.11 we conclude that $V \times _ Y X \to V$ is finite. Finally, we let $Y' \subset Y$ be the open subspace of $Y$ corresponding to the image of $|V| \to |Y|$. By Morphisms of Spaces, Lemma 66.45.3 we conclude that $Y' \times _ Y X \to Y'$ is finite as the base change to $V$ is finite and as $V \to Y'$ is a surjective étale morphism.

If $Y$ is decent and $f$ is quasi-separated, then we see that $X$ is decent too; use Lemmas 67.17.2 and 67.17.5. Hence Lemma 67.18.10 applies to show that (4) implies (1) and (2). On the other hand, we see that (2) implies (4) by Morphisms of Spaces, Lemma 66.27.9.
$\square$

## Comments (0)