[논문 리뷰] The Representation Theory of Co-triangular Semisimple Hopf Algebras

Pavel Etingof, Shlomo Gelaki|ArXiv.org|1998. 12. 18.

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

한 줄 요약

이 논문은 C[G]^J가 비틀림을 가진 군 대수인 co-triangular semisimple Hopf 대수 A* = (C[G]^J)*의 표현 이론을 명시적으로 서술한다. 이는 A*의 기약 표현을 관련된 유한군의 표현과 연결시켜 기술한다. 핵심 결과는 A*에 대해 Kaplansky의 6번째 추측이 성립함을 증명하는 것으로, 즉 A*의 모든 기약 표현의 차원이 A의 차원을 나눈다는 것이다.

ABSTRACT

In a previous paper we prove that any semisimple triangular Hopf algebra A over an algebraically closed field of characteristic 0 (say the field of complex numbers C) is obtained from a finite group after twisting the ordinary comultiplication of its group algebra in the sense of Drinfeld; that is A=C[G]^J for some finite group G and a twist J\in C[G]\ot C[G]. In this paper we explicitly describe the representation theory of co-triangular semisimple Hopf algebras A^*=(C[G]^J)^* in terms of representations of some associated groups. As a corollary we prove that Kaplansky's 6th conjecture from 1975 holds for A^*; that is that the dimension of any irreducible representation of A^* divides the dimension of A.

연구 동기 및 목표

• C[G]^J가 비틀림을 가진 군 대수인 co-triangular semisimple Hopf 대수 A* = (C[G]^J)*의 표현 이론을 유한군의 표현을 통해 기술하는 것.
• 비틀림 J로부터 유도되는 관련 유한군의 기약 표현과 A*의 기약 표현 사이에 구체적인 연결 고리를 설정하는 것.
• A*에 대해 Kaplansky의 6번째 추측, 즉 A*의 모든 기약 표현의 차원이 A의 차원을 나눈다는 것을 확인하는 것.
• 이전의 semisimple triangular Hopf 대수에 대한 결과를 이들의 쌍대, 특히 co-triangular 케이스에 확장하는 것.

제안 방법

• A = C[G]^J와 A* = (C[G]^J)* 사이의 대칭성, 여기서 A는 비틀림을 가진 군 대수라는 점을 활용한다.
• Drinfeld 비틀림 이론을 적용하여 A*가 비틀림을 가진 군 대수의 쌍대 Hopf 대수로서의 구조를 분석한다.
• 군론적 구성 방법을 통해 A*의 표현 이론을 유한군의 표현 이론으로 환원한다.
• A*의 기약 표현이 군 G의 특정 표현들에 비틀림 J에 의해 수정된 것과 대응된다는 사실을 활용한다.
• 이전 연구에서 알려진 semisimple triangular Hopf 대수의 구조를 활용하여 쌍대 co-triangular 케이스를 분석한다.
• 특성 0에서 semisimple Hopf 대수가 그 표현 범주에 의해 결정되므로, 군 데이터를 통한 분류가 가능하다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 co-triangular semisimple Hopf 대수의 표현 이론은 어떻게 유한군의 표현을 통해 기술할 수 있는가?
• RQ2 비틀림 군 대수 (C[G]^J)*의 쌍대는 어떤 구조를 가지며, 이를 군론적 자료와 어떻게 연결할 수 있는가?
• RQ3 Kaplansky의 6번째 추측—모든 기약 표현의 차원이 대수의 차원을 나눈다—는 A*에 대해 성립하는가?
• RQ4 Drinfeld 비틀림 J는 쌍대 Hopf 대수 A*의 표현 이론에 어떤 영향을 미치는가?
• RQ5 A*의 기약 표현들은 기저가 되는 군 G의 표현들로부터 명시적으로 구성할 수 있는가?

주요 결과

• A* = (C[G]^J)*의 표현 이론은 비틀림 J와 관련된 유한군의 표현을 통해 완전히 기술된다.
• A*의 기약 표현들은 비틀림 J에 의해 수정된 군 G의 특정 기약 표현들과 일대일 대응된다.
• A*의 모든 기약 표현의 차원은 A의 차원을 나누므로, 이 클래스의 Hopf 대수에 대해 Kaplansky의 6번째 추측이 확인된다.
• 복소수와 같이 특성 0의 대수적으로 닫힌 체에서 결과가 성립한다.
• 이 구성은 군론적 자료를 통해 A*의 기약 표현을 완전히 분류한다.
• A = C[G]^J와 A* = (C[G]^J)* 사이의 대칭성은 semisimplicity를 유지하며 표현론적 성질의 전달을 가능하게 한다.