Valuation rings can be defined in a variety of equivalent ways. They are integral domains:
- with a valuation to a totally ordered abelian group.
- where the set of ideals is totally ordered with respect to inclusion.
- where for every
in the fraction field, either
or
(or both) lies in the ring.
- They are local rings that are maximal under the notion of domination with respect to local rings contained in a fixed field. We say that an inclusion
is a domination if the maximal ideal of
pulls back to that of
.
It is a simple and useful exercise to show that these are equivalent and the stacks project does a fine job of it. Personally, I find it easiest and most useful to use definitions 1+2+3. The main lemma about valuation rings is:
Main Lemma: Suppose is a local ring contained in a field. Then there exists a valuation ring
that dominates
.
Before we move on to the proof, let me briefly explain why it’s important. This lemma is more or less equivalent to saying that on any scheme , a specialization
can be realized by a map
with
a valuation ring whose maximal ideal maps to
and generic point maps to
.
This is, for instance, how valuation rings show up in the valuative criterion of properness or the arc topology of Bhargav-Mathew.
The stacks project uses defintion 4 and applies Zorn’s lemma which make it seem unnecessarily non constructive. We will prove it directly assuming 1+2+3 (which is nothing more than a rearrangement of the stacks project page).
The problem is that might have incomparable prime ideals (under inclusion). We would like “kill” one of the ideals but localization (the standard tool to kill prime ideals) is not allowed because we have to preserve the maximal ideal.
Proof: Suppose is not a valuation ring. Pick
such that
. There are two cases to consider:
If is transcendental, then we can simply consider
and localize at any maximal ideal above $\mathfrak m_A$ (which exists since the map
induces a dominant map on schemes).
On the other hand, if is algebraic, then there exists some
such that $ax$ is integral and then
is a finite map which gives us a dominance after localizing by going up as long as
.
In other words, we can now assume that for
. This is really the crucial case since if
has incomparable prime ideals
, then we can find
such that
.
Now, in this case, consider the ring . The fiber above the maximal ideal is just
which is non zero. Therefore, we can pick a maximal ideal here and localize to get a domination. This more or less corresponds to “killing the incomparability” because
.