[논문 리뷰] Positivity properties for canonical bases of modified quantum affine $\frak{sl}_n$

Qiang Fu, Toshiaki Shoji|arXiv (Cornell University)|2014. 07. 16.

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

한 줄 요약

이 논문은 $n < N$ 인 경우 알려진 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 양성성으로 귀환하여, 수정된 양적 아핀 $\sigma\mathfrak{sl}_n$ 대수 $\quil\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 의 정규 기저의 양성성 성질을 증명한다. 이를 위해 그 구조 상수들이 $\quil\mathbb{N}[v,v^{-1}]$ 에 속한다는 것을 보이며, 핵심 결과는 $\quil\dot{\mathbf{U}}}\!(\widehat{\mathfrak{sl}}_n)$ 의 정규 기저의 구조 상수가 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 것들에 의해 결정된다는 것이다. 이는 루슈티그의 추측이 이 경우에 대해 증명됨을 의미한다.

ABSTRACT

The positivity property for canonical bases asserts that the structure constants of the multiplication for the canonical basis are in ${\mathbb N}[v,v^{-1}]$. Let $\mathbf U$ be the quantum group over ${\mathbb Q}(v)$ associated with a symmetric Cartan datum. The positivity property for the positive part ${\mathbf U}^+$ of ${\mathbf U}$ was proved by Lusztig. He conjectured that the positivity property holds for the modified form $\dot{\mathbf U}$ of ${\mathbf U}$. In this paper, we prove that the structure constants for the canonical basis of $\dot{\mathbf U}(\widehat{\frak{sl}}_n)$ coincide with certain structure constants for the canonical basis of ${\mathbf U}(\widehat{\frak{sl}}_N)^+$ for $n

연구 동기 및 목표

• 수정된 양적 아핀 대수 $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ 의 정규 기저에 대한 양성성 성질을 루슈티그의 추측에 따라 증명하기.
• $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ 의 정규 기저, 아핀 양적 색수 대수 ${\boldsymbol{\mathcal{S}}}_{\sigma}(n,r)$, 그리고 $n < N$ 인 경우 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 정규 기저 사이의 구조적 연결 고리 수립하기.
• 이 귀환을 사용하여 아핀 양적 색수 대수 ${\boldsymbol{\mathcal{S}}}_{\sigma}(n,r)$ 의 정규 기저에 대한 양성성 성질에 대한 별도의 증명 제공하기.

제안 방법

• $\quil\dot{\boldsymbol{\mathfrak{D}}_{\sigma}}}(n) \to {\boldsymbol{\mathcal{S}}}_{\sigma}(n,r)$ 의 전사 대수 준동형사상 $\quil\dot{\xi}_r$ 를 구성하여, 수정된 양적 아핀 $\mathfrak{gl}_n$ 대수와 아핀 양적 색수 대수를 연결하기.
• $\dot{\boldsymbol{\mathfrak{D}}_{\sigma}}}(n)$ 에 대한 정규 기저 $\theta_A$ 와 ${\boldsymbol{\mathcal{S}}}_{\sigma}(n,r)$ 에 대한 정규 기저 $\theta_{A,r}$ 를 정의하고, 준동형사상 $\dot{\xi}_r$ 을 통해 그들의 구조 상수를 연결하기.
• $n < N$ 인 경우 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 정규 기저의 구조 상수에 의해 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 에서 $\theta_A \cdot \theta_B$ 의 구조 상수가 결정됨을 보이며, $m_1, m_2, m_C$ 를 사용한 이동 구조를 통해 이를 증명하기.
• ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 정규 기저에 대한 알려진 양성성으로부터 $\dot{\mathbf{U}}(\widehat{\mathfrak{sl}}_n)$ 에서의 구조 상수의 양성성을 유도하기.
• $\dot{\boldsymbol{\mathfrak{D}}_{\sigma}}}(n)/\ker \dot{\xi}$ 의 몫 대수에서 기저 원소들의 곱이 $\sum \mathbb{N}[v,v^{-1}] \overline{\theta_C}$ 에 속한다는 것을 보여, $\dot{\boldsymbol{\mathfrak{D}}_{\sigma}}}(n)$ 에 대한 약한 양성성 성질 수립하기.

실험 결과

연구 질문

• RQ1 $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ 의 정규 기저의 구조 상수가 $\mathbb{N}[v,v^{-1}]$ 에 속하는가?
• RQ2 $n < N$ 인 경우 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 양성성으로부터 $\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ 의 정규 기저의 양성성 성질를 유도할 수 있는가?
• RQ3 아핀 양적 색수 대수 ${\boldsymbol{\mathcal{S}}}_{\sigma}(n,r)$ 의 정규 기저의 구조 상수는 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 것들과 어떻게 관련이 있는가?
• RQ4 $\quil\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$, ${\boldsymbol{\mathcal{S}}}_{\sigma}(n,r)$, ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 정규 기저 사이의 관계는 무엇인가?
• RQ5 수정된 양적 아핀 $\mathfrak{gl}_n$ 대수 $\dot{\boldsymbol{\mathfrak{D}}_{\sigma}}}(n)$ 에 대해 약한 양성성 성질이 존재하는가?

주요 결과

• $n < N$ 인 경우 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 정규 기저의 구조 상수에 의해 $\quil\dot{\mathbf{U}}}\!(\widehat{\mathfrak{sl}}_n)$ 의 정규 기저의 구조 상수가 결정되며, 이는 $m_1, m_2, m_C$ 를 사용한 이동 구조를 통해 이루어진다.
• ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 알려진 양성성으로부터 $\dot{\mathbf{U}}}(\widehat{\mathfrak{sl}}_n)$ 의 양성성 성질가 유도되며, 이는 루슈티그의 추측이 $\widehat{\mathfrak{sl}}_n$ 에 대해 증명됨을 의미한다.
• $n < N$ 인 경우 ${\mathbf{U}}(\widehat{\mathfrak{sl}}_N)^+$ 의 구조 상수에 의해 아핀 양적 색수 대수 ${\boldsymbol{\mathcal{S}}}_{\sigma}(n,r)$ 의 정규 기저의 구조 상수가 결정되며, 이는 그 양성성에 대한 별도의 증명을 제공한다.
• $\dot{\boldsymbol{\mathfrak{D}}_{\sigma}}}(n)/\ker \dot{\xi}$ 의 몫 대수에서 임의의 두 기저 원소 $\overline{\theta_A}$ 와 $\overline{\theta_B}$ 의 곱이 $\sum_{C \in \Theta_{\sigma}(n)} \mathbb{N}[v,v^{-1}] \overline{\theta_C}$ 에 속함을 보여, 약한 양성성 성질을 수립한다.
• $\dot{\boldsymbol{\mathfrak{D}}_{\sigma}}}(n)$ 의 정규 기저 $\theta_A$ 는 $\dot{\xi}_r$ 에서 ${\boldsymbol{\mathcal{S}}}_{\sigma}(n,r)$ 에서 $\theta_{A,r}$ 로 사라지며, $A \notin \Theta_{\sigma}(n,r)$ 이면 0이 되므로 색수 대수의 구조와 호환됨을 보장한다.
• $\dot{\xi}: \dot{\boldsymbol{\mathfrak{D}}_{\sigma}}}(n) \to \prod_{r \geq 0} {\boldsymbol{\mathcal{S}}}_{\sigma}(n,r)$ 는 전사 대수 준동형사상이며, 그 핵심은 $A \notin \Theta_{\sigma}(n)$ 인 $\theta_A$ 들에 의해 생성됨을 보였다.