[논문 리뷰] The quasi-Hopf analogue of $u_q(sl_2)$

Gongxiang Liu|arXiv (Cornell University)|2012. 02. 08.

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

한 줄 요약

이 논문은 Lusztig의 소작소 양자군 $\mathbf{u}_q(\mathfrak{sl}_2)$의 준호프 대칭을 구축하며, 이를 $A(n,s,q)$라 표기하는 준호프 대수의 드리플랑 듀얼로 표현한다. 이는 타프 대수의 일반화이다. 주요 결과는 $n$ 이 짝수이고 $s$ 가 홀수일 때, 이 듀얼이 어떤 호프 대수의 트위스트 동치도 아니며, 따라서 $\mathbf{u}_q(\mathfrak{sl}_2)$와는 다를 바 있는 진정된 비단순 비반대칭 준삼각 준호프 대수임을 보여준다.

ABSTRACT

In [4], some quasi-Hopf algebras of dimension $n^{3}$, which can be understood as the quasi-Hopf analogues of Taft algebras, are constructed. Moreover, the quasi-Hopf analogues of generalized Taft algebras are considered in [7], where the language of the dual of a quasi-Hopf algebra is used. The Drinfeld doubles of such quasi-Hopf algebras are computed in this paper. The authors in [5] shew that the Drinfeld double of a quasi-Hopf algebra of dimension $n^{3}$ constructed in [4] is always twist equivalent to Lusztig's small quantum group $u_q(sl_2)$ if $n$ is odd. Based on computations and analysis, we show that this is \emph{not} the case if $n$ is even. That is, the quasi-Hopf analogue $Qu_q(sl_2)$ of $u_q(sl_2)$ is gotten.

연구 동기 및 목표

• 준호프 대수 $A(n,s,q)$의 드리플랑 듀얼을 이용하여 Lusztig의 소작소 양자군 $\mathbf{u}_q(\mathfrak{sl}_2)$의 준호프 대칭을 구축한다.
• 일반화된 타프 대수의 준호프 대칭의 드리플랑 듀얼이 호프 대수의 트위스트 동치인지 여부를 규명한다.
• 결과로 얻어진 준호프 대수가 진정으로 호프 대수가 아니며, 즉 어떤 호프 대수의 트위스트 동치도 아님을 보장하는 조건을 규명한다.
• $\mathbf{u}_q(\mathfrak{sl}_2)$의 비자명한 일반화로서, 유한차원 비단순 비반대칭 준삼각 준호프 대수의 새로운 클래스를 제공한다.

제안 방법

• 일반화된 타프 대수의 준호프 대수 $A(n,s,q)$의 드리플랑 듀얼 $D(A(n,s,q))$를 구성한다.
• 섹션 2에서 생성자와 관계를 통해 준호프 대수 $\operatorname{Q}_s\mathbf{u}_q(\mathfrak{sl}_2)$를 정의한다.
• 준호프 대수 $\operatorname{Q}_s\mathbf{u}_q(\mathfrak{sl}_2)$의 1차원 표현 $X$를 이용해, $\mathbb{Z}_{2s}$의 표현 범주와 동형인 부분텐서 범주 $\langle X \rangle$를 생성한다.
• $\langle X \rangle$에 제약된 재결합자 $\phi_s$를 군 코hom올로지로 분석하여, $\mathbb{Z}_{2s}$ 위의 비자명한 3-코호몰로지임을 보인다.
• 군 $\mathbb{Z}_{2s}$ 위에서 $f(g_{2s}^i, g_{2s}^j, g_{2s}^k) = (-1)^{i[\frac{j+k}{2s}]}$로 주어진 3-코호몰로지가 3-코바운더리가 아님을 증명하여 재결합자의 비자명성을 입증한다.
• Tannaka-Krein dual을 적용하여, 만약 $\operatorname{Q}_s\mathbf{u}_q(\mathfrak{sl}_2)$가 호프 대수의 트위스트 동치였다면 재결합자는 3-코바운더리여야 하며, 이는 모순을 초래함을 보인다.

실험 결과

연구 질문

• RQ1 일반화된 타프 대수의 준호프 대칭의 드리플랑 듀얼이 호프 대수의 트위스트 동치인지 여부는 무엇인가?
• RQ2 $n$ 과 $s$ 에 어떤 조건이 성립하면 결과로 얻어진 준호프 대수가 어떤 호프 대수의 트위스트 동치도 아님을 보장하는가?
• RQ3 진정된 준호프 대칭의 $\mathbf{u}_q(\mathfrak{sl}_2)$가 원래 호프 대수의 트위스트 동치가 아님을 보장하는 구조를 구성할 수 있는가?
• RQ4 드리플랑 듀얼의 표현 이론은 준호프 설정에서 재결합자의 비자명성을 어떻게 반영하는가?
• RQ5 군 코호몰로지는 텐서 범주 맥락에서 재결합자의 비자명성을 감지하는 데 어떤 역할을 하는가?

주요 결과

• 드리플랑 듀얼 $D(A(n,s,q))$ 는 준호프 대수로서 $\operatorname{Q}_s\mathbf{u}_q(\mathfrak{sl}_2)$ 와 동형이다.
• $n = 2^m l$ 과 $s = 2^{m'} l'$ 이며 $(l,2) = (l',2) = 1$ 이고 $m' < m$ 이면, $D(A(n,s,q))$ 는 어떤 호프 대수의 트위스트 동치도 아니다.
• 특히 $n$ 이 짝수이고 $s$ 가 홀수이면, $D(A(n,s,q))$ 는 호프 대수의 트위스트 동치가 아니며, 이는 비자명한 준호프 대칭의 구현을 보여준다.
• $\mathbb{Z}_{2s}$ 위에서 $f(g_{2s}^i, g_{2s}^j, g_{2s}^k) = (-1)^{i[\frac{j+k}{2s}]}$ 로 주어진 3-코호몰로지가 3-코바운더리가 아니며, 이는 부분텐서 범주 $\langle X \rangle$ 내 재결합자의 비자명성을 증명한다.
• $g_1 \mapsto -1$, $g_2 \mapsto (-1)^{1/s}$, $x,y \mapsto 0$ 로 정의된 표현 $X$ 는 재결합자의 장애를 증명하는 부분텐서 범주를 생성하며, 이는 트위스트 동치의 부재를 보여준다.
• 결과적으로 $n$ 이 짝수일 때, 준호프 대칭 $\operatorname{Q}_1\mathbf{u}_q(\mathfrak{sl}_2)$ 는 호프 대수의 트위스트 동치가 아니며, 비단순 비반대칭 준삼각 준호프 대수의 새로운 예를 제공한다.