arXiv++ Combinatorics

We study two families of polynomials that play the same role, in the generalized Temperley Lieb algebra of a Coxeter group, as the Kazhdan Lusztig and R polynomials in the Hecke algebra of the group. Our results include recursions, closed formulas, and other combinatorial properties for these polynomials. We focus mainly on non branching Coxeter graphs.

We consider two families of polynomials that play the same role in the Temperley Lieb algebra of a Coxeter group as the Kazhdan Lusztig and R polynomials play in the Hecke algebra of the group. We study these polynomials from a combinatorial point of view. More precisely we obtain recursions, non recursive formulas, symmetry properties, and expressions for the constant terms, of these polynomials.

We describe a new conjecture involving Fully Packed Loop counting which relates recent observations of Thapper to formulae in the Temperley--Lieb model of loops, and how it implies the Razumov--Stroganov conjecture.

Let $(W,S)$ be a Coxeter system and suppose that $w \in W$ is fully commutative (in the sense of Stembridge) and has a reduced expression beginning (respectively, ending) with $s \in S$. If there exists $t\in S$ such that $s$ and $t$ do not commute and $tw$ (respectively, $wt$) is no longer fully commutative, we say that $w$ is left (respectively, right) weak star reducible by $s$ with respect to $t$. In this paper, we classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. In a sequel to this paper, the classification of the weak star irreducible elements in a Coxeter system of type affine $C$ will provide the groundwork for inductive arguments used to prove the faithfulness of a generalized Temperley--Lieb algebra of type affine $C$ by a particular diagram algebra.

In this thesis, I present an associative diagram algebra that is a faithful representation of a particular Temperley--Lieb algebra of type affine $C$, which has a basis indexed by the fully commutative elements of the Coxeter group of the same type. The Coxeter group of type affine $C$ contains an infinite number of fully commutative elements, and so the corresponding Temperley--Lieb algebra is of infinite rank. With the exception of type affine $A$, all other generalized Temperley--Lieb algebras with known diagrammatic representations are of finite rank. In the finite rank case, counting arguments are employed to prove faithfulness, but these techniques are not available in the affine $C$ case. To prove faithfulness, I classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. The classification of these irreducible elements provides the groundwork for inductive arguments that are used to prove faithfulness. The classification of the weak star irreducible elements of type $B$ also verifies C.K. Fan's unproved claim about about the set of fully commutative elements in a Coxeter group of type $B$ having no generator appearing in the left or right descent set that can be left or right cancelled, respectively. The results of this thesis will be used to construct a trace on the Hecke algebra of type affine $C$, which will then be used to compute leading coefficients of certain Kazhdan--Lusztig polynomials in a non-recursive way.

We consider the level 1 solution of quantum Knizhnik-Zamolodchikov equation with reflecting boundary conditions which is relevant to the Temperley--Lieb model of loops on a strip. By use of integral formulae we prove conjectures relating it to the weighted enumeration of Cyclically Symmetric Transpose Complement Plane Partitions and related combinatorial objects.

The integrable loop model with mixed boundary conditions based on the 1-boundary extended Temperley--Lieb algebra with loop weight 1 is considered. The corresponding qKZ equation is introduced and its minimal degree solution described. As a result, the sum of the properly normalized components of the ground state in size L is computed and shown to be equal to the number of Horizontally and Vertically Symmetric Alternating Sign Matrices of size 2L+3. A refined counting is also considered.

We define ``star reducible'' Coxeter groups to be those Coxeter groups for which every fully commutative element (in the sense of Stembridge) is equivalent to a product of commuting generators by a sequence of length-decreasing star operations (in the sense of Lusztig). We show that the Kazhdan--Lusztig bases of these groups have a nice projection property to the Temperley--Lieb type quotient, and furthermore that the images of the basis elements $C'_w$ (for fully commutative $w$) in the quotient have structure constants in ${\Bbb Z}^{\geq 0}[v, v^{-1}]$. We also classify the star reducible Coxeter groups and show that they form nine infinite families (types $A_n$, $B_n$, $D_n$, $E_n$, $F_n$, $H_n$, affine $A_{n-1}$ for $n$ odd, affine $C_{n-1}$ for $n$ even, and the case where the Coxeter graph is complete), with two exceptional cases (of ranks 6 and 7). This paper is the sequel to math.QA/0509362.

Heaps of pieces were introduced by Viennot and have applications to algebraic combinatorics, theoretical computer science and statistical physics. In this paper, we how certain combinatorial properties of heaps studied by Fan and by Stembridge are closely related to the properties of a certain linear map $\partial_E$ associated to a heap $E$. We examine the relationship between $\partial_E$ and $\partial_F$ when $F$ is a subheap of $E$. This approach allows neat statements and proofs of results on certain associative algebras (generalized Temperley--Lieb algebras) that are otherwise tricky to prove. The key to the proof is to interpret the structure constants of the aforementioned algebras in terms of the maps $\partial$.

We prove the following result: For a generic value of the parameter, the Temperley-Lieb category has no non-zero, proper tensor ideal. When the parameter $d$ is equal to $2\cos(π/n)$ for some $n \ge 3$, then the Temperley-Lieb category has exactly one non-zero, proper ideal, namely the ideal of negligible morphisms.