Lemma 66.34.8. Let $S$ be a scheme. Consider a cartesian diagram

$\xymatrix{ X \ar[d] & F \ar[l]^ p \ar[d] \\ Y & \mathop{\mathrm{Spec}}(k) \ar[l] }$

where $X \to Y$ is a morphism of algebraic spaces over $S$ which is locally of finite type and where $k$ is a field over $S$. Let $z \in |F|$ be such that $\dim _ z(F) = 0$. Then, after replacing $X$ by an open subspace containing $p(z)$, the morphism

$X \longrightarrow Y$

is locally quasi-finite.

Proof. Let $X' \subset X$ be the open subspace over which $f$ is locally quasi-finite found in Lemma 66.34.7. Since the formation of $X'$ commutes with arbitrary base change we see that $z \in X' \times _ Y \mathop{\mathrm{Spec}}(k)$. Hence the lemma is clear. $\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).