1
$\begingroup$

I am studying the following exercise:

Show that the meromorphic functions on the Riemann sphere have the form $p(z)/q(z)$, where $p$, $q$ are coprime polynomials.

Is an exercise in Donaldson Riemann Surface.

I thought the following way to solve:

Let $f$ be a meromorphic function on the Riemann sphere. Let $\lambda_1,\ldots,\lambda_n$ be a points in $f^{-1}(0)$ such that $\lambda_i \neq \infty$. Let $\mu_1,\ldots,\mu_m$ be the points in $f^{-1}(\infty)$ in the same way. Then $$\frac{f(z)(z- \mu_1)\cdots(z-\mu_m)}{(z-\lambda_1)\cdots(z-\lambda_n)} =:g(z)$$ defines a meromorphic function with no zeros (except possibly at $\infty$) and no poles (except possibly $\infty$). Either way $g(z)$ either lacks zeros it lacks poles. So $\deg(g)=0$ and hence $g$ is constant. Then $f=p/q$ for some polynomials $p$ and $q$.

I wonder if you're reasonable. Any adjustment ??

$\endgroup$
  • 1
    $\begingroup$ I think there are several problems. 1) $g(z)$ may still have zeros or poles. For example, take $f(z)=1/z^2$. But to fix this, you could just add powers to your $z-\mu_i$ and $z-\lambda_i$. 2). I am not sure why $g(z)$ is constant. You could have a holomorphic function on $\mathbb C$ with no poles or zeros. Take $e^z$ for example. $\endgroup$ – hwong557 Jan 15 '17 at 21:37
  • $\begingroup$ Do you have any tips to give? $\endgroup$ – Manoel Jan 15 '17 at 21:48
  • 1
    $\begingroup$ Well you can manufacture a meromorphic function $g$ on the Riemann sphere that is holomorphic on $\mathbb C$ by killing the poles. Examine the Laurent expansion of $g(1/z)$, and see that it cannot have an infinite tail (because $g$ is meromorphic on the Riemann sphere). So $g(z)$ is a polynomial. $\endgroup$ – hwong557 Jan 15 '17 at 21:55
  • 2
    $\begingroup$ Your argument is basically correct, except you need to take multiplicities into account. That is, if $\lambda_i$ is a zero of multiplicity $n_i$, you need to divide by $(z-\lambda_i)^{n_i}$, and likewise you need to multiply by $(z-\mu_j)^{n_j}$ for a pole of order $n_j$. $\endgroup$ – Michael Weiss Jan 15 '17 at 22:05
  • 1
    $\begingroup$ @Manoel $z\mapsto e^z$ is not meromorphic on all of $\mathbb C\cup\{\infty\}. \qquad$ $\endgroup$ – Michael Hardy Jan 15 '17 at 22:23
2
$\begingroup$

To show that a function that is meromorphic in $\mathbb C\cup\{\infty\}$ and has no poles or zeros is constant, you can argue as follows.

First say that it's holomorphic in all of $\mathbb C$ because of the lack of poles. Then, since it's holomorphic at $\infty$, it has neither a pole nor an essential singuarity at $\infty$; hence it has some finite value there. Now you have a function that is continuous on the compact space $\mathbb C\cup\{\infty\}$ and that never takes the value $\infty$, so there is some open neighborhood of $\infty$ in which the function has no values. Thus it is bounded and holomorphic on $\mathbb C.$ Then use Liouville's theorem.

| cite | improve this answer | |
$\endgroup$
  • 2
    $\begingroup$ Where do you use the fact that the function has no zeros? It feels this assumption is not necessary. $\endgroup$ – Jacob Apr 12 at 22:09
  • $\begingroup$ @Jacob : As far as I can see when I look at this now, the lack of zeros is not used. $\qquad$ $\endgroup$ – Michael Hardy Apr 13 at 5:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.