[논문 리뷰] Some computations about Kazhdan-Lusztig cells in affine Weyl groups of rank 2

Jérémie Guilhot|ArXiv.org|2008. 10. 28.

Advanced Algebra and Geometry인용 수 6

한 줄 요약

이 논문은 $×{G}_2$ 및 $×{B}_2$ 유형의 랭크 2 아핀 웰 군에서 카즈단-류스티그 셀을 결정하기 위한 명시적인 계산적 세부 정보를 제공하며, 모든 매개변수 조합에 대해 모듈 구조와 셀 분해를 GAP을 사용하여 검증한다. 일부 부분군이 왼쪽 아이디얼임을 증명하고, 모든 매개변수 영역에서 왼쪽 셀과 그 부분 순서를 완전히 분류한다. 특히 $a > 4b$ 및 $a = 2c$와 같은 매개변수 임계점에서의 전환을 포함한다. 주요 기여는 비균일 매개변수를 가진 랭크 2 아핀 웰 군에 대해 완전하고 알고리즘적으로 검증된 셀 분할을 제공함으로써 이전의 이론적 결과를 명시적 계산으로 해결하는 것이다.

ABSTRACT

In the last section of the paper "Generalized induction of Kazhdan-Lusztig cells" and in "Kazhdan-Lusztig cells in affine Weyl groups of rank 2" the author described the partition into Kazhdan-Lusztig cells of the affine Weyl groups of rank 2 for all choices of parameters. The proof of these results relies on some explicit computations with GAP. In these notes we give some details of these computations.

연구 동기 및 목표

• 이전 이론적 연구에서 제안된 $×{G}_2$ 및 $×{B}_2$ 유형의 아핀 웰 군의 셀 분해에 대해 명시적인 계산적 검증을 제공한다.
• 헤이크 대수에서 특정 원소에 의해 생성된 부분군이 왼쪽 아이디얼을 이룬다는 것을 확립하여 셀 분해의 구조적 성질를 확인한다.
• 비균일 매개변수의 모든 가능한 조합에 대해 랭크 2 아핀 웰 군에서의 모든 왼쪽 셀과 그 부분 순서를 분류한다.
• 이들 군에서 카즈단-류스티그 셀에 대한 일반화된 유도 방법의 타당성을 명시적인 GAP 계산을 통해 검증한다.
• 특히 $a > 4b$, $a = 2c$, $r_1 = r_2 = 1$와 같은 임계점에서 매개변수 공간의 열린 사례를 해결한다. 여기서 셀 구조가 변화한다.

제안 방법

• 아핀 웰 군의 $×{G}_2$ 및 $×{B}_2$ 유형에 대해 GAP 계산 대수 시스템을 사용하여 명시적인 계산을 수행한다.
• 각 셀에 대해 최소 길이 대표원 $u_i, v_i, v_i'$를 정의하고, $X_u = \{z \in W \mid zu \in C_i\}$를 통해 셀 원소를 매개변수화한다.
• 헤이크 대수 $H$에서 왼쪽 아이디얼 $M = \langle T_x C_u \mid u \in U, x \in X_u \rangle_A$를 구성하고, $T_s$에 의한 왼쪽 곱셈에 대한 닫힘성을 검증한다.
• 이동 원소 개념을 적용하고, 곱셈 공식에서 길이 행동을 제어하기 위해 $\ell(wz) = \ell(w) + \ell(z)$의 등식을 사용한다.
• 카즈단-류스티그 기저 $\{C_w\}$의 구조와 곱셈 규칙 $T_s C_w = C_{sw} + v^{-1} C_w$를 사용하여 $T_s C_u$를 낮은 항들 모듈로 계산한다.
• 이동 성질과 GAP로 검증된 계수 제어를 통해 핵심 항등식 $P_{u',u} T_x C_u \equiv T_x C_u \mod H_{<0}$를 검증한다.

실험 결과

연구 질문

• RQ1 비균일 매개변수를 가진 $×{G}_2$ 유형 아핀 웰 군의 셀 분해는 계산 대수를 사용하여 모든 매개변수 조합에서 어떻게 명시적으로 검증할 수 있는가?
• RQ2 각 셀의 최소 길이 대표원에서 생성된 왼쪽 아이디얼의 구조는 어떻게 되며, 이는 셀 분해의 타당성을 어떻게 확인하는가?
• RQ3 특히 $a > 4b$ 또는 $a = 2c$와 같은 임계점에서, 왼쪽 셀의 부분 순서는 다양한 매개변수 영역에서 어떻게 변화하는가?
• RQ4 이동 원소는 카즈단-류스티그 다항식과 셀 곱셈의 행동을 제어하는 데 어떤 역할을 하는가?
• RQ5 비균일 매개변수 하에서 $×{G}_2$와 $×{B}_2$ 유형 간의 셀 분할은 어떻게 다를 수 있으며, 주요 구조 전이점은 무엇인가?

주요 결과

• $×{G}_2$ 및 $×{B}_2$ 유형 모두에서 부분군 $M = \langle T_x C_u \mid u \in U, x \in X_u \rangle_A$가 헤이크 대수 $H$에서 왼쪽 아이디얼임이 확인되어 셀 분해의 구조가 검증된다.
• $×{G}_2$의 모든 매개변수 조합에서 왼쪽 셀은 12개의 서로 다른 셀로 완전히 분할되며, 각 셀의 최소 길이 대표원과 관련된 $X_u$ 집합에 대한 상세한 기술이 제공된다.
• $×{G}_2$에서 $a > 4b$인 경우, 셀 분해는 12개의 왼쪽 셀로 이루어지며, 이 중 6개는 $A_i$ 유형, 6개는 $A_i'$ 유형이며, $C_i$ 셀은 존재하지 않으며, 이는 GAP 계산으로 확인된다.
• $×{G}_2$의 왼쪽 셀에 대한 부분 순서는 모든 매개변수 영역에서 완전히 결정되었으며, $a = 2c$ 및 $a > 4b$에서의 전환점에서 셀 그래프의 구조가 크게 변화하는 것으로 관찰된다.
• $×{B}_2$의 경우, 모든 매개변수 조합에서 셀 분해가 12개의 왼쪽 셀로 완전히 분류되었으며, 왼쪽 순서의 명시적 기술과 $r_1 = r_2 = 1$ 및 $r_1 = r_2 = 1/2$에서의 전이점이 기술된다.
• $a = 2c$ 또는 $r_1 = r_2 = 1$와 같은 임계 매개변수 조건에서 셀 구조는 위상적 변화를 겪으며, 셀 그래프에 새로운 간선(예: 그림 64–75에서의 녹색 간선)이 나타나며, 이는 부분 순서에서 새로운 지배 관계가 생겼음을 나타낸다.