## Return to Answer

2 added 37 characters in body

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$.

1 [made Community Wiki]

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 transcendence degree 1 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$.
{"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": 28, "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.9271616339683533, "perplexity_flag": "head"}