The sorting order on a Coxeter group

  title={The sorting order on a Coxeter group},
  author={Drew Armstrong},
  journal={J. Comb. Theory, Ser. A},
  • D. Armstrong
  • Published 2009
  • Computer Science, Mathematics
  • J. Comb. Theory, Ser. A
Let (W,S) be an arbitrary Coxeter system. For each word @w in the generators we define a partial order-called the @w-sorting order-on the set of group elements W"@w@?W that occur as subwords of @w. We show that the @w-sorting order is a supersolvable join-distributive lattice and that it is strictly between the weak and Bruhat orders on the group. Moreover, the @w-sorting order is a ''maximal lattice'' in the sense that the addition of any collection of Bruhat covers results in a nonlattice… Expand

Figures, Tables, and Topics from this paper

SB-Labelings, Distributivity, and Bruhat Order on Sortable Elements
In this article, we investigate the set of γ-sortable elements, associated with a Coxeter group W and a Coxeter element γ ∈ W, under Bruhat order, and we denote this poset by Bγ. We prove that thisExpand
Note on the description of join-distributive lattices by permutations
Let L be a join-distributive lattice with length n and width(JiL) ≤ k. There are two ways to describe L by k − 1 permutations acting on an n-element set: a combinatorial way given by P.H. Edelman andExpand
Word posets, with applications to Coxeter groups
Results are a proof that enumerating the reduced words of elements of Coxeter groups is #P-complete, a recursive formula for computing the number of commutation classes of reduced words, as well as stronger bounds on the maximum number of Commutation classes than were previously known. Expand
Sorting orders, subword complexes, Bruhat order and total positivity
A poset map from a Boolean algebra to the Bruhat order is constructed which unveils an interesting connection between subword complexes, sorting orders, and certain totally nonnegative spaces and gives a simple new proof that the proper part of Bru Hat order is homotopy equivalent to the proper parts of a Booleangebra - that is, to a sphere. Expand
Noncrossing partitions and Bruhat order
We prove that the restriction of Bruhat order to noncrossing partitions in type $A_n$ for the Coxeter element $c=s_1s_2 ...s_n$ forms a distributive lattice isomorphic to the order ideals of the rootExpand
Coordinatization of join-distributive lattices
Join-distributive lattices are finite, meet-semidistributive, and semimodular lattices. They are the same as Dilworth's lattices in 1940, and many alternative definitions and equivalent concepts haveExpand
Matroids, antimatroids, and the generalized external order
Las Vergnas's active orders are a collection of partial orders on the bases of a matroid which are derived from the classical notion of matroid activity. In this paper, we construct a generalizationExpand
Coordinatization of finite join-distributive lattices
Join-distributive lattices are finite, meet-semidistributive, and semimodular lattices. They are the same as lattices with unique irreducible decompositions, introduced by R.P. Dilworth in 1940, andExpand
A Heyting Algebra on Dyck Paths of Type A and B
This article gives a combinatorial description of the Heyting algebra operations join, meet, and relative pseudocomplement in terms of height sequences, and uses these results to derive formulas for pseudocomplements and to characterize the regular elements in these lattices. Expand
Sortable Elements for Quivers with Cycles
This paper defines a more general notion of $\Omega$-sortable elements, where $\ Omega$ is an arbitrary orientation of the Coxeter diagram, and shows that the key properties of $c$- Sortable elements carry over to the $\O Omega$- sortable elements. Expand


Sortable elements and Cambrian lattices
Abstract.We show that the Coxeter-sortable elements in a finite Coxeter group W are the minimal congruence-class representatives of a lattice congruence of the weak order on W. We identify thisExpand
Subword complexes in Coxeter groups
Abstract Let ( Π , Σ ) be a Coxeter system. An ordered list of elements in Σ and an element in Π determine a subword complex , as introduced in Knutson and Miller (Ann. of Math. (2) (2003), toExpand
Meet-distributive lattices and the anti-exchange closure
This paper defines the anti-exchange closure, a generalization of the order ideals of a partially ordered set. Various theorems are proved about this closure. The main theorem presented is that aExpand
Powers of Coxeter elements in infinite groups are reduced
Let W be an infinite irreducible Coxeter group with (s 1 ,..., s n ) the simple generators. We give a short proof that the word s 1 s 2 ... s n s 1 s 2 ··· s n ···s 1 s 2 ...s n is reduced for anyExpand
Join-semidistributive lattices and convex geometries
Abstract We introduce the notion of a convex geometry extending the notion of a finite closure system with the anti-exchange property known in combinatorics. This notion becomes essential for theExpand
The lattice of closure relations on a poset
In this paper we show that the set of closure relations on a finite posetP forms a supersolvable lattice, as suggested by Rota. Furthermore this lattice is dually isomorphic to the lattice of closedExpand
Clusters, Coxeter-sortable elements and noncrossing partitions
We introduce Coxeter-sortable elements of a Coxeter group For finite we give bijective proofs that Coxeter-sortable elements are equinumerous with clusters and with noncrossing partitions. WeExpand
What Is Enumerative Combinatorics
The basic problem of enumerative combinatorics is that of counting the number of elements of a finite set. Usually are given an infinite class of finite sets S i where i ranges over some index set IExpand
Combinatorics of Coxeter Groups
I.- The basics.- Bruhat order.- Weak order and reduced words.- Roots, games, and automata.- II.- Kazhdan-Lusztig and R-polynomials.- Kazhdan-Lusztig representations.- Enumeration.- CombinatorialExpand
Lattices with unique irreducible decompositions
We define the concept of a minimal decomposition in a lattice, and prove that all the currently known lattices with unique irreducible decompositions are in fact lattices with minimal ones. Also, theExpand