[논문 리뷰] Kazhdan-Lusztig polynomials for 321-hexagon-avoiding permutations

Sara Billey, Gregory S. Warrington|ArXiv.org|2000. 05. 05.

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

한 줄 요약

이 논문은 대칭군 $\mathfrak{S}_n$에서 $w$가 321-헥사곤을 피하는 경우 카즈단-루스트리그 다항식 $P_{x,w}$에 대해 명시적이고 비재귀적인 공식을 제공한다. 이 공식은 감소 표현의 부분표현에 대한 결함 통계량을 사용한다. 핵심 결과는 $P_{x,w} = \sum q^{d(\sigma)}$이며, 여기서 합은 곱이 $x$인 마스크 $\sigma$에 대해 이루어지며, 이 경우의 순열들은 $\operatorname{IH}^*(X_w) \cong H^*(Y)$를 만족하고, $X_w$의 피카르 다항식은 $(1+q)^{l(w)}$와 같다. 이러한 결과는 비분기 코x터 군 $B_n, F_4, G_2$로도 확장된다. 이 틀은 계산을 단순화하고 특이점의 구조 및 소형 해상의 특성화를 가능하게 한다.

ABSTRACT

We give a combinatorial formula for the Kazhdan-Lusztig polynomials $P_{x,w}$ in the symmetric group when $w$ is a 321-hexagon-avoiding permutation. Our formula, which depends on a combinatorial framework developed by Deodhar, can be expressed in terms of a simple statistic on all subexpressions of any fixed reduced expression for $w$. We also show that $w$ being 321-hexagon-avoiding is equivalent to several other conditions, such as the Bott-Samelson resolution of the Schubert variety $X_w$ being small. We conclude with a simple method for completely determining the singular locus of $X_w$ when $w$ is 321-hexagon-avoiding.

연구 동기 및 목표

• 대칭군 $\mathfrak{S}_n$에서 $w$가 321-헥사곤을 피하는 경우 카즈단-루스트리그 다항식 $P_{x,w}$에 대해 비재귀적이고 조합론적인 공식을 제공하는 것.
• 교차 호모로지와 헤이크 대수의 구조를 포함한 코homological 및 대수적 불변량을 통해 슈부르트 다양체 $X_w$를 특성화하는 것.
• Bott-Samelson 해상이 소형인지, 그리고 $X_w$가 소형 해상을 가질 수 있는 조건을 규명하는 것.
• 321-헥사곤을 피하는 $w$에 대해 $X_w$의 특이점의 전체 기술을 제공하는 것.
• $\mathfrak{S}_n$에서의 결과를 $B_n, F_4, G_2$와 같은 비분기 코x터 그래프를 가진 다른 웨일 군으로 확장하는 것.

제안 방법

• 321-헥사곤을 피하는 경우, 카즈단-루스트리그 다항식에 대한 Deodhar의 조합론적 프레임워크를 활용하며, 이 경우는 부분표현에 대한 결함 통계량 계산으로 축소된다.
• 감소 표현 $\mathbf{a}$에 대한 마스크 $\sigma$에 대해, $\sigma$가 $x\leq w$인 부분표현에 대응할 때, 결함 통계량 $d(\sigma)$를 정의한다.
• 부분표현의 구조를 분석하고 핵심 성질의 동치를 증명하기 위해 결함 그래프를 활용한다.
• 피카르 다항식 $\sum \dim(\operatorname{IH}^{2i}(X_w)) q^i = (1+q)^{l(w)}$의 동치성을 이용해 321-헥사곤을 피하는 순열을 특성화한다.
• 예제 4에서 보여지듯이, 양의 결함을 가진 마스크의 수를 세는 방식으로 $P_{x,w}$를 명시적으로 계산한다.
• 321-피하기 조건을 짧은 브레이드 피하기 조건으로 대체하여 $B_n, F_4, G_2$로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 대칭군 $\mathfrak{S}_n$에서 카즈단-루스트리그 다항식 $P_{x,w}$가 비재귀적이고 조합론적인 공식을 가질 수 있는 조건은 무엇인가?
• RQ2 Schubert 다양체 $X_w$의 교차 호모로지의 피카르 다항식이 $(1+q)^{l(w)}$가 되는 순열 $w$의 정확한 특성은 무엇인가?
• RQ3 Bott-Samelson 해상이 소형이 되는 조건은 무엇이며, $X_w$가 소형 해상을 가질 수 있는 조건은 무엇인가?
• RQ4 321-헥사곤을 피하는 $w$일 때, $X_w$의 특이점이 완전히 결정될 수 있는 방법은 무엇인가?
• RQ5 헤이크 대수의 기저 원소 $C_w'$가 $C_{s_i}'$의 곱으로 표현될 수 있는 것과 $w$의 패턴 피하기 조건 사이의 관계는 무엇인가?

주요 결과

• 321-헥사곤을 피하는 $w$에 대해, 카즈단-루스트리그 다항식 $P_{x,w}$는 고정된 $w$의 감소 표현 $\mathbf{a}$에 대한 모든 마스크 $\sigma$에 대해 $\sum q^{d(\sigma)}$로 주어지며, 여기서 $d(\sigma)$는 결함 통계량이다.
• Schubert 다양체 $X_w$의 교차 호모로지의 피카르 다항식이 $(1+q)^{l(w)}$임은 $w$가 321-헥사곤을 피하는 것과 동치이다.
• 헤이크 대수의 기저 원소 $C_w'$가 $C_{s_{i_1}}' \cdots C_{s_{i_r}}'$로 표현될 수 있음은 $w$가 321-헥사곤을 피하는 것과 동치이다.
• Bott-Samelson 해상이 소형임은 $w$가 321-헥사곤을 피하는 것과 정확히 일치한다.
• 321-헥사곤을 피하는 $w$에 대해, $X_w$의 교차 호모로지는 그 자체의 Bott-Samelson 해상의 일반 호모로지와 동형이며, 즉 $\operatorname{IH}_*(X_w) \cong H_*(Y)$이다.
• 321-헥사곤을 피하는 $w$에 대해 $X_w$의 특이점은 완전히 결정되며, 이러한 다양체는 [3,4,1,2] 패턴을 포함할 경우에만 특이하다.