3.II.22F
(i) Let and be compact connected Riemann surfaces and a non-constant holomorphic map. Define the branching order at showing that it is well defined. Prove that the set of ramification points is finite. State the Riemann-Hurwitz formula.
Now suppose that and have the same genus . Prove that, if , then is biholomorphic. In the case when , write down an example where is not biholomorphic.
[The inverse mapping theorem for holomorphic functions on domains in may be assumed without proof if accurately stated.]
(ii) Let be a non-singular algebraic curve in . Describe, without detailed proofs, a family of charts for , so that the restrictions to of the first and second projections are holomorphic maps. Show that the algebraic curve
is non-singular. Find all the ramification points of the .