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:
- What are the arrows associated with each of these categories? (everybody is kind of vague about this)
- 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?
- 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.