arXiv++ Combinatorics

This article is devoted to the study of several algebras which are related to symmetric functions, and which admit linear bases labelled by various combinatorial objects: permutations (free quasi-symmetric functions), standard Young tableaux (free symmetric functions) and packed integer matrices (matrix quasi-symmetric functions). Free quasi-symmetric functions provide a kind of noncommutative Frobenius characteristic for a certain category of modules over the 0-Hecke algebras. New examples of indecomposable $H_n(0)$-modules are discussed, and the homological properties of $H_n(0)$ are computed for small $n$. Finally, the algebra of matrix quasi-symmetric functions is interpreted as a convolution algebra.

We develop an algorithm for computing affine Kazhdan-Lusztig polynomials, for all Lie types. This generalizes our previously published algorithm for type A, which in turn is a faster version of an algorithm due to Lascouz, Leclerc and Thibon (proposed in the setting of Hecke algebras of type A, at roots of unity.)

A criterion of irreducibility for induction products of evaluation modules of type A affine Hecke algebras is given. It is derived from multiplicative properties of the canonical basis of a quantum deformation of the Bernstein-Zelevinsky ring.

The expectation of the descent number of a random Young tableau of a fixed shape is given, and concentration around the mean is shown. This result is generalized to the major index and to other descent functions. The proof combines probabilistic arguments together with combinatorial character theory. Connections with Hecke algebras are mentioned.

Two actions of the Hecke algebra of type A on the corresponding polynomial ring are studied. Both are deformations of the natural action of the symmetric group on polynomials, and keep symmetric functions invariant. We give an explicit description of these actions, and deduce a combinatorial formula for the resulting graded characters on the coinvariant algebra.

We compare the canonical basis for a generalized Temperley-Lieb algebra of type A or B with the Kazhdan-Lusztig basis for the corresponding Hecke algebra.

Take the degenerate affine Hecke algebra $H_{l+m}$ corresponding to the group $GL_{l+m}$ over a $p$-adic field. Consider the $H_{l+m}$-module $W$ induced from the tensor product of the evaluation modules over the algebras $H_l$ and $H_m$. The module $W$ depends on two partitions $λ$ of $l$ and $μ$ of $m$, and on two complex numbers $z$ and $w$. There is a canonical operator $J$ acting in $W$, it corresponds to the rational Yang $R$-matrix. The algebra $H_{l+m}$ contains the symmetric group $S_{l+m}$, and $J$ commutes with the action of $S_{l+m}$ in $W$. Under this action, $W$ decomposes into irreducible subspaces according to the Littlewood-Richardson rule. We compute the eigenvalues of $J$, corresponding to certain multiplicity-free irreducible components of $W$. In particular, we obtain a nice formula for the ratio of two eigenvalues of $J$, corresponding to the "highest" and "lowest" (multiplicity-free) irreducible components of $W$.

We show that the Kazhdan-Lusztig basis elements $C_w$ of the Hecke algebra of the symmetric group, when $w \in S_n$ corresponds to a Schubert subvariety of a Grassmann variety, can be written as a product of factors of the form $T_i+f_j(v)$, where $f_j$ are rational functions.

We present a fast version of the algorithm of Lascoux, Leclerc, and Thibon for the lower global crystal base for the Fock representation of quantum affine sl_n. We also show that the coefficients of the lower global crystal base coincide with certain affine Kazhdan-Lusztig polynomials. It is known that the coefficients of the global crystal base are q-analogues of decomposition numbers for Specht modules of the Hecke algebra of type A_n, and that the coefficients of the affine Kazhdan-Lusztig polynomials are q-analogues of decomposition numbers for tilting modules for quantum sl_k. Thus our algorithm allows fast computation of these decomposition numbers.

We compute the weights, i.e. the values at the minimal idempotents, for the Markov trace on the Hecke algebra of type $B$ and type $D$. In order to prove the weight formula, we define representations of the Hecke algebra of type $B$ onto a reduced Hecke algebre of type $A$. To compute the weights for type $D$ we use the inclusion of the Hecke algebra of type $D$ into the Hecke algebra of type $B$.