[논문 리뷰] Crystal bases and two-sided cells of quantum affine algebras

Jonathan Beck, Hiraku Nakajima|ArXiv.org|2002. 12. 18.

Algebraic structures and combinatorial models참고 문헌 9인용 수 5

한 줄 요약

이 논문은 양의 부분 $ \mathbf{U}^+ $에 대한 새로운 정수 기저 $ B $를 구성하며, 글로벌 크리스탈 기저에 대해 상삼각행렬이 되고, 계수들이 $ q_s^{-1}\mathbf{Z}[q_s^{-1}] $ 에 속함을 보여, 최대 기저의 새로운 초등 대수적 정의를 확립한다. 또한 극한 무게 모듈러스의 크리스탈 구조에 대한 추측을 증명하고, 수정된 양의 양자군 $ \widetilde{\mathbf{U}} $의 글로벌 크리스탈 기저에 대해 피터-웨일 유사 분해를 제공하며, 양방향 셀과 $ q=0 $에서의 극한 대수를 명시적으로 묘사한다.

ABSTRACT

Let $\g$ be an affine Kac-Moody Lie algebra. Let $\U^+$ be the positive part of the Drinfeld-Jimbo quantum enveloping algebra associated to $\g$. We construct a basis of $\U^+$ which is related to the Kashiwara-Lusztig global crystal basis (or canonical basis) by an upper triangular matrix (with respect to an explicitly defined ordering) with 1's on the diagonal and with above diagonal entries in $q_s^{-1} \Z[q_s^{-1}]$. Using this construction we study the global crystal basis $\B(\Um)$ of the modified quantum enveloping algebra defined by Lusztig. We obtain a Peter-Weyl like decomposition of the crystal $\B(\Um)$ (Theorem 4.18), as well as an explicit description of two-sided cells of $\B(\Um)$ and the limit algebra of $\Um$ at $q=0$ (Theorem 6.45).

연구 동기 및 목표

• 양자 아핀 대수의 $ \mathbf{U}^+ $에 대해 PBW 기저를 일반화하고 글로벌 크리스탈 기저와 호환되는 새로운 정수 기저 $ B $를 개발한다.
• 기저 $ B $와 글로벌 크리스탈 기저 사이의 전이 행렬이 대각선에 1을 가지며 상삼각행렬이 되고, 계수들이 $ q_s^{-1}\mathbf{Z}[q_s^{-1}] $ 에 속함을 보여, 최대 기저의 새로운 대수적 특성화를 확립한다.
• 카시와라, 나카시마, 루스티그가 제기한 극한 무게 모듈러스 $ V(\lambda) $의 크리스탈 구조에 대한 오랫동안 남아있던 추측을 검증한다. 특히 $ \mathcal{B}(\lambda) \cong \mathcal{B}_W(\lambda) \times \mathrm{Irr}G_\lambda $의 분해를 포함한다.
• 수정된 양자군 $ \widetilde{\mathbf{U}} $의 글로벌 크리스탈 기저 $ \mathcal{B}(\widetilde{\mathbf{U}}) $에 대해 피터-웨일 유사 분해를 수립하고, 양방향 셀과 $ q=0 $에서의 극한 대수를 명시적으로 묘사한다.
• 이전의 기저 $ B $ 구성에서의 부호 모호성을 제거하기 위해, 수준 0 극한 무게 모듈러스와 바-대칭을 사용하여 정수성과 정확한 전이 행렬을 확보한다.

제안 방법

• 근의 특정 순서를 사용하여 실근 벡터의 단항식과 허근 벡터에서의 슈어 함수의 곱으로 기저 $ B $를 구성한다.
• 특히 티츠 콘의 외부에 있는 $ \lambda \in P $에 대해 극한 무게 모듈러스 $ V(\lambda) $를 사용하여, $ q=\infty $에서의 특수화에 따른 글로벌 크리스탈 기저의 행동을 분석함으로써 부호 일致성을 확보한다.
• 바-대칭의 작용을 분석하고 최대 기저의 구조를 이용하여, $ B $와 글로벌 크리스탈 기저 사이의 전이 행렬이 대각선에 1을 가지며 상삼각행렬임을 증명한다.
• 수정된 양자군 $ \widetilde{\mathbf{U}} $의 이론과 분해 $ \mathcal{B}(\widetilde{\mathbf{U}}) \cong \coprod_{\lambda} \mathcal{B}(\lambda) \times \mathrm{Irr}G_\lambda $를 적용하여 $ \widetilde{\mathbf{U}} $의 크리스탈 구조를 연구한다.
• $ \widetilde{\mathbf{U}}[\lambda]_0 $에서의 $ J_\lambda $-모듈러스 구조와 $ \Phi: \widetilde{\mathbf{U}} \to \widetilde{\mathbf{U}}[\lambda]_0 $의 동형사상으로 $ V(\lambda) $와 그 정수 형식을 연결하고, $ \Psi: V(\lambda) \to V(\lambda)_0 \otimes_{\mathbf{Z}} \mathbf{Q}(q_s) $의 $ \widetilde{\mathbf{U}} $-모듈러스 동형사상을 증명한다.
• 프렌켈-무카인의 알고리즘과 컴퓨터 구현을 활용하여 기본 표현 $ W(\varpi_i) $의 차원을 계산함으로써, $ A_n^{(1)} $의 경우 $ \#\mathcal{D}_{\widetilde{\mathcal{B}}[\lambda]} $의 명시적 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 양자 아핀 대수의 $ \mathbf{U}^+ $에 대해 PBW 기저를 일반화하고 글로벌 크리스탈 기저와 호환되는 새로운 정수 기저 $ B $의 구조는 무엇인가?
• RQ2 기저 $ B $와 글로벌 크리스탈 기저 사이의 전이 행렬이 대각선에 1을 가지며 상삼각행렬이 되고, 계수들이 $ q_s^{-1}\mathbf{Z}[q_s^{-1}] $ 에 속함을 보여, 최대 기저의 초등 대수적 정의를 어떻게 확립할 수 있는가?
• RQ3 무게 $ \lambda \in P $에 대한 극한 무게 모듈러스 $ V(\lambda) $의 크리스탈 구조는 어떠한가? 특히 티츠 콘의 외부에 있을 경우, 카시와라의 추측에 따르면 $ \mathcal{B}_W(\lambda) \times \mathrm{Irr}G_\lambda $로 분해되는가?
• RQ4 수정된 양자군의 글로벌 크리스탈 기저 $ \mathcal{B}(\widetilde{\mathbf{U}}) $는 피터-웨일 유사 방식으로 어떻게 분해할 수 있으며, 그 두 방향 셀과 $ q=0 $에서의 극한 대수의 명시적 묘사는 무엇인가?
• RQ5 $ \mathcal{D}_{\widetilde{\mathcal{B}}[\lambda]} $의 원소 수는 무엇이며, $ A_n^{(1)} $의 경우 기본 표현 $ W(\varpi_i) $의 차원과 어떻게 관련이 있는가?

주요 결과

• 기저 $ B $ 는 실근 벡터의 단항식과 허근 벡터에서의 슈어 함수의 곱으로 구성되며, $ \mathbf{Z}[q_s, q_s^{-1}] $ 위에서 정수 기저를 이룬다.
• 기저 $ B $와 글로벌 크리스탈 기저 $ G(\mathcal{B}(-\infty)) $ 사이의 전이 행렬은 대각선에 1을 가지며 상삼각행렬이 되고, 계수들이 $ q_s^{-1}\mathbf{Z}[q_s^{-1}] $ 에 속함을 보여, 최대 기저의 새로운 초등 대수적 정의를 제공한다.
• 극한 무게 모듈러스 $ V(\lambda) $의 크리스탈 $ \mathcal{B}(\lambda) $ 는 $ \mathcal{B}_W(\lambda) \times \mathrm{Irr}G_\lambda $ 로 분해되며, 카시와라의 추측을 확인한다.
• 수정된 양자군 $ \widetilde{\mathbf{U}} $의 글로벌 크리스탈 기저 $ \mathcal{B}(\widetilde{\mathbf{U}}) $ 는 피터-웨일 유사 분해 $ \coprod_{\lambda} \mathcal{B}(\lambda) \times \mathrm{Irr}G_\lambda $ 를 갖는다. 또한 이 분해를 통해 $ \mathcal{B}(\widetilde{\mathbf{U}}) $ 의 두 방향 셀이 명시적으로 묘사된다.
• $ \widetilde{\mathbf{U}} $ 의 극한 대수 $ q=0 $ 에서는 수정된 양자군 $ \widetilde{\mathbf{U}}[\lambda]_0 $ 와 동형이며, $ \Psi: V(\lambda) \to V(\lambda)_0 \otimes_{\mathbf{Z}} \mathbf{Q}(q_s) $ 는 $ \widetilde{\mathbf{U}} $-모듈러스 동형사상으로 확립된다.
• $ \widetilde{\mathbf{U}}(A_n^{(1)}) $ 에서는 $ \mathcal{D}_{\widetilde{\mathcal{B}}[\lambda]} $ 의 원소 수가 $ \prod_{i=1}^n \binom{n+1}{i}^{\lambda_i} $ 이며, 이는 기본 표현 $ W(\varpi_i) $ 의 차원이 $ \binom{n+1}{i} $ 이므로 계산 가능하다.