5
$\begingroup$

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?

Improve this question
$\endgroup$
2
  • 1
    $\begingroup$ 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. $\endgroup$
    – Will Sawin
    Commented Nov 21, 2011 at 3:54
  • 1
    $\begingroup$ 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. $\endgroup$
    – Ben Wieland
    Commented Nov 21, 2011 at 4:59

0

Reset to default

You must log in to answer this question.