Posets, regular CW complexes and Bruhat order (Q793059)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Posets, regular CW complexes and Bruhat order |
scientific article |
Statements
Posets, regular CW complexes and Bruhat order (English)
0 references
1984
0 references
A poset P is thin if all its intervals of length two have cardinality four. For other terminology see e.g., the author and \textit{M. Wachs} [Trans. Am. Math. Soc. 277, 323-341 (1983; Zbl 0514.05009)]. In this very interesting paper the author continues his efforts at the classification of those posets which are somehow (combinatorially) topological in nature. In this case the posets are the ones obtained from CW-complexes K. Indeed, if K is such a complex then F(K) is the set of closed cells ordered by containment and augmented by a bottom element \(\hat0\). A d-CW- complex is a finite regular CW-complex such that every closed cell is a face of a d-dimensional cell. Shellability is defined for d-CW-complexes. The author demonstrates that if P is a thin, nontrivial, finite, pure poset of length \(d+1\) with least element \(\hat0\), then P shellable \(\Rightarrow\) \(P\cong F(K)\), K a d-CW-complex; \^P\(=P\cup \{\hat 0\}\) dual CL-shellable \(\Leftrightarrow\) K can be a shellable d-CW-complex; \^P shellable and thin \(\Rightarrow\) K can be a d-CW-complex homeomorphic to the d-sphere; \^P dual shellable and thin \(\Leftrightarrow\) K can be a shellable d-CW- complex homeomorphic to the d-sphere. Using these results and observations applied to Coxeter groups and Bruhat orderings, the author sharpens some of his own results. He demonstrates that every Coxeter group (W,S) determines a topological space with a regular cell decomposition such that the Bruhat ordering of W is isomorphic to the incidence ordering of the cells. The associated space is a sphere when W is finite and contractible when W is infinite.
0 references
thin posets
0 references
face posets
0 references
closed cells
0 references
finite regular CW-complex
0 references
pure poset
0 references
shellable d-CW-complex
0 references
Coxeter groups
0 references
Bruhat orderings
0 references