[논문 리뷰] Symmetric linear functions of the restricted quantum group $\bar{U}_qsl_2(\mathbb{C})$

Yusuke Arike|ArXiv.org|2007. 06. 08.

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

한 줄 요약

이 논문은 $q = e^{/pi i/p}$일 때 제한된 양자군 $\ overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 위에서 대칭 선형 함수의 공간의 차원을 결정하며, 이는 $3p - 1$임을 보여준다. 하위대수 $\ mathcal{Q}_s$의 기본 대수를 분석함으로써, $\ mathcal{Q}_s / [\ mathcal{Q}_s, \ mathcal{Q}_s]$의 구조를 계산하여 $1 \leq s \leq p-1$일 때는 3차원, $s = 0, p$일 때는 1차원임을 증명함으로써 최종적인 차원 수를 도출한다.

ABSTRACT

We determine a set of primitive idempotents and the basic algebra of the restricted quantum group $\bar{U}_qsl_2(\mathbb{C})$. As a result, we can show the dimension of the space of symmetric linear functions of $\bar{U}_qsl_2(\mathbb{C})$ is $3p-1$

연구 동기 및 목표

• 제한된 양자군 $\overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 위에서 대칭 선형 함수의 공간의 차원을 결정하는 것.
• 로그너믹 양자장 이론의 conformal block과 유한차원 대수 위에서의 대칭 선형 함수 공간 사이의 연결 고리를 설정하는 것.
• 제한된 양자군 $\overline{U}_q\mathfrak{sl}_2(\mathbb{C})$의 하위대수 $\mathcal{Q}_s$의 기본 대수의 구조를 계산하는 것.
• 제한된 양자군 $\overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 위에서 대칭 선형 함수의 공간의 차원이 $3p - 1$임을 증명하는 것.

제안 방법

• 저자들은 유한차원 대수 위에서 대칭 선형 함수의 공간이 그 기본 대수 위에서의 공간과 동형임을 보여준 Nesbitt과 Scott의 결과를 사용한다.
• 그들은 $\overline{U}_q\mathfrak{sl}_2(\mathbb{C})$를 $\bigoplus_{s=0}^p \mathcal{Q}_s$로 분해하고, 각 $\mathcal{Q}_s$를 별도로 분석한다.
• 모든 $1 \leq s \leq p-1$에 대해, 기본 대수 $B_s$의 기저를 8개의 원소로 식별한다: $e_s^+, e_{p-s}^-, X_0^\pm, Y_0^\pm, A_0^\pm$.
• 양자군의 구조와 생성자 작용으로 유도된 관계를 사용하여 이 기저 원소들 사이의 전체 곱셈 표를 계산한다.
• 교환자 부분공간 $[B_s, B_s]$를 명시적으로 계산하여, $\{X_0^\pm, Y_0^\pm, A_0^+ - A_0^-\}$에 의해 생성됨을 보여준다.
• 대칭 선형 함수 공간과 $B_s / [B_s, B_s]$ 사이의 동형관계를 이용하여 각 $B_s$에 대한 대칭 함수 공간의 차원을 계산한다.

실험 결과

연구 질문

• RQ1 제한된 양자군 $\overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 위에서 대칭 선형 함수의 공간의 차원은 무엇인가?
• RQ2 하위대수 $\mathcal{Q}_s$의 기본 대수의 구조는 대칭 선형 함수 공간에 어떻게 영향을 미치는가?
• RQ3 $1 \leq s \leq p-1$일 때 $B_s / [B_s, B_s]$의 차원은 무엇인가?
• RQ4 $\overline{U}_q\mathfrak{sl}_2(\mathbb{C}) = \bigoplus_{s=0}^p \mathcal{Q}_s$의 분해는 대칭 선형 함수의 계산에 어떻게 기여하는가?
• RQ5 제한된 양자군 $\overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 위에서 대칭 선형 함수의 공간은 그 기본 대수를 통해 계산될 수 있는가?

주요 결과

• 제한된 양자군 $\overline{U}_q\mathfrak{sl}_2(\mathbb{C})$ 위에서 대칭 선형 함수의 공간의 차원은 $3p - 1$이다.
• $1 \leq s \leq p-1$일 때, $\mathcal{Q}_s$의 기본 대수 $B_s$는 8차원이며, 표 1의 관계에 의해 곱셈 표가 완전히 결정된다.
• $B_s / [B_s, B_s]$는 $1 \leq s \leq p-1$일 때 3차원이며, 교환자에 모odulo한 기저 $\{e_s^+, e_{p-s}^-, A_0^+ - A_0^-, X_0^+, Y_0^+\}$를 가진다.
• $\mathcal{Q}_0$과 $\mathcal{Q}_p$는 1차원이면서 교환가능하므로, 그들의 대칭 함수 공간은 1차원이다.
• 교환자 부분공간 $[B_s, B_s]$는 $\{X_0^+, X_0^-, Y_0^+, Y_0^-, A_0^+ - A_0^-, A_0^- - A_0^+\}$에 의해 생성되지만, 관계를 고려하면 유일한 생성자로는 3개만 남는다.
• 최종 차원 $3p - 1$은 $p-1$개의 비자명한 $\mathcal{Q}_s$ 각각에서 3개의 대칭 함수 차원과 $\mathcal{Q}_0$ 및 $\mathcal{Q}_p$ 각각에서 1개의 차원이 합쳐져서 유도된다.