Degree of a canonical divisor on a compact Riemann surface

697 Views Asked by At

I'm reading Jürgen Jost's "Compact Riemann Surfaces" Springer textbook 3rd ed (a very good read!).

Jost defines the divisor of a meromorphic differential $\eta$ on a compact Riemann surface by \begin{align} (\eta) := \sum (\text{ord}_{z_{\nu}}\eta) z_{\nu}, \quad \quad \quad \quad (5.4.3)\end{align} where, in local coordinates $\eta = f \ dz$, ord$_{z}\eta :=$ ord$_{z}f$ and the sum extends overall poles and zeroes of $f$. Define the degree of a divisor $D = \sum s_{\nu} z_{\nu}$ ($s_{\nu} \in \mathbb{Z}$) on a compact Riemann surface as \begin{align} \text{deg} D := \sum s_{\nu}. \quad \quad \quad \quad (5.4.9) \end{align} Definition 5.4.2: a canonical divisor is the divisor $(\eta)$ of a meromorphic 1-form $\eta$ on a compact Riemann surface. Jost later proves the following results:

Lemma 5.4.1: If $g$ is a meromorphic function on a compact Riemann surface then deg$(g) = 0$.

Lemma 5.4.4: If $K$ is a canonical divisor on a compact Riemann surface of genus $p$ then deg$(K) = 2p-2$.

My misunderstanding: doesn't Lemma 5.4.1 imply deg$(K)=0$, for a canonical divisor $K$? This contradicts Lemma 5.4.4 and I realise it must be nonsense, perhaps I've misunderstood a definition or something?

My reasoning: \begin{align} \text{deg}(K) &:= \text{deg}(\eta), \text{ with $\eta$ meromorphic,} &&\text{Definition 5.4.2,} \\ &:= \text{deg}\left(\sum (\text{ord}_{z_{\nu}} \eta) z_{\nu}\right), &&\text{Eqn (5.4.3),} \\ &:= \text{deg}\left(\sum (\text{ord}_{z_{\nu}} f) z_{\nu}\right), &&\text{in local coordinates (below Eqn (5.4.3),} \\ &=: \text{deg}(f)=0, &&\text{Lemma 5.4.1.} \end{align}

Is my mistake that ord$_{z}\eta =$ ord$_{z}f$ only holds in local coordinates $\eta = f \ dz$? If so then that would be quite interesting, any intuitive answer why deg$(K)=0$ "locally" but deg$(K)=2p-2$ "globally"?

Thank you for any comments or answers!