ProofComplete

Proof of the Riemann-Hurwitz Formula

The Riemann-Hurwitz formula relates the Euler characteristics (and hence the genera) of Riemann surfaces connected by a branched covering.


Statement

Theorem10.10Riemann-Hurwitz formula (restated)

Let f:STf: S \to T be a holomorphic map of degree nn between compact Riemann surfaces. Then

2gS2=n(2gT2)+R2g_S - 2 = n(2g_T - 2) + R

where R=pS(ep1)R = \sum_{p \in S}(e_p - 1) is the total ramification and epe_p is the ramification index at pp.


Proof

Proof

Step 1: Triangulate the target.

Choose a triangulation of TT such that every branch value of ff is a vertex. Let the triangulation have VV vertices, EE edges, and FF faces. Then χ(T)=VE+F=22gT\chi(T) = V - E + F = 2 - 2g_T.

Step 2: Pull back the triangulation.

The map ff lifts the triangulation to SS. Away from branch points, ff is a local homeomorphism, so:

  • Each face of TT has exactly nn preimages \Rightarrow FS=nFF_S = nF.
  • Each edge of TT has exactly nn preimages \Rightarrow ES=nEE_S = nE.
  • For vertices: a vertex qTq \in T has preimages p1,,pkp_1, \ldots, p_k with j=1kepj=n\sum_{j=1}^k e_{p_j} = n (the total local degree is nn). So the total number of preimage vertices is VS=qTpf1(q)1V_S = \sum_{q \in T}\sum_{p \in f^{-1}(q)} 1.

For each vertex qq of TT: f1(q)=npf1(q)(ep1)|f^{-1}(q)| = n - \sum_{p \in f^{-1}(q)}(e_p - 1).

Summing over all vertices: VS=nVRV_S = nV - R where R=pS(ep1)R = \sum_{p \in S}(e_p - 1).

Step 3: Compute the Euler characteristic.

χ(S)=VSES+FS=(nVR)nE+nF=n(VE+F)R=nχ(T)R.\chi(S) = V_S - E_S + F_S = (nV - R) - nE + nF = n(V - E + F) - R = n\chi(T) - R.

Step 4: Convert to genus.

Since χ=22g\chi = 2 - 2g:

22gS=n(22gT)R.2 - 2g_S = n(2 - 2g_T) - R.

Rearranging: 2gS2=n(2gT2)+R2g_S - 2 = n(2g_T - 2) + R. \blacksquare


Verification and Examples

ExampleVerification for $z^n$

f(z)=zn:C^C^f(z) = z^n: \hat{\mathbb{C}} \to \hat{\mathbb{C}} has degree nn, gS=gT=0g_S = g_T = 0. Branch points: z=0z = 0 (e=ne = n) and z=z = \infty (e=ne = n). Total ramification: R=(n1)+(n1)=2n2R = (n-1) + (n-1) = 2n - 2.

Check: 2(0)2=n(2(0)2)+2n22(0) - 2 = n(2(0)-2) + 2n - 2, i.e., 2=2n+2n2=2-2 = -2n + 2n - 2 = -2.

ExampleDouble cover of the torus

Let f:STf: S \to T be a double cover (n=2n = 2) of a torus (gT=1g_T = 1) with 44 simple branch points (e=2e = 2 at each). Then:

2gS2=2(22)+4=4    gS=3.2g_S - 2 = 2(2-2) + 4 = 4 \implies g_S = 3.

So a double cover of a torus branched at 44 points has genus 33.

ExampleGenus bound for coverings

For an unramified covering (R=0R = 0) of degree nn: gS1=n(gT1)g_S - 1 = n(g_T - 1). Since gS0g_S \geq 0: n1/(1gT)n \leq 1/(1 - g_T) if gT=0g_T = 0 (only n=1n = 1); any nn if gT1g_T \geq 1.

For gT=1g_T = 1: gS=1g_S = 1 for unramified covers of any degree (unramified covers of tori are again tori).


Generalization

RemarkOrbifold Euler characteristic

The Riemann-Hurwitz formula can be expressed using the orbifold Euler characteristic: χorb(T)=χ(T)q(11/eq)\chi^{\text{orb}}(T) = \chi(T) - \sum_q (1 - 1/e_q) where the sum is over branch values with local ramification eqe_q. Then χ(S)=nχorb(T)\chi(S) = n \cdot \chi^{\text{orb}}(T). This viewpoint is fundamental in the theory of orbifolds and uniformization of surfaces with cone points.