[논문 리뷰] On Finite-Dimensional Semisimple and Cosemisimple Hopf Algebras in Positive Characteristic

Pavel Etingof, Shlomo Gelaki|ArXiv.org|1998. 05. 22.

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

한 줄 요약

이 논문은 양의 특성을 가진 체 위에서 유한차원 반단순 및 코반단순 호프 대수는 특성 0으로의 함자적 리프팅이 가능함을 확립하며, 특성 0의 결과를 양의 특성으로 이전할 수 있도록 한다. 주요 기여는 코발란스키의 5번째 추측(역행자 순서에 대한 것)을 증명하고, 특성 $ p > d^{\tau(d)/2} $ 인 체 위에서 차원 $ d > 2 $ 인 반단순 호프 대수가 또한 코반단순임을 보여, 이전의 한계를 향상시킨다.

ABSTRACT

Recently, important progress has been made in the study of finite-dimensional semisimple Hopf algebras over a field of characteristic zero. Yet, very little is known over a field of positive characteristic. In this paper we prove some results on finite-dimensional semisimple and cosemisimple Hopf algebras A over a field of positive characteristic, notably Kaplansky's 5th conjecture on the order of the antipode of A. These results have already been proved over a field of characteristic zero, so in a sense we demonstrate that it is sufficient to consider semisimple Hopf algebras over such a field (they are also cosemisimple), and then to use our Lifting Theorem 2.1 to prove it for semisimple and cosemisimple Hopf algebras over a field of positive characteristic. In our proof of Lifting Theorem 2.1 we use standard arguments of deformation theory from positive to zero characteristic. The key ingredient of the proof is the theorem that the bialgebra cohomology groups of A vanish.

연구 동기 및 목표

• 유한차원 반단순 및 코반단순 호프 대수의 결과를 특성 0에서 양의 특성으로 확장한다.
• 이러한 호프 대수가 (구면)삼각형 구조를 유지하면서 특성 0으로의 함자적 리프팅을 갖는다는 것을 증명한다.
• 양의 특성에서 호프 대수에 대해 코발란스키의 5번째 추측(역행자 순서에 대한 것)을 확립한다.
• 양의 특성에서 반단순 호프 대수가 또한 코반단순이 되는 조건을 규명한다.
• 반단순성이 코반단순성을 유도하는 데 있어 특성 $ p $ 에 대한 기존의 한계를 향상시킨다.

제안 방법

• 호프 대수의 코homology를 사용하며, $ \text{Hom}(A^{\bigotimes(p+1)}, B^{\bigotimes(q+1)}) $ 에서 대수와 코대수 미분을 통해 정의된 이복합체 구조를 활용한다.
• 반단순 대수의 코homology가 0이 되는 호흐시ลด의 정리를 적용하여, 반단순 $ A $ 와 코반단순 $ B $ 에 대해 $ H^\bullet(A,B,\theta) = 0 $ 이 됨을 보인다.
• 변형 이론 기법을 사용하여 코homology가 0이 되는 것을 통해 양의 특성에서 특성 0으로 호프 대수를 리프팅한다.
• 근의 단위에서 다항식을 평가하는 수론적 보조정리를 활용하여, 양의 특성에서의 특성 합이 0이 아님을 보인다.
• 반단순 호프 대수의 구조 이론과 $ S^2 $ 의 추적, 그리고 원주율의 근에서의 고유값 분해를 결합한다.
• 리프팅 정리를 적용하여, 양의 특성에서의 문제를 특성 0의 알려진 결과로 환원한다.

실험 결과

연구 질문

• RQ1 유한차원 반단순 및 코반단순 호프 대수가 양의 특성에서 특성 0으로 리프팅될 수 있으며, 그 대수적 구조가 유지되는가?
• RQ2 코발란스키의 5번째 추측 — 즉, 역행자가 $ S^2 = \text{id} $ 를 만족한다는 것 — 은 양의 특성에서 반단순 및 코반단순 호프 대수에 대해 성립하는가?
• RQ3 특성 $ p $ 와 차원 $ d $ 에 대해 어떤 조건에서 반단순 호프 대수가 또한 코반단순이 되는가?
• RQ4 반단순성이 코반단순성을 유도하는 데 있어 $ p > d^{\tau(d)/2} $ 를 사용할 수 있는가?
• RQ5 bialgebra 코homology의 0이 되는 것이 특성 간 호프 대수의 구조 리프팅을 어떻게 촉진하는가?

주요 결과

• 양의 특성에서 유한차원 반단순 및 코반단순 호프 대수는 특성 0의 반단순 호프 대수로의 함자적 리프팅을 갖는다.
• 리프팅은 (구면)삼각형 구조를 유지하므로, 특성 0에서의 구면삼각형 호프 대수에 관한 결과가 양의 특성으로 확장된다.
• 코발란스키의 5번째 추측 — 즉, $ S^2 = \text{id} $ — 은 양의 특성에서 유한차원 반단순 및 코반단순 호프 대수에 대해 성립한다.
• 특성 $ p > d^{\tau(d)/2} $ 인 체 $ k $ 위에서 차원 $ d > 2 $ 인 반단순 호프 대수 $ A $ 는 또한 코반단순이다.
• $ p > d^{\tau(d)/2} $ 의 한계는 코발란스키의 이전 한계 $ p > (2d^2)^{2d^2 - 4} $ 보다 향상된 것이다.
• $ S^2 $ 의 추적은 $ g_i $ 의 고유값에 대한 합으로 표현되며, 원주율의 근에서 다항식 평가에 대한 수론적 추론을 통해 $ k $ 에서 0이 아님을 보였다.