The absolute orders on the Coxeter groups A_n and B_n are Sperner

DOI10.37236/8874MaRDI QIDQ783067zbMATH OpenOpenAlexFDO

Authors Lawrence H. Harper, Gene B. Kim, Neal Livesay

Publication date 30 July 2020

Published in The Electronic Journal of Combinatorics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1902.08334

Mathematics Subject Classification ID

Extremal set theory (05D05) Combinatorial aspects of groups and algebras (05E16) Ordered groups (06F15) Reflection and Coxeter groups (group-theoretic aspects) (20F55) Ordered groups (group-theoretic aspects) (20F60)

Abstract: Over 50 years ago, Rota posted the following celebrated `Research Problem': prove or disprove that the partial order of partitions on an $n$-set (i.e., the refinement order) is Sperner. A counterexample was eventually discovered by Canfield in 1978. However, Harper and Kim recently proved that a closely related order --- i.e., the refinement order on the symmetric group --- is not only Sperner, but strong Sperner. Equivalently, the well-known absolute order on the symmetric group is strong Sperner. In this paper, we extend these results by giving a concise, elegant proof that the absolute orders on the Coxeter groups $A_n$ and $B_n$ are strong Sperner.

Review text

Summary: There are several classes of ranked posets related to reflection groups which are known to have the Sperner property, including the Bruhat orders and the generalized noncrossing partition lattices (i.e., the maximal intervals in absolute orders). \textit{L. H. Harper} and \textit{G. Kim} [``Is the symmetric group Sperner?, Preprint, \url{arXiv:1901.00197}] proved that the absolute orders on the symmetric groups are (strongly) Sperner. In this paper, we give an alternate proof that extends to the signed symmetric groups and the dihedral groups. Our simple proof uses techniques inspired by Ford-Fulkerson's theory of networks and flows, and a product theorem.

Recommendations

• The absolute order of a permutation representation of a Coxeter group
• The order of a finite Coxeter group
• scientific article; zbMATH DE number 3955215
• A result on the Bruhat order of a Coxeter group
• The absolute order on the symmetric group, constructible partially ordered sets and Cohen-Macaulay complexes
• Maximal order Abelian subgroups of Coxeter groups
• On the Sperner property for the absolute order on complex reflection groups
• The sorting order on a Coxeter group
• A splitting criterion for the bruhat orderings on coxeter groups
• Bases for the Bruhat-Chevalley order on all finite Coxeter groups

Cites work

• Generalized noncrossing partitions and combinatorics of Coxeter groups
• Morphisms for the strong Sperner property of Stanley and Griggs
• Non-crossing partitions for classical reflection groups
• On a problem of Rota
• On the Sperner property for the absolute order on complex reflection groups
• On the structure of the lattice of noncrossing partitions
• Product partial orders with the Sperner property
• Representations of $\mathfrak{sl}( 2,\mathbb{C} )$ on Posets and the Sperner Property
• Symmetric decompositions and the strong Sperner property for noncrossing partition lattices
• The absolute order on the hyperoctahedral group
• The global theory of flows in networks
• The morphology of partially ordered sets
• The weak Bruhat order on the symmetric group is Sperner
• Weyl Groups, the Hard Lefschetz Theorem, and the Sperner Property

Cited in

(6)

• Sperner properties for groups and relations
• On the Sperner property for the absolute order on complex reflection groups
• The symmetric group, ordered by refinement of cycles, is strongly Sperner
• A combinatorial \(\mathfrak{sl}_2\)-action and the Sperner property for the weak order
• The absolute order on the hyperoctahedral group
• Rainbow Ramsey numbers for the Hamming semilattice

This page was built for publication: The absolute orders on the Coxeter groups \(A_n\) and \(B_n\) are Sperner

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q783067)