Posets, regular CW complexes and Bruhat order (Q793059)

From MaRDI portal
Revision as of 11:44, 14 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references