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]