[논문 리뷰] The leading coefficient of certain Kazhdan-Lusztig polynomials of the permutation group $S_n$

Nanhua Xi|ArXiv.org|2004. 01. 30.

Coding theory and cryptography참고 문헌 2인용 수 5

한 줄 요약

이 논문은 대칭군 $\mathfrak{S}_n$ 의 순열에 대해, Lusztig의 $a$-함수 $a$ 에 대해 $a(y) < a(w)$ 이면 카즈단-루스티그 다항식 $P_{y,w}$ 의 주계수 $\mu(y,w)$ 가 1 이하임을 증명한다. 이 결과는 브라우트 순서, 셀 이론, 그리고 별 연산을 통한 재귀적 감소에 기반하여, 대칭군 카즈단-루스티그 다항식의 $\mu$-계수에 대한 핵심 제약 조건을 확립한다.

ABSTRACT

In this paper we show that the leading coefficient $μ(y,w)$ of certain Kazhdan-Lusztig polynomials $P_{y,w}$ of the permutation group $\mathfrak S_n$ of 1,2,...,n are not greater than 1. More precisely, we show that the leading coefficients $μ(y,w)$ are not greater than 1 whenever $a(y)&lt; a(w)$, where $a: \mathfrak S_n o\mathbf N$ is the function defined by Lusztig.

연구 동기 및 목표

• 대칭군 $\mathfrak{S}_n$ 의 카즈단-루스티그 다항식의 주계수 $\mu(y,w)$ 를 결정하는 것.
• 특히 Lusztig의 $a$-함수와의 관계에서 $\mu(y,w) > 1$ 가 되는 조건을 이해하는 것.
• $a(y) < a(w)$ 일 때 $\mu(y,w)$ 에 대한 상한을 확립하여, (0,1)-예측과 셀 이론에 기여하는 것.

제안 방법

• Lusztig 가 정의한 두측 셀 위에서 일정한 $a$-함수 $a: \mathfrak{S}_n \to \mathbb{N}$ 와 브라우트 순서 $\leq$ 를 사용한다.
• 길이와 순서 성질을 분석하기 위해 $\mathfrak{S}_n = \bigcup_{i=0}^{n-1} U_i$ 의 분해를 적용하며, 여기서 $U_i$ 는 $s_i \cdots s_1$ 으로 시작하는 순열로 이루어져 있다.
• 오른쪽 셀과 $a$-값을 유지하는 왼쪽 별 연산을 활용하여 더 작은 대칭군으로의 감소를 가능하게 한다.
• $y = s_i \cdots s_1 y_1$ 과 $w = s_i \cdots s_1 w_1$ 이면 $P_{y,w} = P_{y_1,w_1}$ 이라는 항등식을 사용하여 귀납적 감소를 실시한다.
• $\delta_{x,y,z}$ 와 $\gamma_{x,y,z}$ 를 이용한 Springer 의 공식을 적용하고, $\mathcal{D}_0$ 가 최우선의 치환으로 이루어져 있음을 이용한다.
• $a(y) = a(w)$ 이면 $y \sim_R w$ 또는 $y \sim_L w$ 임을 이용하고, 대칭성 $\mu(y,w) = \mu(y^{-1},w^{-1})$ 을 활용하여 오른쪽 셀 동치로 감소시킨다.

실험 결과

연구 질문

• RQ1 대칭군 $\mathfrak{S}_n$ 의 $y,w$ 에 대해 카즈단-루스티그 다항식 $P_{y,w}$ 의 주계수 $\mu(y,w)$ 가 1 이하가 되는 조건은 무엇인가?
• RQ2 특히 $a(y) < a(w)$ 일 때, $a$-함수를 사용하여 $\mu(y,w) > 1$ 가 되는지를 예측할 수 있는가?
• RQ3 $a(y) < a(w)$ 일 때, 별 연산을 통해 $\mu(y,w)$ 의 계산을 더 작은 대칭군으로 감소시킬 수 있는가?

주요 결과

• 모든 $y,w \in \mathfrak{S}_n$ 에 대해, $y \leq w$ (브라우트 순서) 이고 $a(y) < a(w)$ 이면, 정리 1.4 에 의해 $\mu(y,w) \leq 1$ 이다.
• $\mathfrak{S}_n$ 에서 $a$-함수는 유계이며, $a(y) = a(w)$ 이면 $y$ 와 $w$ 는 같은 왼쪽, 오른쪽 또는 양측 셀에 속한다.
• $a(y) = a(w)$ 이면 $\mu(y,w)$ 가 1을 초과할 수 있지만, 조건 $a(y) < a(w)$ 가 성립하면 이를 제거할 수 있다.
• McLarnan 과 Warrington 이 $a(y) \geq a(w)$ 일 때 (0,1)-예측에 대해 부정적인 답변을 제시한 바가 있어, 이 결과는 일부 경우에 대해 (0,1)-예측에 대한 부정적인 답변을 제공한다.
• $U_i$ 와 별 연산을 통한 재귀적 구조는 $\mu(y,w) = \mu(y_1,w_1)$ 를 보장하여 귀납적 감소를 가능하게 한다.
• $a(w) = 1$ 이면, 모든 $y \leq w$ 에 대해 $\mu(y,w) \leq 1$ 이 성립함을 3.3 절의 (b) 항에서 보였다.