Lemma 29.54.5 (035Q)—The Stacks project

Lemma 29.54.5. Let $X$ be a scheme such that every quasi-compact open has finitely many irreducible components.

The normalization $X^\nu$ is a disjoint union of integral normal schemes.
The morphism $\nu : X^\nu \to X$ is integral, surjective, and induces a bijection on irreducible components.
For any integral morphism $\alpha : X' \to X$ such that for $U \subset X$ quasi-compact open the inverse image $\alpha ^{-1}(U)$ has finitely many irreducible components and $\alpha |_{\alpha ^{-1}(U)} : \alpha ^{-1}(U) \to U$ is birational ¹ 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 (29.54.0.1). The scheme $X^\nu$ is a disjoint union of normal integral schemes because $Y$ is normal and every affine open of $Y$ has finitely many irreducible components, see Lemma 29.53.13. This proves (1). Alternatively one can deduce (1) from Lemmas 29.54.2 and 29.54.3.

The morphism $\nu$ is integral by Lemma 29.53.4. By Lemma 29.53.13 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 29.44.7) this implies that $\nu$ is surjective. This proves (2).

Suppose that $\alpha : X' \to X$ is as in (3). It is clear that $X'$ satisfies the assumptions under which the normalization is defined. Let $f' : Y' \to X'$ be the morphism (29.54.0.1) constructed starting with $X'$ . As $\alpha$ is locally 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 29.53.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 29.54.2 we have $X^\nu = X_{red}^\nu$ and by Schemes, Lemma 26.12.7 $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{\mathrm{Spec}}(A)$ and $W = \mathop{\mathrm{Spec}}(B)$ , with $g|_ W$ given by $\varphi : A \to B$ . We will use the results of Lemma 29.54.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.37.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{\mathrm{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$

[1] This awkward formulation is necessary as we've only defined what it means for a morphism to be birational if the source and target have finitely many irreducible components. It suffices if

$X'_{red} \to X_{red}$ satisfies the condition.

Comments (4)

Comment #8524 by Elías Guisado on June 26, 2023 at 09:35

The statement of (3) can be written in a slightly more general way without changing the proof: restate "(3) For any birational integral morphism $\alpha : X' \to X$ such that $X'$ has locally finitely many irreducible components [i.e., every quasi-compact open of $X'$ has finitely many irreducible components] there exists a factorization $X^\nu \to X' \to X$ and $X^\nu \to X'$ is the normalization of $X'$ ."

Regarding the proof of (4): I don't understand the sentence "as the factorization is unique it suffices to construct it locally on $Z$ ." When we construct the morphism $W\to \nu^{-1}(U)$ , shouldn't we say something about the compatibility of these morphisms? (So they can be glued to give rise to a morphism $Z\to X^\nu$ .) The following is the argument I devised: For $i=1,2$ , let $\operatorname{Spec} A_i=U_i\subset X$ be open affine, and let $\operatorname{Spec} B_i=W_i\subset g^{-1}(U_i)$ be open affine. We want to see that the morphisms $W_i\to\nu^{-1}(U_i)\hookrightarrow X^\nu$ agree on $W_1\cap W_2$ . Pick an open affine $\operatorname{Spec} A=U\subset U_1\cap U_2$ and an open affine $\operatorname{Spec} B=W\subset g^{-1}(U)\cap W_1\cap W_2$ . We have canonically defined ring morphisms $A_i'\to B_i$ and $A'\to B$ , where $A_i'$ , $A'$ are, respectively, the integral closures of $A_i$ , $A$ in $Q(A_i)$ , $Q(A)$ . We want to see that the diagram $\require{AMScd} \begin{CD} A_i'@>>> B_1\\ @VVV@VVV\\ A'@>>> B\\ @AAA@AAA\\ A_2'@>>> B_2 \end{CD}$ commutes. This can be done by studying this bigger diagram. In this latter diagram:

The horizontal squares commute by construction.

The back squares commute by functoriality of the total ring of fractions (with respect to ring morphisms which preserve nonzerodivisors). In particular, the open immersions $U\to U_i$ , $W\to W_i$ preserve generic points of irreducible components, so the maps on global sections—which are morphisms of reduced rings—preserve nonzerodivisors.

The side squares commute because the map $Q(A_i)\to Q(A)$ (resp., the map $Q(B_i)\to B$ ) sends an integral dependence equation with coefficients in $A_i$ (resp., with coefficients in $B_i$ ) to an integral dependence equation with coefficients in $A$ (resp., in $B$ ).

The front squares commute because the rest of the diagram commutes and using that $B\to Q(B)$ is monic.

Comment #8530 by Johan on June 26, 2023 at 14:02

Did you read the footnote? It explains why the formulation in (3) is as given; your alternative formulation, although OK in spirit, does not work with the current definition of birational.

Uniqueness in (4) guarantees that the morphisms constructed will glue. Namely, if $f: W \to X^\nu$ and $f' : W' \to X^\nu$ are the morphisms constructed for $W, W' \subset Z$ open, then by uniqueness $f|_{W \cap W'} = f'|_{W \cap W'}$ . This type of argument is used in a number of places in the Stacks project without further explanation.

Comment #8535 by Elías Guisado on June 27, 2023 at 06:52

@#8530 Thank you for the explanation. What got me confused with respect to the birationality issue is that in the proof, third paragraph, it is said "as $\alpha$ is birational..." Nonetheless, none of $X'$ or $X$ need to have a finite amount of irreducible components (so $\alpha$ cannot be birational under the current definition of birationality, 29.50.1).

The same abuse of terminology happens in the proof of 29.54.6, when it is said " $\coprod Z_i\to X$ is integral and birational."

Comment #8536 by Johan on June 27, 2023 at 08:37

Yes, you are right that when we use the term birational in the proof here and in 29.54.6 we need to restrict to quasi-compact opens. I fixed it here by replacing "birational" by "locally birational". I think "locally birational" is sufficiently clear, but if multiple people disagree I will change it.

There are also:

2 comment(s) on Section 29.54: Normalization

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

Comments (4)

Post a comment