Combinatorial triangulations of homology spheres

In the course of the proof we also show that any Z2-acyclic simplicial complex on ⩽7 vertices is necessarily collapsible. This result is best possible since there exist 8-vertex triangulations of the Dunce Hat which are not collapsible.