[논문 리뷰] Hopf algebra deformations of binary polyhedral groups

Julien Bichon, Sonia Natale|arXiv (Cornell University)|2009. 07. 10.

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

한 줄 요약

이 논문은 차원 2인 자기쌍대 faithful 임의의 기약 코모듈을 갖는 반단순 호프 대수를 분류하며, 그것들이 이분형 다면체군의 변형임을 보여준다. 이러한 호프 대수가 either 이분형 다면체군의 교환적 군 대수이거나 비자명한 변형임을 증명하며, 그 표현 범주의 구조는 지표가 $\mathbb{Z}_2$인 지표를 갖는 지표가 있는 포인트형 융합 범주에 대한 $\mathbb{Z}_2$-등변화를 통해 기술된다.

ABSTRACT

We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on cosemisimple Hopf algebras with a 2-dimensional irreducible comodule in the finite dimensional context. Finally, we give some applications to the classification of certain classes of semisimple Hopf algebras.

연구 동기 및 목표

• 대수적으로 닫힌 체에서의 특성 0인 체 위에서, 차원 2인 자기쌍대 faithful 기약 코모듈을 갖는 반단순 호프 대수를 분류하는 것.
• 이러한 호프 대수가 이분형 다면체군의 교환적 군 대수이거나 그 비자명한 변형임을 보이는 것.
• 이러한 호프 대수의 표현 범주를 지표가 $\mathbb{Z}_2$인 포인트형 융합 범주의 등변화를 통해 기술하는 것.
• 4차원 단순 부분코알제브라에 의해 생성되는 호프 대수의 구조를 규명하여 니chl스-리치몬드 정리를 유한차원 맥락에서 강화하는 것.
• 표현 $\mathcal{O}_{-1}[\mathrm{SL}_2(k)]$의 몫 호프 대수에 대한 대수적 특성화를 제시하며, $\mathrm{SU}_{-1}(2)$의 컴팩트 양자 부분군과 유사한 형태로 기술하는 것.

제안 방법

• 호프 대수 $H$에 대해 4차원 단순 부분코알제브라 $C$가 기약 코모듈에 대응하는 바, 아벨 확장 이론과 코중앙 정확열을 사용하여 분석하는 것.
• 프로베니우스-슈어 지표 $\nu(V) = \pm 1$를 적용하여 교환적 및 비교환적 경우를 구분하고, 군 대수 또는 변형으로의 분류를 이끌어내는 것.
• 순서가 짝수인 비순환 유한부분군 $\Gamma \subset \mathrm{PSL}_2(k)$에 대해, 호프 부분대수 $B = k[C\mathcal{S}(C)] \simeq k^\Gamma$의 구조를 활용하는 것.
• 군 코homology와 카크 정확열을 사용하여 확장 $k^\Gamma \to H \to k\mathbb{Z}_2$를 분류하며, $H^2(N, k^\times)$와 연결형사상 $d_2$의 역할을 규명하는 것.
• 결과로 얻어진 호프 대수의 표현 범주는 $\Gamma$에 관련된 지표가 있는 포인트형 융합 범주의 $\mathbb{Z}_2$-등변화로 기술되는 것.
• 이분형 다면체군 $\widetilde{\Gamma}$의 명시적 변형 $\mathcal{A}[\widetilde{\Gamma}]$와 $\mathcal{B}[\widetilde{\Gamma}]$를 구성하며, 이cos하드랄 군의 경우 $\mathcal{B}[\widetilde{I}]$만 존재함을 보이는 것.

실험 결과

연구 질문

• RQ1 자기쌍대 faithful 기약 코모듈이 차원 2인 유한차원 반단순 호프 대수의 구조는 어떠한가?
• RQ2 이러한 호프 대수는 군 대수와 그 변형으로 어떻게 분류될 수 있는가?
• RQ3 이 클래스에서 교환적 및 비교환적 호프 대수를 구분하는 데 프로베니우스-슈어 지표가 어떤 역할을 하는가?
• RQ4 이러한 호프 대수의 표현 범주는 등변화된 포인트형 융합 범주와 어떻게 관련되어 있는가?
• RQ5 어떤 이분형 다면체군이 비자명한 호프 대수 변형을 갖는가? 그리고 그 코homological 불변량은 무엇인가?

주요 결과

• 자기쌍대 faithful 기약 코모듈이 차원 2인 반단순 호프 대수들은 $\nu(V) = -1$일 때 비아벨 이분형 다면체군 $\widetilde{\Gamma}$의 교환적 군 대수 $k^{\widetilde{\Gamma}}$이거나, $\nu(V) = 1$일 때 비자명한 변형 $\mathcal{A}[\widetilde{\Gamma}]$ 또는 $\mathcal{B}[\widetilde{\Gamma}]$이다.
• 호프 부분대수 $B = k[C\mathcal{S}(C)]$는 $\Gamma$가 $\mathrm{PSL}_2(k)$의 짝수 순서의 비순환 유한부분군일 때 $k^\Gamma$와 동형이며, $|G[\chi]|$는 4를 나눈다. 여기서 $G[\chi]$는 특성 $\chi$의 안정자이다.
• 만일 $V$가 자기쌍대이고 $\nu(V) = 1$이면, 호프 대수 $H$는 $k \to k^\Gamma \to H \to k\mathbb{Z}_m \to k$의 형태를 갖는 코중앙 정확열에 속하며, $\Gamma$는 짝수 순서의 다면체군이다.
• 호프 대수 $H$의 코모듈 범주는 $\mathbb{Z}_2$-등변화된 포인트형 융합 범주와 동치이며, 이는 정리 5.12에서 보여진다.
• 이코사하드랄 군 $\widetilde{I}$의 경우, 비자명한 변형 $\mathcal{B}[\widetilde{I}]$만 존재하며, $D_n$의 경우 $\mathcal{A}[\widetilde{D}_n]$과 $\mathcal{B}[\widetilde{D}_n]$가 모두 존재할 수 있다.
• 군 $\operatorname{Opext}(k^\Gamma, k\mathbb{Z}_2)/K$는 연결형사상 $d_2: H^2(\Gamma, k^\times) \to H^2(\mathbb{Z}_2, \widehat{\Gamma})$의 단사성 여부에 따라 1 또는 $\mathbb{Z}_2$와 동형이며, $K$는 분할 확장의 변형을 매개하는 데 쓰인다.