[논문 리뷰] Semisimple Hopf algebras and their depth two Hopf subalgebras

Lars Kadison|ArXiv.org|2008. 07. 03.

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

한 줄 요약

이 논문은 복소수 체 위의 특성수 0인 대수적으로 닫힌 체 위의 반단순 호프 대수에서, 깊이 2 호프 부분대수는 항상 정규임을 증명한다. 프로베누스 확장 이론, 약한 호프 대수 갈로아 이론, 그리고 코링 이론에서의 표준 동형사상(canonical isomorphism)을 이용하여, 호프 대수에서 약한 호프 대수로의 비단위 원소를 갖는 대수 준동형사상 $\Phi: H \to W$를 구성함으로써, 그 핵이 두 측면 이상의 아이디얼 $HK^+H = K^+H$임을 보여, 갈로아 코작용을 통해 정규성을 확립한다.

ABSTRACT

We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing (then restricting) modules several times as opposed to one time creates no new simple constituents. This point of view was taken in the paper http://arxiv.org/abs/math/0409346 which established a normality result in case H and K are finite group algebras. On the other hand this means that K is normal in H when H | K is a Galois extension with respect to action of generalized bialgebras such as bialgebroids, weak Hopf algebras or Hopf algebroids. The generalized Galois picture of depth two is the point of view we take here: after showing the centralizer R is separable algebra via Hopf invariant theory, we compute that the depth two semisimple Hopf algebra pair H | K is free Frobenius extension with Markov trace satisfying all hypotheses considered in Kadison and Nikshych, Frobenius Extensions and Weak Hopf Algebras, J.Algebra 244 (2001). By the main theorem in that paper it is then a Galois extension with action of semisimple weak Hopf algebra (also regular and possessing Haar integral). Then the Galois canonical isomorphism (via coring theory) restricted to integral induces algebra homomorphism from Hopf algebra into weak Hopf algebra with kernel HK^+ = K^+H.

연구 동기 및 목표

• 대수적으로 닫힌 체에서 특성수 0인 반단순 호프 대수의 깊이 2 호프 부분대수가 정규임을 입증하는 것.
• 깊이 2 확장을 약한 호프 대수 작용과 연결하여 호프 대수 갈로아 대응의 일반화를 시도하는 것.
• 마수카의 정규 호프 부분대수 특성화에 대한 프로베누스 이론적 증명을 제공하는 것.
• 호프 대수 환경에서 프로베누스 확장 조건과 깊이 2 조건 간의 동치성을 명확히 하는 것.

제안 방법

• 반단순 호프 대수의 프로베누스 구조와 마르코프 추적(trace)를 이용하여 중심자 부분대수의 자유성과 분리 가능성(freeness and separability)을 확립한다.
• 카디슨과 니크시치(2014)의 주요 정리(약한 호프 대수 갈로아 작용을 갖는 프로베누스 확장에 관한)를 적용한다.
• 갈로와 코작용을 통해 호프 대수 $H$에서 약한 호프 대수 $W = \mathrm{End}_K H_K$로의 비단위 원소를 갖는 대수 준동형사상 $\Phi: H \to W$를 구성한다.
• 갈로와 동형사상 $\beta: H \otimes_K H \to H \otimes W$를 이용하여 $\Phi$의 상과 핵을 분석하고, $\mathrm{Im}\,\Phi \cong H / HK^+H$임을 보인다.
• 스 Schneider의 표준 동형사상(의존)을 활용하여 $H/K^+H$, $H/HK^+$, $H/HK^+H$의 차원을 비교하고, $\dim \mathrm{Im}\,\Phi = n$임을 증명한다.
• 유도된 사상 $H/HK^+H \to \mathrm{Im}\,\Phi$가 동형사상임을 보여 $HK^+H = K^+H$임을 증명함으로써, $K$가 정규임을 입증한다.

실험 결과

연구 질문

• RQ1 대수적으로 닫힌 체에서 특성수 0인 반단순 호프 대수의 깊이 2 호프 부분대수는 반드시 정규인가?
• RQ2 깊이 2 확장의 갈로와 코작용 그림을 이용하여, 더 큰 대수 위에 약한 호프 대수 작용을 정의할 수 있는가?
• RQ3 유도된 준동형사상 $\Phi: H \to W$의 핵이 두 측면 이상의 아이디얼 $HK^+H$와 일치하는가?
• RQ4 깊이 2 확장의 맥락에서 $H/K^+H$, $H/HK^+$, $H/HK^+H$의 차원 간의 관계는 어떠한가?
• RQ5 정규 호프 부분대수의 특성화는 깊이 2 조건과 갈로와 코작용을 통해 동치적으로 기술될 수 있는가?

주요 결과

• 대수적으로 닫힌 체에서 특성수 0인 반단순 호프 대수 $H$의 깊이 2 호프 부분대수 $K$는 정규이다.
• 중심자 $R = H^K$는 분리 가능한 대수이며, 이는 프로베누스 및 갈로아 구조를 확립하는 데 핵심적인 단계이다.
• $H|K$ 확장은 마르코프 추적을 갖는 자유 프로베누스 확장이며, 카디슨과 니크시치(2014)의 주요 정리의 모든 가정을 충족시킨다.
• 갈로와 표준 동형사상 $\beta: H \otimes_K H \to H \otimes W$는 $H/HK^+H \to \mathrm{Im}\,\Phi$로의 동형사상을 유도하며, 여기서 $\Phi: H \to W$는 비단위 원소를 갖는 대수 준동형사상이다.
• $\Phi$의 핵은 $HK^+H = K^+H$이며, 이는 $K$가 $H$에서 정규임을 의미한다.
• $\mathrm{Im}\,\Phi$의 차원은 $n$이며, 이는 $K$의 $H$에서의 지수와 일치하며, 이는 동형사상의 정합성을 확인한다.