Homotopy types of homeomorphism groups of noncompact 2-manifolds (Q1588330)

\textit{M. E. Hamstrom} classified [Ill. J. Math. 10, 563-573 (1966; Zbl 0151.33002)] the homotopy types of the identity components of homeomorphism groups \(\mathcal{H}(M)\) of compact 2-manifolds \(M\). In this paper, the author studies the case where \(M\) is noncompact. Suppose \(M\) is a PL 2-manifold and \(X\) a compact subpolyhedron of \(M\). Let denote \(\mathcal{H}_X(M)\) the group of homeomorphisms \(h\) of \(M\) onto itself with \(h|_X=id\), equipped with the compact-open topology, and \(\mathcal{H}(M)_0\) the identity component of \(\mathcal{H}(M)\). The main result of this paper is Theorem. Suppose \(M\) is a noncompact connected (separable) PL 2-manifold and \(X\) a compact subpolyhedron of \(M\). Then (i) \(\mathcal{H}_X(M)\simeq \mathbb{S}^1\) if \((M,X)\cong (\mathbb{R}^2,\emptyset),\;(\mathbb{R}^2,{\text 1\;pt}),\;(\mathbb{S}^1\times \mathbb{R}^1,\emptyset),\;(\mathbb{S}^1\times {\text [0,1)},\emptyset)\) or \((\mathbb{P}^2\smallsetminus {\text 1\;pt},\emptyset)\), (ii) \(\mathcal{H}_X(M)_0\simeq {*}\) in all other cases. Corollary. If \(M\) is a connected (separable) 2-manifold and \(X\) a compact subpolyhedron of \(M\) with respect to some triangulation of \(M\), then \(\mathcal{H}_X(M)_0\) is an \(\ell_2\)-manifold.