A simplicial operation that removes a free face σ together with its unique coface τ from a simplicial complex K, where σ is a face of τ and σ is contained in no other maximal simplex; performing such an elementary collapse yields a new complex K' that is simple-homotopy equivalent to K.

Principle

An elementary collapse shortens a simplicial complex by removing a free pair (σ,τ) without changing the simple-homotopy type; repeated elementary collapses define a notion of collapse and expansion dual to simple homotopy equivalence and are fundamental in combinatorial topology.

Demonstration

In a simplicial triangulation of a disk with a boundary edge that belongs to only one triangle, that edge together with its triangle form a free pair and can be removed by an elementary collapse, simplifying the complex while preserving its homotopy type.

Misapplication

Removing an arbitrary face that is not free (for example deleting a face shared by two triangles) and assuming the result is homotopy equivalent — such a removal can change homotopy type and is not an elementary collapse.

Consequence

A sequence of elementary collapses (and their inverses, elementary expansions) relates complexes that are simple-homotopy equivalent; this notion refines plain homotopy equivalence and interacts with algebraic invariants such as Whitehead torsion which obstruct reduction to a point.

Reversal

The inverse operation is an elementary expansion: adjoining a new simplex τ together with a free face σ increases the complex and reverses a collapse; expansions are used to build complexes with prescribed simple-homotopy type.

Boundary

Applies to finite simplicial complexes (or polyhedral complexes after suitable subdivision) where free faces exist; it does not directly apply to arbitrary cell complexes without a simplicial structure unless one passes to subdivisions or PL analogues.

Semantic Tension

Elementary collapse versus deformation retraction: both can simplify complexes while preserving homotopy type, but elementary collapse is a combinatorial, face-by-face operation tied to simple-homotopy theory, whereas deformation retraction is a continuous homotopy notion that may not be realizable simplicially without subdivisions.

Synthesis

An elementary collapse is the removal of a free face–coface pair in a simplicial complex, a combinatorial move preserving simple-homotopy type; iterating collapses and expansions organizes complexes by simple-homotopy equivalence and links combinatorial and algebraic topology.