## Does there exist a Riemann surface corresponding to every field extension? Any other hypothesis needed?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

My question is a doubt I had in the last point to the first answer to this MO question - http://mathoverflow.net/questions/14314/algebraic-topologies-like-the-zariski-topology

Can one associate a Riemann surface to any arbitrary field extension? The statement there says its true, it is the (equivalence class of) valuations which fix the base field. The result seems too fascinating to be true. Are there any extra hypotheses?

I am aware of the result that the valuations of C(x)/C form the Riemann sphere (counting the exponent of any (x-a) in each rational function gives a correspondence between points on the complex plane (minus infinity) and valuations.)

Any references?

-

1
There are good answers below, but briefly: the "Zariski Riemann surface" is usually not a Riemann surface (sorry!): it is a top. space. When $K/k$ is f.g. of trdeg $1$, the Z.R.S. is essentially the Zariski topology on the unique complete, normal curve over $k$ with function field $K$. (When $k = \mathbb{C}$, there really is a compact Riemann surface here. Otherwise not.) If the trdeg is greater than one, the Z.R.S. is more complicated than any one variety with the given function field: it is keeping track of all models at once. If tr.deg. is zero, the Z.R.S. is a single point. – Pete L. Clark Jun 18 2010 at 11:22

## 3 Answers

Zariski introduced an abstract notion of Riemann surface associated to, for example, a finitely generated field extension $K/k$. It's a topological space whose points are equivalence classes of valuations of $K$ that are trivial on $k$, or equivalently valuation rings satisfying $k\subset R_v\subset K$. If $A$ is a finitely generated $k$-algebra inside $K$ then those $R_v$ which contain $A$ form an open set.

In the case of a (finitely generated and) transcendence degree 1 extension all of these valuation rings are the familiar DVRs -- local Dedekind domains -- and they serve to identify the points in the unique complete nonsingular curve with this function field. (There is also the trivial valuation with $R_v=K$, which corresponds to the generic point of that curve.)

In higher dimensions there are lots of complete varieties to contend with -- you can keep blowing up. Also there are more possibilities for valuations. Most of the valuation rings are not Noetherian. A curve in a surface gives you a discrete valuation ring, consisting of those rational functions which can meaningfully be restricted to rational functions on the curve: those which do not have a pole there. A point on a curve on a surface gives you a valuation whose ring consists of those functions which do not have a pole all along the curve, and which when restricted to the curve do not have a pole at the given point. The value group is $\mathbb Z\times \mathbb Z$ lexicographically ordered. A point on a transcendental curve in a complex surface, or more generally a formal (power series) curve in a surface gives you a valuation by looking at the order of vanishing; the value group is a subgroup of $\mathbb R$.

This space of valuations has something of the flavor of Zariski's space of prime ideals in a ring: it is compact but not Hausdorff, for example. It can be thought of as the inverse limit, over all complete surfaces $S$ with this function field, of the space (Zariski topology) of points $S$.

-

On the point of the general relationship to Spec of a ring. I once had a conversation with an expert on Zariski's construction with valuations rings, where it seemed that a locale could immediately be written down as a presentation. There is also a well-known presentation of Spec as a locale, by divisibility basically. But the former point I hadn't seen mentioned anywhere (whether or not it is useful). – Charles Matthews Jun 18 2010 at 9:28

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

You need the field extension to have transcendence degree 1 over $\mathbb{C}$ to get a Riemann surface. More generally, you can get an algebraic curve at least for every transcendence degree 1 extension over an algebraically closed field. Chapter I of Hartshorne does this in detail, I don't know an analytic approach.

-
Chapter I, Section 1.6. – H. Hasson Jun 18 2010 at 4:16

1
The extension needs to be finitely generated, so you can avoid things like $\mathbb{C}(t,t^{1/2},t^{1/3},\ldots)$. – S. Carnahan♦ Jun 18 2010 at 4:35

2
If $K/k$ is any extension of fields one can define the Riemann-Zariski space ${\rm{RZ}}(K/k)$ to consist of all valuations on $K$ trivial on $k$. It has a natural quasi-compact "Zariski topology". These were used by Zariski mainly for $K/k$ finitely generated, but make sense in general. Variants on this have been extremely useful in recent work in non-archimedean geometry as well as resolution of singularities (cf. work of M. Temkin). – BCnrd Jun 18 2010 at 4:42
@Scott, Ahh, I always forget finitely generated hypotheses, they're just completely internalized to me. I should be more careful. – Charles Siegel Jun 18 2010 at 6:09

For compact Riemann surface, the algebraic approach and the analytic approach is the same(Chow's lemma), so the algebraic answer is sufficient for you. i.e. For every extension finitely generated over \mathbb{C} which has transcendental degree 1(up to isomorphism), there is a unique Riemann surface you want.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 26, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9274024367332458, "perplexity_flag": "head"}