The Stacks project

Example 9.26.8. Let $X$ be a compact Riemann surface. Then the function field $\mathbf{C}(X)$ (see Example 9.3.6) has transcendence degree one over $\mathbf{C}$. In fact, any finitely generated extension of $\mathbf{C}$ of transcendence degree one arises from a Riemann surface. There is even an equivalence of categories between the category of compact Riemann surfaces and (non-constant) holomorphic maps and the opposite of the category of finitely generated extensions of $\mathbf{C}$ of transcendence degree $1$ and morphisms of $\mathbf{C}$-algebras. See [Forster].

There is an algebraic version of the above statement as well. Given an (irreducible) algebraic curve in projective space over an algebraically closed field $k$ (e.g. the complex numbers), one can consider its “field of rational functions”: basically, functions that look like quotients of polynomials, where the denominator does not identically vanish on the curve. There is a similar anti-equivalence of categories (Algebraic Curves, Theorem 53.2.6) between smooth projective curves and non-constant morphisms of curves and finitely generated extensions of $k$ of transcendence degree one. See [H].


Comments (2)

Comment #7466 by Gabriel Ribeiro on

The "insert future reference" should be replaced by Tag 0BY1.

There are also:

  • 9 comment(s) on Section 9.26: Transcendence

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 09IB. Beware of the difference between the letter 'O' and the digit '0'.