b6128a43b528fb64.tex
1: \begin{abstract}
2: Wright \cite{Wr92} showed that, if a 1-ended simply connected locally compact
3: ANR $Y$ with pro-monomorphic fundamental group at infinity (i.e. representable
4: by an inverse sequence of monomorphisms) admits a proper $\mathbb{Z} $-action,
5: then that fundamental group at infinity can be represented by an inverse
6: sequence of finitely generated free groups. Geoghegan and Guilbault
7: \cite{GeGu12} strengthened that result, proving that $Y$ also satisfies the
8: crucial \emph{semistability} condition (i.e. representable by an inverse
9: sequence of epimorphisms).
10: 
11: Here we get a stronger theorem with weaker hypotheses. We drop the
12: \textquotedblleft pro-monomorphic hypothesis\textquotedblright\ and simply
13: assume that the $\mathbb{Z}$-action is generated by what we call a
14: \textquotedblleft coaxial\textquotedblright\ homeomorphism. In the
15: pro-monomorphic case every proper $\mathbb{Z}$-action is generated by a
16: coaxial homeomorphism, but coaxials occur in far greater generality (often
17: embedded in a cocompact action). When the generator is coaxial, we obtain the
18: sharp conclusion: $Y$ is proper 2-equivalent to the product of a locally
19: finite tree with $\mathbb{R}$. Even in the pro-monomorphic case this is new:
20: it says that, from the viewpoint of fundamental group at infinity,
21: the\ \textquotedblleft end\textquotedblright\ of $Y$ looks like the suspension
22: of a totally disconnected compact set.
23: 
24: \end{abstract}