Lemma 76.34.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Assume $f$ is quasi-finite and separated. Let $Y'$ be the normalization of $Y$ in $X$. Picture:

\[ \xymatrix{ X \ar[rd]_ f \ar[rr]_{f'} & & Y' \ar[ld]^\nu \\ & Y & } \]

Then $f'$ is a quasi-compact open immersion and $\nu $ is integral. In particular $f$ is quasi-affine.

**Proof.**
This follows from Lemma 76.34.1. Namely, by that lemma there exists an open subspace $U' \subset Y'$ such that $(f')^{-1}(U') = X$ (!) and $X \to U'$ is an isomorphism! In other words, $f'$ is an open immersion. Note that $f'$ is quasi-compact as $f$ is quasi-compact and $\nu : Y' \to Y$ is separated (Morphisms of Spaces, Lemma 67.8.9). Hence for every affine scheme $Z$ and morphism $Z \to Y$ the fibre product $Z \times _ Y X$ is a quasi-compact open subscheme of the affine scheme $Z \times _ Y Y'$. Hence $f$ is quasi-affine by definition.
$\square$

## Comments (0)