arXiv++ Combinatorics

It is well known that the Young lattice is the Bratelli diagram of the symmetric groups, expressing how irreducible representations restrict from $\mathfrak{S}_{N}$ to $\mathfrak{S}_{N-1}$. In 1975, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was identified as the Bratelli diagram of a family of algebras $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ by Okada in 1994. In this paper, we first realize the Okada algebra $\mathbf{O}_N(X,Y)$ and the associated monoid $\mathbf{O}_N$ using a labelled version of non-crossing arc-diagrams appearing in the description of the Temperley-Lieb algebra and Jones monoid. We establish, for general parameters $(X,Y)$, that the dimension of the Okada algebra $\mathbf{O}_N(X,Y)$ is $N!$, noting that Okada proved this result only in the semisimple case. We interpret a natural bijection between permutations and labelled arc-diagrams as an incarnation of Fomin's version of the Robinson-Schensted correspondence associated to the Young-Fibonacci lattice. The arc-diagram formalism allow us to probe the structure of the Okada monoid and algebra. In particular we prove that the Okada monoid is a regular, aperiodic $*$-monoid and we describe its Green relations and order. These results allow us to construct a cellular basis of the Okada algebra and to show that $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ forms a coherent tower of cellular algebras in the sense of Goodman and Graber. We present some conjectures expressing the Gram determinant of the invariant bilinear form attached to each cell module in terms of Okada's clone Schur functions. We conclude the paper by presenting two follow-up, ongoing projects along with a series of questions pushing further the analogy between the symmetric groups and the Okada algebras.

We prove that the excedance relation on permutations defined by N. Bergeron and L. Gagnon actually extends to a congruence of the lattice on alternating sign matrices. Motivated by this example, we study all lattice congruences of the lattice on alternating sign matrices whose quotient is isomorphic to the Stanley lattice on Dyck paths, which we call catalan congruences. We prove that the maxima of the congruence classes are always covexillary permutations (and all covexillary permutations appear this way), and that the minimal permutations in each class are always precisely the $321$-avoiding permutations. Finally, we show that any choice of representative permutations in each congruence class yield a basis of the Temperley-Lieb algebra with parameter $2$, vastly generalizing the bases arising from the excedance relation.

Webs are a kind of planar, directed, edge-labeled graph that encode invariant vectors for quantum representations of $\mathfrak{sl}_n$. The theory of webs developed organically for $\mathfrak{sl}_2$, where they are also known as noncrossing matchings and the Temperley-Lieb algebra, before being formalized by Kuperberg for $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$ as the morphisms in a diagrammatic categorification of quantum representations called the spider category. Various models extend webs to $n \geq 4$. Only Cautis-Kamnitzer-Morrison prove a full set of relations for their webs, though Fontaine's webs are better adapted to computations, more graph-theoretically natural, and directly generalize webs for $n=2$ and $n=3$. This paper formalizes the theory of Fontaine's webs, proving the existence of a deep and powerful global structure on these webs called strandings. We do three key things: 1) give a state-sum formula to construct ($U_q(\mathfrak{sl}_n)$-invariant) web vectors from the orientation of strandings on Fontaine's webs; 2) list and prove a complete set of relations, connecting strandings to the local data of binary labelings that are well-established in the literature; and 3) provide applications and examples of how strandings facilitate computations.

The star operation, originally introduced by Kazhdan and Lusztig, was later specialized by Ernst to the so-called weak star reduction on the set of fully commutative elements of a Coxeter group. In this paper, we classify the star and weak star irreducible fully commutative elements in Coxeter groups of affine types $\widetilde{B}_{n+1}$ and $\widetilde{D}_{n+2}$. Focusing then on the case of type $\widetilde{D}_{n+2}$, we use the classification of star irreducible elements to provide a new proof of the faithfulness of a diagrammatic representation of the corresponding generalized Temperley-Lieb algebra, along with an explicit description of Lusztig's $\mathbf{a}$-function.

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.

Let $W^c(A_n)$ be the set of fully commutative elements in the $A_n$-type Coxeter group. Using only the settings of their canonical form, we recount $W^c(A_n)$ by the recurrence that is taken as a definition of the Catalan number $C_{n+1}$ and we find the Narayana numbers as well as the Catalan triangle via suitable set partitions of $W^c(A_n)$. We determine the unique bijection between $W^c(A_n)$ and the set of non-crossing diagrams of $n+1$ strings that respects the diagrammatic multiplication by concatenation in the $A_n$-type Temperley-Lieb algebra, along with the two algorithms implementing this bijection and its inverse.

We give an historical survey of some of the original basic algebraic and combinatorial results on Temperley-Lieb algebras, with a focus on certain results that have become folklore.

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)$.

Let $(W,S)$ be an affine Coxeter system of type $\widetilde{B}$ or $\widetilde{D}$ and ${\rm TL}(W)$ the corresponding generalized Temperley-Lieb algebra. In this paper we define an infinite dimensional associative algebra made of decorated diagrams that is isomorphic to ${\rm TL}(W)$. Moreover, we describe an explicit basis for such an algebra consisting of special decorated diagrams that we call admissible. Such basis is in bijective correspondence with the classical monomial basis of the generalized Temperley-Lieb algebra indexed by the fully commutative elements of $W$.

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.

In this paper we propose a combinatorial framework to study a diagrammatic representation of the affine Temperley-Lieb algebra of type C introduced by Ernst. In doing this, we define two procedures, a decoration algorithm on diagrams and a reduction algorithm on heaps of independent interest. Using this approach, an explicit algorithmic description of Ernst representation map is provided from which its faithfulness can be deduced. We also give a construction of the inverse map.

The two boundary Temperley-Lieb algebra $TL_k$ arises in the transfer matrix formulation of lattice models in Statistical Mechanics, in particular in the introduction of integrable boundary terms to the six-vertex model. In this paper, we classify and study the calibrated representations---those for which all the Murphy elements (integrals) are simultaneously diagonalizable---which, in turn, corresponds to diagonalizing the transfer matrix in the associated model. Our approach is founded upon the realization of $TL_k$ as a quotient of the type $C_k$ affine Hecke algebra $H_k$. In previous work, we studied this Hecke algebra via its presentation by braid diagrams, tensor space operators, and related combinatorial constructions. That work is directly applied herein to give a combinatorial classification and construction of all irreducible calibrated $TL_k$-modules and explain how these modules also arise from a Schur-Weyl duality with the quantum group $U_q\mathfrak{gl}_2$.

This paper studies combinatorial properties of the 'complex of planar injective words', a chain complex of modules over the Temperley-Lieb algebra that arose in our work on homological stability. Despite being a linear rather than a discrete object, our chain complex nevertheless exhibits interesting combinatorial properties. We show that the Euler characteristic of this complex is the n-th Fine number. We obtain an alternating sum formula for the representation given by its top-dimensional homology module and, under further restrictions on the ground ring, we decompose this module in terms of certain standard Young tableaux. This trio of results - inspired by results of Reiner and Webb for the complex of injective words - can be viewed as an interpretation of the n-th Fine number as the 'planar' or 'Dyck path' analogue of the number of derangements of n letters. This interpretation has precursors in the literature, but here emerges naturally from considerations in homological stability. Our final result shows a surprising connection between the boundary maps of our complex and the Jacobsthal numbers.

We introduce a type $B$ analogue of the nil Temperley-Lieb algebra in terms of generators and relations, that we call the (extended) nil-blob algebra. We show that this algebra is isomorphic to the endomorphism algebra of a Bott-Samelson bimodule in type $\tilde{A}_1$. We also prove that it is isomorphic to an idempotent truncation of the classical blob algebra.Thus we provide strong evidence in favor of the recent Blob vs. Soergel conjecture.

We construct explicit bases of simple modules and Bernstein-Gelfand-Gelfand (BGG) resolutions of all simple modules of the (graded) Temperley-Lieb algebra of type B over a field of characteristic zero.

Plane perfect matchings of $2n$ points in convex position are in bijection with triangulations of convex polygons of size $n+2$. Edge flips are a classic operation to perform local changes both structures have in common. In this work, we use the explicit bijection from Aichholzer et al. (2018) to determine the effect of an edge flip on the one side of the bijection to the other side, that is, we show how the two different types of edge flips are related. Moreover, we give an algebraic interpretation of the flip graph of triangulations in terms of elements of the corresponding Temperley-Lieb algebra.

We study some algebraic and combinatorial features of two algebras that arise as quotients of Temperley-Lieb algebras of type $\tilde{C}$, namely, the two-boundary Temperley-Lieb algebra and the symplectic blob algebra. We provide a monomial basis for both algebras. The elements of these bases are parameterized by certain subsets of fully commutative elements. We enumerate these elements according to their affine length.

For a prime number $p$ and any natural number $n$ we introduce, by giving an explicit recursive formula, the $p$-Jones-Wenzl projector ${}^p\operatorname{JW}_n$, an element of the Temperley-Lieb algebra $TL_n(2)$ with coefficients in ${\mathbb F}_p$. We prove that these projectors give the indecomposable objects in the $\tilde{A}_1$-Hecke category over ${\mathbb F}_p$, or equivalently, they give the projector in $\mathrm{End}_{\mathrm{SL}_2(\overline{{\mathbb F}_p})}(({\mathbb F}_p^2)^{\otimes n})$ to the top tilting module. The way in which we find these projectors is by categorifying the fractal appearing in the expression of the $p$-canonical basis in terms of the Kazhdan-Lusztig basis for $\tilde{A}_1$.

We initiate an algebraic approach to study DNA origami structures by associating an element from a monoid to each structure. We identify two types of basic building blocks and describe an DNA origami structure with their composition. These building blocks are taken as generators of a monoid, called origami monoid, and, motivated by the well studied Temperley-Lieb algebras, we identify a set of relations that characterize the origami monoid. We also present several observations about the Green's relations for the origami monoid and study the relations to a cross product of Jones monoids that is a morphic image of an origami monoid.

We investigate a subalgebra of the Temperley-Lieb algebra called the Jones-Wenzl algebra, which is obtained by action of certain Jones-Wenzl projectors. This algebra arises naturally in applications to conformal field theory and statistical physics. It is also the commutant (centralizer) algebra of the Hopf algebra $U_q(\mathfrak{sl}_2)$ on its type-one modules - this fact is a generalization of the $q$-Schur-Weyl duality of Jimbo. In this article, we find two minimal generating sets for the Jones-Wenzl algebra. In special cases, we also find all of the independent relations satisfied by these generators.