Lemma 67.48.11. Let S be a scheme. Let f : X \to Y be a morphism of algebraic spaces over S. Assume that
Y is Nagata,
f is quasi-separated of finite type,
X is reduced.
Then the normalization \nu : Y' \to Y of Y in X is finite.
Lemma 67.48.11. Let S be a scheme. Let f : X \to Y be a morphism of algebraic spaces over S. Assume that
Y is Nagata,
f is quasi-separated of finite type,
X is reduced.
Then the normalization \nu : Y' \to Y of Y in X is finite.
Proof. The question is étale local on Y, see Lemma 67.48.4. Thus we may assume Y = \mathop{\mathrm{Spec}}(R) is affine. Then R is a Noetherian Nagata ring and we have to show that the integral closure of R in \Gamma (X, \mathcal{O}_ X) is finite over R. Since f is quasi-compact we see that X is quasi-compact. Choose an affine scheme U and a surjective étale morphism U \to X (Properties of Spaces, Lemma 66.6.3). Then \Gamma (X, \mathcal{O}_ X) \subset \Gamma (U, \mathcal{O}_ X). Since R is Noetherian it suffices to show that the integral closure of R in \Gamma (U, \mathcal{O}_ U) is finite over R. As U \to Y is of finite type this follows from Morphisms, Lemma 29.53.15. \square
Comments (2)
Comment #5093 by Tongmu He on
Comment #5302 by Johan on
There are also: