arXiv++ Combinatorics

We provide an ${\rm Ext}$-quiver and relations presentation for the basic algebra of the anti-spherical Hecke categories of isotropic Grassmannians, $H_{(D_n, A_{n-1})}$, in terms of cup-cap meta Kazhdan--Lusztig combinatorics and Temperley--Lieb diagrammatics.

We construct gradings on the simple modules of 2-boundary Temperley--Lieb algebras and symplectic blob algebras by realising the latter algebras as quotients of Varagnolo--Vasserot's orientifold quiver Hecke algebras. We prove that the symplectic blob algebras are graded cellular and provide a conjectural algorithm for calculating their graded decomposition matrices. In doing so, we give the first explicit family of finite-dimensional graded quotients of the orientifold quiver Hecke algebras, providing a new entry point for the structure of these algebras -- in the spirit of Libedinsky--Plaza's ``blob algebra approach'' to modular representation theory.

Classical diagram categories and monoids, including the Temperley--Lieb, Brauer, and partition cases, arise as special instances of the category of two dimensional cobordisms and admit additional twists that produce a large new family of diagram categories and monoids. In this paper we introduce this family and develop a unified approach to their representation theory.

We study the Fuss--Catalan algebras, which are generalizations of the Temperley--Lieb algebra and act on generalized Dyck paths, through non-crossing partitions. First, the Temperley--Lieb algebra is defined on non-crossing partitions, and a bijection between a Dyck path and a non-crossing partition is shown to be compatible with the Temperley--Lieb algebra on Dyck paths, or equivalently chord diagrams. We show that the Kreweras endomorphism on non-crossing partitions is equivalent to the rotation of chord diagrams under the bijection. Secondly, by considering an increasing $r$-chain in the graded lattice of non-crossing partitions, we define the Fuss--Catalan algebras on increasing $r$-chains. Through a bijection between an increasing $r$-chain and a generalized Dyck path, one naturally obtains the Fuss--Catalan algebra on generalized Dyck paths. As generalizations of the Fuss--Catalan algebra, we introduce the one- and two-boundary Fuss--Catalan algebras. Increasing $r$-chains of symmetric non-crossing partitions give symmetric generalized Dyck paths by the bijection, and the boundary Fuss--Catalan algebras naturally act on them. We show that these representations are compatible with the diagrammatic representations of the algebras by use of generalized chord diagrams. Thirdly, we discuss the integrability of the Fuss--Catalan algebras. For the Fuss--Catalan algebras with boundaries, we obtain a new solution of the reflection equation in the case of $r=2$.

We give a new formula for the Littlewood--Richardson coefficients in terms of peelable tableaux compatible with shuffle tableaux, in the same fashion as Remmel--Whitney rule. This gives an efficient way to compute generalized Littlewood--Richardson coefficients for Temperley--Lieb immanants of Jacobi--Trudi matrices. We will also show that our rule behaves well with Bender--Knuth involutions, recovering the symmetry of Littlewood--Richardson coefficients. As an application, we use our rule to prove a special case of a Schur log-concavity conjecture by Lam--Postnikov--Pylyavskyy.

By considering a suitable renormalization of the Temperley--Lieb category, we study its specialization to the case $q=0$. Unlike the $q\neq 0$ case, the obtained monoidal category, $\mathcal{TL}_0(\Bbbk)$, is not rigid or braided. We provide a closed formula for the Jones--Wenzl projectors in $\mathcal{TL}_0(\Bbbk)$ and give semisimple bases for its endomorphism algebras. We explain how to obtain the same basis using the representation theory of finite inverse monoids, via the associated Möbius inversion. We then describe a coboundary structure on $\mathcal{TL}_0(\Bbbk)$ and show that its idempotent completion is coboundary monoidally equivalent to the category of $\mathfrak{sl}_{2}$-crystals. This gives a diagrammatic description of the commutor for $\mathfrak{sl}_{2}$-crystals defined by Henriques and Kamnitzer and of the resulting action of the cactus group. We also study fiber functors of $\mathcal{TL}_0(\Bbbk)$ and discuss how they differ from the $q\neq 0$ case.

We study the relation between a coefficient of an element of the Jones--Wenzl projection in the Temperley--Lieb algebra of type $D$ and an enumeration of Dyck tilings. The coefficient can be non-recursively expressed as an enumerative generating function of Dyck tilings by considering the generalized Hermite histories, which we call bi-colored vertical Hermite histories, on the tilings.

We obtain formulae for the minimum transformation degrees of the most well-studied families of finite diagram monoids, including the partition, Brauer, Temperley--Lieb and Motzkin monoids. For example, the partition monoid $P_n$ has degree $1 + \frac{B(n+2)-B(n+1)+B(n)}2$ for $n\geq2$, where these are Bell numbers. The proofs involve constructing explicit faithful representations of the minimum degree, many of which can be realised as (partial) actions on projections.

Let (W,S) be a Coxeter system of affine type D, and let TL(W) the corresponding generalized Temperley-Lieb algebra. In this extended abstract we define an infinite dimensional associative algebra made of decorated diagrams which is isomorphic to TL(W). Moreover, we describe an explicit basis for such an algebra of diagrams which is in bijective correspondence with the classical monomial basis of TL(W), indexed by the fully commutative elements of W.

The Jones--Wenzl projections are a special class of elements of the Temperley--Lieb algebra. We prove that the coefficient appearing in the Jones--Wenzl projection is given by a generating function of combinatorial objects, called Dyck tilings. We also show that this correspondence holds for type $B$ case.

We introduce two new algebras that we call \emph{tied--boxed Hecke algebra} and \emph{tied--boxed Temperley--Lieb algebra}. The first one is a subalgebra of the algebra of braids and ties introduced by Aicardi and Juyumaya, and the second one is a tied--version of the well known Temperley--Lieb algebra. We study their representation theory and give cellular bases for them. Furthermore, we explore a strong connection between the tied--boxed Temperley--Lieb algebra and the so--called partition Temperley--Lieb algebra given by Juyumaya. Also, we show that both structures inherit diagrammatic interpretations from a new class of monoids that we call \emph{boxed ramified monoids}. Additionally, we give presentations for the singular part of the ramified symmetric monoid and for the boxed ramified monoid associated to the Brauer monoid.

We show that the partial sums of the long Plücker relations for pairs of weakly separated Plücker coordinates oscillate around $0$ on the totally nonnegative part of the Grassmannian. Our result generalizes the classical oscillating inequalities by Gantmacher--Krein (1941) and recent results on totally nonnegative matrix inequalities by Fallat--Vishwakarma (2023). In fact we obtain a characterization of weak separability, by showing that no other pair of Plücker coordinates satisfies this property. Weakly separated sets were initially introduced by Leclerc and Zelevinsky and are closely connected with the cluster algebra of the Grassmannian. Moreover, our work connects several fundamental objects such as weak separability, Temperley--Lieb immanants, and Plücker relations, and provides a very general and natural class of additive determinantal inequalities on the totally nonnegative part of the Grassmannian.

Let $R_n=\mathbb{Q}[x_1,x_2,\ldots,x_n]$ be the ring of polynomial in $n$ variables and consider the ideal $\langle \mathrm{QSym}_{n}^{+}\rangle\subseteq R_n$ generated by quasisymmetric polynomials without constant term. It was shown by J.~C.~Aval, F.~Bergeron and N.~Bergeron that $\dim\big(R_n\big/\langle \mathrm{QSym}_{n}^{+} \rangle\big)=C_n$ the $n$th Catalan number. In the present work, we explain this phenomenon by defining a set of permutations $\mathrm{QSV}_{n}$ with the following properties: first, $\mathrm{QSV}_{n}$ is a basis of the Temperley--Lieb algebra $\mathsf{TL}_{n}(2)$, and second, when considering $\mathrm{QSV}_{n}$ as a collection of points in $\mathbb{Q}^{n}$, the top-degree homogeneous component of the vanishing ideal $\mathbf{I}(\mathrm{QSV}_{n})$ is $\langle \mathrm{QSym}_{n}^{+}\rangle$. Our construction has a few byproducts which are independently noteworthy. We define an equivalence relation $\sim$ on the symmetric group $S_{n}$ using weak excedances and show that its equivalence classes are naturally indexed by noncrossing partitions. Each equivalence class is an interval in the Bruhat order between an element of $\mathrm{QSV}_{n}$ and a $321$-avoiding permutation. Furthermore, the Bruhat order induces a well-defined order on $S_{n}\big/\!\!\sim$. Finally, we show that any section of the quotient $S_{n}\big/\!\!\sim$ gives an (often novel) basis for $\mathsf{TL}_{n}(2)$.

We define oriented Temperley--Lieb algebras for classical Hermitian symmetric spaces. This allows us to explain the existence of closed combinatorial formulae for the Kazhdan--Lusztig polynomials for these spaces.

We give a combinatorial description of a new diagram algebra, the partial Temperley--Lieb algebra, arising as the generic centralizer algebra $\mathrm{End}_{\mathbf{U}_q(\mathfrak{gl}_2)}(V^{\otimes k})$, where $V = V(0) \oplus V(1)$ is the direct sum of the trivial and natural module for the quantized enveloping algebra $\mathbf{U}_q(\mathfrak{gl}_2)$. It is a proper subalgebra of the Motzkin algebra (the $\mathbf{U}_q(\mathfrak{sl}_2)$-centralizer) of Benkart and Halverson. We prove a version of Schur--Weyl duality for the new algebras, and describe their generic representation theory.

We introduce a type affine $C$ analogue of the nil Temperley--Lieb algebra, in terms of generators and relations. We show that this algebra $T(n)$, which is a quotient of the positive part of a Kac--Moody algebra of type $D_{n+1}^{(2)}$, has an easily described faithful representation as an algebra of creation and annihilation operators on particle configurations, reminiscent of the open TASEP model in statistical physics. The centre of $T(n)$ consists of polynomials in a certain element $Q$, and $T(n)$ is a free module of finite rank over its centre. We show how to localize $T(n)$ by adjoining an inverse of $Q$, and prove that the resulting algebra is a full matrix ring over a ring of Laurent polynomials over a field. Although $T(n)$ has wild representation type, over an algebraically closed field we can classify all the finite dimensional indecomposable representations of $T(n)$ in which $Q$ acts invertibly.

In a Coxeter group $W$, an element is fully commutative if any two of its reduced expressions can be linked by a series of commutation of adjacent letters. These elements have particularly nice combinatorial properties, and also index a basis of the generalized Temperley--Lieb algebra attached to $W$. We give two results about the sequence counting these elements with respect to their Coxeter length. First we prove that it always satisfies a linear recurrence with constant coefficients, by showing that reduced expressions of fully commutative elements form a regular language. Then we classify those groups $W$ for which the sequence is ultimately periodic, extending a result of Stembridge. These results are applied to the growth of generalized Temperley--Lieb algebras.

The Temperley--Lieb algebra is a finite dimensional associative algebra that arose in the context of statistical mechanics and occurs naturally as a quotient of the Hecke algebra arising from a Coxeter group of type $A$. It is often realized in terms of a certain diagram algebra, where every diagram can be written as a product of "simple diagrams." These factorizations correspond precisely to factorizations of the so-called fully commutative elements of the Coxeter group that index a particular basis. Given a reduced factorization of a fully commutative element, it is straightforward to construct the corresponding diagram. On the other hand, it is generally difficult to reconstruct the factorization given an arbitrary diagram. We present an efficient algorithm for obtaining a reduced factorization for a given diagram.

An element of a Coxeter group $W$ is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. In the present work, we focus on fully commutative involutions, which are characterized in terms of Viennot's heaps. By encoding the latter by Dyck-type lattice walks, we enumerate fully commutative involutions according to their length, for all classical finite and affine Coxeter groups. In the finite cases, we also find explicit expressions for their generating functions with respect to the major index. Finally in affine type $A$, we connect our results to Fan--Green's cell structure of the corresponding Temperley--Lieb algebra.

An element of a Coxeter group $W$ is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. These elements were extensively studied by Stembridge, in particular in the finite case. They index naturally a basis of the generalized Temperley--Lieb algebra. In this work we deal with any finite or affine Coxeter group $W$, and we give explicit descriptions of fully commutative elements. Using our characterizations we then enumerate these elements according to their Coxeter length, and find in particular that the corrresponding growth sequence is ultimately periodic in each type. When the sequence is infinite, this implies that the associated Temperley--Lieb algebra has linear growth.