Exercise 110.28.8. Cohen-Macaulay rings of dimension 1 and embedding dimension 2. Suppose that $(A, {\mathfrak m}, k)$ is a Noetherian local ring which is Cohen-Macaulay of dimension $1$. Assume also that the embedding dimension of $A$ is $2$, i.e., assume that

$\dim _ k {\mathfrak m}/{\mathfrak m}^2 = 2.$

Notations: $f$, $F$, $x, y\in {\mathfrak m}$, $I$ as in Ex. 6 above. Please use any results from the problems above.

1. Suppose that $z\in {\mathfrak m}$ is an element whose class in ${\mathfrak m}/{\mathfrak m}^2$ is a linear form $\alpha \bar x + \beta \bar y \in k[\bar x, \bar y]$ which is coprime with $f$.

1. Show that $z$ is a nonzerodivisor on $A$.

2. Let $d = \deg (F)$. Show that ${\mathfrak m}^ n = z^{n + 1-d}{\mathfrak m}^{d-1}$ for all sufficiently large $n$. (Hint: First show $z^{n + 1-d}{\mathfrak m}^{d-1} \to {\mathfrak m}^ n/{\mathfrak m}^{n + 1}$ is surjective by what you know about $Gr_{\mathfrak m}(A)$. Then use NAK.)

2. What condition on $k$ guarantees the existence of such a $z$? (No proof required; it's too easy.)

Now we are going to assume there exists a $z$ as above. This turns out to be a harmless assumption (in the sense that you can reduce to the situation where it holds in order to obtain the results in parts (d) and (e) below).

3. Now show that ${\mathfrak m}^\ell = z^{\ell - d + 1} {\mathfrak m}^{d-1}$ for all $\ell \geq d$.

4. Conclude that $I = (F)$.

5. Conclude that the function $f$ has values

$2, 3, 4, \ldots , d-1, d, d, d, d, d, d, d, \ldots$

Comment #31 by David Zureick-Brown on

Typo: garantees

Comment #34 by Johan on

Fixed. Thanks!

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