On 321-avoiding permutations in affine Weyl groups (Q1604769)

Let \(W\) be the affine Weyl group of type \(A_{n-1}\) with Coxeter generators \(s_1,\dots ,s_n\). For \(t\in {\mathbb{Z}}\) denote \(\overline t\) the congruence class of \(t\) modulo \(n\). There exists a group isomorphism from \(W\) to the set of permutations of \(\mathbb{Z}\) which satisfy the following conditions: \(w(i+n)=w(i)+n\) for \(i\in {\mathbb{Z}}\); \(\sum_{t=1}^nw(t)=\sum_{i=1}^nt\), such that \(s_i\) is mapped to the permutation \(t\mapsto t\mp 1\), if \(\overline t=\overline{i\pm 1}\), \(t\mapsto t\), if \(\overline t\neq \overline{i\pm 1}\). Let \(\rho\) be the permutation of \(\mathbb{Z}\) taking \(t\) to \(t+1\) for all \(t\). Then the group \(\widehat W\) is defined to be the group of permutations of \(\mathbb{Z}\) generated by \(W\) and \(\rho\). Any element of \(\widehat W\) is uniquely expressible in the form \(\rho^zw\) for \(z\in {\mathbb{Z}}\) and \(w\in W\). In this paper it is proved that the 321-avoiding permutations in \(W\) coincide with the set of fully commutative elements (Theorem 2.7) and form a union of Kazhdan-Lusztig cells (Theorem 3.4). The analogue of Theorem 2.7 is obtained for the group \(\widehat W\).