Exercise 111.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
Notations: f, F, x, y\in {\mathfrak m}, I as in Exercise 111.28.7. Please use any results from the problems above.
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.
Show that z is a nonzerodivisor on A.
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.)
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).
Now show that {\mathfrak m}^\ell = z^{\ell - d + 1} {\mathfrak m}^{d-1} for all \ell \geq d.
Conclude that I = (F).
Conclude that the function f has values
2, 3, 4, \ldots , d-1, d, d, d, d, d, d, d, \ldots
Comments (2)
Comment #31 by David Zureick-Brown on
Comment #34 by Johan on
There are also: