## 29.53 Relative normalization

In this section we construct the normalization of one scheme in another.

Lemma 29.53.1. Let $X$ be a scheme. Let $\mathcal{A}$ be a quasi-coherent sheaf of $\mathcal{O}_ X$-algebras. The subsheaf $\mathcal{A}' \subset \mathcal{A}$ defined by the rule

$U \longmapsto \{ f \in \mathcal{A}(U) \mid f_ x \in \mathcal{A}_ x \text{ integral over } \mathcal{O}_{X, x} \text{ for all }x \in U\}$

is a quasi-coherent $\mathcal{O}_ X$-algebra, the stalk $\mathcal{A}'_ x$ is the integral closure of $\mathcal{O}_{X, x}$ in $\mathcal{A}_ x$, and for any affine open $U \subset X$ the ring $\mathcal{A}'(U) \subset \mathcal{A}(U)$ is the integral closure of $\mathcal{O}_ X(U)$ in $\mathcal{A}(U)$.

Proof. This is a subsheaf by the local nature of the conditions. It is an $\mathcal{O}_ X$-algebra by Algebra, Lemma 10.36.7. Let $U \subset X$ be an affine open. Say $U = \mathop{\mathrm{Spec}}(R)$ and say $\mathcal{A}$ is the quasi-coherent sheaf associated to the $R$-algebra $A$. Then according to Algebra, Lemma 10.36.12 the value of $\mathcal{A}'$ over $U$ is given by the integral closure $A'$ of $R$ in $A$. This proves the last assertion of the lemma. To prove that $\mathcal{A}'$ is quasi-coherent, it suffices to show that $\mathcal{A}'(D(f)) = A'_ f$. This follows from the fact that integral closure and localization commute, see Algebra, Lemma 10.36.11. The same fact shows that the stalks are as advertised. $\square$

Definition 29.53.2. Let $X$ be a scheme. Let $\mathcal{A}$ be a quasi-coherent sheaf of $\mathcal{O}_ X$-algebras. The integral closure of $\mathcal{O}_ X$ in $\mathcal{A}$ is the quasi-coherent $\mathcal{O}_ X$-subalgebra $\mathcal{A}' \subset \mathcal{A}$ constructed in Lemma 29.53.1 above.

In the setting of the definition above we can consider the morphism of relative spectra

$\xymatrix{ Y = \underline{\mathop{\mathrm{Spec}}}_ X(\mathcal{A}) \ar[rr] \ar[rd] & & X' = \underline{\mathop{\mathrm{Spec}}}_ X(\mathcal{A}') \ar[ld] \\ & X & }$

see Lemma 29.11.5. The scheme $X' \to X$ will be the normalization of $X$ in the scheme $Y$. Here is a slightly more general setting. Suppose we have a quasi-compact and quasi-separated morphism $f : Y \to X$ of schemes. In this case the sheaf of $\mathcal{O}_ X$-algebras $f_*\mathcal{O}_ Y$ is quasi-coherent, see Schemes, Lemma 26.24.1. Taking the integral closure $\mathcal{O}' \subset f_*\mathcal{O}_ Y$ we obtain a quasi-coherent sheaf of $\mathcal{O}_ X$-algebras whose relative spectrum is the normalization of $X$ in $Y$. Here is the formal definition.

Definition 29.53.3. Let $f : Y \to X$ be a quasi-compact and quasi-separated morphism of schemes. Let $\mathcal{O}'$ be the integral closure of $\mathcal{O}_ X$ in $f_*\mathcal{O}_ Y$. The normalization of $X$ in $Y$ is the scheme1

$\nu : X' = \underline{\mathop{\mathrm{Spec}}}_ X(\mathcal{O}') \to X$

over $X$. It comes equipped with a natural factorization

$Y \xrightarrow {f'} X' \xrightarrow {\nu } X$

of the initial morphism $f$.

The factorization is the composition of the canonical morphism $Y \to \underline{\mathop{\mathrm{Spec}}}(f_*\mathcal{O}_ Y)$ (see Constructions, Lemma 27.4.7) and the morphism of relative spectra coming from the inclusion map $\mathcal{O}' \to f_*\mathcal{O}_ Y$. We can characterize the normalization as follows.

Lemma 29.53.4. Let $f : Y \to X$ be a quasi-compact and quasi-separated morphism of schemes. The factorization $f = \nu \circ f'$, where $\nu : X' \to X$ is the normalization of $X$ in $Y$ is characterized by the following two properties:

1. the morphism $\nu$ is integral, and

2. for any factorization $f = \pi \circ g$, with $\pi : Z \to X$ integral, there exists a commutative diagram

$\xymatrix{ Y \ar[d]_{f'} \ar[r]_ g & Z \ar[d]^\pi \\ X' \ar[ru]^ h \ar[r]^\nu & X }$

for some unique morphism $h : X' \to Z$.

Moreover, the morphism $f' : Y \to X'$ is dominant and in (2) the morphism $h : X' \to Z$ is the normalization of $Z$ in $Y$.

Proof. Let $\mathcal{O}' \subset f_*\mathcal{O}_ Y$ be the integral closure of $\mathcal{O}_ X$ as in Definition 29.53.3. The morphism $\nu$ is integral by construction, which proves (1). Assume given a factorization $f = \pi \circ g$ with $\pi : Z \to X$ integral as in (2). By Definition 29.44.1 $\pi$ is affine, and hence $Z$ is the relative spectrum of a quasi-coherent sheaf of $\mathcal{O}_ X$-algebras $\mathcal{B}$. The morphism $g : Y \to Z$ corresponds to a map of $\mathcal{O}_ X$-algebras $\chi : \mathcal{B} \to f_*\mathcal{O}_ Y$. Since $\mathcal{B}(U)$ is integral over $\mathcal{O}_ X(U)$ for every affine open $U \subset X$ (by Definition 29.44.1) we see from Lemma 29.53.1 that $\chi (\mathcal{B}) \subset \mathcal{O}'$. By the functoriality of the relative spectrum Lemma 29.11.5 this provides us with a unique morphism $h : X' \to Z$. We omit the verification that the diagram commutes.

It is clear that (1) and (2) characterize the factorization $f = \nu \circ f'$ since it characterizes it as an initial object in a category.

From the universal property in (2) we see that $f'$ does not factor through a proper closed subscheme of $X'$. Hence the scheme theoretic image of $f'$ is $X'$. Since $f'$ is quasi-compact (by Schemes, Lemma 26.21.14 and the fact that $\nu$ is separated as an affine morphism) we see that $f'(Y)$ is dense in $X'$. Hence $f'$ is dominant.

The morphism $h$ in (2) is integral by Lemma 29.44.14. Given a factorization $g = \pi ' \circ g'$ with $\pi ' : Z' \to Z$ integral, we get a factorization $f = (\pi \circ \pi ') \circ g'$ and we get a morphism $h' : X' \to Z'$. Uniqueness implies that $\pi ' \circ h' = h$. Hence the characterization (1), (2) applies to the morphism $h : X' \to Z$ which gives the last statement of the lemma. $\square$

$\xymatrix{ Y_2 \ar[d]_{f_2} \ar[r] & Y_1 \ar[d]^{f_1} \\ X_2 \ar[r] & X_1 }$

be a commutative diagram of morphisms of schemes. Assume $f_1$, $f_2$ quasi-compact and quasi-separated. Let $f_ i = \nu _ i \circ f_ i'$, $i = 1, 2$ be the canonical factorizations, where $\nu _ i : X_ i' \to X_ i$ is the normalization of $X_ i$ in $Y_ i$. Then there exists a unique arrow $X'_2 \to X'_1$ fitting into a commutative diagram

$\xymatrix{ Y_2 \ar[d]_{f_2'} \ar[r] & Y_1 \ar[d]^{f_1'} \\ X_2' \ar[d]_{\nu _2} \ar[r] & X_1' \ar[d]^{\nu _1} \\ X_2 \ar[r] & X_1 }$

Proof. By Lemmas 29.53.4 (1) and 29.44.6 the base change $X_2 \times _{X_1} X'_1 \to X_2$ is integral. Note that $f_2$ factors through this morphism. Hence we get a unique morphism $X'_2 \to X_2 \times _{X_1} X'_1$ from Lemma 29.53.4 (2). This gives the arrow $X'_2 \to X'_1$ fitting into the commutative diagram and uniqueness follows as well. $\square$

Lemma 29.53.6. Let $f : Y \to X$ be a quasi-compact and quasi-separated morphism of schemes. Let $U \subset X$ be an open subscheme and set $V = f^{-1}(U)$. Then the normalization of $U$ in $V$ is the inverse image of $U$ in the normalization of $X$ in $Y$.

Proof. Clear from the construction. $\square$

Lemma 29.53.7. Let $f : Y \to X$ be a quasi-compact and quasi-separated morphism of schemes. Let $X'$ be the normalization of $X$ in $Y$. Then the normalization of $X'$ in $Y$ is $X'$.

Proof. If $Y \to X'' \to X'$ is the normalization of $X'$ in $Y$, then we can apply Lemma 29.53.4 to the composition $X'' \to X$ to get a canonical morphism $h : X' \to X''$ over $X$. We omit the verification that the morphisms $h$ and $X'' \to X'$ are mutually inverse (using uniqueness of the factorization in the lemma). $\square$

Lemma 29.53.8. Let $f : Y \to X$ be a quasi-compact and quasi-separated morphism of schemes. Let $X' \to X$ be the normalization of $X$ in $Y$. If $Y$ is reduced, so is $X'$.

Proof. This follows from the fact that a subring of a reduced ring is reduced. Some details omitted. $\square$

Lemma 29.53.9. Let $f : Y \to X$ be a quasi-compact and quasi-separated morphism of schemes. Let $X' \to X$ be the normalization of $X$ in $Y$. Every generic point of an irreducible component of $X'$ is the image of a generic point of an irreducible component of $Y$.

Proof. By Lemma 29.53.6 we may assume $X = \mathop{\mathrm{Spec}}(A)$ is affine. Choose a finite affine open covering $Y = \bigcup \mathop{\mathrm{Spec}}(B_ i)$. Then $X' = \mathop{\mathrm{Spec}}(A')$ and the morphisms $\mathop{\mathrm{Spec}}(B_ i) \to Y \to X'$ jointly define an injective $A$-algebra map $A' \to \prod B_ i$. Thus the lemma follows from Algebra, Lemma 10.30.5. $\square$

Lemma 29.53.10. Let $f : Y \to X$ be a quasi-compact and quasi-separated morphism of schemes. Suppose that $Y = Y_1 \amalg Y_2$ is a disjoint union of two schemes. Write $f_ i = f|_{Y_ i}$. Let $X_ i'$ be the normalization of $X$ in $Y_ i$. Then $X_1' \amalg X_2'$ is the normalization of $X$ in $Y$.

Proof. In terms of integral closures this corresponds to the following fact: Let $A \to B$ be a ring map. Suppose that $B = B_1 \times B_2$. Let $A_ i'$ be the integral closure of $A$ in $B_ i$. Then $A_1' \times A_2'$ is the integral closure of $A$ in $B$. The reason this works is that the elements $(1, 0)$ and $(0, 1)$ of $B$ are idempotents and hence integral over $A$. Thus the integral closure $A'$ of $A$ in $B$ is a product and it is not hard to see that the factors are the integral closures $A'_ i$ as described above (some details omitted). $\square$

Lemma 29.53.11. Let $f : X \to S$ be a quasi-compact, quasi-separated and universally closed morphisms of schemes. Then $f_*\mathcal{O}_ X$ is integral over $\mathcal{O}_ S$. In other words, the normalization of $S$ in $X$ is equal to the factorization

$X \longrightarrow \underline{\mathop{\mathrm{Spec}}}_ S(f_*\mathcal{O}_ X) \longrightarrow S$

of Constructions, Lemma 27.4.7.

Proof. The question is local on $S$, hence we may assume $S = \mathop{\mathrm{Spec}}(R)$ is affine. Let $h \in \Gamma (X, \mathcal{O}_ X)$. We have to show that $h$ satisfies a monic equation over $R$. Think of $h$ as a morphism as in the following commutative diagram

$\xymatrix{ X \ar[rr]_ h \ar[rd]_ f & & \mathbf{A}^1_ S \ar[ld] \\ & S & }$

Let $Z \subset \mathbf{A}^1_ S$ be the scheme theoretic image of $h$, see Definition 29.6.2. The morphism $h$ is quasi-compact as $f$ is quasi-compact and $\mathbf{A}^1_ S \to S$ is separated, see Schemes, Lemma 26.21.14. By Lemma 29.6.3 the morphism $X \to Z$ is dominant. By Lemma 29.41.7 the morphism $X \to Z$ is closed. Hence $h(X) = Z$ (set theoretically). Thus we can use Lemma 29.41.9 to conclude that $Z \to S$ is universally closed (and even proper). Since $Z \subset \mathbf{A}^1_ S$, we see that $Z \to S$ is affine and proper, hence integral by Lemma 29.44.7. Writing $\mathbf{A}^1_ S = \mathop{\mathrm{Spec}}(R[T])$ we conclude that the ideal $I \subset R[T]$ of $Z$ contains a monic polynomial $P(T) \in R[T]$. Hence $P(h) = 0$ and we win. $\square$

Lemma 29.53.12. Let $f : Y \to X$ be an integral morphism. Then the normalization of $X$ in $Y$ is equal to $Y$.

Proof. By Lemma 29.44.7 this is a special case of Lemma 29.53.11. $\square$

Lemma 29.53.13. Let $f : Y \to X$ be a quasi-compact and quasi-separated morphism of schemes. Let $X'$ be the normalization of $X$ in $Y$. Assume

1. $Y$ is a normal scheme,

2. quasi-compact opens of $Y$ have finitely many irreducible components.

Then $X'$ is a disjoint union of integral normal schemes. Moreover, the morphism $Y \to X'$ is dominant and induces a bijection of irreducible components.

Proof. Let $U \subset X$ be an affine open. Consider the inverse image $U'$ of $U$ in $X'$. Set $V = f^{-1}(U)$. By Lemma 29.53.6 we $V \to U' \to U$ is the normalization of $U$ in $V$. Say $U = \mathop{\mathrm{Spec}}(A)$. Then $V$ is quasi-compact, and hence has a finite number of irreducible components by assumption. Hence $V = \coprod _{i = 1, \ldots n} V_ i$ is a finite disjoint union of normal integral schemes by Properties, Lemma 28.7.5. By Lemma 29.53.10 we see that $U' = \coprod _{i = 1, \ldots , n} U_ i'$, where $U'_ i$ is the normalization of $U$ in $V_ i$. By Properties, Lemma 28.7.9 we see that $B_ i = \Gamma (V_ i, \mathcal{O}_{V_ i})$ is a normal domain. Note that $U_ i' = \mathop{\mathrm{Spec}}(A_ i')$, where $A_ i' \subset B_ i$ is the integral closure of $A$ in $B_ i$, see Lemma 29.53.1. By Algebra, Lemma 10.37.2 we see that $A_ i' \subset B_ i$ is a normal domain. Hence $U' = \coprod U_ i'$ is a finite union of normal integral schemes and hence is normal.

As $X'$ has an open covering by the schemes $U'$ we conclude from Properties, Lemma 28.7.2 that $X'$ is normal. On the other hand, each $U'$ is a finite disjoint union of irreducible schemes, hence every quasi-compact open of $X'$ has finitely many irreducible components (by a topological argument which we omit). Thus $X'$ is a disjoint union of normal integral schemes by Properties, Lemma 28.7.5. It is clear from the description of $X'$ above that $Y \to X'$ is dominant and induces a bijection on irreducible components $V \to U'$ for every affine open $U \subset X$. The bijection of irreducible components for the morphism $Y \to X'$ follows from this by a topological argument (omitted). $\square$

Lemma 29.53.14. Let $f : X \to S$ be a morphism. Assume that

1. $S$ is a Nagata scheme,

2. $f$ is quasi-compact and quasi-separated,

3. quasi-compact opens of $X$ have finitely many irreducible components,

4. if $x \in X$ is a generic point of an irreducible component, then the field extension $\kappa (x)/\kappa (f(x))$ is finitely generated, and

5. $X$ is reduced.

Then the normalization $\nu : S' \to S$ of $S$ in $X$ is finite.

Proof. There is an immediate reduction to the case $S = \mathop{\mathrm{Spec}}(R)$ where $R$ is a Nagata ring by assumption (1). We have to show that the integral closure $A$ of $R$ in $\Gamma (X, \mathcal{O}_ X)$ is finite over $R$. Since $f$ is quasi-compact by assumption (2) we can write $X = \bigcup _{i = 1, \ldots , n} U_ i$ with each $U_ i$ affine. Say $U_ i = \mathop{\mathrm{Spec}}(B_ i)$. Each $B_ i$ is reduced by assumption (5) and has finitely many minimal primes $\mathfrak q_{i1}, \ldots , \mathfrak q_{im_ i}$ by assumption (3) and Algebra, Lemma 10.26.1. We have

$\Gamma (X, \mathcal{O}_ X) \subset B_1 \times \ldots \times B_ n \subset \prod \nolimits _{i = 1, \ldots , n} \prod \nolimits _{j = 1, \ldots , m_ i} (B_ i)_{\mathfrak q_{ij}}$

the second inclusion by Algebra, Lemma 10.25.2. We have $\kappa (\mathfrak q_{ij}) = (B_ i)_{\mathfrak q_{ij}}$ by Algebra, Lemma 10.25.1. Hence the integral closure $A$ of $R$ in $\Gamma (X, \mathcal{O}_ X)$ is contained in the product of the integral closures $A_{ij}$ of $R$ in $\kappa (\mathfrak q_{ij})$. Since $R$ is Noetherian it suffices to show that $A_{ij}$ is a finite $R$-module for each $i, j$. Let $\mathfrak p_{ij} \subset R$ be the image of $\mathfrak q_{ij}$. As $\kappa (\mathfrak q_{ij})/\kappa (\mathfrak p_{ij})$ is a finitely generated field extension by assumption (4), we see that $R \to \kappa (\mathfrak q_{ij})$ is essentially of finite type. Thus $R \to A_{ij}$ is finite by Algebra, Lemma 10.162.2. $\square$

Lemma 29.53.15. Let $f : X \to S$ be a morphism. Assume that

1. $S$ is a Nagata scheme,

2. $f$ is of finite type,

3. $X$ is reduced.

Then the normalization $\nu : S' \to S$ of $S$ in $X$ is finite.

Proof. This is a special case of Lemma 29.53.14. Namely, (2) holds as the finite type morphism $f$ is quasi-compact by definition and quasi-separated by Lemma 29.15.7. Condition (3) holds because $X$ is locally Noetherian by Lemma 29.15.6. Finally, condition (4) holds because a finite type morphism induces finitely generated residue field extensions. $\square$

Lemma 29.53.16. Let $f : Y \to X$ be a finite type morphism of schemes with $Y$ reduced and $X$ Nagata. Let $X'$ be the normalization of $X$ in $Y$. Let $x' \in X'$ be a point such that

1. $\dim (\mathcal{O}_{X', x'}) = 1$, and

2. the fibre of $Y \to X'$ over $x'$ is empty.

Then $\mathcal{O}_{X', x'}$ is a discrete valuation ring.

Proof. We can replace $X$ by an affine neighbourhood of the image of $x'$. Hence we may assume $X = \mathop{\mathrm{Spec}}(A)$ with $A$ Nagata. By Lemma 29.53.15 the morphism $X' \to X$ is finite. Hence we can write $X' = \mathop{\mathrm{Spec}}(A')$ for a finite $A$-algebra $A'$. By Lemma 29.53.7 after replacing $X$ by $X'$ we reduce to the case described in the next paragraph.

The case $X = X' = \mathop{\mathrm{Spec}}(A)$ with $A$ Noetherian. Let $\mathfrak p \subset A$ be the prime ideal corresponding to our point $x'$. Choose $g \in \mathfrak p$ not contained in any minimal prime of $A$ (use prime avoidance and the fact that $A$ has finitely many minimal primes, see Algebra, Lemmas 10.15.2 and 10.31.6). Set $Z = f^{-1}V(g) \subset Y$; it is a closed subscheme of $Y$. Then $f(Z)$ does not contain any generic point by choice of $g$ and does not contain $x'$ because $x'$ is not in the image of $f$. The closure of $f(Z)$ is the set of specializations of points of $f(Z)$ by Lemma 29.6.5. Thus the closure of $f(Z)$ does not contain $x'$ because the condition $\dim (\mathcal{O}_{X', x'}) = 1$ implies only the generic points of $X = X'$ specialize to $x'$. In other words, after replacing $X$ by an affine open neighbourhood of $x'$ we may assume that $f^{-1}V(g) = \emptyset$. Thus $g$ maps to an invertible global function on $Y$ and we obtain a factorization

$A \to A_ g \to \Gamma (Y, \mathcal{O}_ Y)$

Since $X = X'$ this implies that $A$ is equal to the integral closure of $A$ in $A_ g$. By Algebra, Lemma 10.36.11 we conclude that $A_\mathfrak p$ is the integral closure of $A_\mathfrak p$ in $A_\mathfrak p[1/g]$. By our choice of $g$, since $\dim (A_\mathfrak p) = 1$ and since $A$ is reduced we see that $A_\mathfrak p[1/g]$ is a finite product of fields (the product of the residue fields of the minimal primes contained in $\mathfrak p$). Hence $A_\mathfrak p$ is normal (Algebra, Lemma 10.37.16) and the proof is complete. Some details omitted. $\square$

 The scheme $X'$ need not be normal, for example if $Y = X$ and $f = \text{id}_ X$, then $X' = X$.

Comment #7776 by Mingchen on

I think we can also include a lemma about the behavior of the relative normalization under the composition of quasi-compact quasi-separated morphisms.

Comment #8635 by on

Just to mention it (it took me some time to find it): normalization and relative normalization are treated in EGA II, §6.3.

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).