[논문 리뷰] Braided Hopf algebras over non abelian finite groups

Nicolás Andruskiewitsch, M. Graña|ArXiv.org|1998. 02. 16.

Algebraic structures and combinatorial models참고 문헌 24인용 수 79

한 줄 요약

이 논문은 비아벨 유한군의 군 대수 위의 Yetter–Drinfeld 카테고리에서 브레드 훼프 대수의 이론을 개발하며, 비자명한 코라디칼을 갖는 유한차원 등급 훼프 대수(TOBAs)에 초점을 맞춘다. 이는 주어진 Yetter–Drinfeld 모듈러스로부터 이러한 대수를 구성하는 세 가지 방법을 제시하고, 그들의 분류를 원시 원소들의 공간에 의해 이루어지며, 딜레르그룹과 대칭군을 중심으로 명시적인 예를 제공한다. 특히 $\mathbb{D}_4$ 위에서 4차원 모듈러스로부터 유도된 64차원 대수를 포함한다. 주요 기여는 브레드 훼프 대수와 포인티드 훼프 대수 간의 체계적 프레임워크를 보스노라이제이션을 통해 확립하는 것이다.

ABSTRACT

This is a survey of general aspects of the theory of braided Hopf algebras with emphasis on a special class of braided graded Hopf algebras named tobas. The interest on tobas arises from problems of classification of pointed Hopf algebras. We discuss tobas from different points of view following ideas of Lusztig, Nichols and Schauenburg. We then concentrate on braided Hopf algebras in the Yetter-Drinfeld category over H, where H is the group algebra of a non abelian finite group. We present some finite dimensional examples arising in an unpublished work by Milinski and Schneider.

연구 동기 및 목표

• 비아벨 유한군의 군 대수 위의 Yetter–Drinfeld 카테고리에서 브레드 훖프 대수의 이론을 개발한다.
• 비자명한 코라디칼을 갖는 유한차원 등급 브레드 훃프 대수(TOBAs)를 그 원시 원소들의 공간에 의해 분류한다.
• 주어진 Yetter–Drinfeld 모듈러스로부터 TOBA를 구성하는 데 다수의 방법—양자 셔플, 보편 성질, 그리고 새로운 이중선형 형식—을 제시한다.
• 밀린스키와 슈나우버의 발표되지 않은 작업에서 유래된 명시적인 유한차원 예제들을 제시하며, 특히 $\mathbb{S}_3$와 $\mathbb{D}_4$ 위에서의 사례를 포함한다.
• 이 대수들의 보스노라이제이션을 통해 코라디칼의 구조가 알려진 포인티드 훃프 대수로의 연결을 확립한다.

제안 방법

• 유한한 비아벨 군 $\Gamma$에 대해 $H = \mathbb{k}\Gamma$로 주어진 Yetter–Drinfeld 카테고리 ${}^{H}_{H}{\cal YD}$를 브레드 훗프 대수의 배경 카테고리로 사용한다.
• 브레드 훗프 대수와 포인티드 훗프 대수 간의 관계를 설정하기 위해 보스노라이제이션(또는 이중곱) 구조를 적용한다.
• 양자 셔플 대수와 보편 성질을 활용하여 Yetter–Drinfeld 모듈러스 $V$로부터 TOBA를 구성함으로써 $R(1) \cong V$를 확보한다.
• 루스지크와 쇼엔버그의 영감을 얻어, 이중선형 형식을 사용하여 새로운 TOBA $\mathfrak{t}(V)$의 구성법을 제안한다.
• 특히 $\mathbb{D}_4$ 예제에서 결과 대수의 차원을 계산하기 위해 다이아몬드 렘마를 활용한다.
• 군형과 원시형 원소를 포함한 생성자와 관계의 명시적 표현을 통해 보스노라이제이션된 대수의 관계를 검증한다.

실험 결과

연구 질문

• RQ1 비아벨 유한군 위의 Yetter–Drinfeld 카테고리에서 브레드 훗프 대수는 어떻게 체계적으로 구성하고 분류할 수 있는가?
• RQ2 TOBA의 원시 원소들의 공간과 그 기초가 되는 Yetter–Drinfeld 모듈러스 사이의 관계는 무엇인가?
• RQ3 이중선형 형식을 사용하여 새로운 TOBA의 구성법을 정의할 수 있으며, 이는 기존의 양자 셔플 기반 방법과 어떻게 비교될 수 있는가?
• RQ4 대칭군과 딜레르그룹 위에서의 명시적인 유한차원 TOBA의 차원과 정의 관계는 무엇인가?
• RQ5 $n > 4$ 또는 $p > 4$일 경우 $R^n_p$ 대수들이 유한차원을 유지하는가?

주요 결과

• TOBA $\mathfrak{t}(V)$는 그 원시 원소들의 공간 $V = \mathcal{P}(R)$에 의해 유일하게 결정되며, 이는 분류 결과를 보장한다.
• $\Gamma = \mathbb{S}_3$인 경우, 보스노라이제이션된 대수의 차원은 72이며, 코라디칼은 $\mathbb{k}\mathbb{S}_3$와 동형이다. 명시적인 생성자와 관계는 $g_i^2 = 1$, $g_1g_0g_1 = g_0g_1g_0$, $y_i^2 = 0$을 포함한다.
• $\mathbb{D}_4$ 위에서 4차원 Yetter–Drinfeld 모듈러스를 바탕으로 한 64차원 TOBA를 구성하였으며, $z_i^2 = 0$, $z_iz_j + z_jz_i = 0$ ($i,j$가 모두 짝수 또는 홀수일 때), 그리고 $a = z_1z_2 + z_0z_1$, $b = z_1z_0 + z_2z_1$에 대한 추가의 이차 관계를 포함하는 관계들로 텐서 대수를 몫화하여 유도하였다. 다이아몬드 렘마를 통해 확인하였다.
• $R^1_4$ 대수가 유한차원임을 보였지만, $n > 4$인 $R^1_n$의 유한차원성은 아직 미해결이다.
• 유한브레드 훗프 대수의 적분 공간이 가역 대상임을 보였으며, 이는 반전 가능성을 갖는 항등사상의 브레드 버전과 같은 표준 결과의 브레드 버전을 이끌어낸다.