The study of piecewise-linear (PL) spaces and manifolds built from linear simplices, focusing on triangulations, PL-structures, PL-homeomorphisms, and combinatorial moves that relate different triangulations.

Principle

Represent manifolds and spaces by finite simplicial complexes and study equivalence under PL-homeomorphisms and bistellar (combinatorial) moves; PL methods translate geometric-topological questions into combinatorial and algorithmic form.

Demonstration

Concrete activity: triangulating a manifold by a finite simplicial complex, comparing triangulations through elementary moves (Pachner/bistellar moves), and using combinatorial invariants to classify PL-manifolds or detect obstructions to PL-structures in given dimensions.

Misapplication

Assuming every topological manifold admits a unique PL or smooth structure in all dimensions, or treating PL category interchangeably with smooth category without checking dimension-dependent obstructions and equivalences.

Consequence

PL topology provides combinatorial and often algorithmically implementable invariants and techniques for classification, constructive manipulations of manifolds, and explicit descriptions of homeomorphisms and embeddings when triangulations exist.

Reversal

The reversal is the smooth category (differentiable structures) or purely topological category without triangulations; inverting to those frameworks removes the purely combinatorial, simplex-based toolkit central to PL.

Boundary

Scope covers spaces admitting finite simplicial triangulations and the study of their PL-structures and equivalences; it excludes wild topological spaces without triangulations, fractal sets, and contexts where analytic smooth structure is the primary concern.

Semantic Tension

Tension appears versus the smooth and topological categories: in some dimensions PL, smooth and topological notions coincide, in others they differ (existence or uniqueness of PL-structures), creating competing interpretations of manifold equivalence.

Synthesis

PL topology recasts geometric-topological questions in a combinatorial simplicial framework, using triangulations and elementary combinatorial moves to study manifolds, their classifications, and explicit constructions where triangulations are available.