Perhaps those that have taken an introductory commutative algebra class have come across the profoundly opaque definition of a discrete valuation ring (DVR), thinking to themselves “why have the math gods condemned me?” From a purely algebraic perspective, it is a remarkable that a ring is a valuation ring if and only if it is a domain so that for any element in the fraction field for , or is contained in . Even further, if a valuation ring is Noetherian (and not a field) it is a DVR. Again, algebraically, there are a lot of reasons to care about these rings, but today isn’t about algebra. While there are a huge number of equivalences we can speak of, but instead we will make use of the following definition:
Definition: A ring is said to be a DVR if it is a local Noetherian ring with principal maximal ideal.
Geometrically, it is very easy to come up with many examples of Noetherian local rings. For example, consider some curve (let’s just assume that is algebraically closed.) We can then form its co ordinate ring and localize at the maximal ideal corresponding to some point in , as in . Since vanishes at , it is contained in the maximal ideal, so it survives the localization and localization is exact , we could have just as easily localized first and taken the co-ordinate ring either. Either way, now we have this associated ring of functions around some point, denoted , and in particular, we should notice that it is local Noetherian, almost by construction.
Now, this point of view is interesting, but what would happen if the maximal ideal were principal, making a DVR? Well in this case, note that has exactly dimension as a -vector space. The converse is true as well, since Nakayama’s lemma implies that in a local Noetherian ring, a basis for lifts to a generating set for all of , implying that it is principal as an ideal. [Proposition 6.6 here should do it.]
Geometrically, is known as the Zariski cotangent space which is heuristically all of the linear functions (degree one) defined around our point. The main point is that by taking the dual of the cotangent space, we get another vector space, which is precisely is actually the tangent space, denoted . Another way to see it, is that given a polynomial on a variety vanishing at our point, we should ask what function these polynomials restrict to on our tangent space, which are the linear ones. Here is a potentially an unnecessary formalism: restricting our attention to curves, we can define
From this, we solve for where the differentials of each defining polynomial are simultaneously zero. By restricting to each polynomial onto the tangent space, defines a homomorphism from polynomials onto linear forms, but since for all constant functions , we really can just consider and do great algebraic battle to conclude that this induces an isomorphism .
With this in mind, we will give a few basic definitions and then state what all of this is really about:
Definition: A point of , with an irreducible curve, is called simple if has nonvanishing derivative at , so that or .
We should note that by a linear change in co-ordinate shift to the origin if after decomposing into homogenous components, has a nonzero linear term.
These considerations give rise to a theorem that makes me smile:
Theorem: If is an irreducible curve given by , then is simple if and only if is a DVR.
proof: Without a loss of generality, suppose that is simple. Furthermore, we can define the tangent line , but by some rotation we can assume that . We will show that . Letting be the polynomial associated to , we see that in our nice co-ordinates, . We collect all of those terms that have a power of :
where has a constant term. In the local ring, , the polynomial becomes invertible, so we can factor , and see that , so is really the same as .
Conversely, suppose that is a DVR. Again supposing that , we can show that it is simple by showing that (so it has linear terms, and thus nonvanishing derivative.) Assume for contradiction, that . Well, then would survive in since , which is a contradiction. In particular, we can consider , and note that is a composition with kernel , and the middle term is two dimensional as a vector space. If , this would contradict the claim that is one dimensional as a vector space.
As an aside, there is a more detailed and difficult proof in many texts, that define simple (nonsingular points) by way of dimension: for an affine variety .
There is some more work to be done, regarding the condition that be a DVR and the dimension of the Zariski cotangent space, but there is a sense in which this proof belongs to a greater generality, instead really being about regular local rings.