An operation on a simplicial complex that produces a finer simplicial complex by inserting the barycenter of each simplex and subdividing each simplex into smaller simplices whose vertices are barycenters of faces.

Principle

Replace each simplex by simplices spanned by barycenters of its chains of faces (totally ordered by inclusion); geometrically this refines the mesh while preserving the underlying polyhedron and combinatorial type up to subdivision.

Demonstration

For a triangle, insert the barycenters of the triangle, its edges and vertices, then subdivide the triangle into six smaller triangles whose vertices are the barycenters of nested faces, producing a finer triangulation with smaller diameter simplices.

Misapplication

Applying barycentric subdivision to a cell complex without first triangulating or misinterpreting barycenters in a non-Euclidean embedding can produce an invalid combinatorial structure or destroy desired combinatorial properties if done inconsistently.

Consequence

Repeated barycentric subdivision reduces the mesh size (diameters of simplices) and yields complexes useful for homotopy-theoretic approximations, piecewise-linear constructions, and ensuring simplicial approximations of continuous maps.

Reversal

The inverse notion is coarsening or stellar welds that merge simplices; reversing barycentric subdivision is not canonical and typically requires choices, so there is no unique global inverse operation.

Boundary

Defined for simplicial complexes (abstract or geometric); it does not directly apply to arbitrary CW complexes without triangulation and does not change the underlying topological realization though it changes combinatorics and local geometry.

Semantic Tension

Often contrasted with stellar subdivision: barycentric subdivision uses barycenters of all faces and yields a canonical refinement, while stellar operations locally subdivide about a single simplex and have different combinatorial effects.

Synthesis

Barycentric subdivision systematically refines a simplicial complex by inserting barycenters and subdividing along chains of faces, producing a finer complex with smaller simplices that preserves the geometric realization and facilitates PL and homotopy arguments.