The excedance quotient of the Bruhat order, Quasisymmetric Varieties and Temperley-Lieb algebras (2302.10814v1)

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