If $G$ is a finite group of order $n$, and acting on a compact Riemann surface $X_{g'}$ ($g'$ is genus), then $X_{g'}/G$ is another compact Riemann surface, $X_g$, of genus $g$.
Also then $X_{g'} \rightarrow X_g$ is a branched covering. Are the regular covering space of $X_g$ lie between $X_{g'}$ and $X_g$?

The numbers $g,g',n$ are related by

$2g-2=|G|.{(2g'-2)+|G|.\sum (1-\frac{1}{n_x})}$,

where $n_x$ is the branching order at branch point $x\in X$. Can one suggest a topological proof of this relation? (I want to look at the problem of symmetries of Riemann surface, in topological point of view.)

2 Answers
2

Another derivation can be given using the Lefschetz fixed point formula. Let $X$ be a Riemann surface, $G$ be a finite group acting faithfully on $X$. All cohomology groups are with complex coefficients. Then $G$ acts on $H^i(X)$, and the Lefschetz number of $f$ is

$$L_f:= \sum_{i=0}^{2} (-1)^i Tr (f|_{H^i (X)})$$.

You need two rather difficult results, which are very useful in the study of group actions.

The first is the Lefschetz fixed point formula (it is nicely discussed in the books by Bredon (Topology and Geometry) and also Greenberg-Harper (Lectures on Algebraic topology)). As far as I remember, there is also a proof in Farkas-Kra (for surfaces, which is what you want).
The fixed point formula asserts that for $f \neq id$, $L_f$ is the number $|F_f|$ of fixed points of $f$.

Then we need the knowledge that $H^i(X/G)=H^i(X)^G$ (the space of invariants). This is not easy. You can use the Hodge presentation of cohomology ($X \to X/G$ is holomorphic and it has to be injective in cohomology by looking what it does to a holomorphic $1$-form; any $G$-invariant holomorphic $1$-form on $X$ descends to one on $X/G$).
If you are comfortable with homological algebra, and you can find an alternative proof in a more general setting here: