# Find branch points as zeroes of derivative

A non-constant holomorphic function $f:X\to Y$ between Riemann Surfaces has a branch point at $p\in X$ if there is no open neighbourhood around p on which $f$ is injective.

I looked up examples and saw that sometimes people only look at the zeroes of the derivative and say that these are the branch points. Why is this the case?

• How does the local normal form of a holomorphic function look? – Daniel Fischer Jul 30 '17 at 18:34
• The normal form around $p$ is $z\mapsto z^k$. If its derivative has a zero, this means that $k>1$, so $p$ is a branch point. But why is it then enough to check the derivatives of $f$? – user451226 Jul 30 '17 at 18:43
• Because if the derivative at $x$ is nonzero, then $k = 1$ at $x$, and $f$ is injective on every small enough neighbourhood of $x$. – Daniel Fischer Jul 30 '17 at 18:45
• Ok, this means I find the points that are no branch points by looking at the points where the derivative does not vanish. But what about the points where the derivative vanish? Are those actually branch points or are they just candidates and one needs to check if they really are branch points by using a different method? – user451226 Jul 30 '17 at 18:55
• The derivative vanishing means $k > 1$, so a point is a branch point if and only if the derivative vanishes there. – Daniel Fischer Jul 30 '17 at 18:57

For an analytic function in a neighbourhood of $p$, if $f'(p) \ne 0$ then $f$ is injective in a neighbourhood of $p$, while if $f'(p) = 0$ it is not. Indeed,
$f - f(p)$ has a zero of order $m$ at $p$ if and only if $f'$ has a zero of order $m-1$ there (no zero at all in the case $m=1$). For $w$ in a deleted neighbourhood of $f(p)$, the zeros of $f - w$ in a neighburhood of $p$ are all simple, and the number of them is equal to $m$ by the Argument Principle.
• No, but $f'(p) = 0$ does. – Robert Israel Jul 31 '17 at 2:49