0

Let $X$ be a compact Riemann surface and $f:X\to\mathbb{C}$ be a holomorphic function. By the local normal form, for each point $p\in X$ there exists a chart $\varphi:U\to V$ in $X$ centered at $p$, and an integer $m$ such that $$f\circ\varphi^{-1}(z)=z^m$$ in a neighborhood of $0$. This integer is called the multiplicity of $f$ at $p$. We will denote it by $\text{Mult}_p(f)$.

We then know that there is only a finite number of points $p$ where $\text{Mult}_p(f)$ is non-zero. Moreover, $$\sum_{p\in X} \text{Mult}_p(f)=0.$$

I also saw some texts saying that the sum of orders of zeros of a holomorphic function in a genus $g$ Riemann surface is equal to $2g-2$. Isn't this sum exactly $$\sum_{p\in X} \text{Mult}_p(f)\:\:\:?$$

I would like to understand exactly what this phrase "the sum of orders of zeros of a holomorphic function in a genus $g$ Riemann surface is equal to $2g-2$" means and, if possible, how to prove it. (If needed, I understand the Riemann-Hurwitz formula.)

Gabriel
  • 4,513
  • 2
    Are you sure you want to consider an holomorphic function? If $f:X\rightarrow \mathbb{C}$ is holomorphic and non-constant, then it is open; $X$ is compact; so if $f$ is non-constant, $f(X)$ is compact and open in $\mathbb{C}$... – dcolazin Apr 05 '19 at 22:03

1 Answers1

5

Let $X$ be a compact Riemann surface and $M$ its field of meromorphic functions. If $f \in M$ is holomorphic then $f$ must be constant.

  • Let $h$ be meromorphic non-constant, for most $a\in \Bbb{C}$, $h-a$ has only simple zeros, let $f = \frac{1}{h-a}$ having $N$ simple poles.

    Fix a basepoint $p_0\in X$ then $p \mapsto F(p)=\int_{p_0}^p df = f(p)-f(p_0)$ is a branched covering $X \to \Bbb{C}\cup \infty = \Bbb{CP^1}$.

    $|F^{-1}(\infty)| = N$, the simplicity of the poles mean all the ramification points are $\in \Bbb{C}$, the Riemann-Hurwitz formula gives $2-2g=\chi(X) = N \chi(\Bbb{CP^1}) - \sum_{p\in X} (e_p-1)= 2N- \sum_{p\in X} (e_p-1)$ so $ \sum_{p\in X} (e_p-1)=2N+2g-2$ where $e_p-1$ is the multiplicity of the zero of $f'(z)$ at $p$, ie. $f'(z)$ has $2N+2g-2$ zeros counted with multiplicity. Since $f'(z)$ also has $N$ double poles, we find it has $2g-2$ more zeros than poles.

    Note $f'(z)$ depends on the chosen chart (and it is only defined locally) but its zeros/poles don't depend on the chart, so it makes sense to talk of the global divisor of the local functions $f'(z)$. This is what we mean with the divisor of $df$.

  • For any meromorphic function $u$ then $u df$ is a meromorphic one-form and since $u$ has the same number of zeros/poles then $udf$ has $2g-2$ more zeros than poles.

  • Sometimes in every chart $u(z)f'(z)$ is holomorphic : in that case $udf$ is an holomorphic one-form, and since it is a meromorphic one-form with no poles

    it must have exactly $2g-2$ zeros counted with multiplicity.

    The complex vector space of holomorphic one-forms is $g$-dimensional, ie. its real dimension is $2g$, making it dual to the homology group $H_1(X,\Bbb{R})$, this is another problem.

reuns
  • 77,999
  • lets say we have a holomorphic 1-form $\omega=f:\mathrm{d}z$. That is, for each chart $\varphi_\alpha$ of $X$, we have a locally-defined function $f_\alpha$. How would I "glue" all these $f_\alpha$ to count its zeros? – Gabriel Apr 09 '19 at 19:28
  • 1
    For any non-constant $f \in M$ the set of meromorphic one-forms is ${ u df, u \in M}$. That's because if $\omega$ is a meromorphic one-form then $\frac{\omega}{df}$ is a meromorphic function. You can think to a chart $z_a$ as a function defined only on a subset $U$ of $X$ and holomorphic and bijective there, so $dz_a$ is a meromorphic one-form on $U$ and $u_a=\frac{\omega}{dz_a}$ is a meromorphic function on $U$ ie. $\omega= u_a dz_a$. The gluing is the same as for the different charts : on $U \cap U_2$ the two versions of our things need to be equal. – reuns Apr 09 '19 at 19:59