Shelling (topology)

From HandWiki
Short description: Mathematical concept

In mathematics, a shelling of a simplicial complex is a way of gluing it together from its maximal simplices (simplices that are not a face of another simplex) in a well-behaved way. A complex admitting a shelling is called shellable.

Definition

A d-dimensional simplicial complex is called pure if its maximal simplices all have dimension d. Let Δ be a finite or countably infinite simplicial complex. An ordering C1,C2, of the maximal simplices of Δ is a shelling if the complex

Bk:=(i=1k1Ci)Ck

is pure and of dimension dimCk1 for all k=2,3,. That is, the "new" simplex Ck meets the previous simplices along some union Bk of top-dimensional simplices of the boundary of Ck. If Bk is the entire boundary of Ck then Ck is called spanning.

For Δ not necessarily countable, one can define a shelling as a well-ordering of the maximal simplices of Δ having analogous properties.

Properties

  • A shellable complex is homotopy equivalent to a wedge sum of spheres, one for each spanning simplex of corresponding dimension.
  • A shellable complex may admit many different shellings, but the number of spanning simplices and their dimensions do not depend on the choice of shelling. This follows from the previous property.

Examples

  • The boundary complex of a (convex) polytope is shellable.[2][3] Note that here, shellability is generalized to the case of polyhedral complexes (that are not necessarily simplicial).

Notes

  1. Björner, Anders (1984). "Some combinatorial and algebraic properties of Coxeter complexes and Tits buildings". Advances in Mathematics 52 (3): 173–212. doi:10.1016/0001-8708(84)90021-5. ISSN 0001-8708. 
  2. Bruggesser, H.; Mani, P.. "Shellable Decompositions of Cells and Spheres.". Mathematica Scandinavica 29: 197—205. doi:10.7146/math.scand.a-11045. 
  3. Lectures on polytopes. Springer. pp. 239—246. doi:10.1007/978-1-4613-8431-1_8. 
  4. Rudin, Mary Ellen (1958). "An unshellable triangulation of a tetrahedron". Bulletin of the American Mathematical Society 64 (3): 90–91. doi:10.1090/s0002-9904-1958-10168-8. ISSN 1088-9485. 

References