For a nonconstant holomorphic map of Riemann surfaces, choose local coordinates centred at and . The map has the formThe positive integer is its ramification index. The point is ramified exactly when and contributes to the ramification divisor.
A branch value is the image of a ramification point of a holomorphic map. Away from all branch values, a proper holomorphic map is an ordinary unramified covering.
Triangulate the target with all branch values among its vertices. For a degree- map, every edge and face has lifts. Above a target vertex , the number of lifted vertices isbecause . Thuswhich is equivalent to the Riemann-Hurwitz formula.
Up to invertible affine changes in source and target, every complex cubic polynomial is exactly one ofThe extension to the Riemann sphere has two finite units of ramification. A single finite critical point has ramification index three and gives the first form; two distinct simple critical points can be moved to , after which integration gives the second.
Articles by others on the same topic
The Riemann–Hurwitz formula is a fundamental result in algebraic geometry and complex geometry that relates the properties of a branched cover of Riemann surfaces (or algebraic curves) to the properties of its base surface and the branching behavior of the cover.