Past exam of the mathematics course of the University of Cambridge / 2023 / ii / Paper 2 / 24F / Solution

If $F:X\to Y$ is a nonconstant holomorphic map between compact connected Riemann surfaces, its local degree at $p$ is the integer $m_F(p)\ge 1$ for which suitable local coordinates giveThe valency theorem states thatis independent of $y\in Y$. This common value is the degree of a holomorphic map, denoted $\mathrm{deg}F$.

Now let $f$ be a nonconstant rational function of degree $d$. If its distinct finite poles have orders $m_1,\dots ,m_r$, and its pole order at infinity is $m_{\infty }\ge 0$, thenThe derivative $f^{\prime }$ has a pole of order $m_j+1$ at each finite pole. When $m_{\infty }>0$, the expansion $f(z)\sim c{z}^{m_{\infty }}$ shows that $f^{\prime }(z)\sim c{m}_{\infty }{z}^{m_{\infty }-1}$ at infinity. Hence the degree of the derivative of a rational function isIn the first case $r\ge 0$, while in the second $1\le r\le d$; thereforeFor every $d\ge 1$, the lower bound is attained by $f(z)=z^d$, whose derivative has degree $d-1$ (with a constant assigned degree zero). For distinct $a_1,\dots ,a_d$, the functionhas $d$ simple poles, degree $d$, and a derivative with $d$ double poles, so $\mathrm{deg}{f}^{\prime }=2d$. Thus both rational bounds are sharp for every $d$.

Let next $g$ be a nonconstant elliptic function for the period lattice $\Lambda$. Its degree is the total order of its poles in a fundamental parallelogram; by the valency theorem, this is also the degree of the induced map $\mathbb{C}/\Lambda \to \hat{\mathbb{C}}$. If these poles have orders $n_1,\dots ,n_s$, then $d=\mathrm{deg}g={\sum }_j{n}_j$, and $g^{\prime }$ has poles of orders $n_j+1$. The degree of the derivative of an elliptic function is consequentlySince every nonconstant elliptic function has at least one pole and $1\le s\le d$,

Let $d\ge 3$ be odd. The Weierstrass elliptic function supplies the lower-bound exampleIt has one pole modulo $\Lambda$, of order $d$, so its derivative has one pole of order $d+1$. For the upper bound, choose distinct points $a_1,\dots ,a_d$ modulo $\Lambda$ and nonzero constants $c_j$ with ${\sum }_j{c}_j=0$. The quasi-periodicity of the Weierstrass zeta function makeselliptic. It has exactly $d$ simple poles, while $g^{\prime }$ has $d$ double poles. Therefore the two bounds are attained for every required odd degree.