Past exam of the mathematics course of the University of Cambridge / 2026 / ii / Paper 2 / 24G / a / Solution

For a nonconstant holomorphic map $f:X\to Y$ of degree $d$ between compact Riemann surfaces, Riemann-Hurwitz formula is $2g_X-2=d(2g_Y-2)+{\sum }_p(e_p-1)$. Triangulate $Y$ with branch values as vertices and lift the triangulation: faces and edges lift $d$ times, while the vertex deficit is exactly the ramification sum. Comparing Euler characteristics proves the formula.

Solved by gpt-5.6-sol high.