[논문 리뷰] Positivity of Canonical Bases under Comultiplication

Zhaobing Fan, Yiqiang Li|arXiv (Cornell University)|2015. 11. 08.

Algebraic structures and combinatorial models참고 문헌 18인용 수 10

한 줄 요약

이 논문은 양의 아핀 $\mathfrak{sl}_n$의 수정 코아이드 알지브라에서 코멀티플리케이션과 관련 구조에 대해 i-칸토니컬 기저의 양의성을 확립한다. A형과 B/C형 부분 플라스크 변수 위의 편평한 층을 통한 코멀티플리케이션의 기하적 실현을 사용하여, 코멀티플리케이션과 부분대수 포함 구조 상수들이 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$에 속함을 증명하며, 기존의 양의성 결과를 아핀 양자 설정으로 확장한다.

ABSTRACT

We show the positivity of the canonical basis for a modified quantum affine $\mathfrak{sl}_n$ under the comultiplication. Moreover, we establish the positivity of the i-canonical basis in [LW15] with respect to the coideal subalgebra structure.

연구 동기 및 목표

• 양의 아핀 $\mathfrak{sl}_n$의 수정 코아이드 부분대수에서 코멀티플리케이션 구조 하에서 i-칸토니컬 기저의 양의성을 확립하기 위해.
• 양의 양자군에서의 칸토니컬 기저에 대한 기존의 양의성 결과를 아핀 설정과 코아이드 부분대수 맥락으로 확장하기 위해.
• 아핀 슈어 대수 수준에서 코멀티플리케이션의 기하적 실현을 제공하고, A형과 B/C형 대칭성 간의 연결을 맺기 위해.
• 코멀티플리케이션과 부분대수 포함 구조 상수가 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$에 속함을 증명하여 새로운 양의성을 확인하기 위해.

제안 방법

• A형 아핀 부분 플라스크 변수 위의 편평한 층에서 초평면 국소화와 $v$-틀을 통한 코멀티플리케이션의 기하적 구성.
• 스푸르 알지브라의 프로젝티브 체계를 사용하여 코아이드 부분대수 $\dot{\mathbb{U}}^\imath$의 아이디포텐트형 버전과 그 칸토니컬 기저 $\mathbb{B}^\imath$를 정의하기 위해.
• 구조 상수가 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$에 속하는 코멀티플리케이션 사상 $\Delta^\imath: \dot{\mathbb{U}}^\imath \to (\dot{\mathbb{U}}^\imath \otimes \dot{\mathbb{U}})^\wedge$를 정의하기 위해.
• 부분대수 포함을 실현하기 위해 열악한 코멀티플리케이션 $\imath: \dot{\mathbb{U}}^\imath \to \dot{\mathbb{U}}^\wedge$를 구성하고, $\mathbb{Z}_{\geq 0}[v,v^{-1}]$ 내의 계수의 양의성을 확인하기 위해.
• i-칸토니컬 기저를 통해 기하적 A형 대칭성과 B/C형 대칭성 간의 직접적 연결을 수립하고, 텐서 공간 분해에서의 양의성을 보여주기 위해.
• Du-Fu [DF13]의 단순성 생성자 곱셈 공식을 사용하여 아핀 경우의 $v$-틀을 다루기 위한 새로운 기하적 증명을 제공하기 위해.

실험 결과

연구 질문

• RQ1 양의 아핀 $\mathfrak{sl}_n$의 수정 코아이드 부분대수의 i-칸토니컬 기저는 코멀티플리케이션 사상 $\Delta^\imath$ 하에서 양의성을 보여주는가?
• RQ2 코멀티플리케이션 $\Delta^\imath$의 구조 상수는 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$에 속하는가?
• RQ3 열악한 코멀티플리케이션 $\imath$는 $\dot{\mathbb{U}}^\imath$를 칸토니컬 기저의 $\dot{\mathbb{U}}$로 포함할 때 양의성을 유지하는가?
• RQ4 텐서 공간 내의 $\imath$-칸토니컬 기저는 동일 공간 내의 칸토니컬 기저 원소들의 양의 조합인가?
• RQ5 아핀 슈어 대수 수준에서 코멀티플리케이션은 기하적으로 실현될 수 있는가? 이 경우 기저는 여전히 양의성을 유지하는가?

주요 결과

• 코멀티플리케이션 $\Delta^\imath(a) = \sum_{b,c} n^{b,c}_{a} b \otimes c$의 구조 상수 $n^{b,c}_{a}$는 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$에 속하며, 이를 통해 Positivity A를 확립한다.
• 열악한 코멀티플리케이션 $\imath(a) = \sum_{a} g_{b,a} a$의 계수 $g_{b,a}$는 $\mathbb{Z}_{\geq 0}[v,v^{-1}]$에 속하며, Positivity B를 확인한다.
• 텐서 공간 내의 $\imath$-칸토니컬 기저는 동일 공간 내의 칸토니컬 기저 원소들의 양의 합으로 표현되며, 이를 통해 Positivity C를 증명한다.
• 수정된 양의 아핀 $\mathfrak{sl}_n$ 양자 대수의 칸토니컬 기저는 아이디포텐트형 코멀티플리케이션 하에서 양수이며, 이를 통해 Positivity D를 확립한다.
• 아핀 슈어 대수 수준에서 코멀티플리케이션의 기하적 실현은 초평면 국소화와 $v$-틀을 포함하며, 후자는 칸토니컬 기저를 $v$-거듭제곱까지의 변환으로 보존한다.
• 아핀 경우에서 단순성 생성자의 곱셈 공식에 대한 새로운 기하적 증명을 제공하여, 코멀티플리케이션의 $v$-틀 다루기에 필수적이다.