98919ae2da1d3e8f.tex
1: \begin{definition}\label{def:KL} \rm 
2: In this paper we call the polynomials  $m_{y,x} \in \Z[v]$ for $x,y \in W^J$
3: in Theorem~\ref{thm:KL} the  \emph{parabolic Kazhdan-Lusztig polynomials} of
4: $W$ with respect  to $W_J$. In the  case $J = \emptyset$ they  are also just
5: called (ordinary) \emph{Kazhdan-Lusztig polynomials}.
6: 
7: But  note  that  the   (parabolic)  Kazhdan-Lusztig  polynomials  originally
8: defined  by Kazhdan-Lusztig  and  Deodhar are  slightly  different: You  get
9: them  from  the $m_{y,x}$  as  $v^{l(x)-l(y)}  m_{y,x}(1/v)$, considered  as
10: polynomials in $v^2$. See~\cite[2.6 and 3.2.(1.)]{Soe97}. In particular, the
11: Kazhdan-Lusztig $\mu(y,x)$-function  is given by  the coefficient of  $v$ in
12: $m_{y,x}$. We do not need this function in our setup.
13: \end{definition}
14: