When are parabolic Kazhdan-Lusztig polynomials nonzero? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T04:58:53Z http://mathoverflow.net/feeds/question/91414 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/91414/when-are-parabolic-kazhdan-lusztig-polynomials-nonzero When are parabolic Kazhdan-Lusztig polynomials nonzero? Jonah Blasiak 2012-03-16T21:23:05Z 2012-03-19T04:07:40Z <p>Let $W$ be a Coxeter group with simple reflections $S$ and let $J \subseteq S$. Let $P^J_{\tau, \sigma}$ be the parabolic Kazhdan-Lusztig polynomials in the case $u = q$ in the sense of <em>On Some Geometric Aspects of Bruhat Orderings II. The Parabolic Analogue of Kazhdan-Lusztig Polynomials</em> by Deodhar. These give the transition matrix between a canonical basis and standard basis <code>$\{T_w\}$</code> of $M^J$, where $M^J \cong \text{Ind}_{W_J}^W \text{ triv}$. This canonical basis is like the $C_w$ basis, not the $C'_w$ basis --the trivial module is a cellular quotient, not a cellular submodule.</p> <blockquote> <p>When is $P^J_{\tau, \sigma}$ nonzero? This question seems quite difficult, and I am wondering if there has been any work done on it or if it is equivalent to some well-known problem in Kazhdan-Lusztig theory that is known to be difficult.</p> </blockquote> <p>Unlike ordinary Kazhdan-Lusztig polynomials which are nonzero if and only if $\tau \leq \sigma$, these are nonzero only if $\tau \leq \sigma$, but can often be $0$ when $\tau &lt; \sigma$. For example, in the type A case and the case that $J$ is maximal parabolic, which $P^J_{\tau, \sigma}$ are nonzero is easily described in terms of the $sl_2$ graphical calculus (the number of nonzero $P^J_{\tau, \sigma}$ for fixed $\sigma$ is $2^k$ where $k$ is the number of arcs in the diagram corresponding to $\sigma$).</p>