The Stacks project

Lemma 33.39.5. Let $A$ be a reduced Nagata local ring of dimension $1$. Let $A \to A'$ be as in Lemma 33.39.2. Let $A^ h$, $A^{sh}$, resp. $A^\wedge $ be the henselization, strict henselization, resp. completion of $A$. Then $A^ h$, $A^{sh}$, resp. $A^\wedge $ is a reduced Nagata local ring of dimension $1$ and $A' \otimes _ A A^ h$, $A' \otimes _ A A^{sh}$, resp. $A' \otimes _ A A^\wedge $ is the integral closure of $A^ h$, $A^{sh}$, resp. $A^\wedge $ in its total ring of fractions.

Proof. Observe that $A^\wedge $ is reduced, see More on Algebra, Lemma 15.43.6. The rings $A^ h$ and $A^{sh}$ are reduced by More on Algebra, Lemma 15.45.4. The dimensions of $A$, $A^ h$, $A^{sh}$, and $A^\wedge $ are the same by More on Algebra, Lemmas 15.43.1 and 15.45.7.

Recall that a Noetherian local ring is Nagata if and only if the formal fibres of $A$ are geometrically reduced, see More on Algebra, Lemma 15.52.4. This property is inherited by $A^ h$ and $A^{sh}$, see the material in More on Algebra, Section 15.51 and especially Lemma 15.51.8. The completion is Nagata by Algebra, Lemma 10.162.8.

Now we come to the statement on integral closures. Before continuing let us pick $f \in \mathfrak m$ as in Lemma 33.39.1. Then the image of $f$ in $A^ h$, $A^{sh}$, and $A^\wedge $ clearly is an element satisfying properties (1) – (6) in that ring.

Since $A \to A'$ is finite we see that $A' \otimes _ A A^ h$ and $A' \otimes _ A A^{sh}$ is the product of henselian local rings finite over $A^ h$ and $A^{sh}$, see Algebra, Lemma 10.153.4. Each of these local rings is the henselization of $A'$ at a maximal ideal $\mathfrak m' \subset A'$ lying over $\mathfrak m$, see Algebra, Lemma 10.156.1 or 10.156.3. Hence these local rings are normal domains by More on Algebra, Lemma 15.45.6. It follows that $A' \otimes _ A A^ h$ and $A' \otimes _ A A^{sh}$ are normal rings. Since $A^ h \to A' \otimes _ A A^ h$ and $A^{sh} \to A' \otimes _ A A^{sh}$ are finite (hence integral) and since $A' \otimes _ A A^ h \subset (A^ h)_ f = Q(A^ h)$ and $A' \otimes _ A A^{sh} \subset (A^{sh})_ f = Q(A^{sh})$ we conclude that $A' \otimes _ A A^ h$ and $A' \otimes _ A A^{sh}$ are the desired integral closures.

For the completion we argue in entirely the same manner. First, by Algebra, Lemma 10.97.8 we have

\[ A' \otimes _ A A^\wedge = (A')^\wedge = \prod \nolimits (A'_{\mathfrak m'})^\wedge \]

The local rings $A'_{\mathfrak m'}$ are normal and have dimension $1$ (by Algebra, Lemma 10.113.2 for example or the discussion in Algebra, Section 10.112). Thus $A'_{\mathfrak m'}$ is a discrete valuation ring, see Algebra, Lemma 10.119.7. Hence $(A'_{\mathfrak m'})^\wedge $ is a discrete valuation ring by More on Algebra, Lemma 15.43.5. It follows that $A' \otimes _ A A^\wedge $ is a normal ring and we can conclude in exactly the same manner as before. $\square$

Comments (2)

Comment #7800 by Jonas Ehrhard on

Dieudonne's Topics in Local Algebra contains the statement that is the integral closure of in its total ring of quotient for a reduced noetherian G-ring of arbitrary dimension (Theorem 6.5 ib.). Is there something comparable in the stacks-project?

There are also:

  • 3 comment(s) on Section 33.39: The delta invariant

Post a comment

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0C3V. Beware of the difference between the letter 'O' and the digit '0'.