[논문 리뷰] The Classification of Triangular Semisimple and Cosemisimple Hopf Algebras Over an Algebraically Closed Field

Pavel Etingof, Shlomo Gelaki|arXiv (Cornell University)|1999. 05. 26.

Algebraic structures and combinatorial models인용 수 12

한 줄 요약

이 논문은 대수적으로 닫힌 체 위에서 삼각형(semisimple 및 cosemisimple) 호프 대수를 분류하기 위해, 차원 N인 이러한 호프 대수의 동형류 사이의 전단사 사상이 존재함을 보여, 이는 G는 순서 N인 군, H는 부분군, V는 차원 |H|^{1/2}인 H의 기약 프로젝티브 표현, u는 순서 ≤ 2인 중심 원소인 4중항 (G, H, V, u)로 표현된다. 주요 결과는 이러한 모든 호프 대수가 드린펠트 전환을 통해 군 대수로부터 유도됨을 보이며, 최소 삼각형 호프 대수의 기저 군은 가해군이며 차원이 1보다 클 경우 비자명한 군 원소를 포함한다.

ABSTRACT

In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a bijection between the set of isomorphism classes of triangular semisimple and cosemisimple Hopf algebras of dimension N over k, and the set of isomorphism classes of quadruples (G,H,V,u), where G is a group of order N, H is a subgroup of G, V is an irreducible projective representation of H over k of dimension |H|^{1/2}, and u\\in G is a central element of order \\le 2. This classification implies, in particular, that any triangular semisimple and cosemisimple Hopf algebra over k can be obtained from a group algebra by a twist. We also answer positively the question from our previous paper whether the group underlying a minimal triangular semisimple Hopf algebra is solvable. We conclude by showing that any triangular semisimple and cosemisimple Hopf algebra over k of dimension bigger than 1 contains a non-trivial grouplike element. The classification uses Deligne's theorem on Tannakian categories and the results of a paper of Movshev in an essential way. The proof of solvability and existence of grouplike elements relies on a theorem of Howlett and Isaacs that any group of central type is solvable, which is proved using the classification of finite simple groups. The classification in positive characteristic relies also on the lifting functor from our previous paper.

연구 동기 및 목표

• 대수적으로 닫힌 체 k 위에서 모든 삼각형 semisimple 및 cosemisimple 호프 대수를 분류하기 위해.
• 이러한 호프 대수가 드린펠트 전환을 통해 군 대수에서 유도될 수 있는지 여부를 확인하기 위해.
• 최소 삼각형 semisimple 호프 대수의 기저 군의 구조를 조사하기 위해.
• 차원이 1보다 클 경우 이러한 호프 대수에 비자명한 군 원소가 존재하는지 확인하기 위해.
• 분류 결과를 Tannakian 범주와 Movshev 및 Deligne의 텐서 범주에 대한 결과와 연결하기 위해.

제안 방법

• 텐서 범주의 표현 이론을 군론적 자료와 연결하기 위해 Deligne의 Tannakian 범주 정리를 적용하기 위해.
• Movshev의 semisimple 경우에서 삼각형 호프 대수의 구조에 대한 결과를 적용하기 위해.
• 이전 연구에서 유도된 업그레이드 함수를 활용하여 결과를 양의 특성에서 확장하기 위해.
• G는 순서 N인 군, H는 부분군, V는 차원 |H|^{1/2}인 H의 기초 프로젝티브 표현, u는 순서 ≤ 2인 중심 원소인 4중항 (G, H, V, u)과 호프 대수의 동형류 사이의 전단사 사상 구축하기 위해.
• 유한 단순군의 분류에 기반하여 Howlett과 Isaacs의 정리(중앙 유형을 가진 군은 가해군임)를 활용하기 위해.
• 프로젝티브 표현의 구조와 드린펠트 전환 구성법을 활용하여 이러한 모든 호프 대수가 군 대수와 전환 동치임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 모든 삼각형 semisimple 및 cosemisimple 호프 대수 중 대수적으로 닫힌 체 위에서 군 대수의 드린펠트 전환으로 유도될 수 있는가?
• RQ2 이러한 호프 대수를 동형류 기준으로 분류하는 정확한 군론적 자료는 무엇인가?
• RQ3 최소 삼각형 semisimple 호프 대수의 기저 군은 반드시 가해군인가?
• RQ4 차원이 1보다 큰 모든 이러한 호프 대수는 비자명한 군 원소를 포함하는가?
• RQ5 Tannakian 범주 이론과 프로젝티브 표현 이론은 이러한 호프 대수의 분류에서 어떻게 상호작용하는가?

주요 결과

• 차원 N인 삼각형 semisimple 및 cosemisimple 호프 대수의 동형류와 G는 순서 N인 군, H ≤ G, V는 차원 |H|^{1/2}인 H의 기초 프로젝티브 표현, u는 순서 ≤ 2인 중심 원소인 4중항 (G, H, V, u) 사이의 전단사 사상이 존재함을 통해 완전한 분류가 확립되었다.
• 모든 이러한 호프 대수는 군 대수와 전환 동치이며, 이는 드린펠트 전환을 통해 군 대수에서 기인함을 확인한다.
• 모든 최소 삼각형 semisimple 호프 대수의 기저 군은 가해군이며, 이는 이전 연구에서 제기된 추측을 확인한다.
• 차원이 1보다 큰 삼각형 semisimple 및 cosemisimple 호프 대수는 비자명한 군 원소를 포함한다.
• 이 분류는 양의 특성인 대수적으로 닫힌 체를 포함한 모든 체에서 유효하며, 이는 이전 연구에서 유도된 업그레이드 함수를 활용하여 성립한다.
• 유한 단순군의 분류에 기반한 Howlett과 Isaacs의 정리(중앙 유형을 가진 군은 가해군임)에 의존하여 증명이 핵심적으로 구성된다.