Shellability of exponential structures (Q6351651)

From MaRDI portal
scientific article; zbMATH DE number 3950593
Language Label Description Also known as
English
Shellability of exponential structures
scientific article; zbMATH DE number 3950593

    Statements

    Shellability of exponential structures (English)
    0 references
    0 references
    0 references
    1986
    0 references
    An exponential structure is a sequence \(Q=(Q_ 1,Q_ 2,...)\) of posets satisfying: (E1) \(Q_ n\) has a 1 and all maximal chains have length n-1; (E2) For each minimal element \(\rho \in Q_ n\), \(U_{\rho}=\{x\in Q_ n|\) \(x\geq \rho \}\cong \Pi_ n\), the lattice of partitions of \([n]=\{1,...,n\}\); (E3) For any \(\pi \in Q_ n\), \(\pi\) has the same type \(| \pi | =(\lambda_ 1,...,\lambda_ k)\) in all copies of \(\Pi_ n\) in which it lies via the isomorphisms of (E2) and \(L_{\pi}=\{x\in Q_ n|\) \(x\leq \pi \}\cong Q_{\lambda_ 1}\times...\times Q_{\lambda_ k}\). Examples of exponential structures are generated by taking \(Q_ n=\Pi_ n^{(d)}\), the set of all partitions of [nd], with blocks of size divisible by d and ordered by refinement; \(Q_ n=\Pi_{n,r}\), which consists of all partitions \(\pi =B_ 1| B_ 2|...| B_ k\), where \(B_ i = (B_{i1},..., B_{ir})\), \(B_{is}\subseteq [n]\), \(| B_{i1}| =...= | B_{ir}|\), \(\cup B_ i=[n]\times... \times [n]\); \(Q_ n=\chi_ n=\{(G,\pi)|\) \(\pi\) is a coloring of \(G\}\), \(V(G)=n\), \(\pi =B_ 1|...| B_ k\) with \(x,y\in B_ i\) implying \(xy\not\in E(G)\), \((G,\pi)\leq (H,\sigma)\) iff \(\pi\leq \sigma\) in \(\Pi_ n\) and if x,y have different colors in \(\sigma\), then \(xy\in E(G)\) iff \(xy\in E(H)\); \(Q_ n=P_ n\), the collection of all direct sum decompositions of \(V_ n\), the n-dimensional vector space over GF(q) ordered by refinement. In this paper the author finds recursive atom orderings for \({\hat \Pi}_ n^{(d)}\) (add a unique minimum element), \({\hat \Pi}_{n,r}\) and \({\hat \chi}_ n\), thereby setting the question as to their shellability, providing more than an answer to a question of Richard Stanley, concerning the shellability of \({\hat \Pi}_ n^{(d)}\) which was also proven by M. Wachs. The author mentions that no recursive atom ordering for \(\hat P_ n\) was found, leaving the shellability question interesting and open in the last case.
    0 references
    exponential structure
    0 references
    posets
    0 references
    maximal chains
    0 references
    lattice of partitions
    0 references
    coloring
    0 references
    recursive atom orderings
    0 references
    shellability
    0 references

    Identifiers