arXiv++ Combinatorics

We introduce the notion of 321-avoiding permutations in the affine Weyl group $W$ of type $A_{n-1}$ by considering the group as a George group (in the sense of Eriksson and Eriksson). This enables us to generalize a result of Billey, Jockusch and Stanley to show that the 321-avoiding permutations in $W$ coincide with the set of fully commutative elements; in other words, any two reduced expressions for a 321-avoiding element of $W$ (considered as a Coxeter group) may be obtained from each other by repeated applications of short braid relations. Using Shi's characterization of the Kazhdan--Lusztig cells in the group $W$, we use our main result to show that the fully commutative elements of $W$ form a union of Kazhdan--Lusztig cells. This phenomenon has been studied by the author and J. Losonczy for finite Coxeter groups, and is interesting partly because it allows certain structure constants for the Kazhdan--Lusztig basis of the associated Hecke algebra to be computed combinatorially. We also show how some of our results can be generalized to a larger group of permutations, the extended affine Weyl group associated to $GL_n({\Bbb C})$.

Let U_q be the quantum group associated to a Lie algebra g of rank n. The negative part U^- of U has a canonical basis B with favourable properties, introduced by Kashiwara and Lusztig. The approaches of Kashiwara and Lusztig lead to a set of alternative parametrizations of the canonical basis, one for each reduced expression for the longest word in the Weyl group of g. We show that if g is of type A_4 there are close relationships between the Lusztig cones, canonical basis elements and the regions of linearity of reparametrization functions arising from the above parametrizations. A graph can be defined on the set of simplicial regions of linearity with respect to adjacency, and we further show that this graph is isomorphic to the graph with vertices given by the reduced expressions of the longest word of the Weyl group modulo commutation and edges given by long braid relations. Keywords: Quantum group, Lie algebra, Canonical basis, Tight monomials, Weyl group, Piecewise-linear functions.

Given a hyperplane arrangement in a complex vector space of dimension n, there is a natural associated arrangement of codimension k subspaces in a complex vector space of dimension k*n. Topological invariants of the complement of this subspace arrangement are related to those of the complement of the original hyperplane arrangement. In particular, if the hyperplane arrangement is fiber-type, then, apart from grading, the Lie algebra obtained from the descending central series for the fundamental group of the complement of the hyperplane arrangement is isomorphic to the Lie algebra of primitive elements in the homology of the loop space for the complement of the associated subspace arrangement. Furthermore, this last Lie algebra is given by the homotopy groups modulo torsion of the loop space of the complement of the subspace arrangement. Looping further yields an associated Poisson algebra, and generalizations of the "universal infinitesimal Poisson braid relations."