Non-Collapsible Simplicial Complex with Collapsible Barycentric Subdivision

at.algebraic-topologyexamplessimplicial-complexes

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.

Best 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).

Related Question