Riemann-Hurwitz formula
Statement
Suppose are compact Riemann surfaces and is an analytic map. Then we have:
where , termed the branching number of , is defined as:
where is the local degree of the map around . Note that the set of for which is a finite set, because it is discrete and closed and is a compact set. The points for which are termed branch points.
Note that in case , we get an actual covering map, and in this case we are simply told that the degree of the covering map equals the ratio of the Euler characteristics of the Riemann surfaces.