# Why there is no meromorphic function of degree $d=1$ on any compact Riemann surface of positive genus?

We have the Riemann-Hurwitz formula:

$$2g_X-2=d(2g_Y-2)+\sum_{x\in X}(e_x-1)$$

It is said that from this we can deduce that there is no meromorphic function of degree $d=1$ on any compact Riemann surface of positive genus.

I wonder how?

If I let $d=1$, I can get $$2(g_X-g_Y)=\sum_{x\in X}(e_x-1)$$

but what's next? Maybe I lack some knowledge about meromorphic function on Riemann surface, anyone can help?

-
Can't you also put $g_Y = 0$? –  Michael Albanese Jan 9 '13 at 2:29
@MichaelAlbanese, eh, why can I? –  hxhxhx88 Jan 9 '13 at 2:47
@hxhxhx88: a meromorphic function on a Riemann surface is the same as a holomorphic map to the Riemann sphere. This is the map you're applying the Riemann-Hurwitz formula to. –  Qiaochu Yuan Jan 9 '13 at 3:12
@QiaochuYuan, got it, thank you very much! –  hxhxhx88 Jan 9 '13 at 3:33

Let $f:X\to \mathbb C$ a meromorphic function or equivalently a holomorphic function $f:X\to \mathbb P^1$ . Suppose d=1. Then f is bijective holomophic map and therefore a biholomorphic map. Follow that $g(X)=g(\mathbb P^1)$ because $g$ is a topological invariant.

another way:

Like you said : $$2( g(X)-g(\mathbb P^1))=\sum(e_x-1)$$

but $e_x=1$ for all x because $d=1$ and as we know $g(\mathbb P^1)=0$

Therefore $g(X)=0$

-
@hxhxhx88 helped you? –  user52188 Jan 9 '13 at 3:28
yes, your answer is quite helpful, but I'm still having problem: here I need to consider $f$ between two compact Riemann surface $X,Y$, so does such $f$ also equivalent to $X\rightarrow\mathbb{P}^1$? –  hxhxhx88 Jan 9 '13 at 3:32
@hxhxhx88 exactly what I said. A meromorphic function take values in $\mathbb C$ but you can see this like a holomorphic function $f:X\to \mathbb P^1$. –  user52188 Jan 9 '13 at 3:58
@hxhxhx88 For me $\mathbb P^1=\mathbb C\cup{}\infty$ –  user52188 Jan 9 '13 at 4:04
@hxhxhx88 "here I need to consider f between two compact Riemann surface $X,Y$, so does such f also equivalent to $f:X\to \mathbb P^1$?" The answer is yes! –  user52188 Jan 9 '13 at 4:06