The Stacks project

Example 55.14.1. Let $R$ be a discrete valuation ring with uniformizer $\pi $. Given $n \geq 0$, consider the ring map

\[ R \longrightarrow A = R[x, y]/(xy - \pi ^ n) \]

Set $X = \mathop{\mathrm{Spec}}(A)$ and $S = \mathop{\mathrm{Spec}}(R)$. If $n = 0$, then $X \to S$ is smooth. For all $n$ the morphism $X \to S$ is at-worst-nodal of relative dimension $1$ as defined in Algebraic Curves, Section 53.20. If $n = 1$, then $X$ is regular, but if $n > 1$, then $X$ is not regular as $(x, y)$ no longer generate the maximal ideal $\mathfrak m = (\pi , x, y)$. To ameliorate the situation in case $n > 1$ we consider the blowup $b : X' \to X$ of $X$ in $\mathfrak m$. See Divisors, Section 31.32. By construction $X'$ is covered by three affine pieces corresponding to the blowup algebras $A[\frac{\mathfrak m}{\pi }]$, $A[\frac{\mathfrak m}{x}]$, and $A[\frac{\mathfrak m}{y}]$.

The algebra $A[\frac{\mathfrak m}{\pi }]$ has generators $x' = x/\pi $ and $y' = y/\pi $ and $x'y' = \pi ^{n - 2}$. Thus this part of $X'$ is the spectrum of $R[x', y'](x'y' - \pi ^{n - 2})$.

The algebra $A[\frac{\mathfrak m}{x}]$ has generators $x$, $u = \pi /x$ subject to the relation $xu - \pi $. Note that this ring contains $y/x = \pi ^ n/x^2 = u^2\pi ^{n - 2}$. Thus this part of $X'$ is regular.

By symmetry the case of the algebra $A[\frac{\mathfrak m}{y}]$ is the same as the case of $A[\frac{\mathfrak m}{y}]$.

Thus we see that $X' \to S$ is at-worst-nodal of relative dimension $1$ and that $X'$ is regular, except for one point which has an affine open neighbourhood exactly as above but with $n$ replaced by $n - 2$. Using induction on $n$ we conclude that there is a sequence of blowing ups in closed points

\[ X_{\lfloor n/2 \rfloor } \to \ldots \to X_1 \to X_0 = X \]

such that $X_{\lfloor n/2 \rfloor } \to S$ is at-worst-nodal of relative dimension $1$ and $X_{\lfloor n/2 \rfloor }$ is regular.


Comments (2)

Comment #2444 by Bronson Lim on

Should say S = \Spec(R).

There are also:

  • 1 comment(s) on Section 55.14: Semistable reduction

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 0CDC. Beware of the difference between the letter 'O' and the digit '0'.