[논문 리뷰] Coset decomposition for semisimple Hopf algebras

Sebastian Burciu|ArXiv.org|2007. 12. 11.

Advanced Topics in Algebra참고 문헌 5인용 수 5

한 줄 요약

이 논문은 이중 코스 분해를 정의함으로써 유한 차원 반단순 호프 대수로의 유한군 이론의 이중 코스를 일반화한다. 이중 코스 분해는 이중 호프 대수의 기저가 되는 기약 표현에 대한 동치 관계를 정의함으로써 이루어지며, 매크키 유형의 분해 공식을 통해 정규 호프 부분대수로의 유도 모듈의 제약이 동일한 기약 성분을 가짐을 보여준다. 이 공식은 프로베니우스-페르로네 이론과 코알제브라 기법을 통해 명시적인 표현 공식으로 유도된다.

ABSTRACT

The notion of double coset for semisimple finite dimensional Hopf algebras is introduced. This is done by considering an equivalence relation on the set of irreducible characters of the dual Hopf algebra. As an application formulae for the restriction of the irreducible characters to normal Hopf subalgebras are given.

연구 동기 및 목표

• 유한군에서의 이중 코스 개념을 반단순 유한 차원 호프 대수로 일반화하기.
• 적분과 이차형식을 이용하여 이중 호프 대수의 기약 표현에 대한 동치 관계를 정의하기.
• 정규 호프 부분대수로의 유도 모듈 제약에 대한 매크키 유형의 분해 공식 수립하기.
• 프로베니우스-페르로네 이론을 호프 대수로 확장하고 이전 결과들의 증명을 단순화하기.
• 정규 호프 부분대수에 대해 공액 모듈을 정의하고 연구하기. 이는 군 모듈의 공액과 유사하다.

제안 방법

• 서브대수 $ K, L $의 적분 $ \Lambda_K, \Lambda_L $를 사용하여, $ H^* $의 기약 표현에 대한 동치 관계를 조건 $ m(c, \Lambda_K d \Lambda_L) > 0 $ 로 정의한다.
• 기저가 $ c, d $인 $ H $-코모듈에 대해 이차형식 $ m(c,d) = \dim_k \mathrm{Hom}^H(M,N) $ 를 사용하며, 대칭성과 순환성 성질을 활용한다.
• $ H $의 코스 분해를 $ K $-$ L $ 이중모듈 $ C_iK $ 의 직합으로 구성한다. 여기서 $ C_i $ 는 동치류와 관련된 단순 부분코알제브라이다.
• $ H $와 $ H^* $ 사이의 대칭성과, $ C(H^*) \subset H $ 인 표현의 링과 $ \Lambda_H = \sum_{d \in \mathrm{Irr}(H^*)} \epsilon(d) d $ 인 적분을 사용한다.
• $ H $-모듈 $ M $ 에 대해 $ d \in \mathrm{Irr}(H^*) $ 의 작용을 통해 공액 모듈 $ {}^dM $ 을 정의하고, 이와 유도 모듈의 구조를 연결한다.
• $ W \in H^*\text{-mod} $ 에 대해 등장하는 동치 $ W \otimes N \cong N^{\dim W} $ 를 사용하여, 유도 모듈의 제약을 분석한다.

실험 결과

연구 질문

• RQ1 유한군에서의 이중 코스 개념을 반단순 호프 대수로 어떻게 일반화할 수 있는가?
• RQ2 정규 호프 부분대수로의 유도 모듈의 제약의 구조는 어떻게 되는가?
• RQ3 이중 호프 대수의 기약 표현은 $ K $-$ L $ 이중모듈로의 $ H $ 분해와 어떻게 관련되는가?
• RQ4 군에 대한 매크키 분해 공식은 반단순 호프 대수의 맥락으로 어떻게 확장될 수 있는가?
• RQ5 프로베니우스-페르로네 이론과 적분은 기약 표현의 동치류를 특징짓는 데 어떤 역할을 하는가?

주요 결과

• 호프 대수 $ H $ 의 이중 코스 분해는 $ H = \bigoplus_{i=1}^s C_i K $ 로 주어지며, 여기서 $ C_i $ 는 $ \mathrm{Irr}(H^*) $ 의 동치류에 대응하는 단순 부분코알제브라이다. 동치 관계는 $ c \sim d $ iff $ m(c, \Lambda_K d \Lambda_L) > 0 $ 를 만족한다.
• 정규 호프 부분대수 $ K \subset H $ 에 대해, 유도 모듈 $ M \uparrow_K^H $ 의 $ K $ 로의 제약은 $ \bigoplus_{d \in \mathrm{Irr}(H^*)} {}^dM $ 과 동일한 기약 성분을 가진다. 여기서 $ {}^dM $ 은 $ M $ 의 공액 모듈이다.
• 모든 $ \alpha \in \mathrm{Irr}(K) $ 와 $ d \in \mathrm{Irr}(H^*) $ 에 대해 $ \frac{1}{\epsilon(d)} \alpha_d \uparrow_K^H = \alpha \uparrow_K^H $ 인 유도 공식이 성립한다. 이는 정규화된 특성 $ \alpha_d $ 가 $ \alpha $ 와 동일한 모듈을 유도함을 보여준다.
• 특성 $ \alpha_d $ 는 $ d \in \mathrm{Irr}(H^*) $ 가 $ K $ 에 작용함으로써 정의되며, $ \frac{\alpha_d}{\epsilon(d)} $ 는 동치 관계에 대해 불변이므로, 유도 과정에서 일관성이 보장된다.
• 등장하는 동치 $ W \otimes N \cong N^{\dim W} $ 는 $ H $-모듈로서, $ H \otimes_K M $ 의 제약을 $ C_i K \otimes_K M $ 로 분해하여 분석할 수 있으며, 각각은 $ \epsilon(d_i) $ 개의 $ {}^{d_i}M $ 로 사상된다.
• 기본 표현 $ d \in \mathrm{Irr}(H^*) $ 의 동치류는 조건 $ m(c, \Lambda_K d \Lambda_L) > 0 $ 에 의해 결정되며, 이 관계는 대칭적이고 추이적이므로 잘 정의된 코스 분해를 이룬다.