Is every finite subcomplex of a contractible simplicial complex contained in a finite contractible subcomplex? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T05:33:31Z http://mathoverflow.net/feeds/question/119516 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/119516/is-every-finite-subcomplex-of-a-contractible-simplicial-complex-contained-in-a-fi Is every finite subcomplex of a contractible simplicial complex contained in a finite contractible subcomplex? Michał Kukieła 2013-01-21T22:38:03Z 2013-01-22T00:00:22Z <p>The question is as in the title:</p> <blockquote> <p>Is every finite subcomplex of a contractible simplicial complex $K$ contained in a finite contractible subcomplex of $K$? What if we are allowed to take subdivisions? What if the complex is locally compact and/or finitely dimensional?</p> </blockquote> <p>I suppose the answer is no, but I could not find any counterexamples.</p> http://mathoverflow.net/questions/119516/is-every-finite-subcomplex-of-a-contractible-simplicial-complex-contained-in-a-fi/119519#119519 Answer by Eric Wofsey for Is every finite subcomplex of a contractible simplicial complex contained in a finite contractible subcomplex? Eric Wofsey 2013-01-21T23:12:05Z 2013-01-22T00:00:22Z <p>Let $X$ be any finite complex such that any map $X\to X$ homotopic to the identity is surjective and for which there is a surjective but nullhomotopic PL map $f:X\to X$ (for instance, $X$ could be $S^n$ for any $n>0$). Let $K$ be the mapping telescope obtained by iterating $f$. Then $K$ is contractible, locally compact, and finite-dimensional, but for any triangulation, the only contractible subcomplex (indeed, the only contractible closed subset) that contains the first copy of $X$ is $K$ itself. Indeed, in order to be able to contract the first copy of $X$, you must take a subcomplex that contains the entire second copy, and to contract the second copy, you must contain the third copy, and so on.</p> <p>For $X=S^1$, you can even visualize this example pretty easily. Take a cylinder, and deform it so that one end of it looks like a crescent, and then collapse the crescent to a circle by gluing together the two "C" shapes that make up the crescent and gluing the two endpoints of the "C". Glue that circle to one end of another cylinder, and then deform the other end of that cylinder similarly. Repeating this infinitely gives the telescope $K$.</p>