[논문 리뷰] Leading coefficients of the Kazhdan-Lusztig polynomials for an Affine Weyl group of type $\widetilde{B_2}$

Liping Wang|arXiv (Cornell University)|2008. 05. 22.

Advanced Combinatorial Mathematics참고 문헌 15인용 수 4

한 줄 요약

이 논문은 $\tilde{B}_2$ 유형의 아핀 웨일 군에 대한 카즈단–류스티그 다항식의 주계수 $\mu(u,w)$를 계산하며, $a$-함수와 셀 분해를 이용한다. 이는 이 군에 대한 루스티그의 동정적 치환에 대한 추측을 증명하고, W-그래프가 국소적으로 유한하지 않음을 보이며, 루스티그의 이전 작업에서 오류가 있는 공식에 대한 필수 수정을 제시한다.

ABSTRACT

In this paper we compute the leading coefficients $μ(u,w)$ of the Kazhdan--Lusztig polynomials $P_{u,w}$ for an affine Weyl group of type $ ilde{B}_2$. By using the extbf{a}-function of a Coxeter group defined by Lusztig (see [L1, \S2]), we compute most $μ(u,w)$ explicitly. With part of these values $μ(u,w)$, we show that a conjecture of Lusztig on distinguished involutions is true for an affine Weyl group of type $ ilde{B}_2$. We also show that the conjectural formula in [L3, (12)] needs a modification.

연구 동기 및 목표

• 아핀 웨일 군 $\tilde{B}_2$ 유형에 대한 카즈단–류스티그 다항식의 주계수 $\mu(u,w)$를 계산한다.
• 계산된 $\mu(u,w)$ 값을 이용해 $\tilde{B}_2$에 대한 루스티그의 1987년 추측인 동정적 치환에 대한 검증을 수행한다.
• $\tilde{B}_2$의 W-그래프의 구조를 조사하고, 이 그래프가 국소적으로 유한한지 여부를 판단한다.
• 루스티그의 [L3, (12)]에서 제안한 $b_{\nu,\nu'}$ 공식에 존재하는 오류를 규명하고 수정한다.

제안 방법

• $\tilde{B}_2$의 원소들을 $a(w)$ 값에 따라 0, 1, 2, 4로 나누어 네 개의 양방향 셀로 분류하기 위해, 루스티그가 정의한 코xeter 군의 $a$-함수를 활용한다.
• 카즈단–류스티그 다항식의 재귀적 성질과 $\mu(u,w)$를 $P_{u,w}$의 주계수로 정의하는 공식인 $P_{u,w} = \nu(u,w)q^{(l(w)-l(u)-1)/2} + \text{낮은 항들}$을 사용한다.
• 대칭성 성질 $\mu(u,w) = \mu(u^{-1},w^{-1})$과 브라우트 순서를 활용하여 비영인 계수의 가능성을 제약한다.
• 특히 $a(u)=2$, $a(w)=1$인 경우에 대해 생성집합에 대한 왼쪽 및 오른쪽 스트링을 이용해 $\mu(u,w)$를 분석한다.
• $c_0$ 셀($a(w)=4$)에 속하는 원소에 대해 $[SX, \text{정리 } 3.1]$과 $[W]$의 결과를 적용하여 $\mu(u,w)$를 계산한다.
• 대칭성과 셀 구조를 적용하여 W-그래프의 비국소적 유한성과 루스티그의 추측 공식의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 $\tilde{B}_2$ 아핀 웨일 군에 대한 카즈단–류스티그 다항식의 주계수 $\mu(u,w)$가 모든 $u < w$에 대해 완전히 계산 가능한가?
• RQ2 루스티그의 1987년 추측인 $\tilde{B}_2$에 대한 동정적 치환 추측은 참인가?
• RQ3 $\tilde{B}_2$의 W-그래프는 국소적으로 유한한가, 아니면 무한히 많은 비영인 $\mu(u,w)$ 계수가 존재하는 원소가 있는가?
• RQ4 [L3, (12)]에서 제안한 $b_{\nu,\nu'}$ 공식은 $\tilde{B}_2$의 주계수를 정확히 기술하는가?
• RQ5 $a(u)=2$이고 $a(w)=1$일 때 $\tilde{B}_2$에서 $\mu(u,w)$ 계수의 정확한 구조는 무엇인가?

주요 결과

• 논문은 $c_0$를 제외한 모든 $u < w$에 대해 $\mu(u,w)$를 명시적으로 계산하며, $c_0 \times c_0$의 경우 $[SX, \text{정리 } 3.1]$을 활용한 공식을 제공한다.
• 루스티그의 동정적 치환 추측은 아핀 웨일 군 $\tilde{B}_2$에 대해 참으로 확인되었다.
• $\tilde{B}_2$의 W-그래프는 비국소적으로 유한함을 증명하였으며, 무한히 많은 $w$에 대해 $\mu(u,w) \neq 0$인 원소 $u$가 존재한다.
• [L3, (12)]의 $b_{\nu,\nu'}$ 공식은 잘못되었으며, Proposition 5.1과 Remark 5.3에서 이를 수정할 필요가 있음을 보였다.
• $a(u)=2$, $a(w)=1$인 경우, 왼쪽 및 오른쪽 내림세트 $L(w)$와 $R(w)$에 따라 비영인 $\mu(u,w)$ 값의 완전한 분류를 제공하였으며, $L(w)=R(w)=\{s\}$, $L(w)=\{s\}, R(w)=\{s'\}$ 등의 경우를 명시적으로 다루었다.
• 모든 $\mu(u,w)$를 $l(w) - l(u) \leq 3$ 범위에서 결정하였으며, 이 길이 범위 내에서 완전한 분류를 제공하였다.