Shellable Nonpure Complexes and Posets. I
Authors: Anders Björner and Michelle L. Wachs
Journal: Trans. Amer. Math. Soc. 348 (1996), 1299-1327
MSC (1991): Primary 05E99, 06A08; Secondary 52B20, 55U15, 57Q05
MathSciNet review: 1333388
Full-text PDF Free Access
Abstract: The concept of shellability of complexes is generalized by deleting the requirement of purity (i.e., that all maximal faces have the same dimension). The usefulness of this level of generality was suggested by certain examples coming from the theory of subspace arrangements. We develop several of the basic properties of the concept of nonpure shellability.
Doubly indexed -vectors and -vectors are introduced, and the latter are shown to be nonnegative in the shellable case. Shellable complexes have the homotopy type of a wedge of spheres of various dimensions, and their Stanley-Reisner rings admit a combinatorially induced direct sum decomposition.
The technique of lexicographic shellability for posets is similarly extended from pure posets (all maximal chains of the same length) to the general case. Several examples of nonpure lexicographically shellable posets are given, such as the -equal partition lattice (the intersection lattice of the -equal subspace arrangement) and the Tamari lattices of binary trees. This leads to simplified computation of Betti numbers for the -equal arrangement. It also determines the homotopy type of intervals in a Tamari lattice and in the lattice of number partitions ordered by dominance, thus strengthening some known Möbius function formulas.
The extension to regular CW complexes is briefly discussed and shown to be related to the concept of lexicographic shellability.
Affiliation: Department of Mathematics, Royal Institute of Technology, S-100 44 Stockholm, Sweden
Michelle L. Wachs
Affiliation: Department of Mathematics, University of Miami, Coral Gables, Florida 33124
Received by editor(s): October 26, 1994
Additional Notes: Research of the second author partially supported by NSF grants DMS 9102760 and DMS 9311805.
Article copyright: © Copyright 1996 American Mathematical Society