## Tag `035E`

## 28.49. Normalization

Next, we come to the normalization of a scheme $X$. We only define/construct it when $X$ has locally finitely many irreducible components. Let $X$ be a scheme such that every quasi-compact open has finitely many irreducible components. Let $X^{(0)} \subset X$ be the set of generic points of irreducible components of $X$. Let \begin{equation} \tag{28.49.0.1} f : Y = \coprod\nolimits_{\eta \in X^{(0)}} \mathop{\rm Spec}(\kappa(\eta)) \longrightarrow X \end{equation} be the inclusion of the generic points into $X$ using the canonical maps of Schemes, Section 25.13. Note that this morphism is quasi-compact by assumption and quasi-separated as $Y$ is separated (see Schemes, Section 25.21).

Definition 28.49.1. Let $X$ be a scheme such that every quasi-compact open has finitely many irreducible components. We define the

normalizationof $X$ as the morphism $$ \nu : X^\nu \longrightarrow X $$ which is the normalization of $X$ in the morphism $f : Y \to X$ (28.49.0.1) constructed above.Any locally Noetherian scheme has a locally finite set of irreducible components and the definition applies to it. Usually the normalization is defined only for reduced schemes. With the definition above the normalization of $X$ is the same as the normalization of the reduction $X_{red}$ of $X$.

Lemma 28.49.2. Let $X$ be a scheme such that every quasi-compact open has finitely many irreducible components. The normalization morphism $\nu$ factors through the reduction $X_{red}$ and $X^\nu \to X_{red}$ is the normalization of $X_{red}$.

Proof.Let $f : Y \to X$ be the morphism (28.49.0.1). We get a factorization $Y \to X_{red} \to X$ of $f$ from Schemes, Lemma 25.12.6. By Lemma 28.48.4 we obtain a canonical morphism $X^\nu \to X_{red}$ and that $X^\nu$ is the normalization of $X_{red}$ in $Y$. The lemma follows as $Y \to X_{red}$ is identical to the morphism (28.49.0.1) constructed for $X_{red}$. $\square$If $X$ is reduced, then the normalization of $X$ is the same as the relative spectrum of the integral closure of $\mathcal{O}_X$ in the sheaf of meromorphic functions $\mathcal{K}_X$ (see Divisors, Section 30.20). Namely, $\mathcal{K}_X = f_*\mathcal{O}_Y$ in this case, see Divisors, Lemma 30.20.8 and its proof. We describe this here explicitly.

Lemma 28.49.3. Let $X$ be a reduced scheme such that every quasi-compact open has finitely many irreducible components. Let $\mathop{\rm Spec}(A) = U \subset X$ be an affine open. Then

- $A$ has finitely many minimal primes $\mathfrak q_1, \ldots, \mathfrak q_t$,
- the total ring of fractions $Q(A)$ of $A$ is $Q(A/\mathfrak q_1) \times \ldots \times Q(A/\mathfrak q_t)$,
- the integral closure $A'$ of $A$ in $Q(A)$ is the product of the integral closures of the domains $A/\mathfrak q_i$ in the fields $Q(A/\mathfrak q_i)$, and
- $\nu^{-1}(U)$ is identified with the spectrum of $A'$.

Proof.Minimal primes correspond to irreducible components (Algebra, Lemma 10.25.1), hence we have (1) by assumption. Then $(0) = \mathfrak q_1 \cap \ldots \cap \mathfrak q_t$ because $A$ is reduced (Algebra, Lemma 10.16.2). Then we have $Q(A) = \prod A_{\mathfrak q_i} = \prod \kappa(\mathfrak q_i)$ by Algebra, Lemmas 10.24.4 and 10.24.1. This proves (2). Part (3) follows from Algebra, Lemma 10.36.15, or Lemma 28.48.9. Part (4) holds because it is clear that $f^{-1}(U) \to U$ is the morphism $$ \mathop{\rm Spec}\left(\prod \kappa(\mathfrak q_i)\right) \longrightarrow \mathop{\rm Spec}(A) $$ where $f : Y \to X$ is the morphism (28.49.0.1). $\square$Lemma 28.49.4. Let $X$ be a scheme such that every quasi-compact open has finitely many irreducible components.

- The normalization $X^\nu$ is a normal scheme.
- The morphism $\nu : X^\nu \to X$ is integral, surjective, and induces a bijection on irreducible components.
- For any integral, birational
^{1}morphism $X' \to X$ there exists a factorization $X^\nu \to X' \to X$ and $X^\nu \to X'$ is the normalization of $X'$.- For any morphism $Z \to X$ with $Z$ a normal scheme such that each irreducible component of $Z$ dominates an irreducible component of $X$ there exists a unique factorization $Z \to X^\nu \to X$.

Proof.Let $f : Y \to X$ be as in (28.49.0.1). Part (1) follows from Lemma 28.48.12 and the fact that $Y$ is normal. It also follows from the description of the affine opens in Lemma 28.49.3.The morphism $\nu$ is integral by Lemma 28.48.4. By Lemma 28.48.12 the morphism $Y \to X^\nu$ induces a bijection on irreducible components, and by construction of $Y$ this implies that $X^\nu \to X$ induces a bijection on irreducible components. By construction $f : Y \to X$ is dominant, hence also $\nu$ is dominant. Since an integral morphism is closed (Lemma 28.43.7) this implies that $\nu$ is surjective. This proves (2).

Suppose that $\alpha : X' \to X$ is integral and birational. Any quasi-compact open $U'$ of $X'$ maps to a quasi-compact open of $X$, hence we see that $U'$ has only finitely many irreducible components. Let $f' : Y' \to X'$ be the morphism (28.49.0.1) constructed starting with $X'$. As $\alpha$ is birational it is clear that $Y' = Y$ and $f = \alpha \circ f'$. Hence the factorization $X^\nu \to X' \to X$ exists and $X^\nu \to X'$ is the normalization of $X'$ by Lemma 28.48.4. This proves (3).

Let $g : Z \to X$ be a morphism whose domain is a normal scheme and such that every irreducible component dominates an irreducible component of $X$. By Lemma 28.49.2 we have $X^\nu = X_{red}^\nu$ and by Schemes, Lemma 25.12.6 $Z \to X$ factors through $X_{red}$. Hence we may replace $X$ by $X_{red}$ and assume $X$ is reduced. Moreover, as the factorization is unique it suffices to construct it locally on $Z$. Let $W \subset Z$ and $U \subset X$ be affine opens such that $g(W) \subset U$. Write $U = \mathop{\rm Spec}(A)$ and $W = \mathop{\rm Spec}(B)$, with $g|_W$ given by $\varphi : A \to B$. We will use the results of Lemma 28.49.3 freely. Let $\mathfrak p_1, \ldots, \mathfrak p_t$ be the minimal primes of $A$. As $Z$ is normal, we see that $B$ is a normal ring, in particular reduced. Moreover, by assumption any minimal prime $\mathfrak q \subset B$ we have that $\varphi^{-1}(\mathfrak q)$ is a minimal prime of $A$. Hence if $x \in A$ is a nonzerodivisor, i.e., $x \not \in \bigcup \mathfrak p_i$, then $\varphi(x)$ is a nonzerodivisor in $B$. Thus we obtain a canonical ring map $Q(A) \to Q(B)$. As $B$ is normal it is equal to its integral closure in $Q(B)$ (see Algebra, Lemma 10.36.12). Hence we see that the integral closure $A' \subset Q(A)$ of $A$ maps into $B$ via the canonical map $Q(A) \to Q(B)$. Since $\nu^{-1}(U) = \mathop{\rm Spec}(A')$ this gives the canonical factorization $W \to \nu^{-1}(U) \to U$ of $\nu|_W$. We omit the verification that it is unique. $\square$

Lemma 28.49.5. A finite (or even integral) birational morphism $f : X \to Y$ of integral schemes with $Y$ normal is an isomorphism.

Proof.Let $V \subset Y$ be an affine open with inverse image $U \subset X$ which is an affine open too. Since $f$ is a birational morphism of integral schemes, the homomorphism $\mathcal{O}_Y(V) \to \mathcal{O}_X(U)$ is an injective map of domains which induces an isomorphism of fraction fields. As $Y$ is normal, the ring $\mathcal{O}_Y(V)$ is integrally closed in the fraction field. Since $f$ is finite (or integral) every element of $\mathcal{O}_X(U)$ is integral over $\mathcal{O}_Y(V)$. We conclude that $\mathcal{O}_Y(V) = \mathcal{O}_X(U)$. This proves that $f$ is an isomorphism as desired. $\square$Lemma 28.49.6. Let $X$ be an integral, Japanese scheme. The normalization $\nu : X^\nu \to X$ is a finite morphism.

Proof.Follows from the definition (Properties, Definition 27.13.1) and Lemma 28.49.3. Namely, in this case the lemma says that $\nu^{-1}(\mathop{\rm Spec}(A))$ is the spectrum of the integral closure of $A$ in its field of fractions. $\square$Lemma 28.49.7. Let $X$ be a Nagata scheme. The normalization $\nu : X^\nu \to X$ is a finite morphism.

Proof.Note that a Nagata scheme is locally Noetherian, thus Definition 28.49.1 does apply. The lemma is now a special case of Lemma 28.48.13 but we can also prove it directly as follows. Write $X^\nu \to X$ as the composition $X^\nu \to X_{red} \to X$. As $X_{red} \to X$ is a closed immersion it is finite. Hence it suffices to prove the lemma for a reduced Nagata scheme (by Lemma 28.43.5). Let $\mathop{\rm Spec}(A) = U \subset X$ be an affine open. By Lemma 28.49.3 we have $\nu^{-1}(U) = \mathop{\rm Spec}(\prod A_i')$ where $A_i'$ is the integral closure of $A/\mathfrak q_i$ in its fraction field. As $A$ is a Nagata ring (see Properties, Lemma 27.13.6) each of the ring extensions $A/\mathfrak q_i \subset A'_i$ are finite. Hence $A \to \prod A'_i$ is a finite ring map and we win. $\square$

- It suffices if $X'_{red} \to X_{red}$ is birational. ↑

The code snippet corresponding to this tag is a part of the file `morphisms.tex` and is located in lines 11683–11932 (see updates for more information).

```
\section{Normalization}
\label{section-normalization}
\noindent
Next, we come to the normalization of a scheme $X$.
We only define/construct it when $X$ has locally finitely many irreducible
components. Let $X$ be a scheme such that every quasi-compact open has
finitely many irreducible components. Let
$X^{(0)} \subset X$ be the set of generic points of irreducible components
of $X$. Let
\begin{equation}
\label{equation-generic-points}
f :
Y = \coprod\nolimits_{\eta \in X^{(0)}} \Spec(\kappa(\eta))
\longrightarrow
X
\end{equation}
be the inclusion of the generic points into $X$ using the
canonical maps of Schemes, Section \ref{schemes-section-points}.
Note that this morphism is quasi-compact by assumption and
quasi-separated as $Y$ is separated (see
Schemes, Section \ref{schemes-section-separation-axioms}).
\begin{definition}
\label{definition-normalization}
Let $X$ be a scheme such that every quasi-compact open has
finitely many irreducible components. We define the
{\it normalization} of $X$ as the morphism
$$
\nu : X^\nu \longrightarrow X
$$
which is the normalization of $X$ in the morphism $f : Y \to X$
(\ref{equation-generic-points}) constructed above.
\end{definition}
\noindent
Any locally Noetherian scheme has a locally finite set of irreducible
components and the definition applies to it.
Usually the normalization is defined only for reduced schemes.
With the definition above the normalization of $X$ is the same
as the normalization of the reduction $X_{red}$ of $X$.
\begin{lemma}
\label{lemma-normalization-reduced}
Let $X$ be a scheme such that every quasi-compact open has
finitely many irreducible components. The normalization morphism
$\nu$ factors through the reduction $X_{red}$ and $X^\nu \to X_{red}$
is the normalization of $X_{red}$.
\end{lemma}
\begin{proof}
Let $f : Y \to X$ be the morphism (\ref{equation-generic-points}).
We get a factorization $Y \to X_{red} \to X$ of $f$ from
Schemes, Lemma \ref{schemes-lemma-map-into-reduction}.
By Lemma \ref{lemma-characterize-normalization} we obtain a canonical
morphism $X^\nu \to X_{red}$
and that $X^\nu$ is the normalization of $X_{red}$ in $Y$.
The lemma follows as $Y \to X_{red}$ is identical to the morphism
(\ref{equation-generic-points}) constructed for $X_{red}$.
\end{proof}
\noindent
If $X$ is reduced, then the normalization of $X$ is the same
as the relative spectrum of the integral closure of $\mathcal{O}_X$
in the sheaf of meromorphic functions $\mathcal{K}_X$
(see Divisors, Section \ref{divisors-section-meromorphic-functions}).
Namely, $\mathcal{K}_X = f_*\mathcal{O}_Y$ in this case, see
Divisors, Lemma \ref{divisors-lemma-reduced-finite-irreducible}
and its proof. We describe this here explicitly.
\begin{lemma}
\label{lemma-description-normalization}
Let $X$ be a reduced scheme such that every quasi-compact open has
finitely many irreducible components. Let $\Spec(A) = U \subset X$
be an affine open. Then
\begin{enumerate}
\item $A$ has finitely many minimal primes
$\mathfrak q_1, \ldots, \mathfrak q_t$,
\item the total ring of fractions $Q(A)$ of $A$ is
$Q(A/\mathfrak q_1) \times \ldots \times Q(A/\mathfrak q_t)$,
\item the integral closure $A'$ of $A$ in $Q(A)$ is the product of
the integral closures of the domains $A/\mathfrak q_i$
in the fields $Q(A/\mathfrak q_i)$, and
\item $\nu^{-1}(U)$ is identified with the spectrum of $A'$.
\end{enumerate}
\end{lemma}
\begin{proof}
Minimal primes correspond to irreducible components
(Algebra, Lemma \ref{algebra-lemma-irreducible}),
hence we have (1) by assumption. Then
$(0) = \mathfrak q_1 \cap \ldots \cap \mathfrak q_t$ because $A$ is reduced
(Algebra, Lemma \ref{algebra-lemma-Zariski-topology}).
Then we have
$Q(A) = \prod A_{\mathfrak q_i} = \prod \kappa(\mathfrak q_i)$
by Algebra, Lemmas \ref{algebra-lemma-total-ring-fractions-no-embedded-points}
and \ref{algebra-lemma-minimal-prime-reduced-ring}.
This proves (2). Part (3) follows from
Algebra, Lemma \ref{algebra-lemma-characterize-reduced-ring-normal},
or Lemma \ref{lemma-normalization-in-disjoint-union}.
Part (4) holds because it is clear that $f^{-1}(U) \to U$ is the morphism
$$
\Spec\left(\prod \kappa(\mathfrak q_i)\right)
\longrightarrow
\Spec(A)
$$
where $f : Y \to X$ is the morphism (\ref{equation-generic-points}).
\end{proof}
\begin{lemma}
\label{lemma-normalization-normal}
Let $X$ be a scheme such that every quasi-compact open has
finitely many irreducible components.
\begin{enumerate}
\item The normalization $X^\nu$ is a normal scheme.
\item The morphism $\nu : X^\nu \to X$ is integral, surjective, and
induces a bijection on irreducible components.
\item For any integral, birational\footnote{It suffices if
$X'_{red} \to X_{red}$ is birational.} morphism $X' \to X$ there
exists a factorization $X^\nu \to X' \to X$ and $X^\nu \to X'$
is the normalization of $X'$.
\item For any morphism $Z \to X$ with $Z$ a normal scheme
such that each irreducible component of $Z$ dominates an irreducible
component of $X$ there exists a unique factorization $Z \to X^\nu \to X$.
\end{enumerate}
\end{lemma}
\begin{proof}
Let $f : Y \to X$ be as in (\ref{equation-generic-points}).
Part (1) follows from Lemma \ref{lemma-normal-normalization}
and the fact that $Y$ is normal. It also follows from the description
of the affine opens in Lemma \ref{lemma-description-normalization}.
\medskip\noindent
The morphism $\nu$ is integral by Lemma \ref{lemma-characterize-normalization}.
By Lemma \ref{lemma-normal-normalization} the
morphism $Y \to X^\nu$ induces a bijection on irreducible components,
and by construction of $Y$ this implies that $X^\nu \to X$ induces
a bijection on irreducible components. By construction $f : Y \to X$
is dominant, hence also $\nu$ is dominant. Since an integral morphism is
closed (Lemma \ref{lemma-integral-universally-closed}) this implies that
$\nu$ is surjective. This proves (2).
\medskip\noindent
Suppose that $\alpha : X' \to X$ is integral and birational.
Any quasi-compact open $U'$ of $X'$ maps to a quasi-compact open
of $X$, hence we see that $U'$ has only finitely many irreducible
components. Let $f' : Y' \to X'$ be the morphism
(\ref{equation-generic-points}) constructed starting with $X'$.
As $\alpha$ is birational
it is clear that $Y' = Y$ and $f = \alpha \circ f'$. Hence
the factorization $X^\nu \to X' \to X$ exists
and $X^\nu \to X'$ is the normalization of $X'$ by
Lemma \ref{lemma-characterize-normalization}. This proves (3).
\medskip\noindent
Let $g : Z \to X$ be a morphism whose domain is a normal scheme
and such that every irreducible component dominates an irreducible
component of $X$. By Lemma \ref{lemma-normalization-reduced}
we have $X^\nu = X_{red}^\nu$ and by
Schemes, Lemma \ref{schemes-lemma-map-into-reduction}
$Z \to X$ factors through $X_{red}$. Hence we may replace $X$ by
$X_{red}$ and assume $X$ is reduced. Moreover, as the factorization
is unique it suffices to construct it locally on $Z$.
Let $W \subset Z$ and $U \subset X$ be affine opens
such that $g(W) \subset U$. Write $U = \Spec(A)$ and
$W = \Spec(B)$, with $g|_W$ given by $\varphi : A \to B$.
We will use the results of Lemma \ref{lemma-description-normalization} freely.
Let $\mathfrak p_1, \ldots, \mathfrak p_t$ be the minimal primes of $A$.
As $Z$ is normal, we see that $B$ is a normal
ring, in particular reduced. Moreover, by assumption any minimal
prime $\mathfrak q \subset B$ we have that $\varphi^{-1}(\mathfrak q)$
is a minimal prime of $A$. Hence if $x \in A$ is a nonzerodivisor, i.e.,
$x \not \in \bigcup \mathfrak p_i$, then $\varphi(x)$ is a nonzerodivisor
in $B$. Thus we obtain a canonical ring map $Q(A) \to Q(B)$. As $B$ is
normal it is equal to its integral closure in $Q(B)$ (see
Algebra, Lemma \ref{algebra-lemma-normal-ring-integrally-closed}).
Hence we see that the integral closure $A' \subset Q(A)$ of $A$
maps into $B$ via the canonical map $Q(A) \to Q(B)$.
Since $\nu^{-1}(U) = \Spec(A')$ this gives the canonical
factorization $W \to \nu^{-1}(U) \to U$ of $\nu|_W$.
We omit the verification that it is unique.
\end{proof}
\begin{lemma}
\label{lemma-finite-birational-over-normal}
A finite (or even integral) birational morphism $f : X \to Y$
of integral schemes with $Y$ normal is an isomorphism.
\end{lemma}
\begin{proof}
Let $V \subset Y$ be an affine open
with inverse image $U \subset X$ which is an affine open too.
Since $f$ is a birational morphism of integral schemes, the homomorphism
$\mathcal{O}_Y(V) \to \mathcal{O}_X(U)$ is an injective map of domains
which induces an isomorphism of fraction fields. As $Y$ is normal,
the ring $\mathcal{O}_Y(V)$ is integrally closed in the fraction field.
Since $f$ is finite (or integral) every element of $\mathcal{O}_X(U)$
is integral over $\mathcal{O}_Y(V)$. We conclude that
$\mathcal{O}_Y(V) = \mathcal{O}_X(U)$. This proves that $f$ is an
isomorphism as desired.
\end{proof}
\begin{lemma}
\label{lemma-Japanese-normalization}
Let $X$ be an integral, Japanese scheme.
The normalization $\nu : X^\nu \to X$ is a finite morphism.
\end{lemma}
\begin{proof}
Follows from the definition
(Properties, Definition \ref{properties-definition-nagata}) and
Lemma \ref{lemma-description-normalization}. Namely, in this case
the lemma says that $\nu^{-1}(\Spec(A))$ is the spectrum
of the integral closure of $A$ in its field of fractions.
\end{proof}
\begin{lemma}
\label{lemma-nagata-normalization}
Let $X$ be a Nagata scheme.
The normalization $\nu : X^\nu \to X$ is a finite morphism.
\end{lemma}
\begin{proof}
Note that a Nagata scheme is locally Noetherian, thus
Definition \ref{definition-normalization}
does apply. The lemma is now a special case of
Lemma \ref{lemma-nagata-normalization-finite-general}
but we can also prove it directly as follows.
Write $X^\nu \to X$ as the composition
$X^\nu \to X_{red} \to X$. As $X_{red} \to X$ is a closed immersion
it is finite. Hence it suffices to prove the lemma for a reduced
Nagata scheme (by Lemma \ref{lemma-composition-finite}).
Let $\Spec(A) = U \subset X$ be an affine open.
By Lemma \ref{lemma-description-normalization} we have
$\nu^{-1}(U) = \Spec(\prod A_i')$ where $A_i'$ is the integral
closure of $A/\mathfrak q_i$ in its fraction field. As $A$ is a Nagata
ring (see Properties, Lemma \ref{properties-lemma-locally-nagata})
each of the ring extensions
$A/\mathfrak q_i \subset A'_i$ are finite. Hence $A \to \prod A'_i$
is a finite ring map and we win.
\end{proof}
```

## Comments (0)

## Add a comment on tag `035E`

Your email address will not be published. Required fields are marked.

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 lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.