[논문 리뷰] Path Model for a Level Zero Extremal Weight Module over a Quantum Affine Algebra

Satoshi Naito, Daisuke Sagaki|ArXiv.org|2002. 10. 30.

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

한 줄 요약

이 논문은 양자 아핀 대수에서 수준 0 극단적 무게 모듈에 대한 경로 모델을 수립하며, 이러한 모듈의 크리스탈 기저와 기본 기본 무게에 대한 Lakshmibai–Seshadri 경로의 연결 성분 사이의 동형사상이 성립함을 증명한다. 또한 리 군의 부분대수에 대한 분해 규칙과 극단적 무게가 최소단위일 경우 텐서곱에 대한 Littelmann 유형의 분해 규칙을 증명한다.

ABSTRACT

We give a path model for a level zero extremal weight module over a quantum affine algebra. By using this result, we prove a branching rule for an extremal weight module with respect to a Levi subalgebra. Furthermore, we also show a decomposition rule of Littelmann type for the concatenation of path models for an integrable highest weight module and a level zero extremal weight module in the case where the extremal weight is minuscule.

연구 동기 및 목표

• 양자 아핀 대수에서 수준 0 극단적 무게 모듈에 대한 경로 모델을 구축하는 것.
• 극단적 무게 모듈의 크리스탈 기저와 기본 기본 무게에 대한 Lakshmibai–Seshadri 경로의 연결 성분 사이의 동형사상 수립.
• 극단적 무게 모듈에 대해 리 부분대수에 대한 분해 규칙 유도.
• 극단적 무게가 최소단위일 경우, 통합 최고 무게 모듈과 수준 0 극단적 무게 모듈의 경로 모델의 연결에 대한 분해 규칙 증명.

제안 방법

• 형태 $δ_i$의 Lakshmibai–Seshadri 경로를 체인 조건을 만족하는 조각별 선형 사상으로 정의한다.
• 경로 중 $\pi_{\varpi_i}(t) = t\varpi_i$를 포함하는 연결 성분 $\mathbb{B}_0(\varpi_i)$가 크리스탈로서 $\mathcal{B}(\varpi_i)$와 동형임을 증명한다.
• Beck와 Nakajima의 크리스탈 임bedding 결과를 활용하여 일반적인 극단적 무게 $\lambda = \sum m_i \varpi_i$로의 동형사상 확장.
• 경로 모델의 연결을 통해 크리스탈의 텐서곱 규칙을 적용하여 분해 규칙 도출.
• 리 부분대수 $\mathfrak{g}_S$로의 크리스탈 구조 제한과 지배 조건 분석을 통해 분해 규칙 수립.
• 최소단위 성질 $\varpi_i$를 활용하여 $\mathbb{B}(\varpi_i)$가 연결되어 있고, $a$-체인이 존재하지 않음을 보이며 경로 구조 단순화.

실험 결과

연구 질문

• RQ1 양자 아핀 대수에서 수준 0 극단적 무게 모듈에 대해 경로 모델을 구성할 수 있는가?
• RQ2 기본 기본 무게 $\varpi_i$에 대한 Lakshmibai–Seshadri 경로의 연결 성분이 해당 극단적 무게 모듈의 크리스탈 기저와 동형인가?
• RQ3 극단적 무게 모듈은 리 부분대수로 제한될 때 어떻게 분해되는가?
• RQ4 극단적 무게가 최소단위일 경우, 통합 최고 무게 모듈과 수준 0 극단적 무게 모듈의 경로 모델 연결의 구조는 어떠한가?
• RQ5 최소단위 케이스에서 경로 모델의 크리스탈 구조는 텐서곱의 분해를 반영하는가?

주요 결과

• 극단적 무게 원소 $u_{\varpi_i}$를 경로 $\pi_{\varpi_i}$로 보내는 유일한 크리스탈 동형사상 $\Phi_{\varpi_i}: \mathcal{B}(\varpi_i) \to \mathbb{B}_0(\varpi_i)$가 존재한다.
• $\lambda = \sum_{i \in I_0} m_i \varpi_i$일 때, 연결 성분 $\mathcal{B}_0(\lambda)$는 경로 모델 $\mathop{\rm Cat}_{i \in I_0} \mathbb{B}_0(\varpi_i)^{\ast m_i}$의 연결 성분 $\mathbb{B}_0(\underline{\lambda})$와 동형이며, $u_\lambda$는 $\pi_{\underline{\lambda}}$로 보낸다.
• 리 부분대수 $\mathfrak{g}_S$로 제한할 때, 경로 모델 $\mathbb{B}(\varpi_i)$와 그 연결 성분 $\mathbb{B}_0(\varpi_i)$는 $\mathfrak{g}_S$-지배 경로 모델의 disjoint union으로 분해된다.
• 만약 $\varpi_i$가 최소단위일 경우, 연결 $\mathbb{B}(\lambda) \ast \mathbb{B}(\varpi_i)$는 $\lambda$-지배 경로 $\pi \in \mathbb{B}(\varpi_i)$에 대한 disjoint union으로 분해되며, 각 성분은 $\mathbb{B}(\lambda + \pi(1))$와 동형이다.
• $\varpi_i$가 최소단위일 경우, $a$-체인이 존재하지 않기 때문에 $\mathbb{B}(\varpi_i)$의 연결성이 보장된다.
• 분해 규칙는 모듈 수준의 텐서곱 분해로 반드시 올라가지 않으며, 이는 4.3.3번 참고문헌에서 언급된 lin.