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. Hence
This 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 curve
Projection 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]
Figure 1.
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]
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 gives
Consequently the number of vertices above is
Writing , the Euler characteristic is therefore
Since a compact orientable surface of genus has Euler characteristic , this Triangulation proof of the Riemann-Hurwitz formula gives
or equivalently
Now extend a cubic polynomial to a degree-three holomorphic map
of the Riemann sphere. Both genera are zero, so Riemann--Hurwitz gives
The 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 . Then
for some , and integration gives
An 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 :
Hence
The affine target map gives
Therefore the affine normal forms of a complex cubic polynomial are precisely