Lemma 33.41.2 (0C1R)—The Stacks project

Lemma 33.41.2. Let $X$ be a reduced Nagata scheme of dimension $1$ . Let $\nu : X^\nu \to X$ be the normalization. Let $x \in X$ denote a closed point. Then

$\nu : X^\nu \to X$ is finite, surjective, and birational,
$\mathcal{O}_ X \subset \nu _*\mathcal{O}_{X^\nu }$ and $\nu _*\mathcal{O}_{X^\nu }/\mathcal{O}_ X$ is a direct sum of skyscraper sheaves $\mathcal{Q}_ x$ in the singular points $x$ of $X$ ,
$A' = (\nu _*\mathcal{O}_{X^\nu })_ x$ is the integral closure of $A = \mathcal{O}_{X, x}$ in its total ring of fractions,
$\mathcal{Q}_ x = A'/A$ has finite length equal to the $\delta$ -invariant of $X$ at $x$ ,
$A'$ is a semi-local ring which is a finite product of Dedekind domains,
$A^\wedge$ is a reduced Noetherian complete local ring of dimension $1$ ,
$(A')^\wedge$ is the integral closure of $A^\wedge$ in its total ring of fractions,
$(A')^\wedge$ is a finite product of complete discrete valuation rings, and
$A'/A \cong (A')^\wedge /A^\wedge$ .

Proof. We may and will use all the results of Lemma 33.41.1. Finiteness of $\nu$ follows from Morphisms, Lemma 29.54.11. Since $X$ is reduced, Nagata, of dimension $1$ , we see that the regular locus is a dense open $U \subset X$ by More on Algebra, Proposition 15.48.7. Since a regular scheme is normal, this shows that $\nu$ is an isomorphism over $U$ . Since $\dim (X) \leq 1$ this implies that $\nu$ is not an isomorphism over a discrete set of closed points $x \in X$ . In particular we see that we have a short exact sequence

$0 \to \mathcal{O}_ X \to \nu _*\mathcal{O}_{X^\nu } \to \bigoplus \nolimits _{x \in X \setminus U} \mathcal{Q}_ x \to 0$

As we have the description of the stalks of $\nu _*\mathcal{O}_{X^\nu }$ by Lemma 33.41.1, we conclude that $Q_ x = A'/A$ indeed has length equal to the $\delta$ -invariant of $X$ at $x$ . Note that $Q_ x \not= 0$ exactly when $x$ is a singular point for example by Lemma 33.39.4. The description of $A'$ as a product of semi-local Dedekind domains follows from Lemma 33.41.1 as well. The relationship between $A$ , $A'$ , and $(A')^\wedge$ we have see in Lemma 33.39.5 (and its proof). $\square$

The Stacks project

Comments (0)

Post a comment