TY - JOUR

T1 - Generalized quotients in coxeter groups

AU - Björner, Anders

AU - Wachs, Michelle L.

PY - 1988/7

Y1 - 1988/7

N2 - For (W, S) a Coxeter group, we study sets of the form W/V = (wew \ l(wv) = l(w) + l(v) for all v G V), where V ÇW. Such sets WfV, here called generalized quotients are shown to have much of the rich combinatorial structure under Bruhat order that has previously been known only for the case when V Ç S (i.e., for minimal coset representatives modulo a parabolic subgroup). We show that Bruhat intervals in WIV, for general V Ç W, are lexicographically shellable. The Möbius function on W/V under Bruhat order takes values in (—1, 0, +!). For finite groups W, generalized quotients are the same thing as lower intervals in the weak order. This is, however, in general not true. Connections with the weak order are explored and it is shown that W/V is always a complete meet-semilattice and a convex order ideal as a subset of W under weak order. (Formula present) Descent classes Dj = (w G W \ l(ws) < l(w) s G /, for all s G S), Ç S, are also analyzed using generalized quotients. It is shown that each descent class, as a poset under Bruhat order or weak order, is isomorphic to a generalized quotient under the corresponding ordering. The latter half of the paper is devoted to the symmetric group and to the study of some specific examples of generalized quotients which arise in combinatorics. For instance, the set of standard Young tableaux of a fixed shape or the set of linear extensions of a rooted forest, suitably interpreted, form generalized quotients. We prove a factorization result for the quotients that come from rooted forests, which shows that algebraically these quotients behave as a system of minimal “coset” representatives of a subset which is in general not a subgroup. We also study the rank generating function for certain quotients in the symmetric group.

AB - For (W, S) a Coxeter group, we study sets of the form W/V = (wew \ l(wv) = l(w) + l(v) for all v G V), where V ÇW. Such sets WfV, here called generalized quotients are shown to have much of the rich combinatorial structure under Bruhat order that has previously been known only for the case when V Ç S (i.e., for minimal coset representatives modulo a parabolic subgroup). We show that Bruhat intervals in WIV, for general V Ç W, are lexicographically shellable. The Möbius function on W/V under Bruhat order takes values in (—1, 0, +!). For finite groups W, generalized quotients are the same thing as lower intervals in the weak order. This is, however, in general not true. Connections with the weak order are explored and it is shown that W/V is always a complete meet-semilattice and a convex order ideal as a subset of W under weak order. (Formula present) Descent classes Dj = (w G W \ l(ws) < l(w) s G /, for all s G S), Ç S, are also analyzed using generalized quotients. It is shown that each descent class, as a poset under Bruhat order or weak order, is isomorphic to a generalized quotient under the corresponding ordering. The latter half of the paper is devoted to the symmetric group and to the study of some specific examples of generalized quotients which arise in combinatorics. For instance, the set of standard Young tableaux of a fixed shape or the set of linear extensions of a rooted forest, suitably interpreted, form generalized quotients. We prove a factorization result for the quotients that come from rooted forests, which shows that algebraically these quotients behave as a system of minimal “coset” representatives of a subset which is in general not a subgroup. We also study the rank generating function for certain quotients in the symmetric group.

UR - http://www.scopus.com/inward/record.url?scp=84966226471&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84966226471&partnerID=8YFLogxK

U2 - 10.1090/S0002-9947-1988-0946427-X

DO - 10.1090/S0002-9947-1988-0946427-X

M3 - Article

AN - SCOPUS:84966226471

VL - 308

SP - 1

EP - 37

JO - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

SN - 0002-9947

IS - 1

ER -