Diagram calculus for a type affine $C$ Temperley--Lieb algebra, I

TL;DR

This paper introduces an infinite-dimensional diagram algebra for the affine C Temperley--Lieb algebra, providing a basis and setting the stage for a faithful diagrammatic representation to compute Kazhdan--Lusztig polynomial coefficients.

Contribution

It constructs a new diagram algebra for affine C Temperley--Lieb algebra with an explicit basis, advancing the diagrammatic understanding of these algebraic structures.

Findings

Defines an infinite-dimensional associative diagram algebra

Provides an explicit basis for the algebra

Prepares for a faithful diagrammatic representation

Abstract

In this paper, we present an infinite dimensional associative diagram algebra that satisfies the relations of the generalized Temperley--Lieb algebra having a basis indexed by the fully commutative elements (in the sense of Stembridge) of the Coxeter group of type affine $C$. Moreover, we provide an explicit description of a basis for the diagram algebra. In the sequel to this paper, we show that this diagrammatic representation is faithful. The results of this paper and its sequel will be used to construct a Jones-type trace on the Hecke algebra of type affine $C$, allowing us to non-recursively compute leading coefficients of certain Kazhdan--Lusztig polynomials.