## 29.47 Absolute weak normalization and seminormalization

Motivated by the results proved in the previous section we give the following definition.

Definition 29.47.1. Let $A$ be a ring.

1. We say $A$ is seminormal if for all $x, y \in A$ with $x^3 = y^2$ there is a unique $a \in A$ with $x = a^2$ and $y = a^3$.

2. We say $A$ is absolutely weakly normal if (a) $A$ is seminormal and (b) for any prime number $p$ and $x, y \in A$ with $p^ px = y^ p$ there is a unique $a \in A$ with $x = a^ p$ and $y = pa$.

An amusing observation, see [Costa], is that in the definition of seminormal rings it suffices1 to assume the existence of $a$. Absolutely weakly normal schemes were defined in [Appendix B, rydh_descent].

Lemma 29.47.2. Being seminormal or being absolutely weakly normal is a local property of rings, see Properties, Definition 28.4.1.

Proof. Suppose that $A$ is seminormal and $f \in A$. Let $x', y' \in A_ f$ with $(x')^3 = (y')^2$. Write $x' = x/f^{2n}$ and $y' = y/f^{3n}$ for some $n \geq 0$ and $x, y \in A$. After replacing $x, y$ by $f^{2m}x, f^{3m}y$ and $n$ by $n + m$, we see that $x^3 = y^2$ in $A$. Then we find a unique $a \in A$ with $x = a^2$ and $y = a^3$. Setting $a' = a/f^ n$ we get $x' = (a')^2$ and $y' = (a')^3$ as desired. Uniqueness of $a'$ follows from uniqueness of $a$. In exactly the same manner the reader shows that if $A$ is absolutely weakly normal, then $A_ f$ is absolutely weakly normal.

Assume $A$ is a ring and $f_1, \ldots , f_ n \in A$ generate the unit ideal. Assume $A_{f_ i}$ is seminormal for each $i$. Let $x, y \in A$ with $x^3 = y^2$. For each $i$ we find a unique $a_ i \in A_{f_ i}$ with $x = a_ i^2$ and $y = a_ i^3$ in $A_{f_ i}$. By the uniqueness and the result of the first paragraph (which tells us that $A_{f_ if_ j}$ is seminormal) we see that $a_ i$ and $a_ j$ map to the same element of $A_{f_ if_ j}$. By Algebra, Lemma 10.24.2 we find a unique $a \in A$ mapping to $a_ i$ in $A_{f_ i}$ for all $i$. Then $x = a^2$ and $y = a^3$ by the same token. Clearly this $a$ is unique. Thus $A$ is seminormal. If we assume $A_{f_ i}$ is absolutely weakly normal, then the exact same argument shows that $A$ is absolutely weakly normal. $\square$

Next we define seminormal schemes and absolutely weakly normal schemes.

Definition 29.47.3. Let $X$ be a scheme.

1. We say $X$ is seminormal if every $x \in X$ has an affine open neighbourhood $\mathop{\mathrm{Spec}}(R) = U \subset X$ such that the ring $R$ is seminormal.

2. We say $X$ is absolutely weakly normal if every $x \in X$ has an affine open neighbourhood $\mathop{\mathrm{Spec}}(R) = U \subset X$ such that the ring $R$ is absolutely weakly normal.

Here is the obligatory lemma.

Lemma 29.47.4. Let $X$ be a scheme. The following are equivalent:

1. The scheme $X$ is seminormal.

2. For every affine open $U \subset X$ the ring $\mathcal{O}_ X(U)$ is seminormal.

3. There exists an affine open covering $X = \bigcup U_ i$ such that each $\mathcal{O}_ X(U_ i)$ is seminormal.

4. There exists an open covering $X = \bigcup X_ j$ such that each open subscheme $X_ j$ is seminormal.

Moreover, if $X$ is seminormal then every open subscheme is seminormal. The same statements are true with “seminormal” replaced by “absolutely weakly normal”.

Proof. Combine Properties, Lemma 28.4.3 and Lemma 29.47.2. $\square$

Lemma 29.47.5. A seminormal scheme or ring is reduced. A fortiori the same is true for absolutely weakly normal schemes or rings.

Proof. Let $A$ be a ring. If $a \in A$ is nonzero but $a^2 = 0$, then $a^2 = 0^2$ and $a^3 = 0^3$ and hence $A$ is not seminormal. $\square$

Lemma 29.47.6. Let $A$ be a ring.

1. The category of ring maps $A \to B$ inducing a universal homeomorphism on spectra has a final object $A \to A^{awn}$.

2. Given $A \to B$ in the category of (1) the resulting map $B \to A^{awn}$ is an isomorphism if and only if $B$ is absolutely weakly normal.

3. The category of ring maps $A \to B$ inducing isomorphisms on residue fields and a universal homeomorphism on spectra has a final object $A \to A^{sn}$.

4. Given $A \to B$ in the category of (3) the resulting map $B \to A^{sn}$ is an isomorphism if and only if $B$ is seminormal.

For any ring map $\varphi : A \to A'$ there are unique maps $\varphi ^{awn} : A^{awn} \to (A')^{awn}$ and $\varphi ^{sn} : A^{sn} \to (A')^{sn}$ compatible with $\varphi$.

Proof. We prove (1) and (2) and we omit the proof of (3) and (4) and the final statement. Consider the category of $A$-algebras of the form

$B = A[x_1, \ldots , x_ n]/J$

where $J$ is a finitely generated ideal such that $A \to B$ defines a universal homeomorphism on spectra. We claim this category is directed (Categories, Definition 4.19.1). Namely, given

$B = A[x_1, \ldots , x_ n]/J \quad \text{and}\quad B' = A[x_1, \ldots , x_{n'}]/J'$

then we can consider

$B'' = A[x_1, \ldots , x_{n + n'}]/J''$

where $J''$ is generated by the elements of $J$ and the elements $f(x_{n + 1}, \ldots , x_{n + n'})$ where $f \in J'$. Then we have $A$-algebra homomorphisms $B \to B''$ and $B' \to B''$ which induce an isomorphism $B \otimes _ A B' \to B''$. It follows from Lemmas 29.45.2 and 29.45.3 that $\mathop{\mathrm{Spec}}(B'') \to \mathop{\mathrm{Spec}}(A)$ is a universal homeomorphism and hence $A \to B''$ is in our category. Finally, given $\varphi , \varphi ' : B \to B'$ in our category with $B$ as displayed above, then we consider the quotient $B''$ of $B'$ by the ideal generated by $\varphi (x_ i) - \varphi '(x_ i)$, $i = 1, \ldots , n$. Since $\mathop{\mathrm{Spec}}(B') = \mathop{\mathrm{Spec}}(B)$ we see that $\mathop{\mathrm{Spec}}(B'') \to \mathop{\mathrm{Spec}}(B')$ is a bijective closed immersion hence a universal homeomorphism. Thus $B''$ is in our category and $\varphi , \varphi '$ are equalized by $B' \to B''$. This completes the proof of our claim. We set

$A^{awn} = \mathop{\mathrm{colim}}\nolimits B$

where the colimit is over the category just described. Observe that $A \to A^{awn}$ induces a universal homeomorphism on spectra by Lemma 29.46.2 (this is where we use the category is directed).

Given a ring map $A \to B$ of finite presentation inducing a universal homeomorphism on spectra, we get a canonical map $B \to A^{awn}$ by the very construction of $A^{awn}$. Since every $A \to B$ as in (1) is a filtered colimit of $A \to B$ as in (1) of finite presentation (Lemma 29.46.11), we see that $A \to A^{awn}$ is final in the category (1).

Let $x, y \in A^{awn}$ be elements such that $x^3 = y^2$. Then $A^{awn} \to A^{awn}[t]/(t^2 - x, t^3 - y)$ induces a universal homeomorphism on spectra by Lemma 29.46.10. Thus $A \to A^{awn}[t]/(t^2 - x, t^3 - y)$ is in the category (1) and we obtain a unique $A$-algebra map $A^{awn}[t]/(t^2 - x, t^3 - y) \to A^{awn}$. The image $a \in A^{awn}$ of $t$ is therefore the unique element such that $a^2 = x$ and $a^3 = y$ in $A^{awn}$. In exactly the same manner, given a prime $p$ and $x, y \in A^{awn}$ with $p^ px = y^ p$ we find a unique $a \in A^{awn}$ with $a^ p = x$ and $pq = y$. Thus $A^{awn}$ is absolutely weakly normal by definition.

Finally, let $A \to B$ be in the category (1) with $B$ absolutely weakly normal. Since $A^{awn} \to B^{awn}$ is a universal homeomorphism and since $A^{awn}$ is reduced (Lemma 29.47.5) we find $A^{awn} \subset B^{awn}$ (see Algebra, Lemma 10.30.6). If this inclusion is not an equality, then Lemma 29.46.6 implies there is an element $b \in B^{awn}$, $b \not\in A^{awn}$ such that either $b^2, b^3 \in A^{awn}$ or $pb, b^ p \in A^{awn}$ for some prime number $p$. However, by the existence and uniqueness in Definition 29.47.1 this forces $b \in A^{awn}$ and hence we obtain the contradiction that finishes the proof. $\square$

Lemma 29.47.7. Let $X$ be a scheme.

1. The category of universal homeomorphisms $Y \to X$ has an initial object $X^{awn} \to X$.

2. Given $Y \to X$ in the category of (1) the resulting morphism $X^{awn} \to Y$ is an isomorphism if and only if $Y$ is absolutely weakly normal.

3. The category of universal homeomorphisms $Y \to X$ which induce ismomorphisms on residue fields has an initial object $X^{sn} \to X$.

4. Given $Y \to X$ in the category of (3) the resulting morphism $X^{sn} \to Y$ is an isomorphism if and only if $Y$ is seminormal.

For any morphism $h : X' \to X$ of schemes there are unique morphisms $h^{awn} : (X')^{awn} \to X^{awn}$ and $h^{sn} : (X')^{sn} \to X^{sn}$ compatible with $h$.

Proof. We will prove (3) and (4) and omit the proof of (1) and (2). Let $h : X' \to X$ be a morphism of schemes. If (3) holds for $X$ and $X'$, then $X' \times _ X X^{sn} \to X'$ is a universal homeomorphism and hence we get a unique morphism $(X')^{sn} \to X' \times _ X X^{sn}$ over $X'$ by the universal property of $(X')^{sn} \to X'$. Composed with the projection $X' \times _ X X^{sn} \to X^{sn}$ we obtain $h^{sn}$. If in addition (4) holds for $X$ and $X'$ and $h$ is an open immersion, then $X' \times _ X X^{sn}$ is seminormal (Lemma 29.47.4) and we deduce that $(X')^{sn} \to X' \times _ X X^{sn}$ is an isomorphism.

Recall that any universal homeomorphism is affine, see Lemma 29.45.4. Thus if $X$ is affine then (3) and (4) follow immediately from Lemma 29.47.6. Let $X$ be a scheme and let $\mathcal{B}$ be the set of affine opens of $X$. For each $U \in \mathcal{B}$ we obtain $U^{sn} \to U$ and for $V \subset U$, $V, U \in \mathcal{B}$ we obtain a canonical isomorphism $\rho _{V, U} : V^{sn} \to V \times _ U U^{sn}$ by the discussion in the previous paragraph. Thus by relative glueing (Constructions, Lemma 27.2.1) we obtain a morphism $X^{sn} \to X$ which restricts to $U^{sn}$ over $U$ compatibly with the $\rho _{V, U}$. Next, let $Y \to X$ be a universal homeomorphism. Then $U \times _ X Y \to U$ is a universal homeomorphism for $U \in \mathcal{B}$ and we obtain a unique morphism $g_ U : U^{sn} \to U \times _ X Y$ over $U$. These $g_ U$ are compatible with the morphisms $\rho _{V, U}$; details omitted. Hence there is a unique morphism $g : X^{sn} \to Y$ over $X$ agreeing with $g_ U$ over $U$, see Constructions, Remark 27.2.3. This proves (3) for $X$. The proof of (4) is similar; details omitted. $\square$

Definition 29.47.8. Let $X$ be a scheme.

1. The morphism $X^{sn} \to X$ constructed in Lemma 29.47.7 is the seminormalization of $X$.

2. The morphism $X^{awn} \to X$ constructed in Lemma 29.47.7 is the absolute weak normalization of $X$.

To be sure, the seminormalization $X^{sn}$ of $X$ is a seminormal scheme and the absolute weak normalization $X^{awn}$ is an absolutely weakly normal scheme. Moreover, for any morphism $h : Y \to X$ of schemes we obtain a canonical commutative diagram

$\xymatrix{ Y^{awn} \ar[d]^{h^{awn}} \ar[r] & Y^{sn} \ar[d]^{h^{sn}} \ar[r] & Y \ar[d]^ h \\ X^{awn} \ar[r] & X^{sn} \ar[r] & X }$

of schemes; the arrows $h^{sn}$ and $h^{awn}$ are the unique ones compatible with $h$.

[1] Let $A$ be a ring such that for all $x, y \in A$ with $x^3 = y^2$ there is an $a \in A$ with $x = a^2$ and $y = a^3$. Then $A$ is reduced: if $x^2 = 0$, then $x^2 = x^3$ and hence there exists an $a$ such that $x = a^3$ and $x = a^2$. Then $x = a^3 = ax = a^4 = x^2 = 0$. Finally, if $a_1^2 = a_2^2$ and $a_1^3 = a_2^3$ for $a_1, a_2$ in a reduced ring, then $(a_1 - a_2)^3 = a_1^3 - 3a_1^2a_2 +3a_1a_2^2 - a_2^3 = (1 - 3 + 3 - 1)a_1^3 = 0$ and hence $a_1 = a_2$.

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