1: \begin{abstract}

2:   For a locally finite connected graph $X$ we consider the

3:   group $\maps(X)$ of proper homotopy equivalences of $X$. We show

4:   that it has a natural Polish group topology, and we propose these groups as an

5:   analog of big mapping class groups. We prove the Nielsen Realization

6:   theorem: if $H$ is a compact subgroup of $\maps(X)$ then $X$ is

7:   proper homotopy equivalent to a graph $Y$ so that $H$ is realized by

8:   simplicial isomorphisms of $Y$.

9: \end{abstract}

10: