[論文レビュー] On Finite-Dimensional Semisimple and Cosemisimple Hopf Algebras in Positive Characteristic

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

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 $ の既存の境界の改善。

提案手法

• 代数的微分と余代数的微分を用いて $ \text{Hom}(A^{\bigotimes(p+1)}, B^{\bigotimes(q+1)}) $ 上に定義された双複体構造を用いたバイアルゲブラコホモロジーの使用。
• 半単純代数のコホモロジーの消失に関するホッフシャイルドの定理を適用し、半単純 $ A $ および余半単純 $ B $ に対して $ H^\bullet(A,B,\theta) = 0 $ を示す。
• 変形理論の技法を用いて、コホモロジーの消失を介して正の特性からゼロ特性へのホップ代数の持ち上げを実行。
• 単位根における多項式の評価に関する数論的補題を用い、正の特性におけるキャラクター和の消失を示さないことを証明。
• 半単純ホップ代数の構造論と $ S^2 $ のトレース、および単位根上の固有値分解を組み合わせる。
• 持ち上げ定理を適用して、正の特性における問題を既知の特性0の結果に還元する。

実験結果

リサーチクエスチョン

• RQ1 正の特性を持つ体上の有限次元半単純かつ余半単純なホップ代数は、その代数的構造を保ちながら特性0に持ち上げ可能か？
• RQ2 正の特性における半単純かつ余半単純なホップ代数に対して、カプランスキーの第5予想（アントイプが $ S^2 = \text{id} $ を満たす）は成立するか？
• RQ3 特性 $ p $ と次元 $ d $ に対してどのような条件下で半単純ホップ代数が余半単純となるか？
• RQ4 境界 $ p > d^{\tau(d)/2} $ を用いることで、正の特性において半単純性が余半単純性を保証できるか？
• RQ5 バイアルゲブラコホモロジーの消失が、特性間を越えたホップ代数構造の持ち上げをどのように促進するか？

主な発見

• 正の特性を持つ体上の任意の有限次元半単純かつ余半単純なホップ代数は、関手的に特性0の体上の半単純ホップ代数に持ち上げ可能である。
• 持ち上げは (準) 三角構造を保つため、特性0における準三角ホップ代数に関する結果が正の特性へと拡張可能である。
• カプランスキーの第5予想 — アントイプが $ S^2 = \text{id} $ を満たす — は、正の特性における有限次元半単純かつ余半単純なホップ代数に対して成立する。
• 体 $ k $ の特性が $ p > d^{\tau(d)/2} $ である $ d > 2 $ 次元の半単純ホップ代数 $ A $ に対して、$ A $ は余半単純でもある。
• 境界 $ p > d^{\tau(d)/2} $ は、サマーハウアーによる以前の境界 $ p > (2d^2)^{2d^2 - 4} $ よりも改善されている。
• 単位根における多項式評価に関する数論的議論を用いて、$ g_i $ の固有値の和として表される $ S^2 $ のトレースが、$ k $ において非ゼロであることが示される。