[논문 리뷰] Notes on affine canonical and monomial bases

Yiqiang Li|ArXiv.org|2006. 10. 14.

Algebraic structures and combinatorial models참고 문헌 15인용 수 4

한 줄 요약

이 논문은 Lusztig의 아핀 캐논리컬 기저와 아핀 퀼러 표현 이론을 통해 구성된 단항기저 사이의 전이 행렬이 대각선에 1을 가지며, 위에 있는 계수들이 비음수 정수 계수의 라렌트 다항식을 가지는 상삼각행렬임을 증명한다. 또한, 일부 단항기저 요소들이 단순 페르소브 층으로 간주할 때 캐논리컬 기저 원소의 지지다양체의 특이점을 해결함을 보여준다.

ABSTRACT

We investigate the affine canonical basis and the monomial basis constructed in [LXZ] in Lusztig's geometric setting. We show that the transition matrix between the two bases is upper triangular with 1's in the diagonal and coefficients in the upper diagonal entries in N[v, v^{-1}]. As a consequence, we show that part of the monomial basis elements give rise to resolutions of support varieties of the affine canonical basis elements as simple perverse sheaves.

연구 동기 및 목표

• Lusztig의 기하적 프레임워크를 사용하여 [LXZ]의 단항기저를 이해하기 위해 페르소브 층을 활용한다.
• 기하적 설정에서 단항기저와 Lusztig의 아핀 캐논리컬 기저 사이의 관계를 확립한다.
• 두 기저 사이의 전이 행렬이 대각선에 1을 가지며, 계수들이 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$ 에 속하는 상삼각행렬임을 증명한다.
• 일부 단항기저 요소들이 단순 페르소브 층으로서 캐논리컬 기저 원소의 지지다양체에 대한 특이점 해결을 제공함을 보여준다.

제안 방법

• Lusztig의 [L3]에서의 추론을 아핀 퀄러 설정으로 확장하여, 아핀 퀄러 표현의 표현-지향성 성질을 활용한다.
• [Re]에서의 핵심 보조정리를 사용하여 전이 행렬의 상삼각성 증명을 단순화한다.
• [LXZ]의 퀄러 표현 이론에서 유도된 PBW형 생성자들의 재정렬을 통해 단항기저 $\mathcal{F}$ 를 구성한다.
• 기하적 실현을 통해 [LXZ]에서 정의된 단항기저 $\{\mathbf{m}_{\mathbf{c}} \mid \mathbf{c} \in \mathcal{M}\}$ 와 $\mathcal{F}$ 를 동일시한다.
• 각 $\mathbf{a} \in \Delta$ 에 대해 맵 $\pi_{\mathbf{s}(\mathbf{a})}: \tilde{\mathcal{F}}_{\mathbf{s}(\mathbf{a})} \to \mathrm{E}_V$ 를 통해 특이점 해결을 정의한다.
• $\pi_{\mathbf{s}(\mathbf{a})}$ 가 조밀한 열린 스트라툼에서 올바르고, 등장하는 성질을 이용하여 $\overline{X}(\mathbf{a},\boldsymbol{\lambda})$ 의 해결임을 확인한다.

실험 결과

연구 질문

• RQ1 LXZ의 단항기저는 기하학적으로 Lusztig의 아핀 캐논리컬 기저와 어떻게 관련이 있는가?
• RQ2 기하적 설정에서 단항기저와 캐논리컬 기저 사이의 전이 행렬의 구조는 어떠한가?
• RQ3 일부 단항기저 요소들이 캐논리컬 기저 원소의 지지다양체의 특이점을 해결할 수 있는가?
• RQ4 두 기저 사이의 전이 행렬이 기하적 실현에서 상삼각행렬임이 유지되는가? 계수 제약 조건은 무엇인가?
• RQ5 캐논리컬 기저 원소의 지지다양체에 대한 특이점 해결은 아핀 퀄러 다양체 위의 기하적 구성으로 실현될 수 있는가?

주요 결과

• 단항기저 $\mathcal{F}$ 와 아핀 캐논리컬 기저 $\mathbf{B}$ 사이의 전이 행렬은 대각선에 1을 가지며, 대각선 위의 계수들이 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$ 에 속하는 상삼각행렬이다.
• 이는 캐논리컬 기저 $\mathbf{B}$ 와 바-불변 기저 $\mathcal{E}_{\mathbf{M}}$ 사이의 전이 행렬이 계수들이 $\mathbb{Q}[v,v^{-1}]$ 에 속하고 대각선에 1을 가지는 상삼각행렬임을 의미한다.
• 일부 순서가 부여된 순서열에 대응하는 단항기저 요소들이 캐논리컬 기저 원소의 지지다양체의 특이점을 해결한다.
• 이 해결은 $\pi_{\mathbf{s}(\mathbf{a})}: \tilde{\mathcal{F}}_{\mathbf{s}(\mathbf{a})} \to \overline{X}(\mathbf{a},\boldsymbol{\lambda})$ 의 적절한 맵을 통해 실현되며, 이는 조밀한 열린 스트라툼 $X(\mathbf{a},\boldsymbol{\lambda})$ 에서 동형사상이다.
• 지지다양체 $\overline{X}(\mathbf{a},\boldsymbol{\lambda})$ 는 단순 페르소브 층으로 간주할 때 캐논리컬 기저 원소의 지지다양체이다.
• 바-불변성으로 인해 코homological degree의 이동이 사라지며, 이는 $F(\mathbf{a},\boldsymbol{\lambda}) = \mathrm{IC}(\mathbf{a},\boldsymbol{\lambda}) \oplus \bigoplus_{\boldsymbol{\lambda} < \boldsymbol{\mu}} A_{\boldsymbol{\lambda}\mu} \mathrm{IC}(\mathbf{a},\boldsymbol{\mu}) \oplus K$ 와 같이 이동 없이 표현됨을 확인한다.