Freely braided elements in Coxeter groups. II.

From MaRDI portal
(Redirected from Publication:1883391)



Abstract: We continue the study of freely braided elements of simply laced Coxeter groups, which we introduced in a previous work (math.CO/0301104). A known upper bound for the number of commutation classes of reduced expressions for an element of a simply laced Coxeter group is shown to be achieved only when the element is freely braided; this establishes the converse direction of a previous result. It is also shown that a simply laced Coxeter group has finitely many freely braided elements if and only if it has finitely many fully commutative elements.


[For part I, cf. the authors, Ann. Comb. 6, No. 3-4, 337-348 (2002; Zbl 1052.20028).] Let \(W\) be a simply-laced Coxeter group with distinguished generators \(S=\{s_i\mid i\in I\}\) and Coxeter matrix \((m_{ij})_{i,j\in I}\). Let \(w\in W\). Any subset \(\Phi(w)\) of the form \(\{\alpha,\beta,\alpha+\beta\}\) will be called an `inversion triple' of \(w\). We say that an inversion triple \(T\) of \(w\) is `contractible' if there is a root sequence for \(w\) in which the elements of \(T\) appear consecutively (in some order). The number of contractible inversion triples of \(w\) will be denoted by \(N(w)\). If the contractible inversion triples of \(w\) are pairwise disjoint, then \(w\) is said to be `freely braided'. Given any \(i,j\in I\) and any nonnegative integer \(n\), we write \((i,j)_n\) for the word \(iji\cdots\) of length \(n\). Let \(\mathbf{i,j}\) be words and let \(i,j\in I\) with \(m_{ij}\neq 1\). We call the substitution \({\mathbf i}(i,j)_{m_{ij}}{\mathbf j}\to{\mathbf i}(j,i)_{m_{ji}}{\mathbf j}\) a `braid move', qualifying it `short' or `long' according as \(m_{ij}\) equals \(2\) or \(3\). We say that two words are `commutation equivalent' if one can be transformed into the other by a sequence of short braid moves. The set of words that are commutation equivalent to a given word is called the `commutation class' of that word. If the set of reduced expressions for an element \(w\in W\) forms a single commutation class, then we call \(w\) `fully commutative'. The main results obtained by the authors are the following. If \(w\in W\) has \(2^{N(w)}\) commutation classes, then \(w\) is freely braided. A simply-laced Coxeter group \(W\) has finitely many freely braided elements if and only if it has finitely many fully commutative elements.











This page was built for publication: Freely braided elements in Coxeter groups. II.

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