[논문 리뷰] A construction of symmetric linear functions of the restricted quantum group \overline{U}_q (sl_2)

Yusuke Arike|ArXiv.org|2008. 07. 01.

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

한 줄 요약

이 논문은 $\overline{U}_q(sl_2)$의 근의 단위에서 제한된 양자군 위에서 대칭 선형 함수의 공간에 대한 기반을 구성한다. 이는 원시 비등분수와 생성자들이 그들 위에 작용할 때의 곱셈 규칙을 이용한다. 핵심 결과는 $(3p-1)$차원의 대칭 선형 함수에 대한 완전한 기반으로, 정수를 평행 이동시키는 균형 요소에 의해 변형된 적분의 이 기반에 대한 명시적 분해를 제공한다. 이는 로그형 보존장 이론에의 응용을 가능하게 한다.

ABSTRACT

In this paper we construct all the primitive idempotents of the restricted quantum group $\overline{U}_q (sl_2)$ and also determine the multiplication rules among a basis given by the action of generators of $\bar{U}_q (sl_2)$ to the idempotents. By using this result we construct a basis of the space of symmetric linear functions of $\overline{U}_q (sl_2)$ and determine the decomposition of the integral of the dual of $\overline{U}_q (sl_2)$ twisted by the balancing element to the basis of the space of symmetric linear functions.

연구 동기 및 목표

• 제한된 양자군 $\overline{U}_q(sl_2)$의 대칭 선형 함수 공간에 대한 기반을 구성하는 것.
• 쌍대 호프 대수의 왼쪽 및 오른쪽 적분 위에 균형 요소의 작용으로 얻어진 선형 함수의 분해를 규명하는 것.
• $\mathcal{W}(p)$ 정점 연산자 대수에 대해 로그형 보존장 이론의 보존 블록과 대칭 선형 함수 사이의 연결 고리를 설정하는 것.
• $\overline{U}_q(sl_2)$ 내에서 원시 비등분수와 곱셈 규칙을 이용한 대칭 함수에 대한 완전한 대수적 프레임워크를 제공하는 것.

제안 방법

• $\overline{U}_q(sl_2)$의 모든 원시 비등분수를 [2] 및 [10]의 결과와 불가분 프로젝티브 모듈의 구조를 이용하여 구성한다.
• $\overline{U}_q(sl_2)$의 기반을 생성자들이 원시 비등분수 위에 작용함으로써 구성하고, 기반 원소들 사이의 전체 곱셈 규칙을 규명한다.
• $1 \leq s \leq p-1$에 대해 $T_s^\pm$ 및 $G_s$와 $T_0$, $T_p$를 기반의 행렬 계수의 추적을 통해 정의한다.
• $\{T_s^+, T_s^-, G_s \mid 1 \leq s \leq p-1\} \cup \{T_0, T_p\}$가 대칭 선형 함수의 공간 $\mathrm{SLF}(\overline{U}_q(sl_2))$의 기반을 이룬다는 것을 대칭성과 선형 독립성의 검증을 통해 증명한다.
• 기반 원소들 위에서의 명시적 평가를 통해, 변형된 적분 함수기능 $g^{-1} \rightharpoonup \lambda = \mu \leftharpoonup g$의 계수를 계산한다.
• 양자 정수 $[i]$, $\gamma_s$, $\delta_s$, 및 $\prod_{i=1}^{p-1} \sin(\pi i/p)$를 포함하는 항등식을 이용하여 계수를 닫힌 형태로 표현한다.

실험 결과

연구 질문

• RQ1 유한 차원 호프 대수 $\overline{U}_q(sl_2)$에 대해 대칭 선형 함수의 완전한 기반을 어떻게 구성할 수 있는가?
• RQ2 함수 $g^{-1} \rightharpoonup \lambda$가 대칭 선형 함수의 기반에 대해 명시적으로 어떻게 분해되는가?
• RQ3 대칭 선형 함수는 $\overline{U}_q(sl_2)$의 중심과 적분과 어떻게 관련되어 있으며, 특히 균형 요소의 작용 하에서 어떻게 되는가?
• RQ4 원시 비등분수와 곱셈 규칙은 어떻게 대칭 함수를 구성하는 데 기여하는가?
• RQ5 이 구성은 로그형 보존장 이론에서 보존 블록의 연구를 어떻게 촉진하는가? 특히 $\mathcal{W}(p)$의 경우에 대해.

주요 결과

• $\overline{U}_q(sl_2)$ 위에서 대칭 선형 함수의 공간은 [10]의 동형사상에 의해 중심의 차원과 일치하는 $(3p-1)$차원이다.
• $1 \leq s \leq p-1$에 대해 $T_s^+$, $T_s^-$, $G_s$와 함께 $T_0$ 및 $T_p$는 $\mathrm{SLF}(\overline{U}_q(sl_2))$의 기반을 이룬다.
• 변형된 적분 함수기능 $g^{-1} \rightharpoonup \lambda$의 기반에서의 계수는 다음과 같이 명시적으로 계산된다: $\alpha_0 = \frac{(-1)^{p-1}}{2p^3} \left(2\sin\frac{\pi}{p}\right)^{2(p-1)}$, $\alpha_p = \frac{1}{2p^3} \left(2\sin\frac{\pi}{p}\right)^{2(p-1)}$, $\alpha_s^\pm = -\frac{\delta_s}{\gamma_s^2}$, $\beta_s = \frac{1}{\gamma_s}$.
• $\beta_s$는 $\frac{(-1)^{p-s-1}}{2p^3}[s]^2(2\sin\frac{\pi}{p})^{2(p-1)}$로 표현되어 $s$와 $p$에 명시적인 의존성을 보인다.
• $g^{-1} \rightharpoonup \lambda$는 대칭적이며 유일하게 기반에 분해되며, [10]에 의해 제시된 대칭 함수와 중심 사이의 동형사상이 확인된다.
• 결과는 $\overline{U}_q(sl_2)$와 로그형 보존장 이론의 보존 블록 사이의 구체적인 대수적 프레임워크를 제공하며, 특히 $\mathcal{W}(p)$의 경우 보존 블록의 공간이 $\mathrm{SLF}(\overline{U}_q(sl_2))$와 동형임을 보여준다.