MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

One can classify all valuations on a function field $K$ of transcendence degree $2$ over $\mathbf{C}$. Let's consider the set $S_K$ of all valuations on $K$ endowed with the Zariski-Riemann topology.

It's easy to see that $S_K$ is never Hausdorff. One can show that it's quasi-compact.

I'm wondering if we can say more about $S_K$. Does it have an algebraic structure? Is it a stack?

share|cite|improve this question
The natural ring to put on each open set is the intersection of all the valuation rings. This gives you the correct answer for curves, when you know what the algebraic structure should be. I don't know enough about stacks to figure out if it is one. – Will Sawin Nov 21 '11 at 3:54
As a set or topological space, is the inverse limit of all proper models of the function field. It is probably best to treat it as a formal inverse limit of varieties. – Ben Wieland Nov 21 '11 at 4:59

Your Answer


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

Browse other questions tagged or ask your own question.