Spaces of embeddings of compact polyhedra into 2-manifolds (Q1588329)

Suppose \(M\) is a PL 2-manifold and \(K\subset X\) are compact subpolyhedra of \(M\). Let \(\mathcal{E}_K(X,M)\) denote the space of embeddings \(f:X\to M\) with \(f|_K=id\), equipped with the compact-open topology. The author studies an extension property of embeddings of \(X\) into \(M\) and shows that the restriction map from the homeomorphism group of \(M\) to \(\mathcal{E}_K(X,M)\) is a principal bundle. More in detail, an embedding \(f:X\to M\) is said to be proper if \(f(X\cap \partial M)\subset \partial M\) and \(f(X\cap \operatorname {Int} M)\subset \operatorname {Int}M\). Let \(\mathcal{E}_K(X,M)^{*}\) denote the subspace of proper embeddings and \(\mathcal{E}_K(X,M)^{*}_0\) denote the connected component of the inclusion \(i_X:X\subset M\). Let \(\mathcal{H}_X(M)\) denote the group of homeomorphisms \(h\) of \(M\) onto itself with \(h|_X=id\) and let \(\mathcal{H}_X(M)_0\) denote the identity component of \(\mathcal{H}_X(M)\). Theorem 1. For every \(f\in \mathcal{E}_K(X,M)^{*}\) and every neighborhood \(U\) of \(f(X)\) in \(M\), there exist a neighborhood \(\mathcal{U}\) of \(f\) in \(\mathcal{E}_K(X,M)^{*}\) and a map \(\varphi:\mathcal{U}\to \mathcal{H}_{K\cup (M\smallsetminus U)}(M)_0\) such that \(\varphi(g)f=g\) for each \(g\in \mathcal{U}\) and \(\varphi(f)=id_M\). Corollary. For any neighborhood \(U\) of \(f(X)\) in \(M\), the restriction map \[ \pi:\mathcal{H}_{K\cup (M\smallsetminus U)}(M)_0 \to \mathcal{E}_K(X,M)^{*}_0,\qquad \pi(f)=f|_X, \] is a principal bundle with the fiber \(\mathcal{G}\equiv \mathcal{H}_{K\cup (M\smallsetminus U)}(M)_0\cap \mathcal{H}_X(M)\), where the subgroup \(\mathcal{G}\) acts on \(\mathcal{H}_{K\cup (M\smallsetminus U)}(M)_0\) by right composition. Let \(\mathcal{E}_K^{\text{PL}}(X,M)\) denote the subspace of PL-embeddings. When \(M\) is a Euclidean PL 2-manifold, let \(\mathcal{E}_K^{\text{LIP}}(X,M)\) denote the subspace of Lipschitz embeddings. Theorem 2. Suppose \(M\) is a Euclidean PL 2-manifold and \(K\subset X\) are compact subpolyhedra of \(M\). If \(\dim (X\smallsetminus K)\geq 1\), then the triple \((\mathcal{E}_K(X,M),\mathcal{E}_K^{\text{LIP}}(X,M),\mathcal{E}_K^{\text{PL}}(X,M))\) is a \((s,\Sigma,\sigma)\)-manifold.