Generalized quotients in coxeter groups

Anders Björner, Michelle L Galloway

Research output: Contribution to journalArticle

52 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Pages (from-to)1-37
Number of pages37
JournalTransactions of the American Mathematical Society
Volume308
Issue number1
DOIs
StatePublished - 1988

Fingerprint

Coxeter Group
Quotient
Weak Order
Factorization
Bruhat Order
Coset
Descent
Symmetric group
Convex Order
Order Ideal
Young Tableaux
Linear Extension
Interval
Parabolic Subgroup
Subset
Semilattice
Combinatorics
Poset
Thing
Generating Function

ASJC Scopus subject areas

  • Mathematics(all)
  • Applied Mathematics

Cite this

Generalized quotients in coxeter groups. / Björner, Anders; Galloway, Michelle L.

In: Transactions of the American Mathematical Society, Vol. 308, No. 1, 1988, p. 1-37.

Research output: Contribution to journalArticle

@article{7ec0efdcea2f434981214628e9bcfac4,
title = "Generalized quotients in coxeter groups",
abstract = "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 {\cC}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 {\cC} S (i.e., for minimal coset representatives modulo a parabolic subgroup). We show that Bruhat intervals in WIV, for general V {\cC} W, are lexicographically shellable. The M{\"o}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)",
author = "Anders Bj{\"o}rner and Galloway, {Michelle L}",
year = "1988",
doi = "10.1090/S0002-9947-1988-0946427-X",
language = "English (US)",
volume = "308",
pages = "1--37",
journal = "Transactions of the American Mathematical Society",
issn = "0002-9947",
publisher = "American Mathematical Society",
number = "1",

}

TY - JOUR

T1 - Generalized quotients in coxeter groups

AU - Björner, Anders

AU - Galloway, Michelle L

PY - 1988

Y1 - 1988

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)

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)

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 -