English

On parabolic Kazhdan-Lusztig R-polynomials for the symmetric group

Combinatorics 2015-01-20 v1

Abstract

Parabolic RR-polynomials were introduced by Deodhar as parabolic analogues of ordinary RR-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic RR-polynomials for the symmetric group. Let SnS_n be the symmetric group on {1,2,,n}\{1,2,\ldots,n\}, and let S={si1in1}S=\{s_i\,|\, 1\leq i\leq n-1\} be the generating set of SnS_n, where for 1in11\leq i\leq n-1, sis_i is the adjacent transposition. For a subset JSJ\subseteq S, let (Sn)J(S_n)_J be the parabolic subgroup generated by JJ, and let (Sn)J(S_n)^{J} be the set of minimal coset representatives for Sn/(Sn)JS_n/(S_n)_J. For uv(Sn)Ju\leq v\in (S_n)^J in the Bruhat order and x{q,1}x\in \{q,-1\}, let Ru,vJ,x(q)R_{u,v}^{J,x}(q) denote the parabolic RR-polynomial indexed by uu and vv. Brenti found a formula for Ru,vJ,x(q)R_{u,v}^{J,x}(q) when J=S{si}J=S\setminus\{s_i\}, and obtained an expression for Ru,vJ,x(q)R_{u,v}^{J,x}(q) when J=S{si1,si}J=S\setminus\{s_{i-1},s_i\}. We introduce a statistic on pairs of permutations in (Sn)J(S_n)^J for J=S{si2,si1,si}J=S\setminus\{s_{i-2},s_{i-1},s_i\}. Then we give a formula for Ru,vJ,x(q)R_{u,v}^{J,x}(q), where J=S{si2,si1,si}J=S\setminus\{s_{i-2},s_{i-1},s_i\} and ii appears after i1i-1 in vv. We also pose a conjecture for Ru,vJ,x(q)R_{u,v}^{J,x}(q), where J=S{sk,sk+1,,si}J=S\setminus\{s_{k},s_{k+1},\ldots,s_i\} with 1kin11\leq k\leq i\leq n-1 and the elements k+1,k+2,,ik+1,k+2,\ldots, i appear in increasing order in vv.

Keywords

Cite

@article{arxiv.1501.04275,
  title  = {On parabolic Kazhdan-Lusztig R-polynomials for the symmetric group},
  author = {Neil J. Y. Fan and Peter L. Guo and Grace L. D. Zhang},
  journal= {arXiv preprint arXiv:1501.04275},
  year   = {2015}
}

Comments

14 pages