Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In modern valuation theory, one studies not just absolute values on a field, but also Krull valuations. The motivation is easy enough:

If $k$ is a field, a valuation ring of $k$ is a subring $R$ such that for every $x \in k^{\times}$, at least one of $x, x^{-1}$ is an element of $R$. (It follows of course that $k$ is the fraction field of $R$.) If $| \ |$ is a non-Archimedean norm on a field, then the set $\{x \in k \ | \ |x| \leq 1 \}$ is a valuation ring. However, the converse does not hold, since if $R$ is a valuation ring, then $k^{\times}/R^{\times}$ need not inject into $\mathbb{R}$: rather it is (under a straightforward extension of the divisibility relation on $R$) a totally ordered abelian group. Moreover, a certain formal power series construction shows that for any totally ordered abelian group $\Gamma$, there exists $k$ and $R$ with $k^{\times}/R^{\times} \cong \Gamma$.

My question is this: what are some instances where having the generality of Krull valuations is useful for solving some problem (which is not a priori concerned with valuation theory)? How do Krull valuations arise in algebraic geometry?

I can almost remember one example of this. I believe it is possible to give a quick proof of the Lang-Nishimura Theorem -- that having a smooth $k$-rational point is a birational invariant among complete [hmm, valuative criterion!] $k$-varieties. I think I saw this in some of Bjorn Poonen's lecture notes, but I forget where. [Last year at this time, I would have emailed Bjorn. I am trying out this new approach on the theory that Bjorn can reply if he wishes, and if not someone else will surely be eager to tell me the answer.]

Are there other nice examples? Maybe something to do with resolution of singularities?

share|improve this question
    
Every answer so far has been really insightful -- thanks to everyone! Based on the second to last paragraph of my question, it seems most reasonable to accept Bjorn's answer, but I am still very interested to hear more: please keep the responses coming. –  Pete L. Clark Jan 19 '10 at 12:14

8 Answers 8

up vote 11 down vote accepted

Since you asked for it, here is a little bit about the role of valuations in the Lang-Nishimura theorem, one version of which is as follows (my version implies yours):

Theorem (Lang-Nishimura): Let $X \to \to Y$ be a rational map between $k$-varieties, where $X$ is integral and $Y$ is proper. If $X$ has a smooth $k$-point $x$, then $Y$ has a $k$-point.

Sketch of proof: Let $K$ be the function field of $X$. The rational map gives a $K$-point on $Y$. If $\dim X=1$, then $\mathcal{O}_{X,x}$ is a valuation ring, so the valuative criterion for properness gives an $\mathcal{O}_{X,x}$-point of $Y$, which reduces to a $k$-point of $Y$. For $\dim X=n>1$, modify the argument by embedding $K$ into a valued field with value group $\mathbb{Z}^n$ and residue field $k$, namely the iterated Laurent series field $F:=k((t_1))((t_2))\cdots((t_n))$, where the $t_i$ are local parameters at $x$. $\square$

1) If one prefers, one can replace this use of the valuative criterion for a rank $n$ discrete valuation with $n$ uses of the valuative criterion for rank $1$ discrete valuations: prove the lemma that if a proper variety has an $L((t))$-point, then it has an $L$-point, and apply the lemma $n$ times. So for this particular application, you don't really need the fancy valuations.

2) Geometrically, the Lang-Nishimura theorem can be understood as follows: Find a smooth irreducible curve $C$ in $X$ through $x$ such that $C$ is not entirely contained in the locus of indeterminacy of $\phi \colon X \to\to Y$. Then $\phi|_C$ extends to a morphism, and the image of $x$ is a $k$-point of $Y$. (The existence of $C$ is not completely obvious, though, so the valuation-theoretic proof is cleaner.)

share|improve this answer
    
Perhaps I should have added that this use of valuations agrees well with what Emerton said about Zariski's picture of valuations as germs of curves. –  Bjorn Poonen Jan 19 '10 at 6:18
1  
I was just going to write that I think comment (2) reflects the spirit in which Zariski applied valuation theory in geometric contexts! –  Emerton Jan 19 '10 at 6:26
    
Many thanks, Bjorn. –  Pete L. Clark Jan 19 '10 at 6:31

M. Temkin has some recent beautiful work on a new approach to semistable reduction for relative curves (without even assuming properness, and not using input about properties of moduli spaces, instead yielding a very new proof of the semistable reduction theorem and much more), and in this he makes very creative use of Zariski-Riemann spaces of valuations.

His method rests on the following very nifty strategy. By valuation-theoretic techniques of Zariski, and with enough uniqueness at one's disposal to do gluing, for certain kinds of problems it suffices to work over valuation rings. Now if $R$ is a valuation ring, we can exhaust its fraction field $K$ by fraction fields $K_i$ of finitely generated $\mathbf{Z}$-subalgebras, and let $R_i$ be the induced valuation ring of $K_i$. Many "finitely presented" problems over $R$ can be reduced to the case of the $R_i$, so we may suppose (for many purposes) that $R$ contains a finitely generated $\mathbf{Z}$-subalgebra with the same fraction field. So what? The nice part is that in such cases $R$ has "finite height" in the sense of valuation theory, and there is a simple recursive procedure that constructs finite-height valuation rings in finitely many steps from valuation rings of smaller height. So if one has set up the appropriate inductive technique, it becomes possible to reduce one's problem to the height-1 case. Using "approximation in the completion" (which needs some work), it is often possible to then even reduce to the case of complete height-1 valuation rings. Now one can appeal to techniques from rigid-analytic geometry. Very nice: problems over general schemes can sometimes be reduced to problems in rigid-analytic geometry, thanks to the use of spaces of valuation rings with unrestricted height.

share|improve this answer

Dear Pete,

This is a fairly general comment, rather than a precise answer:

General valuations were studied very deeply by Zariski, who used them as one of the cornerstones of his investigations of birational geoemtry (including various forms of his Main Theorem, resolution of singularities, and so on). His picture was that different valuation rings (dominating the given local ring $\mathcal O_P$ at a point $P$ in a surface $X$, say) correspond to different germs of curves passing through the point $P$. The rank one valuations are just the germs of algebraic curves passing through $P$, but the other valuations are like transcental curves that give additional information.

I believe that Krull himself didn't see that higher rank valuations would be related to geometry, but that it was Zariski (who studied Krull very carefully) who saw the applicability, and introduced them (and the closely related concept of normality) into algebraic geometry. (I believe that Zariski writes about this somewhere, although I can't remember where.)

This point of view persisted in algebraic geometry up until the Grothendieck revolution. Maybe one of the last results proved using this view-point was the Nagata embedding theorem.

Apparently Grothendieck was very unhappy with valuation theory (and indeed tried to keep it out of Bourbaki's commutative algebra texts, without success), and the only vestige that survived in his view-point was the valuative criteria for separatedness and properness.

Let me close by using this soap-box to encourage people to read Zariski's papers. They are quite wonderful.

EDIT: I just remembered that Lang's book on algebraic geometry, which is a kind of an abridged version of Weil's Foundations, uses valuation theory at various points. (I remember that it is treated at the beginning of the book in the section dealing with foundational concepts in algebra, but I don't remember now exactly what he proves with it later on. But it is a fairly short book, so one could flip through it and see. The whole book doesn't go all that far, and so it's possible that it appears just because it was so endemic to the commutative algebra and algebraic geometry of that time period, rather than because he does anything particularly special with it.)

EDIT: After thinking about this question, I realized that the above statement about rank one valuations corresponding to germs of algebraic curves passing through a point is misleading. See my answer here for a (hopefully) more correct discussion of the geometric intution behind various valuations.

share|improve this answer

A strange and difficult question is whether there exists a scheme without any closed point. It is very tempting to think that since an affine scheme does have closed points ( they correspond to maximal ideals of its ring), one could reduce to the affine case and show that an arbitrary scheme necessarily has a closed point. But this is false: there exist schemes without closed points. And all constructions I know, with one exception, use a valuation ring $V$ with huge valuation group: exactly what you require . They take the affine scheme $Spec(V)$ and the required scheme is $Spec(V)\setminus {M}$, where $M$ corresponds to the maximal ideal of $V$. The simplest example is in Qing Liu's book, exercises 3.26, 3.27 page 113,114 (he attributes this construction to Florian Pop).

The exception I mentioned before is based on Hochster's characterization of topological spaces arising as spectra of affine schemes. You take such a space with just one closed point and (yes, you guessed it) remove it. Details are in Ravi Vakil's publication list, at the bottom of the page, Miscellaneous 3.

http://math.stanford.edu/~vakil/preprints.html

The drawback of this approach without valuation rings is that you have to read Hochster's article, which (although quite interesting) is very technical, as Hochster himself acknowledges.

share|improve this answer
    
Thanks, Georges, this is exactly the sort of answer I was looking for. (Actually I am familiar with Hochster's thesis -- it has even come up on MO -- but I certainly agree that it is technical, and I haven't worked through all the details.) –  Pete L. Clark Jan 19 '10 at 12:08

Let $F/K$ be an algebraic function field. The set $Z$ of all valuation rings of $F$ that contain $K$ can be identified with the projective limit of all projective (proper) $K$-varieties $X$ having $F$ as their function field. In general $Z$ is a ringed space but not a scheme. By construction it is clear that $Z$ encodes geometric information.

share|improve this answer
1  
This is for example used in An arithmetic proof of Pop's Theorem concerning Galois groups of function fields over number fields. J. reine angew. Math. 478, 107--126 (1996). –  Timo Keller Jan 19 '10 at 11:28

The following is about an application of Krull valuations in non-noetherian ring theory:

A noetherian normal domain $R$ can be written as an intersection of discrete valuation domains. Moreover these valuation domains are localizations of $R$ - at the prime ideals of height $1$.

Of course every normal domain $R$ can be written as an intersection of valuation domains of its field of fractions $K$. Motivated by the situation in the noetherian case one can however try to find families $F$ of valuation domains of $K$ such that $R$ is the intersection of the members of $F$ and $F$ has one or more of the following properties:

  1. All members of $F$ are localizations of $R$ at certain primes (or weaker: for every member of $F$ the values of the elements $r\in R$ are precisely all non-negative values in the value group).
  2. All members of $F$ satisfy certain requirements concerning the value groups or the Krull dimension.
  3. Every non-zero $r\in R$ lies in the maximal ideal of at most finitely many elements of $F$.

These properties can be used to classify normal domains to a certain extent. In the period roughly between 1950 and 1970 a bunch of articles were published that seemed to follow this idea. Some author names: Paolo Ribenboim, Jim Brewer, Malcolm Griffin.

share|improve this answer

I would like to point out Teissier's Oberwolfach report about valuations and resolutions of singularity in positive characteristics.

Also, more related to your comment here ,Cutkosky-Tessier has a recent paper which has some references with Zariski's viewpoint results on valuation theory. The websites of Cutkosky and Teissier have a lot more.

share|improve this answer

For a different flavor from the answers to date: valuations beyond the classical discrete valuations arising from absolute values have proved extremely useful in analysing structures of certain division algebras finite-dimensional over their centers. Division algebras (even when finite-dimensional over their centres) are notoriously difficult to get a handle on: for instance, it is almost always impossible to describe their subfields. However, when the centre $F$ is Henselian with respect to a general valuation (Henselian simply means that Hensel's lemma holds: this substitutes for the notion of completeness that is used in the classical case), then it is easy to see that the valuation on $F$ extends uniquely to $D$, and if further the division algebra $D$ is "tame" (i.e., the characteristic of $\overline{F}$ does not divide $[D:F]$), then one can use the valuations on $F$ and $D$ to obtain significant information about $D$.

As an example: if further $D$ is totally ramified over $F$, i.e., $|V(D)/V(F)| = [D:F]$, where $V()$ stands for the value group, then it turns out that there is a nondegenerate alternating pairing from $V(D)/V(F) \times V(D)/V(F)$ to the group of $m$-th roots of unity in $\overline{F}$, where $m$ is the period of $D$ in the Brauer group of $F$. This pairing completely determines $D$: $D$ decomposes as a tensor product of "symbol algebras" (i.e., generalized quaternions), where the tensor factors correspond to a symplectic base for $V(D)/V(F)$. The isomorphism classes of $F$-subalgebras of $D$ are determined by subgroups of $V(D)/V(F)$, and the $F$-isomorphism classes of subfields of $D$ are determined by totally isotropic subgroups of $V(D)/V(F)$. This in turn completely determines tame division algebras over fields of the form $k((x_1))\cdots ((x_n))$ where $k$ is separably closed.

For a survey see the paper: Wadsworth, A. R., Valuation theory on finite dimensional division algebras. Valuation theory and its applications, Vol. I (Saskatoon, SK, 1999), 385--449, Fields Inst. Commun., 32, Amer. Math. Soc., Providence, RI, 2002. (Math Reviews: MR1928379 (2003g:16023) )

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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