[논문 리뷰] The boundness of weighted Coxeter groups of rank 3

Jianwei Gao|arXiv (Cornell University)|2016. 07. 08.

Advanced Combinatorial Mathematics참고 문헌 1인용 수 5

한 줄 요약

이 논문은 양의 가중치 함수를 가진 랭크 3의 가중치가 부여된 코크세터 군이 루슈티그의 의미에서 유계임을 증명하며, 이 경우에 대해 그의 추측을 확인한다. 저자들은 유한 부분군의 최장 원소들의 최대 가중치가 헤이크 대수에서의 곱의 차수에 대한 통일된 상계로 작용함을 입증하여, 최소 두측 세포의 존재와 a-함수의 유계성을 이끌어낸다.

ABSTRACT

We prove that a weighted Coxeter group (W,S,L) is bounded in the sense of G.Lusztig if the rank of W is 3.

연구 동기 및 목표

• 양의 가중치 함수를 가진 랭크 3 코크세터 군에 대해 루슈티그의 유계성 추측을 증명하는 것.
• 유한 부분군의 최장 원소들의 최대 가중치가 헤이크 대수에서의 곱에 대한 통일된 상계로 작용함을 입증하는 것.
• 랭크 3의 가중치가 부여된 코크세터 군에서 최소 두측 세포의 구조를 기술하는 것.
• a-함수가 이 최대 가중치로 유계임을 보이고, 이와 최소 두측 세포 간의 관계를 조사하는 것.

제안 방법

• 헤이크 대수와 그 표준 기저 $\{T_w\}$를 사용하며, 곱의 차수를 분석하기 위해 $\deg f_{x,y,z}$ 함수를 도입한다.
• 바 인벌로션과 카즈단-루슈티그 기저 $\{C_w\}$를 적용하여 세포 이론과 차수 상한 간의 관계를 규명한다.
• 레마 1.4(4)를 활용하여 $\deg f_{x,y,z} = L(z)$가 성립하는 조건을 특성화하며, 특히 $x = y = w_{st}$ 또는 $z = s$일 경우를 중심으로 분석한다.
• 부분군 $W_{st}$ 내의 중간 원소의 길이에 기반한 케이스 분석을 통해 $\deg(T_x T_y)$를 유계화한다.
• 분해 $T_x T_y = \sum f_{x,y,z} T_z$와 차수 비교를 통해 $\deg(T_x T_y) \leq N$ (여기서 $N = \max L(w_I)$)임을 증명한다.
• 유한 부분군의 랭크 2 및 랭크 3에 대한 모순에 기반한 증명과 케이스별 분석을 통해 이 상한이 통일적으로 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 Lusztig의 유계성 추측은 $L = l$ 조건을 가정하지 않고도 랭크 3의 가중치가 부여된 코크세터 군과 임의의 양의 가중치 함수에 대해 성립하는가?
• RQ2 유한 부분군에 대해 $N = \max L(w_I)$로 정의된 최대 가중치가 랭크 3 군에서 $\deg(T_x T_y)$에 대한 통일된 상한으로 작용할 수 있는가?
• RQ3 랭크 3의 가중치가 부여된 코크세터 군에서 최소 두측 세포의 구조는 어떠한가?
• RQ4 $\{w \in W \mid a(w) = N\}$ 집합이 이 경우 최소 두측 세포 $c_0$ 와 동일한가?

주요 결과

• 모든 양의 가중치 함수를 가진 랭크 3의 가중치가 부여된 코크세터 군에 대해 이 추측이 성립하며, 이는 이전 결과에서 요구하던 $L = l$ 조건을 없애는 확장이다.
• 최대 가중치 $N = \max_{I \subseteq S, |W_I| < \infty} L(w_I)$는 모든 $x, y \in W$에 대해 $\deg(T_x T_y)$에 대한 통일된 상한으로 작용하며, 이는 Lusztig의 추측이 이 경우에 대해 확인됨을 의미한다.
• 최소 두측 세포 $c_0$ 가 존재하며, 모든 원소 $w$에 대해 $a(w) = N$ 이면 $c_0$ 에 포함되며, 이는 임의의 유한 부분군의 최장 원소를 포함하는 세포와 같다.
• 왼쪽 세포 $w_J$ 는 $\{x w_J \mid x \in W\} = \{y \mid \mathcal{R}(y) = J\}$ 이며, 오른쪽 세포는 $\{w_J x \mid x \in W\} = \{y \mid \mathcal{L}(y) = J\}$ 이다. 이는 세포의 구조가 명확하게 드러남을 보여준다.
• a-함수는 $N$ 으로 유계이며, 집합 $\{w \mid a(w) = N\}$ 은 최소 두측 세포 $c_0$ 에 포함되며, 등호가 성립할 가능성이 높다는 증거가 있다.
• 저자들은 모든 랭크 3의 가중치가 부여된 코크세터 군과 양의 가중치에 대해 $\{w \mid a(w) = N\} = c_0$ 이 성립한다고 추측한다. 이는 $L = l$ 인 경우에 알려진 결과를 일반화한 것이다.