[논문 리뷰] Lusztig's $a$ function for Coxeter groups of rank 3

Peipei Zhou|arXiv (Cornell University)|2011. 07. 11.

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

한 줄 요약

이 논문은 특정 조건 하에서 랭크 3 코xeter 군에 대해 Lusztig의 $a$-함수의 유계성을 증명한다: $m_{sr} \geq 7$ 이고 $m_{st} = 3$ 인 경우, 또는 $m_{sr} \geq 5$ 이고 $m_{st} \geq 4$ 인 경우. 증명은 헤이크 대수의 곱의 구조를 분석하고, 강한 교환 조건과 폴라비아 하위군 분해를 이용하여 구조 상수의 차수를 유계화함으로써 이루어지며, 유한 폴라비아 하위군을 통해 균일한 유계성을 확립한다.

ABSTRACT

We show that Lusztig's $a$-function of a Coxeter group is bounded if the rank of the Coxeter group is 3.

연구 동기 및 목표

• Xi 가 제기한 질문에 대해, 랭크 3 코xeter 군에서 Lusztig의 $a$-함수의 유계성을 해결하는 것.
• 이전에 애매한 외형 Weyl 군과 완전 그래프를 가진 코xeter 군에서 증명된 유계 $a$-함수 결과를 랭크 3 군으로 확장하는 것.
• 유한 폴라비아 하위군의 최장 원소의 길이에 따라 $a$-함수의 명시적 유계를 설정하는 것.
• 무한 코xeter 군의 랭크 3에서 헤이크 대수의 곱과 강한 교환 조건을 이용한 구조적 증명을 제공하는 것.

제안 방법

• 정규화된 헤이크 대수 $\widetilde{H}$ 내의 구조 상수 $f_{w,u,v}$ 의 구조를 분석하며, 여기서 $\widetilde{T}_w = q^{-l(w)/2}T_w$ 이다.
• a-함수의 유계성과 $\xi = q^{1/2} - q^{-1/2}$ 에서 $f_{w,u,v}$ 의 차수의 유계성 간의 동치성을 이용한다.
• 강한 교환 조건을 적용하여 원소를 분해하고 문제를 유한 폴라비아 하위군으로 환원한다.
• $l(x) + l(y)$ 에 대한 귀납법을 사용하여 곱 $\widetilde{T}_x \widetilde{T}_y$ 를 분석하며, $R(x)$ 와 $L(y)$ 에 기반한 경우를 나누어 고려한다.
• 특히 $|I| \leq 2$ 인 경우에 대해 $I \subset S$ 이고 $W_I$ 는 폴라비아 하위군이며, 최장 원소 $w_I$ 를 갖는다.
• 특수한 $v \in W_I$ 를 이용한 $\widetilde{T}_x \widetilde{T}_y$ 의 재귀적 분해를 통해 차수를 유도하고, 귀납법과 기존 보조정리를 활용하여 유계를 확보한다.

실험 결과

연구 질문

• RQ1 모든 랭크 3 무한 코xeter 군에서 Lusztig의 $a$-함수는 유계인가?
• RQ2 순서 $m_{sr}$ 과 $m_{st}$ 에 어떤 조건이면 랭크 3 코xeter 군에서 $a$-함수는 유계가 되는가?
• RQ3 유한 폴라비아 하위군의 최장 원소의 길이만을 사용하여 $a$-함수를 유계로 만들 수 있는가?
• RQ4 집합 $R(w)$ 와 $L(w)$ 는 랭크 3 군에서 헤이크 대수의 곱의 구조에 어떻게 영향을 미치는가?
• RQ5 강한 교환 조건은 무한 코xeter 군에서 구조 상수의 차수를 효과적으로 제어하는 데 사용될 수 있는가?

주요 결과

• 모든 랭크 3 코xeter 군에서 $m_{sr} \geq 7$ 이고 $m_{st} = 3$ 이면 $a$-함수는 유계이며, 이 유계는 $\{s,r\}$-폴라비아 하위군의 최장 원소의 길이에 따라 결정된다.
• 모든 랭크 3 코x터 군에서 $m_{sr} \geq 5$ 이고 $m_{st} \geq 4$ 이면 $a$-함수는 유계이며, 이 유계는 $\max\{m_{sr}, m_{st}\}$ 에 의해 결정된다.
• 모든 $w \in W$ 에 대해 $w = (w_1)(st) = (w_2)(sr)$ 를 만족하는 원소 $w$ 는 존재하지 않으며, 이는 비유계 행동을 배제하는 데 핵심적이다.
• 특히 $R(x) \cup L(y) \neq \{t,r\}$ 인 경우, $f_{w,u,v}$ 의 차수는 $a = \max\{m_{sr}, m_{st}\}$ 이하로 유계가 된다.
• $R(x) = \{t,r\}$ 이고 $L(y) = \{t,r\}$ 인 경우, $\widetilde{T}_x \widetilde{T}_y$ 는 차수 유계를 가진 항들로 분해되어 최대 차수 $a$ 를 갖는다.
• 증명은 $a$-함수의 유계성이 특정 유한 폴라비아 하위군의 최장 원소의 길이에 의해 결정됨을 보여주며, 이는 이전에 알려진 애매한 외형 Weyl 군 결과를 일반화한다.