A standard combinatorial operation on simplicial complexes that replaces each simplex by a collection of smaller simplices obtained by joining the barycenter of the simplex to the barycenters of its faces, producing a finer simplicial complex with the same underlying polyhedron.

Principle

For each simplex σ in a simplicial complex K, compute the barycenters of all faces of σ and form simplices whose vertices are barycenters ordered by inclusion of faces; iterating this process yields arbitrarily fine triangulations while preserving PL-type and homotopy type.

Demonstration

Example: For a 2-simplex (triangle) with vertices v0,v1,v2, take the barycenter b of the triangle and barycenters of edges; connect b to the edge barycenters and vertices to create six smaller triangles triangulating the original triangle. Applied to a simplicial complex modeling a surface yields a finer triangulation useful for piecewise-linear approximations.

Misapplication

Attempting a barycentric subdivision on a collection of sets that is not a simplicial complex (e.g., overlapping polygons without face incidence data) without first imposing a simplicial structure; the combinatorial rules require well-defined faces and inclusions.

Consequence

Barycentric subdivision produces a simplicial complex with smaller simplices and controlled diameters; it refines combinatorial structure, often making maps simplicial after sufficient subdivision and leaving homology and homotopy type invariant under geometric realization.

Reversal

There is no unique global inverse operation: coarsening a barycentric subdivision requires choices (stellar or bistellar moves) and may change combinatorial type; the subdivision is not generally invertible without additional structure.

Boundary

Defined for simplicial complexes and finite simplicial sets; not directly defined for arbitrary CW-complexes or general topological spaces without first triangulating; preserving manifold PL-structure requires care in high dimensions.

Semantic Tension

Often contrasted with other triangulation refinements (stellar subdivision, edgewise subdivision): barycentric subdivision is canonical and combinatorially simple but increases vertex count rapidly, producing tension between canonicality and combinatorial explosion.

Synthesis

Barycentric Subdivision is the canonical rule that replaces each simplex by simplices built from barycenters of faces, producing finer triangulations that preserve the underlying geometric realization and are used to approximate maps and refine combinatorial invariants.