Variations of the Poincaré series for affine Weyl groups and q-analogues of Chebyshev polynomials

详细信息    查看全文

• 作者：Eric Marberg ; ¹ ; ^{emarberg@stanford.edu" class="auth_mail" title="E-mail the corresponding author} ; Graham White ^{grwhite@math.stanford.edu" class="auth_mail" title="E-mail the corresponding author}
• 关键词：05E15 ; 20F55 ; 33C80
• 刊名：Advances in Applied Mathematics
• 出版年：2017
• 出版时间：January 2017
• 年：2017
• 卷：82
• 期：Complete
• 页码：129-154
• 全文大小：522 K

文摘

Let (W,S)$(W,S)$ be a Coxeter system and write a31b3ef57e178101b8345074a823b" title="Click to view the MathML source">P_W(q)$P_W(q)$ for its Poincaré series. Lusztig has shown that the quotient af978c0ac66f54985d36517c" title="Click to view the MathML source">P_W(q²)/P_W(q)$P_W(q^2)/P_W(q)$ is equal to a certain power series e87d356a19745d42618e1f45ed09a" title="Click to view the MathML source">L_W(q)$L_W(q)$, defined by specializing one variable in the generating function recording the lengths and absolute lengths of the involutions in W  . The simplest inductive method of proving this result for finite Coxeter groups suggests a natural bivariate generalization $L_W^J(s,q)\in \mathbb{Z}[[s,q]]$ depending on a subset J⊂S$J\subset S$. This new power series specializes to e87d356a19745d42618e1f45ed09a" title="Click to view the MathML source">L_W(q)$L_W(q)$ when e8ddf5285a71e821c9" title="Click to view the MathML source">s=−1$s=-1$ and is given explicitly by a sum of rational functions over the involutions which are minimal length representatives of the double cosets of the parabolic subgroup e8ed3d40215f869a" title="Click to view the MathML source">W_J$W_J$ in W. When W   is an affine Weyl group, we consider the renormalized power series $T_W(s,q)=L_W^J(s,q)/L_W(q)$ with J given by the generating set of the corresponding finite Weyl group. We show that when W is an affine Weyl group of type A  , the power series a357496b3d64a3a874aa9" title="Click to view the MathML source">T_W(s,q)$T_W(s,q)$ is actually a polynomial in s and q with nonnegative coefficients, which turns out to be a q-analogue recently studied by Cigler of the Chebyshev polynomials of the first kind, arising in a completely different context.