English

On Kazhdan--Lusztig basis elements having no reversal factorization

Combinatorics 2026-05-22 v1

Abstract

For ww in the symmetric group SnS_n, let C~w\widetilde C_w be the corresponding modified, signless Kazhdan--Lusztig basis element of the type-AA Hecke algebra Hn(q)H_n(q). An extension [Ann. Comb. 25, no. 3 (2021) pp. 757--787] of a result of Deodhar [Geom. Dedicata 36, (1990) pp. 95--119] implies that any factorization of the form \begin{equation*} \widetilde C_w = \frac1{f(q)} \widetilde C_{v^{(1)}} \cdots \widetilde C_{v^{(r)}}, \end{equation*} with v(1),,v(r)v^{(1)},\dotsc,v^{(r)} maximal elements of parabolic subgroups of SnS_n and f(q)N[q]f(q) \in \mathbb N[q] depending on these, provides cancellation-free combinatorial interpretations of the polynomials {Pv,w(q)vSn}\{P_{v,w}(q) \,|\, v \in S_n \} appearing in the expansion vPv,w(q)Tv\sum_v P_{v,w}(q) T_v of C~w\widetilde C_w in terms of the natural basis {TvvSn}\{ T_v \,|\, v \in S_n \} of Hn(q)H_n(q). While the set of permutations wSnw \in S_n admitting such a factorization of C~w\widetilde C_w has not yet been characterized, we apply a result of Gaetz -- Gao [Adv. Math. 457 (2024) Paper No. 109941] to describe a set admitting no such factorization.

Keywords

Cite

@article{arxiv.2605.21733,
  title  = {On Kazhdan--Lusztig basis elements having no reversal factorization},
  author = {Tommy Parisi and Ben Spahiu and Mark Skandera and Jiayuan Wang},
  journal= {arXiv preprint arXiv:2605.21733},
  year   = {2026}
}