[논문 리뷰] A bar operator for involutions in a Coxeter group

G. Lusztig|arXiv (Cornell University)|2011. 12. 05.

Algebraic structures and combinatorial models참고 문헌 8인용 수 35

한 줄 요약

이 논문은 임의의 코x터 군에서 ∗-틀린 원소들에 의해 생성되는 자유 모듈러에 히케 대수 작용과 바 연산자를 초등적으로 구성하며, 이는 이전의 기하적 구성들을 일반화한다. 주요 기여는 이 모듈러에 대해 바 연산자와 캐논컬 기저 $A_w$의 존재성과 유일성을 증명하는 것으로, 이는 원소에 대한 카즈단-류스트리프 다항식을 정교화하고 비음수 정수 계수를 가진 다항식들로 $P_{y,w}^\sigma$의 새로운 분해를 이끌어낸다.

ABSTRACT

In [LV] the authors defined a Hecke algebra action and a bar involution on a vector space spanned by the involutions in a Weyl group. In this paper we give a new definition of the Hecke algebra action and the bar operator which, unlike the one in [LV], is completely elementary (does not use geometry) and in particular it makes sense for an arbitrary Coxeter group.

연구 동기 및 목표

• 임의의 코x터 군에서 ∗-틀린 원소들에 의해 생성되는 모듈러에 히케 대수 작용과 바 연산자를 기하학적 도구 없이 초등적으로 구성하는 것.
• 기하적 방법으로 Weyl 또는 아핀 Weyl 군에서 증명된 [LV]의 결과들을 순수 대수적 프레임워크로 일반화하여 임의의 코x터 군에 적용 가능한 것.
• 모듈러 $M$에 대해 바 연산자와 $\mathbb{Z}[v,v^{-1}]$-기저 $\{a'_w\}$를 통해 정의된 캐논컬 기저 $\{A_w\}$의 존재를 확립하는 것.
• 이 기저의 구조 상수 $P_{y,w}^\sigma$가 $\mathbb{Z}[u]$에 속하는 다항식이며, 비음수 계수를 가짐을 증명하는 것.
• 브라우트 순서에서 $I^*$의 멜로비우스 함수에 대한 명시적 공식을 제공하고, 이가 $\{1, -1\}$ 값을 가짐을 보이며, 이를 통해 $P_{y,w}^\sigma$의 상수항이 1임을 증명하는 것.

제안 방법

• 다음과 같은 브레이드 및 이차 관계를 만족하는 생성자 $T_w$를 가진 $A = \mathbb{Z}[u,u^{-1}]$ 위의 히케 대수 $H$를 정의한다.
• 브라우트 순서와 ∗-자기변환에 따라 의존하는 명시적 공식을 통해 $T_s a_w$에 의존하는 $M = \bigoplus_{w \in I^*} A \cdot a_w$에 $H$-모듈러 구조를 구성한다.
• 모든 $h \in H$, $m \in M$에 대해 $\overline{h m} = \overline{h} \, \overline{m}$ 및 $\overline{a_1} = a_1$를 만족하는 유일한 $\mathbb{Z}$-선형 사상으로서 $M$ 위의 바 연산자 $\overline{\cdot}$를 정의한다. 여기서 $\overline{a_w} = \epsilon_w T_{w^{-1}}^{-1} a_{w^{-1}}$이다.
• 정규화된 기저 $a'_w = v^{-l(w)} a_w$를 도입하고, $A_w = v^{-l(w)} \sum_{y \leq w} P_{y,w}^\sigma a_y$를 정의한다. 여기서 $P_{y,w}^\sigma \in \mathbb{Z}[u]$이다.
• 바 연산자와 브라우트 순서의 성질을 이용한 귀납법을 통해 $\{A_w\}$가 $M$의 $\mathbb{Z}[v,v^{-1}]$-기저임을 증명한다.
• 모듈로 2로의 환원과 멜로비우스 함수의 성질을 이용하여 $P_{y,w}^\sigma \equiv P_{y,w} \mod 2$임을 보이고, $P_{y,w}^\sigma$의 상수항이 1임을 증명한다.

실험 결과

연구 질문

• RQ1 코x터 군에서 ∗-틀린 원소들의 공간에 대해 버디어 다이나믹스와 같은 기하적 도구 없이도 히케 대수 작용과 바 연산자를 구성할 수 있는가?
• RQ2 히케 대수 $H$-모듈러 $M$에 대해 카즈단-류스트리프 기저와 유사한 캐논컬 기저 $\{A_w\}$가 존재하는가? 이 기저의 구조 상수가 $\mathbb{Z}[u]$에 속하는가?
• RQ3 이 기저의 구조 상수 $P_{y,w}^\sigma$는 비음수 정수 계수를 가지는가? 원래의 카즈단-류스트리프 다항식 $P_{y,w}$와의 관계는 어떠한가?
• RQ4 브라우트 순서에서 $I^*$의 멜로비우스 함수는 무엇이며, 이는 $P_{y,w}^\sigma$의 성질을 증명하는 데 어떻게 사용될 수 있는가?
• RQ5 바 연산자를 이용해 $P_{y,w}^\sigma$에 대한 역함수 공식을 유도할 수 있는가? 그리고 이는 대칭 자동형사상과 어떻게 관련이 있는가?

주요 결과

• 브라우트 순서와 ∗-자기변환에 따라 의존하는 $T_s a_w$에 대한 네 가지 명시적 공식에 의해, ∗-틀린 원소들로 생성되는 모듈러 $M$에 대한 히케 대수 작용이 유일하게 결정된다.
• 모든 $h \in H$, $m \in M$에 대해 $\overline{h m} = \overline{h} \, \overline{m}$ 및 $\overline{a_1} = a_1$를 만족하는 $\mathbb{Z}$-선형 사상으로서 $M$ 위의 바 연산자가 존재하고 유일하다. 여기서 $\overline{a_w} = \epsilon_w T_{w^{-1}}^{-1} a_{w^{-1}}$이다.
• 요소 $A_w = v^{-l(w)} \sum_{y \leq w} P_{y,w}^\sigma a_y$는 $\mathbb{Z}[v,v^{-1}]$-기저를 형성하며, $P_{y,w}^\sigma \in \mathbb{Z}[u]$ 이고 $y < w$일 때 $\deg P_{y,w}^\sigma \leq (l(w) - l(y) - 1)/2$이다.
• 순서 집합 $(I^*, \leq)$의 멜로비우스 함수는 $\{1, -1\}$ 값을 가지며, 이는 $P_{y,w}^\sigma$의 상수항이 1임을 증명하는 데 사용된다.
• $P_{y,w}^\sigma \equiv P_{y,w} \mod 2$를 만족하고, $P_{y,w}^\sigma$의 상수항이 1이므로 $P_{y,w}^\sigma = P_{y,w} + 2f(u)$를 만족하는 어떤 $f(u) \in \mathbb{Z}[u]$가 존재한다.
• 구성된 $P_{y,w}^\sigma = P_{y,w}^+ + P_{y,w}^-$ 이며, $P_{y,w}^+, P_{y,w}^+ \in \mathbb{N}[u]$인 것으로 추측된 바가 Weyl 또는 아핀 Weyl 군의 경우 확인되었고, 일반적인 경우는 여전히 열려있다.