A simplicial complex which is not collapsible, but whose barycentric subdivision is

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Does anyone know of a simplicial complex which is not collapsible but whose barycentric subdivision is?

Every collapsible complex is necessarily contractible, and subdivision preserves the topological structure, so we are certainly looking for a complex which is contractible, but not collapsible. The only complexes I know of which are contractible but not collapsible are the dunce cap and Bing's house with two rooms. Neither of these have any free faces, and so no iterated subdivision will result in a collapsible complex.

-

3
Main Theorem 5 of arxiv.org/pdf/1107.5789.pdf states that if a $d$-complex admits a geometric realization as a convex subset of $\mathbb{R}^d$, then its $(d-2)$-nd barycentric subdivision is collapsible. – Richard Stanley Feb 5 2012 at 3:08

1 Answer

Lickorish and Martin constructed, for each $r$, a triangulation of the $3$-ball whose $r$th barycentric subdivision collapses, but $(r-1)$th doesn't. The basic idea, going back to Furch and Bing, is to triangulate a cube with a knotted hole, where the missing knot has bridge index $2^r+1$, and then fill back a small part of the hole - so that topologically, no hole remains, but the $3$-ball now contains a knot triangulated by a single edge.

Added later: Kearton and Lickorish also constructed triangulations of the $n$-ball, $n\ge 3$, whose $r$th barycentric subdivision is not collapsible. On the other hand, every triangulation of a ball becomes collapsible after some number of barycentric subdivisions, according to a recent preprint by Adiprassito and Benedetti (see their Corollary 3.5).

-

... and it was known from the very beginning that every triangulation of a ball has a stellar subdivision that is collapsible (Theorem 7 in Simplicial spaces, nuclei, and $m$-groups). Whitehead's papers are always an inspiring reading. maths.ed.ac.uk/~aar/papers/jhcw9.pdf – Sergey Melikhov Jun 21 at 0:26
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 13, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8927043676376343, "perplexity_flag": "middle"}