Diagonal Temperley-Lieb Invariants and Harmonics

J.-C. Aval,F. Bergeron,N. Bergeron

2004-11-25

Abstract: In the context of the ring Q[x,y], of polynomials in 2n variables x=x1,...,x_n and y=y1,...,yn, we introduce the notion of diagonally quasi-symmetric polynomials. These, also called "diagonal Temperley-Lieb invariants", make possible the further introduction of the space of "diagonal Temperley-Lieb harmonics" and "diagonal Temperley-Lieb coinvariant space". We present new results and conjectures concerning these spaces, as well as the space obtained as the quotient of the ring of diagonal Temperley-Lieb invariants by the ideal generated by constant term free diagonally symmetric invariants. We also describe how the space of diagonal Temperley-Lieb invariants affords a natural graded Hopf algebra structure, for n going to infinity. We finally show how this last space and its graded dual Hopf algebra are related to the well known Hopf algebras of symmetric functions, quasi-symmetric functions and noncommutative symmetric functions.

Combinatorics

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the theoretical construction and property study of diagonal Temperley - Lieb invariants and harmonic polynomials. Specifically, the goals of the paper can be summarized as the following aspects:

1. **Introducing new mathematical objects**:
- Define diagonally quasi - symmetric polynomials, also known as diagonal Temperley - Lieb invariants.
- Introduce the diagonal Temperley - Lieb harmonics and the diagonal Temperley - Lieb coinvariant space.

2. **Exploring the properties of these spaces**:
- Propose new results and conjectures about these spaces.
- Study the space obtained by quotienting the ring of diagonal Temperley - Lieb invariants by the ideal of constant - term - free diagonal symmetric invariants.

3. **Hopf algebra structure**:
- Describe how the space of diagonal Temperley - Lieb invariants forms a natural graded Hopf algebra structure as the number of variables $n$ tends to infinity.
- Show how this Hopf algebra and its graded dual Hopf algebra are related to the known Hopf algebras of symmetric functions, quasi - symmetric functions, and non - commutative symmetric functions.

4. **Proposing conjectures**:
- For the quotient space $Q[x,y]/\langle DQSym^+_n \rangle$, propose a recursive formula for its Hilbert matrix and give specific numerical examples.

### Formula summary

- **Hilbert matrix recursive formula**:
$$
M_n(i,j)=\sum_{i'\geq i,j'\leq j}M_{n - 1}(i',j'),\quad\text{when }i > j.
$$
The values on the main diagonal are the $(n - 1)$th Catalan numbers:
$$
M_n(i,i)=\frac{1}{n}\binom{2(n - 1)}{n - 1}.
$$

- **Hilbert series formula**:
$$
H_{Q_n}(q)=\sum_{k = 0}^{n - 1}\frac{n - k}{n + k}\binom{n + k}{k}q^k.
$$

From the above content, it can be seen that the main goal of this paper is to construct and analyze the theoretical framework of diagonal Temperley - Lieb invariants and related spaces, and at the same time explore their roles in the Hopf algebra structure and their relationships with other classical algebraic structures.