[논문 리뷰] Lusztig's $a$-function for Coxeter groups with complete graphs

Nanhua Xi|arXiv (Cornell University)|2011. 06. 13.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 16

한 줄 요약

이 논문은 유한한 평행 부분군의 크기가 일관되게 유계인 코xeter 군에서 완전한 코xeter 그래프를 가진 경우 루슈티그의 $a$-함수는 유계임을 증명한다. 핵심 결과는 이러한 군이 최저의 양측 세포를 지닌다는 것으로, $a$-함수는 최대 유한한 평행 부분군의 최장 원소의 길이로 유계가 된다. 이는 아핀 웨일 군과 격자군에 대해 알려진 결과를 더 넓은 코xeter 군의 범주로 일반화한다.

ABSTRACT

We show that Lusztig's $a$-function of a Coxeter group is bounded if the Coxeter group has a complete graph (i.e. any two vertices are joined) and the cardinalities of finite parabolic subgroups of the Coxeter group have a common upper bound.

연구 동기 및 목표

• 완전한 코xeter 그래프를 가진 코xeter 군에서 루슈티그의 $a$-함수의 유계성을 조사하는 것.
• 유한한 평행 부분군의 최장 원소의 길이로 $a$-함수의 유계성이 보장되는 조건을 규명하는 것.
• 이러한 코xeter 군에서 최저의 양측 세포의 존재를 확립하는 것.
• 아핀 웨일 군과 격자군에 대해 알려진 $a$-함수의 유계성 결과를 더 넓은 코xeter 군의 범주로 일반화하는 것.

제안 방법

• 헤크 대수에서의 카즈단-루슈티그 기저와 계수 $h_{w,u,v}$를 사용하여 $q^{1/2}$에서의 차수를 통해 $a$-함수를 분석하는 것.
• 등가식 $f_{w,u,v} = f_{u,v^{-1},w^{-1}}$과 다항식 차수의 경계를 적용하여 $a(v)$를 구조 계수의 최대 차수와 연결하는 것.
• 브라우트 순서와 유한한 평행 부분군의 최장 원소 존재성을 활용하여 $a(w)$의 경계를 도출하는 것.
• 카즈단-루슈티그 다항식의 양의성과 주요 반전의 구조를 이용하여 세포 분해를 분석하는 것.
• 모순에 의한 증명과 $LR$-전순서를 통한 세포 비교를 통해 최대 $a$-값을 가진 원소들이 최저의 양측 세포에 속함을 보이는 것.
• [KL]과 [L3]의 결과를 활용하여 세포 동치성과 $ ilde{T}_w$ 곱셈의 성질을 적용하여 $a(v)$의 경계를 도출하는 것.

실험 결과

연구 질문

• RQ1 완전한 코xeter 그래프를 가진 코xeter 군에서 루슈티그의 $a$-함수는 어떤 조건에서 유계가 되는가?
• RQ2 이러한 군에서 $a$-함수는 유한한 평행 부분군의 최장 원소의 길이로 유계가 될 수 있는가?
• RQ3 유계인 $a$-함수의 존재는 군 내에 최저의 양측 세포가 존재함을 의미하는가?
• RQ4 순위 2의 유한한 평행 부분군의 구조는 완전한 코xeter 군의 두측 세포 수에 어떤 영향을 미치는가?
• RQ5 완전한 그래프를 가진 격자군 코xeter 군에서 두측 세포의 수는 $|O| + 2$와 같으며, 여기서 $|O|$는 순위 2의 유한한 평행 부분군의 동형류 수인가?

주요 결과

• 완전한 코x터 그래프를 가진 임의의 코x터 군에서, 유한한 평행 부분군의 크기가 일관되게 유계이면 $a$-함수는 유계이다.
• 최대 $a$-함수 값은 최대 유한한 평행 부분군의 최장 원소의 길이와 같다.
• 군은 최저의 양측 세포를 지니며, 이는 $a(w)$가 최대가 되는 모든 원소 $w$를 포함한다.
• 완전한 그래프를 가진 격자군 코x터 군에서 두측 세포의 수는 $|O| + 2$이며, 여기서 $|O|$는 순위 2의 유한한 평행 부분군의 동형류 수이다.
• 완전한 그래프를 가진 순위 3의 코x터 군에서는 $a$-함수는 유계이며, 정확히 세 개의 두측 세포를 가진다: $\{e\}$, 유일한 기저 표현을 가진 원소들, 다중 기저 표현을 가진 원소들.
• $a$-함수는 임의의 유한한 평행 부분군의 최장 원소의 길이로 유계가 되며, 이 경계는 부분군이 최대일 경우 정확하다.