I am reading a paper on Riemann surfaces and faced a problem about one of the refernces the author gave in the exlaination of one of the results.


Here is a summary of what I am reading:


Let $X\_1$ and $X\_2$ be two surfaces. Let $\pi\_1:\widetilde{X\_1}\longrightarrow X\_1$, $\pi\_2:\widetilde{X\_2}\longrightarrow X\_2$ be their universal covering surfaces. Let $G\_1$ and $G\_2$ be the groups of the covering transformations respectively.
 Let Hom($G\_1, G\_2$) be the set of all homomorphisms between $G\_1$ and $G\_2$ and define an equivalence relation by setting $j\_1\sim j\_2$ if there exists an inner automorphism $A: G\_2\longrightarrow G\_2$ such that $j\_2=A \circ j\_1$. Denote the equivalence class of $j$ by $[j]$


Let $f: X\_1\longrightarrow X\_2$ be a continuous map.
 We also know by a lemma that every lifting, $\tilde{f}$, of $f$ induces a homomorphism $\tilde{f\_\*}: G\_1\longrightarrow G\_2$ defined by 
 $$ \tilde{f\_\*}(g)\circ \tilde{f}=\tilde{f}\circ g .$$ We also have the following lemma 


**Lemma** 


Continuous mappings $f\_i:X\_1\longrightarrow X\_2\ , \ i=1,2$, are homotopic if and only if $[\tilde{f\_1}\_\ast]=[\tilde{f\_2}\_\ast]$.


Now let $\mathbf{C}(X\_1, X\_2)$ denote the set of continuous mappings $f: X\_1\longrightarrow X\_2$, and define an equivalence relation by homotopy.


By Lemma above, we can define an injective map 
 \begin{eqnarray}
 \Phi: \mathbf{C}(X\_1, X\_2)/\simeq &\longrightarrow& \mathbf{Hom}(G\_1, G\_2)/\sim \\ 
 &[f] \longrightarrow & [\tilde{f\_\*}]
\end{eqnarray}
 Clearly this map is injective.


***The question is:***


The author refers to a theorem by Hopf (he does not mention the theorem) to conclude that if $X\_1$ and $X\_2$ are compact, then $\Phi$ is bijective.


Hopf's paper was written in German and was published 80 year ago! I do not know any German. Here is a [link to Hopf's paper](http://dl.dropbox.com/u/26606885/Heinz%20Hopf-Beitr%C3%A4ge%20zur%20Klassifizierung%20der%20Fl%C3%A4chenabbildungen.pdf)
 If any body knows what theorem it is, then their help is really appreciated. Thanks in advance.



A theorem by Hopf on surfaces
Since the surfaces of genus $\ge 1$ are aspherical, the homotopy types of maps are classified by their induced homomorphisms of fundamental groups. This is essentially what the final result says. (But, since the fundamental group depends on a marked point in a nontrivial way, and homotopies do not respect marked points, the precise formulation involves these equivalences.)


The injectivity of $\Phi$ is covered by the "if" part of Lemma. To prove surjectivity, identify $G\_1$ and $G\_2$ with fundamental groups $\pi\_1(X\_1,x\_1)$ and $\pi\_1(X\_2,x\_2)$. Now it suffices to prove that, for any homomorphism $h:\pi\_1(X\_1,x\_1)\to\pi\_1(X\_2,x\_2)$ there is a map from $X\_1$ to $X\_2$ which maps $x\_1$ to $x\_2$ and induces $h$ on the fundamental group level.


This can be proved as follows. Construct a cell division of $X\_1$ consisting of the marked point $x\_1$ (the only 0-dimensional cell), loops $\gamma\_1,\dots,\gamma\_{2g}$ (where $g$ is the genus) as 1-dimensional cells (they generate the fundamental group), and a $4g$-gon $D$ attached to these loops as the only 2-dimensional cell. Map $x\_1$ to $x\_2$, then map each $\gamma\_i$ to a loop representing $h([\gamma\_i])\in\pi\_1(X\_2,x\_2)$, then extend this map to $D$. There is no obstruction in the last step because the boundary of $D$ represents the identity of $\pi\_1(X\_1,x\_1)$, hence the boundary of its desired image in $X\_2$ (formed by the images of the $\gamma\_i$'s) represents the identity of $\pi\_1(X\_2,x\_2)$ and hence can be extended to a map of the 2-disc.


I don't read German either, but I'm fairly sure this is what is written in the proof of Satz in the cited Hopf's paper.


