Proper \(n\)-homotopy equivalences of locally compact polyhedra (Q1375806)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proper \(n\)-homotopy equivalences of locally compact polyhedra |
scientific article |
Statements
Proper \(n\)-homotopy equivalences of locally compact polyhedra (English)
0 references
11 May 1998
0 references
Maps \(f,g: X\to Y\) between separable metric spaces are said to be properly \(n\)-homotopic if, given any proper map \(\alpha: K\to X\) from an \(n\)-dimensional, separable metric space \(K\), \(f\cdot \alpha\) is properly homotopic to \(g\cdot \alpha\). Extending work of S. Ferry and the author, this paper relates the notion of proper \(n\)-homotopy with that of a proper \(UV^n\)-mapping. The main result shows that if \(f:X\to Y\) is a proper map between (locally compact) polyhedra that induces a surjection between the ends of \(X\) and \(Y\) and that induces isomorphisms not only between the \(i\)th homotopy groups, \(i\leq n\), of \(X\) and \(Y\) but also between the corresponding groups of the ends, then there exists a locally compact polyhedron \(Z\) of dimension at most \(2\cdot \max \{\dim X,n\}+3\) and proper \(UV^n\) maps \(\alpha: Z\to X\), \(\beta:Z \to Y\) such that \(f\cdot \alpha\) is properly \(n\)-homotopic to \(\beta\). As a corollary, a proper map \(f:M\to N\) between \((n+1)\)-dimensional, locally compact ANRs is a proper \(n\)-homotopy equivalence if and only if it is properly \(n\)-homotopic to a proper \(\text{UV}^n\) mapping.
0 references
proper map
0 references
\(UV^ n\) map
0 references
proper \(n\)-homotopy
0 references
ends
0 references