# References for the threefold categorical equivalence of compact Riemann surfaces?

A lot of the books I've found assert that there is a threefold categorical equivalence between (1) compact Riemann surfaces, (2) smooth projective algebraic curves, and (3) function fields of transcendence degree one. None of them give many details though. I know how to embed compact Riemann surfaces in projective space and then use Chow's theorem to establish an analytic isomorphism between (1) and (2). Are there any good references which give a detailed argument for categorical equivalence though?

More specifically, I guess I want answers/references for the following:

1. What are the arrows associated with each of these categories? (everybody is kind of vague about this)
2. What are the functors which establish the equivalence? For Riemann surfaces and algebraic curves, is it just the isomorphism constructed from the embedding and Chow's theorem?
3. How do I show that these functors are full and faithful?

I would also appreciate it if someone could direct me to a good treatment of the relation between function fields and the other two. Miranda, Kirwan, etc. don't cover this point too well.

• The morphisms are 1) nonconstant holomorphic maps, 2) nonconstant algebraic maps, and 3) maps of extensions of $\mathbb{C}$. The easy functors are taking the function field (2 to 3 and also 1 to 3) and taking the analytification (2 to 1). I don't know how the proofs of equivalence go though. Aug 17, 2015 at 18:12