Suppose a nonconstant holomorphic map from a connected compact Riemann surface has degree of a holomorphic map two and exactly four distinct branch values of a holomorphic map. The valency theorem forces each of their fibres to contain one ramification point with , a simple ramification point of a holomorphic map. HenceThis determines the genus without recognizing a torus in a drawing.
A concrete realization is the compact Riemann surface obtained by adding the two points at infinity to the even-degree hyperelliptic model given by the algebraic curveProjection to has degree of a holomorphic map two. At a simple zero of , is a local coordinate and , so . At infinity set and : then . There are two points with , , each unramified since is a local coordinate. The four finite roots are therefore all the branch values of a holomorphic map.[ref]
Geometry of Surfaces by Nigel Hitchin (B3a course 2013). Section 3.3, printed pp. 41-43: local coordinates at simple roots, two points at infinity for even polynomial degree, and ramification count
Cell-count schematic for a double cover of the sphere with four simple branch values: four vertices, twelve edges and eight faces upstairs
. Details. Choose a triangulation of a surface on the Riemann sphere with these four branch values of a holomorphic map as vertices, combinatorially the boundary of a tetrahedron. Its counts are . Upstairs, each vertex has one preimage and each open edge and face has two lifts: , giving Euler characteristic . This is a cell schematic, not a geometric immersion of . The Triangulation proof of the Riemann-Hurwitz formula applies the same counting idea after refining a general triangulation of a surface around the branch values of a holomorphic map.[ref]
Geometry of Surfaces by Nigel Hitchin (B3a course 2013). Section 3.2, Theorem 3.2 and its triangulation proof, printed pp. 38-39
Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 1 24F Solution Created 2026-09-24 Updated 2026-09-29
Let be a nonconstant holomorphic map of degree between compact connected Riemann surfaces. At , let be the ramification index of a holomorphic map. Choose a triangulation of containing every branch value among its vertices, and lift it to .
If the target triangulation has vertices, edges, and triangles, then the lifted triangulation has edges and triangles, because no branch value lies in an edge or face interior. For a target vertex , local degree counting givesConsequently the number of vertices above isWriting , the Euler characteristic is thereforeSince a compact orientable surface of genus has Euler characteristic , this Triangulation proof of the Riemann-Hurwitz formula givesor equivalently
Now extend a cubic polynomial to a degree-three holomorphic mapof the Riemann sphere. Both genera are zero, so Riemann--Hurwitz givesThe point at infinity is totally ramified with , contributing two. Thus the finite points contribute exactly two. There are consequently two cases.
If there is one finite ramification point , it has index three. Choose an affine source map sending zero to . Thenfor some , and integration givesAn affine target map subtracts and rescales by , yielding .
Otherwise there are two distinct finite ramification points, each of index two. Choose an affine source map sending and to them. The derivative of is then a nonzero multiple of :HenceThe affine target map givesTherefore the affine normal forms of a complex cubic polynomial are precisely
