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
Let be a holomorphic map of degree between compact Riemann surfaces. Then
where is the total ramification and is the ramification index at .
Proof
Step 1: Triangulate the target.
Choose a triangulation of such that every branch value of is a vertex. Let the triangulation have vertices, edges, and faces. Then .
Step 2: Pull back the triangulation.
The map lifts the triangulation to . Away from branch points, is a local homeomorphism, so:
- Each face of has exactly preimages .
- Each edge of has exactly preimages .
- For vertices: a vertex has preimages with (the total local degree is ). So the total number of preimage vertices is .
For each vertex of : .
Summing over all vertices: where .
Step 3: Compute the Euler characteristic.
Step 4: Convert to genus.
Since :
Rearranging: .
Verification and Examples
has degree , . Branch points: () and (). Total ramification: .
Check: , i.e., .
Let be a double cover () of a torus () with simple branch points ( at each). Then:
So a double cover of a torus branched at points has genus .
For an unramified covering () of degree : . Since : if (only ); any if .
For : for unramified covers of any degree (unramified covers of tori are again tori).
Generalization
The Riemann-Hurwitz formula can be expressed using the orbifold Euler characteristic: where the sum is over branch values with local ramification . Then . This viewpoint is fundamental in the theory of orbifolds and uniformization of surfaces with cone points.