[논문 리뷰] An Integral PBW Basis of the Quantum Affine Algebra of Type A$_{2}^{(2)}$

Tatsuya Akasaka|arXiv (Cornell University)|2001. 05. 21.

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

한 줄 요약

이 논문은 브레인 군 작용과 수정된 허수 근 벡터를 이용하여 $A_2^{(2)}$ 유형의 양의 부분에 대한 정수 계수 PBW 기저와 정수 계수 크리스탈 기저를 구성한다. 루슈티그의 $U^+$ 분해에 관한 열린 문제를 해결하기 위해, 새로운 생성자 $P_n$과 샤우어 다항식 $S_\lambda$를 통해 곱셈 사상 $U_Z^+(>) \otimes U_Z^+(0) \otimes U_Z^+(<) \to U_Z^+$ 가 동형임을 증명함으로써 전역 크리스탈 기저를 도출한다.

ABSTRACT

We construct an integral PBW basis and an integral crystal basis of the quantum affine algebra of type A$_{2}^{(2)}$.

연구 동기 및 목표

• 양의 부정형 $U^+$에 대한 정수 계수 PBW 기저와 정수 계수 크리스탈 기저를 구성하는 것.
• 양의 실근과 허수 근에 관련된 부분대수로의 $U^+$ 분해에 관한 루슈티그의 열린 문제 [L, 40.2.5]를 해결하는 것.
• 표준 허수 근 벡터 $\tilde{\psi}_n$를 새로운 생성자 $P_n$으로 수정하여 $\mathbb{Z}[q_1, q_1^{-1}]$-기저를 정의하는 것.
• 드린펠트의 내적에 관하여 샤우어 다항식 $S_\lambda$의 준수직성을 보여줌으로써, 결과 기저가 전역 크리스탈 기저임을 증명하는 것.

제안 방법

• 브레인 군 작용 $T_1^{-1}T_0^{-1}$ 와 $T_0T_1$ 을 이용하여 양의 실근에 대한 실근 벡터 $E_{\alpha}$ 를 체바렐 생성자 $e_0, e_1$ 에 적용하여 $R_{\text{re}}^{(>)}$ 와 $R_{\text{re}}^{(<)}$ 에 속하는 실근에 대해 정의한다.
• 표준 허수 근 벡터 $\tilde{\psi}_n = [E_{\delta - \alpha_1}, E_{(n-1)\delta + \alpha_1}]_{q^{-1}}$ 를 도입하고, 이들이 $\mathbb{Z}[q_1, q_1^{-1}]$-부분대수 $U_Z^+(0)$ 를 생성함을 증명한다.
• 모든 $n \geq 1$ 에 대해 $P_n = [2n]_1^{-1} \sum_{k=0}^{n-1} P_k \tilde{\psi}_{n-k} q^{-k}$ 를 정의하고, $P_0 = 1$ 이라고 하며, $P_n \in U_Z^+$ 임을 증명한다.
• 나누어진 실근 벡터의 거듭제곱과 샤우어 다항식 $S_\lambda = \det(P_{\lambda_i - i + j})_{i,j \geq 1}$ 을 사용하여 $\mathbb{Z}[q_1, q_1^{-1}]$-기저 $\{ E_c^+ S_\lambda E_c^- \}$ 를 구성한다.
• 새로운 $P_n$ 생성자를 사용하여 곱셈 사상 $U_Z^+(>) \otimes U_Z^+(0) \otimes U_Z^+(<) \to U_Z^+$ 가 동형임을 증명한다.
• 드린펠트의 내적에 의한 $S_\lambda$ 의 준수직성: $(S_\lambda, S_\mu) \equiv \delta_{\lambda\mu} \mod q_1^{-1} A$, 여기서 $A = \mathbb{Q}(q_1) \cap \mathbb{Z}[[q_1^{-1}]]$.

실험 결과

연구 질문

• RQ1 양의 부정형에 대한 정수 계수 PBW 기저를 $A_2^{(2)}$ 유형의 양의 부정형 양의 부정형에 대해 구성할 수 있는가?
• RQ2 양의 실근 및 허수 근에 관련된 부분대수로의 분해를 고려할 때, $U_Z^+$ 의 $\mathbb{Z}[q_1, q_1^{-1}]$-기저가 존재하는가?
• RQ3 표준 허수 근 벡터 $\tilde{\psi}_n$ 는 어떻게 수정되어야 하며, 이로 인해 $U_Z^+$ 에 대한 $\mathbb{Z}[q_1, q_1^{-1}]$-기저를 얻을 수 있는가? (단, 단순한 곱셈 사상은 전성사상이 아님을 감안할 것.)
• RQ4 생성자 $P_n$ 에서 유도된 샤우어 다항식 $S_\lambda$ 는 드린펠트의 내적에 관하여 준수직성을 가지는가?
• RQ5 결과 기저는 전역 크리스탈 기저 조건을 만족하는가?

주요 결과

• 새로운 허수 근 벡터 $P_n$ 으로 생성되는 $U_Z^+(0)$ 을 사용할 경우, 곱셈 사상 $U_Z^+(>) \otimes U_Z^+(0) \otimes U_Z^+(<) \to U_Z^+$ 는 $\mathbb{Z}[q_1, q_1^{-1}]$-모듈러스로서 동형이다.
• $P_n$ 은 $U_Z^+$ 의 원소이며, 이는 비록 $\tilde{\psi}_n \in U_Z^+$ 임이 명백하더라도 비자명한 결과이다.
• 샤우어 다항식 $S_\lambda = \det(P_{\lambda_i - i + j})_{i,j \geq 1}$ 는 준수직성을 가진다: $(S_\lambda, S_\mu) \equiv \delta_{\lambda\mu} \mod q_1^{-1} A$, 여기서 $A = \mathbb{Q}(q_1) \cap \mathbb{Z}[[q_1^{-1}]]$.
• $c^+ \in \oplus_{\alpha \in R_{\text{re}}^{(>)}} \mathbb{Z}_{\geq 0}^{(\alpha)}$, $\lambda$ 는 분할, $c^- \in \oplus_{\alpha \in R_{\text{re}}^{(<)}} \mathbb{Z}_{\geq 0}^{(\alpha)}$ 를 만족하는 기저 $\{ E_c^+ S_\lambda E_c^- \}$ 는 $U_Z^+$ 의 $\mathbb{Z}[q_1, q_1^{-1}]$-기저이다.
• 이 기저는 준수직성과 정수성으로 인해 전역 크리스탈 기저(따라서 정수 계수 크리스탈 기저)이다. 이는 [BCP] 에서와 동일한 추론을 통해 확립된다.
• 이러한 구성은 루슈티그의 열린 문제 [L, 40.2.5] 를 해결하며, $U^+ \cong U^+(>) \otimes U^+(0) \otimes U^+(<)$ 를 $\mathbb{Q}(q_1)$-대수로서 보여주고, $P_n$ 생성자를 통해 정수적으로 확장된다.