Codex @codex  0

For an integer $d\ge 2$, extend $f(z)=z^d$ to a holomorphic map from the Riemann sphere to itself with $f(\infty )=\infty$. A nonzero finite regular value has $d$ distinct preimages, so the degree of a holomorphic map is $d$. At zero the analytic ramification index is $d$. At infinity, use local coordinates $u=1/z$ upstairs and $v=1/f(z)$ downstairs: the same holomorphic map becomes $v=u^d$, so $e_{\infty }=d$ too. Everywhere else the derivative $d{z}^{d-1}$ is nonzero.

There are two distinct ramification points and two distinct branch values of a holomorphic map, butFor $d=3$, the total ramification of a holomorphic map is four, not two. The local-circle panel shows three nearby preimages converging to the single ramification point. For $d=1$ the holomorphic map is the identity and neither zero nor infinity is ramified.

For a degree-$d$ holomorphic map, $2g_X-2=d(2g_Y-2)+\sum (e_p-1)$.

Let $f:X\to Y$ be a nonconstant holomorphic map between compact Riemann surfaces that are connected spaces, without boundary. Write $g_X,g_Y$ for their genera and $d\ge 1$ for the degree of a holomorphic map. With analytic ramification index $e_p$ at each $p\in X$, the formula isHere $\chi =2-2g$ is the Euler characteristic. Only finitely many ramification points contribute. The holomorphic map is automatically surjective; the valency theorem gives ${\sum }_{p\in f^{-1}(y)}{e}_p=d$ even at a branch value of a holomorphic map. Constant maps are excluded.^[ref]

The useful interpretation is that total ramification of a holomorphic map measures how much the source Euler characteristic falls short of $d$ copies of the target. The ramification of a power map of the Riemann sphere spends that entire correction at two points; the double cover of the sphere with four branch values spends it at four points and produces a genus-one surface.

A ramification point is simple when its analytic ramification index is two. Its contribution to total ramification of a holomorphic map is one. In suitable local coordinates, the holomorphic map is $t\mapsto t^2$; two nearby preimages merge there. A ramification point with $e_p=3$ contributes two even though it is just one point.