Triangular homotopy equivalences

MaRDI QIDQ6245519zbMATH OpenFDO

Authors Spiros Adams-Florou

Publication date 10 October 2013

Mathematics Subject Classification ID

PL-topology (57Qxx) Surgery obstructions, Wall groups (57R67)

Abstract: A map $f:XoY$ to a simplicial complex $Y$ is called a $Y$-triangular homotopy equivalence if it has a homotopy inverse $g$ and homotopies $h_1:fcircgsimeqmathrm{id}_Y$, $h_2:gcircfsimeqmathrm{id}_X$ such that for all simplices $sigmainY$, $f{|}_{s}igma:f^{-1}(sigma)osigma$ is a homotopy equivalence with inverse $g{|}_{s}igma:sigmao{f}^{-1}(sigma)$ and homotopies $h_1{|}_{s}igma$ and $h_2{|}_{s}igma$. In this paper we prove that for all pairs $X,Y$ of finite-dimensional locally finite simplicial complexes there is an $epsilon(X,Y)>0$ such that any $epsilon$-controlled homotopy equivalence $f:XoY$ for $epsilon<epsilon(X,Y)$ is homotopic to a $Y$-triangular homotopy equivalence. Conversely, we conjecture that it is possible to `subdivide' a $Y$-triangular homotopy equivalence by finding a homotopic $(Sd,Y)$-triangular homotopy equivalence, consequently a $Y$-triangular homotopy equivalence would be homotopic to an $epsilon$-controlled homotopy equivalence for all $epsilon>0$.

This page was built for publication: Triangular homotopy equivalences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6245519)