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
    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

    Identifiers