On parabolic Kazhdan-Lusztig R-polynomials for the symmetric group
Parabolic R-polynomials were introduced by Deodhar as parabolic analogues of ordinary R-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic R-polynomials for the symmetric group. Let Sn be the symmetric group on {1,2,…,n}, and let S={si∣1≤i≤n−1} be the generating set of Sn, where for 1≤i≤n−1, si is the adjacent transposition. For a subset J⊆S, let (Sn)J be the parabolic subgroup generated by J, and let (Sn)J be the set of minimal coset representatives for Sn/(Sn)J. For u≤v∈(Sn)J in the Bruhat order and x∈{q,−1}, let Ru,vJ,x(q) denote the parabolic R-polynomial indexed by u and v. Brenti found a formula for Ru,vJ,x(q) when J=S∖{si}, and obtained an expression for Ru,vJ,x(q) when J=S∖{si−1,si}. We introduce a statistic on pairs of permutations in (Sn)J for J=S∖{si−2,si−1,si}. Then we give a formula for Ru,vJ,x(q), where J=S∖{si−2,si−1,si} and i appears after i−1 in v. We also pose a conjecture for Ru,vJ,x(q), where J=S∖{sk,sk+1,…,si} with 1≤k≤i≤n−1 and the elements k+1,k+2,…,i appear in increasing order in v.