Positivity conjectures for Kazhdan-Lusztig theory on twisted involutions: the universal case

TL;DR

This paper investigates positivity properties of twisted Kazhdan-Lusztig polynomials in Coxeter systems, proving new positivity results for universal cases using combinatorial methods, extending prior work.

Contribution

It proves three positivity properties of twisted Kazhdan-Lusztig polynomials for universal Coxeter systems, generalizing earlier results by Dyer with elementary combinatorial techniques.

Findings

Proved positivity properties for twisted Kazhdan-Lusztig polynomials in universal Coxeter systems.

Extended Dyer's results to a broader class of Coxeter systems.

Used elementary combinatorial methods instead of geometric arguments.

Abstract

Let $(W,S)$ be a Coxeter system and let $w \mapsto w^*$ be an involution of $W$ which preserves the set of simple generators $S$. Lusztig and Vogan have recently shown that the set of twisted involutions (i.e., elements $w \in W$ with $w^{-1} = w^*$) naturally generates a module of the Hecke algebra of $(W,S)$ with two distinguished bases. The transition matrix between these bases defines a family of polynomials $P^\sigma_{y,w}$ which one can view as "twisted" analogues of the much-studied Kazhdan-Lusztig polynomials of $(W,S)$. The polynomials $P^\sigma_{y,w}$ can have negative coefficients, but display several conjectural positivity properties of interest. This paper reviews Lusztig's construction and then proves three such positivity properties for Coxeter systems which are universal (i.e., having no braids relations), generalizing previous work of Dyer. Our methods are entirely combinatorial and elementary, in contrast to the geometric arguments employed by Lusztig and Vogan to prove similar positivity conjectures for crystallographic Coxeter systems.