A categorification of the Temperley-Lieb algebra and Schur quotients of U(sl(2)) via projective and Zuckerman functors

We identify the Grothendieck group of certain direct sum of singular blocks of the highest weight category for sl(n) with the n-th tensor power of the fundamental (two-dimensional) sl(2)-module. The action of U(sl(2)) is given by projective functors and the commuting action of the Temperley-Lieb algebra by Zuckerman functors. Indecomposable projective functors correspond to Lusztig canonical basis in U(sl(2)). In the dual realization the n-th tensor power of the fundamental representation is identified with a direct sum of parabolic blocks of the highest weight category. Translation across the wall functors act as generators of the Temperley-Lieb algebra while Zuckerman functors act as generators of U(sl(2)).Comment: 31 pages, 11 figure

Path representation of maximal parabolic Kazhdan-Lusztig polynomials

We provide simple rules for the computation of Kazhdan--Lusztig polynomials in the maximal parabolic case. They are obtained by filling regions delimited by paths with "Dyck strips" obeying certain rules. We compare our results with those of Lascoux and Sch\"utzenberger.Comment: v3: fixed proof of lemma

Towers of solutions of qKZ equations and their applications to loop models

Cherednik's type A quantum affine Knizhnik-Zamolodchikov (qKZ) equations form a consistent system of linear $q$-difference equations for $V_n$-valued meromorphic functions on a complex $n$-torus, with $V_n$ a module over the GL${}_n$-type extended affine Hecke algebra $\mathcal{H}_n$. The family $(\mathcal{H}_n)_{n\geq 0}$ of extended affine Hecke algebras forms a tower of algebras, with the associated algebra morphisms $\mathcal{H}_n\rightarrow\mathcal{H}_{n+1}$ the Hecke algebra descends of arc insertion at the affine braid group level. In this paper we consider qKZ towers $(f^{(n)})_{n\geq 0}$ of solutions, which consist of twisted-symmetric polynomial solutions $f^{(n)}$ ($n\geq 0$) of the qKZ equations that are compatible with the tower structure on $(\mathcal{H}_n)_{n\geq 0}$. The compatibility is encoded by so-called braid recursion relations: $f^{(n+1)}(z_1,\ldots,z_{n},0)$ is required to coincide up to a quasi-constant factor with the push-forward of $f^{(n)}(z_1,\ldots,z_{n})$ by an intertwiner $\mu_{n}: V_{n}\rightarrow V_{n+1}$ of $\mathcal{H}_{n}$-modules, where $V_{n+1}$ is considered as an $\mathcal{H}_{n}$-module through the tower structure on $(\mathcal{H}_n)_{n\geq 0}$. We associate to the dense loop model on the half-infinite cylinder with nonzero loop weights a qKZ tower $(f^{(n)})_{n\geq 0}$ of solutions. The solutions $f^{(n)}$ are constructed from specialised dual non-symmetric Macdonald polynomials with specialised parameters using the Cherednik-Matsuo correspondence. In the special case that the extended affine Hecke algebra parameter is a third root of unity, $f^{(n)}$ coincides with the (suitably normalized) ground state of the inhomogeneous dense $O(1)$ loop model on the half-infinite cylinder with circumference $n$.Comment: 45 pages. v2: main theorem (Thm. 4.7) strengthened. v3: minor typos corrected. To appear in Ann. Henri Poincar

A Diagrammatic Temperley-Lieb Categorification

The monoidal category of Soergel bimodules categorifies the Hecke algebra of a finite Weyl group. In the case of the symmetric group, morphisms in this category can be drawn as graphs in the plane. We define a quotient category, also given in terms of planar graphs, which categorifies the Temperley-Lieb algebra. Certain ideals appearing in this quotient are related both to the 1-skeleton of the Coxeter complex and to the topology of 2D cobordisms. We demonstrate how further subquotients of this category will categorify the cell modules of the Temperley-Lieb algebra.Comment: long awaited update to published versio