8
$\begingroup$

I've been trying to read some of Zariski's older works, and I'm having some trouble getting into his mindset. I'd appreciate some help with this.

To quote Zariski (in "normal varieties and birational correspondences"): "A zero-dimensional valuation, that is a place, with center at a point $P$, corresponds to a way of approaching P along some one-dimensional branch, which may be algebraic, analytic, or transcendental. Similarly an $s$-dimensional valuation with an $s$-dimensional center $W$ corresponds to a way of approaching $W$ along an $s+1$-dimensional branch through $W$."

This is leagues away from how I think of valuations. Can you help me fill in the gap?

Also, and more trivially, how do DVR's, the main valuative object that is normally discussed nowadays, fit in his theory?

$\endgroup$
6
  • 1
    $\begingroup$ So... how do you think about valuations? $\endgroup$ Sep 2, 2010 at 17:39
  • 1
    $\begingroup$ But that I meant that I think of valuations as formal algebraic objects, and of (some of the) DVR's as arising from (some of the, or all if V is regular in codim 1) codim 1 sub-varieties. $\endgroup$ Sep 2, 2010 at 17:45
  • $\begingroup$ I don't have the intuition of how to think of a valuation as "approaching" a point or a subvariety. $\endgroup$ Sep 2, 2010 at 17:47
  • 3
    $\begingroup$ DVR's are the main valuative object discussed among those who don't need to do much with valuation theory (since all other valuation rings apart from fields and dvr's are not noetherian). But in fact the more general kinds of valuation rings remain useful and can even be built up from rank-1 valuation rings (which fit well with dvr-based intuition) in a nice way. See section 2.1 of Michael Temkin's paper "Stable modification of relative curves", especially Lemma 2.1.4(iii), for some illumination on the situation beyond the rank-1 case. That may help in understanding the Zariski quote $\endgroup$
    – BCnrd
    Sep 2, 2010 at 18:36
  • 1
    $\begingroup$ The discusion of this post may help: mathoverflow.net/questions/12717/points-and-dvrs/12730#12730 ; it explains how valuations on a surface with centre a point $P$ correspond either to approaching $P$ along an algebraic curve (if the valuation has rank 2) or along a transcendental curve (if the valuation has rank 1). $\endgroup$
    – Emerton
    Sep 3, 2010 at 12:41

1 Answer 1

7
$\begingroup$

I'm not an expert here, but I'll try. Let $X$ be a proper irreducible variety and $K$ the field of meromorphic function on $X$. Let $v : K^* \to A$ be a valuation, where $A$ is a totally ordered abelian group. Recall that the valuation ring $R$ is $v^{-1}(A_{\geq 0})$, with maximal ideal $\mathfrak{m} = v^{-1}(A_{> 0})$. So $R$ is a local ring with fraction field $K$. By the valuative criterion of properness, we get a map $\mathrm{Spec} \ R \to X$; the image of the closed point is called the "center" of $v$. We denote the center by $Z$.

I'll start with the simplest cases, and move to the more general. The easiest case is that $X$ is defined over an algebraically closed field $k$, the point $Z$ is a closed point of $X$, and $A$ is $\mathbb{Z}$. Then the completion of $R$ at $\mathfrak{m}$ is isomorphic to $k[[t]]$; choose such an isomorphism. If $x_1$, $x_2$, ... $x_N$ are coordinates near $z$ then this isomorphism identifies $z_i$ with a power series $\sum x_i^j t^j$.

Intuitively, we can think of $(x_1(t), x_2(t), \ldots, x_N(t))$ as giving an analytic map from a small disc $D$ into $X$, taking the origin to $Z$. (This interpretation makes rigorous sense if we are working over $\mathbb{C}$, and the power series $x_i$ converge somewhere.) The image of this map is the "branch" which Zariski speaks of. The valuation can be thought of as restricting a function to this branch and seeing to what order it vanishes at $Z$. Notice that, if there is a polynomial relation $f(x_1(t), \ldots, x_N(t))=0$ then we should have $v(f)=\infty$ and $v(1/f)= - \infty$. If you don't allow this then you need to require that the $x_i$ be algebraically independent; intuitively, this is the same as saying that the branch does not lie in any polynomial hypersurface. Since Zariski allows "algebraic" branches, I assume he IS permitting this and has some appropriate convention to deal with it.

Now, what if $A$ is a subgroup of $\mathbb{R}$, but is no longer discrete? Then $R$ is going to embed in some sort of Puiseux field. The details here can be subtle, but the intuition should be that the $x_i(t)$ can have real exponents. For example, if $K=k(x,y)$, and $v(f(x,y))$ is the order of vanishing of $f(t, t^{\sqrt{2}})$ at $t=0$, then we can think of $v$ as the order of vanishing along the branch $(t, t^{\sqrt{2}})$. Maybe that is what Zariski means by a transcendental branch??

Suppose now that $Z$ is the generic point of an $s$-dimensional variety. Let $L$ be the field of functions on $Z$ and suppose, for simplicity, that $L$ and $K$ have the same characteristic. If $A=\mathbb{Z}$ then $R$ embeds in $L[[t]]$. Again, we can take coordinates $x_1$, ..., $x_N$ and write them as power series. How to think of these power series? One way is to think of them as giving a map $U \times D$ into $X$, where $D$ is again a small disc and $U$ is a dense open subset of $X$. The image is the $(s+1)$-dimensional branch which Zariski discusses. The valuation is to restrict to this branch and work out the order of vanishing of this restriction along $U \times \{ 0 \}$.

Now, all of this is discussing the case where $A$ embeds (as an ordered group) in $\mathbb{R}$. In general, of course, there are more valuations. For example, let $A=\mathbb{Z} \times \mathbb{Z}$ ordered lexicographically. Let $v:k[x,y] \to A$ send a polynomial to its lowest degree monomial, and extend this to a valuation on $k(x,y)$. The way I would think of that is that we have a little disc near $(0,0)$, and a little curve passing through $(0,0)$ along the $x$-axis. So our valuation is to, first, restrict to the curve and the order of vanishing at the point and, second, to restrict to the surface and take the order of vanishing along the curve. So here we have a flag of branches, not just one. I'm not sure why your Zariski quote doesn't discuss this possibility.

$\endgroup$
1
  • $\begingroup$ "I'm not sure why your Zariski quote doesn't discuss this possibility." The quote starts "A zero-dimensional valuation". Could this be the explanation? $\endgroup$
    – quim
    Dec 17, 2010 at 18:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.