[논문 리뷰] Positivity vs negativity of canonical bases

Yiqiang Li, Weiqiang Wang|arXiv (Cornell University)|2015. 01. 04.

Algebraic structures and combinatorial models참고 문헌 12인용 수 6

한 줄 요약

이 논문은 수정된 양자군과 공대칭 대수에서의 표준 기저의 양성 성질을 조사한다. 수정된 양자군 $\dot{\mathbf{U}}(\mathfrak{gl}_n)$의 안정적 표준 기저가 구조 상수에서 부정성을 보임을 입증하며, 이는 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$에서 관찰되는 양성과 뚜렷하게 대비된다. 반면에 수정된 양자 공대칭 대수 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$에 대해 전체적으로 양성인 표준 기저를 구성한다: 구조 상수, 이중선형 형식의 행동, 모듈러 작용이 모두 양성이며, 랭크 1 슈어 대수에 대해 명시적인 공식이 제공된다.

ABSTRACT

We provide examples for negativity of structure constants of the stably canonical basis of modified quantum $\mathfrak{gl}_n$ and an analogous basis of modified quantum coideal algebra of $\mathfrak{gl}_n$. In contrast, we construct the canonical basis of the modified quantum coideal algebra of $\mathfrak{sl}_n$, establish the positivity of its structure constants, the positivity with respect to a geometric bilinear form as well as the positivity of its action on the tensor powers of the natural representation. The matrix coefficients of the transfer map on these Schur algebras with respect to the canonical bases are shown to be positive. Formulas for canonical basis of the iSchur algebra of rank one are obtained.

연구 동기 및 목표

• 수정된 양자군 $\dot{\mathbf{U}}(\mathfrak{gl}_n)$의 안정적 표준 기저에서의 예상치 못한 구조 상수의 부정성을 규명하고, $\dot{\mathbf{U}}(\mathfrak{sl}_n)$에서 관찰되는 예상되는 양성과 대비시킨다.
• 수정된 양자 공대칭 대수 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$에 대해 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$의 표준 기저가 지닌 양성 성질을 그대로 갖는 표준 기저를 구성한다.
• $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$의 새로운 표준 기저에 대해 구조 상수, 이중선형 형식의 행동, 모듈러 작용이 모두 양성임을 확립한다.
• $\mathbf{S}^\imath(2,d)$의 슈어 대수에 대한 표준 기저의 명시적 공식을 모든 $d$에 대해 유도한다.
• 관련된 슈어 대수 간 전이 사상의 행렬 계수가 표준 기저에 대해 양성임을 보인다.

제안 방법

• 기하학적으로 실현된 $\mathbf{iS}(n,d)$ 대수에서 출발하여, IC 구성과 루슈티그 이론을 활용해 안정화 절차를 통해 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$의 표준 기저를 구성한다.
• $\gamma_{a,r}(i)$와 구조 상수 $b_{a+i}^{r-i}$를 포함하는 재귀 공식을 사용하여 표준 기저 원소 $\{A_{a,r}\}$를 표준 기저 원소 $[A_{a,r}]$로 정의한다.
• 바-불변성과 쌍대성에서 유도된 재귀 관계를 만족하는 바-불변성과 이중성에 기반해 계수 $\gamma_{a}(r)$가 $r$에 독립적임을 증명한다.
• 표준 기저의 양성을 입증하기 위해 $\gamma_{a}(r) \in v^{-1}\mathbb{Z}[v^{-1}]$임을 확인하고, 구조 상수가 $\mathbb{N}[v,v^{-1}]$에 속함을 확인한다.
• 기하학적 이중선형 형식의 비퇴화성을 간접적으로 확립하기 위해 표준 기저의 성질과 $\dot{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor})$ 포함관계와의 호환성에 기반한다.
• $v^2$-이항계수를 사용하여 $\gamma_a(r)$에 대한 명시적 폐형 표현을 유도하며, $a$와 $r$의 기수성에 따라 달라진다.

실험 결과

연구 질문

• RQ1 왜 수정된 양자군 $\dot{\mathbf{U}}(\mathfrak{gl}_n)$의 안정적 표준 기저는 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$에서 관찰되는 것과는 달리 부정성을 보이는가?
• RQ2 수정된 양자 공대칭 대수 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$에 대해 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$의 표준 기저와 유사한 양성 성질을 갖는 표준 기저를 구성할 수 있는가?
• RQ3 모든 $d$에 대해 슈어 대수 $\mathbf{S}^\imath(2,d)$의 표준 기저 원소에 대한 명시적 공식은 무엇인가?
• RQ4 슈어 대수 간 전이 사상의 행렬 계수가 표준 기저에 대해 양성인가?
• RQ5 $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$의 표준 기저가 포함관계 $\dot{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor}) \subseteq \dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$ 하에서 $\dot{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor})$의 표준 기저와 어떻게 관련되는가?

주요 결과

• 수정된 양자군 $\dot{\mathbf{U}}(\mathfrak{gl}_n)$의 안정적 표준 기저는 부정적인 구조 상수를 보이며, $n=2$에 대해 명시적인 반례가 제시되어 $\dot{\mathbf{U}}(\mathfrak{sl}_n)$에서의 기대와 정면으로 대비된다.
• $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$의 표준 기저는 구조 상수가 $\mathbb{N}[v,v^{-1}]$에 속하며, 바-불변성, 정수성, 기하학적 이중선형 형식에 대한 거의 정규직교성으로 특징지어진다.
• $\dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$의 표준 기저는 포함관계 $\dot{\mathbf{U}}(\mathfrak{sl}_{\lfloor n/2 \rfloor}) \subseteq \dot{\mathbf{U}}^\jmath(\mathfrak{sl}_n)$와 호환되며, 표준 기저의 구조를 유지한다.
• 관련 슈어 대수 간 전이 사상의 행렬 계수가 표준 기저에 대해 양성임이 입증되어 핵심적인 양성 성질을 확인한다.
• $\mathbf{S}^\imath(2,d)$의 표준 기저에 대한 명시적 공식이 도출되었으며, $\gamma_a(r)$는 $a$와 $r$의 기수성에 따라 $v^2$-이항계수 유사 곱으로 표현된다.
• 짝수인 $a$에 대해 $\gamma_a(2s) = v^{-2s^2 - s} \prod_{k=1}^s \frac{1 - v^{-2a - 4k}}{1 - v^{-4k}}$이며, 홀수인 $a$에 대해 $\gamma_a(2s) = v^{-2s^2 + s} \prod_{k=1}^s \frac{1 - v^{-2a - 4k - 2}}{1 - v^{-4k}}$이며, 홀수인 $r$에 대해서도 유사한 표현이 존재한다.