Situation 54.12.1. Here $(A, \mathfrak m, \kappa )$ be a Nagata local normal domain of dimension $2$ which defines a rational singularity, whose completion is normal, and which is Gorenstein. We assume $A$ is not regular.

## 54.12 Rational double points

In Section 54.9 we argued that resolution of $2$-dimensional rational singularities reduces to the Gorenstein case. A Gorenstein rational surface singularity is a rational double point. We will resolve them by explicit computations.

According to the discussion in Examples, Section 110.20 there exists a normal Noetherian local domain $A$ whose completion is isomorphic to $\mathbf{C}[[x, y, z]]/(z^2)$. In this case one could say that $A$ has a rational double point singularity, but on the other hand, $\mathop{\mathrm{Spec}}(A)$ does not have a resolution of singularities. This kind of behaviour cannot occur if $A$ is a Nagata ring, see Algebra, Lemma 10.162.13.

However, it gets worse as there exists a local normal Nagata domain $A$ whose completion is $\mathbf{C}[[x, y, z]]/(yz)$ and another whose completion is $\mathbf{C}[[x, y, z]]/(y^2 - z^3)$. This is Example 2.5 of [Nishimura-few]. This is why we need to assume the completion of our ring is normal in this section.

The arguments in this section will show that repeatedly blowing up singular points resolves $\mathop{\mathrm{Spec}}(A)$ in this situation. We will need the following lemma in the course of the proof.

Lemma 54.12.2. Let $\kappa $ be a field. Let $I \subset \kappa [x, y]$ be an ideal. Let

for some $a, b, c, d, e, f \in k$ not all zero. If the colength of $I$ in $\kappa [x, y]$ is $> 1$, then $a + b x + c y + d x^2 + exy + f y^2 = j(g + hx + iy)^2$ for some $j, g, h, i \in \kappa $.

**Proof.**
Consider the partial derivatives $b + 2dx + ey$ and $c + ex + 2fy$. By the Leibniz rules these are contained in $I$. If one of these is nonzero, then after a linear change of coordinates, i.e., of the form $x \mapsto \alpha + \beta x + \gamma y$ and $y \mapsto \delta + \epsilon x + \zeta y$, we may assume that $x \in I$. Then we see that $I = (x)$ or $I = (x, F)$ with $F$ a monic polynomial of degree $\geq 2$ in $y$. In the first case the statement is clear. In the second case observe that we can write any element in $I^2$ in the form

for some $A(x, y) \in \kappa [x, y]$ and $B, C \in \kappa [y]$. Thus

and by degree reasons we see that $B = C = 0$ and $A$ is a constant.

To finish the proof we need to deal with the case that both partial derivatives are zero. This can only happen in characteristic $2$ and then we get

We may assume $f$ is nonzero (if not, then switch the roles of $x$ and $y$). After dividing by $f$ we obtain the case where the characteristic of $\kappa $ is $2$ and

If $a$ and $d$ are squares in $\kappa $, then we are done. If not, then there exists a derivation $\theta : \kappa \to \kappa $ with $\theta (a) \not= 0$ or $\theta (d) \not= 0$, see Algebra, Lemma 10.158.2. We can extend this to a derivation of $\kappa [x, y]$ by setting $\theta (x) = \theta (y) = 0$. Then we find that

The case $\theta (d) = 0$ is absurd. Thus we may assume that $\alpha + x^2 \in I$ for some $\alpha \in \kappa $. Combining with the above we find that $a + \alpha d + y^2 \in I$. Hence

with codimension at most $2$. Observe that $J/J^2$ is free over $\kappa [x, y]/J$ with basis $\alpha + x^2$ and $a + \alpha d + y^2$. Thus $a + d x^2 + y^2 = 1 \cdot (a + \alpha d + y^2) + d \cdot (\alpha + x^2) \in I^2$ implies that the inclusion $J \subset I$ is strict. Thus we find a nonzero element of the form $g + hx + iy + jxy$ in $I$. If $j = 0$, then $I$ contains a linear form and we can conclude as in the first paragraph. Thus $j \not= 0$ and $\dim _\kappa (I/J) = 1$ (otherwise we could find an element as above in $I$ with $j = 0$). We conclude that $I$ has the form $(\alpha + x^2, \beta + y^2, g + hx + iy + jxy)$ with $j \not= 0$ and has colength $3$. In this case $a + dx^2 + y^2 \in I^2$ is impossible. This can be shown by a direct computation, but we prefer to argue as follows. Namely, to prove this statement we may assume that $\kappa $ is algebraically closed. Then we can do a coordinate change $x \mapsto \sqrt{\alpha } + x$ and $y \mapsto \sqrt{\beta } + y$ and assume that $I = (x^2, y^2, g' + h'x + i'y + jxy)$ with the same $j$. Then $g' = h' = i' = 0$ otherwise the colength of $I$ is not $3$. Thus we get $I = (x^2, y^2, xy)$ and the result is clear. $\square$

Let $(A, \mathfrak m, \kappa )$ be as in Situation 54.12.1. Let $X \to \mathop{\mathrm{Spec}}(A)$ be the blowing up of $\mathfrak m$ in $\mathop{\mathrm{Spec}}(A)$. By Lemma 54.9.4 we see that $X$ is normal. All singularities of $X$ are rational singularities by Lemma 54.8.4. Since $\omega _ A = A$ we see from Lemma 54.9.7 that $\omega _ X \cong \mathcal{O}_ X$ (see discussion in Remark 54.7.7 for conventions). Thus all singularities of $X$ are Gorenstein. Moreover, the local rings of $X$ at closed point have normal completions by Lemma 54.11.4. In other words, by blowing up $\mathop{\mathrm{Spec}}(A)$ we obtain a normal surface $X$ whose singular points are as in Situation 54.12.1. We will use this below without further mention. (Note: we will see in the course of the discussion below that there are finitely many of these singular points.)

Let $E \subset X$ be the exceptional divisor. We have $\omega _ E = \mathcal{O}_ E(-1)$ by Lemma 54.9.7. By Lemma 54.9.5 we have $\kappa = H^0(E, \mathcal{O}_ E)$. Thus $E$ is a Gorenstein curve and by Riemann-Roch as discussed in Algebraic Curves, Section 53.5 we have

where $g = \dim _\kappa H^1(E, \mathcal{O}_ E) \geq 0$. Since $\deg (\mathcal{O}_ E(1))$ is positive by Varieties, Lemma 33.44.15 we find that $g = 0$ and $\deg (\mathcal{O}_ E(1)) = 2$. It follows that we have

by Lemma 54.9.5 and Riemann-Roch on $E$.

Choose $x_1, x_2, x_3 \in \mathfrak m$ which map to a basis of $\mathfrak m/\mathfrak m^2$. Because $\dim _\kappa (\mathfrak m^2/\mathfrak m^3) = 5$ the images of $x_ i x_ j$, $i \geq j$ in this $\kappa $-vector space satisfy a relation. In other words, we can find $a_{ij} \in A$, $i \geq j$, not all contained in $\mathfrak m$, such that

for some $a_{ijk} \in A$ where $i \leq j \leq k$. Denote $a \mapsto \overline{a}$ the map $A \to \kappa $. The quadratic form $q = \sum \overline{a}_{ij} t_ i t_ j \in \kappa [t_1, t_2, t_3]$ is well defined up to multiplication by an element of $\kappa ^*$ by our choices. If during the course of our arguments we find that $\overline{a}_{ij} = 0$ in $\kappa $, then we can subsume the term $a_{ij} x_ i x_ j$ in the right hand side and assume $a_{ij} = 0$; this operation changes the $a_{ijk}$ but not the other $a_{i'j'}$.

The blowing up is covered by $3$ affine charts corresponding to the “variables” $x_1, x_2, x_3$. By symmetry it suffices to study one of the charts. To do this let

be the affine blowup algebra (as in Algebra, Section 10.70). Since $x_1, x_2, x_3$ generate $\mathfrak m$ we see that $A'$ is generated by $y_2 = x_2/x_1$ and $y_3 = x_3/x_1$ over $A$. We will occasionally use $y_1 = 1$ to simplify formulas. Moreover, looking at our relation above we find that

in $A'$. Recall that $x_1 \in A'$ defines the exceptional divisor $E$ on our affine open of $X$ which is therefore scheme theoretically given by

In other words, $E \subset \mathbf{P}^2_\kappa = \text{Proj}(\kappa [t_1, t_2, t_3])$ is the zero scheme of the quadratic form $q$ introduced above.

The quadratic form $q$ is an important invariant of the singularity defined by $A$. Let us say we are in **case II** if $q$ is a square of a linear form times an element of $\kappa ^*$ and in **case I** otherwise. Observe that we are in case II exactly if, after changing our choice of $x_1, x_2, x_3$, we have

in the local ring $A$.

Let $\mathfrak m' \subset A'$ be a maximal ideal lying over $\mathfrak m$ with residue field $\kappa '$. In other words, $\mathfrak m'$ corresponds to a closed point $p \in E$ of the exceptional divisor. Recall that the surjection

has kernel generated by two elements $f_2, f_3 \in \kappa [y_2, y_3]$ (see for example Algebra, Example 10.27.3 or the proof of Algebra, Lemma 10.114.1). Let $z_2, z_3 \in A'$ map to $f_2, f_3$ in $\kappa [y_2, y_3]$. Then we see that $\mathfrak m' = (x_1, z_2, z_3)$ because $x_2$ and $x_3$ become divisible by $x_1$ in $A'$.

**Claim.** If $X$ is singular at $p$, then $\kappa ' = \kappa $ or we are in case II. Namely, if $A'_{\mathfrak m'}$ is singular, then $\dim _{\kappa '} \mathfrak m'/(\mathfrak m')^2 = 3$ which implies that $\dim _{\kappa '} \overline{\mathfrak m}'/(\overline{\mathfrak m}')^2 = 2$ where $\overline{m}'$ is the maximal ideal of $\mathcal{O}_{E, p} = \mathcal{O}_{X, p}/x_1\mathcal{O}_{X, p}$. This implies that

otherwise there would be a relation between the classes of $z_2$ and $z_3$ in $\overline{\mathfrak m}'/(\overline{\mathfrak m}')^2$. The claim now follows from Lemma 54.12.2.

Resolution in case I. By the claim any singular point of $X$ is $\kappa $-rational. Pick such a singular point $p$. We may choose our $x_1, x_2, x_3 \in \mathfrak m$ such that $p$ lies on the chart described above and has coordinates $y_2 = y_3 = 0$. Since it is a singular point arguing as in the proof of the claim we find that $q(1, y_2, y_3) \in (y_2, y_3)^2$. Thus we can choose $a_{11} = a_{12} = a_{13} = 0$ and $q(t_1, t_2, t_3) = q(t_2, t_3)$. It follows that

either is the union of two distinct lines meeting at $p$ or is a degree $2$ curve with a unique $\kappa $-rational point (small detail omitted; use that $q$ is not a square of a linear form up to a scalar). In both cases we conclude that $X$ has a unique singular point $p$ which is $\kappa $-rational. We need a bit more information in this case. First, looking at higher terms in the expression above, we find that $\overline{a}_{111} = 0$ because $p$ is singular. Then we can write $a_{111} = b_{111} x_1 \bmod (x_2, x_3)$ for some $b_{111} \in A$. Then the quadratic form at $p$ for the generators $x_1, y_2, y_3$ of $\mathfrak m'$ is

We see that $E' = V(q')$ intersects the line $t_1 = 0$ in either two points or one point of degree $2$. We conclude that $p$ lies in case I.

Suppose that the blowing up $X' \to X$ of $X$ at $p$ again has a singular point $p'$. Then we see that $p'$ is a $\kappa $-rational point and we can blow up to get $X'' \to X'$. If this process does not stop we get a sequence of blowings up

We want to show that Lemma 54.10.1 applies to this situation. To do this we have to say something about the choice of the element $x_1$ of $\mathfrak m$. Suppose that $A$ is in case I and that $X$ has a singular point. Then we will say that $x_1 \in \mathfrak m$ is a *good coordinate* if for any (equivalently some) choice of $x_2, x_3$ the quadratic form $q(t_1, t_2, t_3)$ has the property that $q(0, t_2, t_3)$ is not a scalar times a square. We have seen above that a good coordinate exists. If $x_1$ is a good coordinate, then the singular point $p \in E$ of $X$ does not lie on the hypersurface $t_1 = 0$ because either this does not have a rational point or if it does, then it is not singular on $X$. Observe that this is equivalent to the statement that the image of $x_1$ in $\mathcal{O}_{X, p}$ cuts out the exceptional divisor $E$. Now the computations above show that if $x_1$ is a good coordinate for $A$, then $x_1 \in \mathfrak m'\mathcal{O}_{X, p}$ is a good coordinate for $p$. This of course uses that the notion of good coordinate does not depend on the choice of $x_2$, $x_3$ used to do the computation. Hence $x_1$ maps to a good coordinate at $p'$, $p''$, etc. Thus Lemma 54.10.1 applies and our sequence of blowing ups comes from a nonsingular arc $A \to R$. Then the map $A^\wedge \to R$ is a surjection. Since the completion of $A$ is normal, we conclude by Lemma 54.10.2 that after a finite number of blowups

the resulting scheme $(X^{(n)})^\wedge $ is regular. Since $(X^{(n)})^\wedge \to X^{(n)}$ induces isomorphisms on complete local rings (Lemma 54.11.1) we conclude that the same is true for $X^{(n)}$.

Resolution in case II. Here we have

in $A$ for some choice of generators $x_1, x_2, x_3$ of $\mathfrak m$. Then $q = t_3^2$ and $E = 2C$ where $C$ is a line. Recall that in $A'$ we get

Since we know that $X$ is normal, we get a discrete valuation ring $\mathcal{O}_{X, \xi }$ at the generic point $\xi $ of $C$. The element $y_3 \in A'$ maps to a uniformizer of $\mathcal{O}_{X, \xi }$. Since $x_1$ scheme theoretically cuts out $E$ which is $C$ with multiplicity $2$, we see that $x_1$ is a unit times $y_3^2$ in $\mathcal{O}_{X, \xi }$. Looking at our equality above we conclude that

must be nonzero in the residue field of $\xi $. Now, suppose that $p \in C$ defines a singular point. Then $y_3$ is zero at $p$ and $p$ must correspond to a zero of $h$ by the reasoning used in proving the claim above. If $h$ does not have a double zero at $p$, then the quadratic form $q'$ at $p$ is not a square and we conclude that $p$ falls in case I which we have treated above^{1}. Since the degree of $h$ is $3$ we get at most one singular point $p \in C$ falling into case II which is moreover $\kappa $-rational. After changing our choice of $x_1, x_2, x_3$ we may assume this is the point $y_2 = y_3 = 0$. Then $h = \overline{a}_{122} y_2^2 + \overline{a}_{222} y_2^3$. Moreover, it still has to be the case that $\overline{a}_{113} = 0$ for the quadratic form $q'$ to have the right shape. Thus the local ring $\mathcal{O}_{X, p}$ defines a singularity as in the next paragraph.

The final case we treat is the case where we can choose our generators $x_1, x_2, x_3$ of $\mathfrak m$ such that

for some $a, b, c \in A$. This is a subclass of case II. If $\overline{a} = 0$, then we can write $a = a_1 x_1 + a_2 x_2 + a_3 x_3$ and we get after blowing up

This means that $X$ is not normal^{2} a contradiction. By the result of the previous paragraph, if the blowup $X$ has a singular point $p$ which falls in case II, then there is only one and it is $\kappa $-rational. Computing the affine blowup algebras $A[\frac{\mathfrak m}{x_2}]$ and $A[\frac{\mathfrak m}{x_3}]$ the reader easily sees that $p$ cannot be contained the corresponding opens of $X$. Thus $p$ is in the spectrum of $A[\frac{\mathfrak m}{x_1}]$. Doing the blowing up as before we see that $p$ must be the point with coordinates $y_2 = y_3 = 0$ and the new equation looks like

which has the same shape as before and has the property that $x_1$ defines the exceptional divisor. Thus if the process does not stop we get an infinite sequence of blowups and on each of these $x_1$ defines the exceptional divisor in the local ring of the singular point. Thus we can finish the proof using Lemmas 54.10.1 and 54.10.2 and the same reasoning as before.

Lemma 54.12.3. Let $(A, \mathfrak m, \kappa )$ be a local normal Nagata domain of dimension $2$ which defines a rational singularity, whose completion is normal, and which is Gorenstein. Then there exists a finite sequence of blowups in singular closed points

such that $X_ n$ is regular and such that each intervening schemes $X_ i$ is normal with finitely many singular points of the same type.

**Proof.**
This is exactly what was proved in the discussion above.
$\square$

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

## Comments (4)

Comment #3008 by azrt on

Comment #3009 by azrt on

Comment #3010 by Johan on

Comment #3130 by Johan on