Published online by Cambridge University Press: 24 October 2008
Zeeman(5) once bravely made the following conjecture:
Conjecture. Suppose K is a contractible 2-complex and I is the unit interval [0, 1]. Then K × I collapses.
This conjecture is interesting since it trivially implies the Poincaré conjecture. For if C is a homotopy 3-cell, then it has a contractible 2-dimensional spine, so that C × I would be a collapsible 4-manifold. But then C × I would be a 4-cell, with C = C × 0 in its 3-sphere boundary, and the PL Schoenfliess theorem shows that C is a 3-cell.