Related papers: A Diagrammatic Temperley-Lieb Categorification

We categorify a coideal subalgebra of the quantum group of $\mathfrak{sl}_{2r+1}$ by introducing a $2$-category \`a la Khovanov-Lauda-Rouquier, and show that self-dual indecomposable $1$-morphisms categorify the canonical basis of this…

We produce an explicit recursive formula which computes the idempotent projecting to any indecomposable Soergel bimodule for a universal Coxeter system. This gives the exact set of primes for which the positive characteristic analogue of…

Cellular categories are a generalization of cellular algebras, which include a number of important categories such as (affine)Temperley-Lieb categories, Brauer diagram categories, partition categories, the categories of invariant tensors…

In the previous paper, we defined a new category which categorifies the Hecke algebra. This is a generalization of the theory of Soergel bimodules. To prove theorems, the existences of certain homomorphisms between Bott-Samelson bimodules…

We describe an inner product on the diagrams on which the Temperley-Lieb algebra can be represented. We exhibit several constructions which are in natural combinatorial bijection with these diagrams, which are generalizations of various…

Graham and Lehrer (1998) introduced a Temperley-Lieb category $\mathsf{\widetilde{TL}}$ whose objects are the non-negative integers and the morphisms in $\mathsf{Hom}(n,m)$ are the link diagrams from $n$ to $m$ nodes. The Temperley-Lieb…

We begin by defining Temperley-Lieb algebra, in two different ways: as a presented algebra or as a diagrammatic algebra. Next, we look for a basis algorithmically, using rewriting theory. Finally, we introduce a generalization of the…

We construct a representation of the Temperley-Lieb algebra from a multiplicity-free semisimple monoidal Abelian category ${\cal C}$, with two simple objects $\lambda$ and $\nu$ such that $\lambda\otimes\nu$ is simple and Hom$_{\cal…

Soergel bimodules are certain bimodules over polynomial algebras, associated with Coxeter groups, and introduced by Soergel in the 1990's while studying the category O of complex semisimple Lie algebras. Even though their definition is…

A generalization of the Kauffman tangle algebra is given for Coxeter type Dn. The tangles involve a pole or order 2. The algebra is shown to be isomorphic to the Birman-Murakami-Wenzl algebra of the same type. This result extends the…

We determine for which Coxeter types the associated small quotient of the $2$-category of Soergel bimodules is finitary and, for such a small quotient, classify the simple transitive $2$-representations (sometimes under the additional…

We determine the image of the braid groups inside the Temperley-Lieb algebras, defined over finite field, in the semisimple case, and for suitably large (but controlable) order of the defining (quantum) parameter. We also prove that, under…

We investigate the representation theory of the Temperley-Lieb algebra, $TL_n(\delta)$, defined over a field of positive characteristic. The principle question we seek to answer is the multiplicity of simple modules in cell modules for…

Let $W$ be an affine Weyl group, and let $\Bbbk$ be a field of characteristic $p>0$. The diagrammatic Hecke category $\mathcal{D}$ for $W$ over $\Bbbk$ is a categorification of the Hecke algebra for $W$ with rich connections to modular…

The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $\mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive…

This paper is a sequel to arXiv:2307.13358 and arXiv:2308.16090. A construction associating a semialgebra with an algebra, subalgebra, and a coalgebra dual to the subalgebra played a central role in the author's book arXiv:0708.3398. In…

Algebraic basics on Temperley-Lieb algebras are proved in an elementary and straightforward way with the help of tensor categories behind them.

For symplectic Lie algebras $\mathfrak{sp}(2n,\mathbb{C})$, denote by $\mathfrak{b}$ and $\mathfrak{n}$ its Borel subalgebra and maximal nilpotent subalgebra, respectively. We construct a relationship between the abelian ideals of…

We introduce analogues of Soergel bimodules for complex reflection groups of rank one. We give an explicit parametrization of the indecomposable objects of the resulting category and give a presentation of its split Grothendieck ring by…

A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…