[論文レビュー] Self-dual modules of semisimple Hopf algebras

Yevgenia Kashina, Yorck Sommerhaeuser+1 more|ArXiv.org|Jun 29, 2001

Algebraic structures and combinatorial models参考文献 9被引用数 5

ひとこと要約

この論文は、特性が0の代数的に閉じた体上で、非自明な自己双対な単純モジュールを持つ半単純ホイッパー代数は、次元が偶数でなければならないことを証明している。バーンサイドの定理の一般化である。ドリンフェルトの双対とフロベニウス＝シュール指標を用いて、モジュールのテンソル積における評価形式のトレースが、次元が奇数の場合に矛盾を引き起こすことを示し、その結果、このようなホイッパー代数において自己双対性は偶数次元を意味することを確立している。

ABSTRACT

We prove that, over an algebraically closed field of characteristic zero, a semisimple Hopf algebra that has a nontrivial self-dual simple module must have even dimension. This generalizes a classical result of W. Burnside. As an application, we show under the same assumptions that a semisimple Hopf algebra that has a simple module of even dimension must itself have even dimension.

研究の動機と目的

• 有限群に関するW. バーンサイドの古典的結果を半単純ホイッパー代数へ一般化すること。
• 半単純ホイッパー代数に自己双対な単純モジュールが存在することによって課される構造的制約を調査すること。
• フロベニウス＝シュール指標とホイッパー代数の次元の偶奇性との間の関係を確立すること。
• コセミ単純性の仮定の下で、離散的評価環とウィット環を用いた持ち上げ定理により、正の特性へ結果を拡張すること。

提案手法

• モジュール構造を分析するために、ホイッパー代数としてのドリンフェルトの双対 D(H) = H* ⊗ H を用いる。
• e(ϕ⊗h) = ϕ(h) で定義される評価形式 e: D(H) → K が対称なフロベニウス準同型であることを示す。
• 自己双対モジュールを対称的・反対称的・非自己双対形式によって分類するために、フロベニウス＝シュール指標 ν₂(χ) = χ(Λ(1)Λ(2)) を適用する。
• V が自己双対な単純 H-モジュールで、W = H* が正則表現であるとき、V ⊗ W 上での評価形式 e および e² のトレースを分析する。
• dim(H) が奇数の場合に矛盾が生じるため、(¯χ ⊗ η)(e) = 0 および (¯χ ⊗ η)(e²) = ±dim(H) である事実を用いる。
• 離散的評価環とウィット環を介した持ち上げ定理を用いて、特性0から正の特性へと結果を拡張し、コセミ単純ホイッパー代数へ応用する。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体で特性が0の半単純ホイッパー代数が、非自明な自己双対な単純モジュールを持つと、次元が偶数でなければならないか？
• RQ2 フロベニウス＝シュール指標は、自己双対性を検出するとともに、ホイッパー代数の次元を制約できるか？
• RQ3 半単純ホイッパー代数が偶数次元の単純モジュールをもつ場合、その次元の偶奇性はどのように変化するか？
• RQ4 コセミ単純性の追加仮定の下で、特性0での自己双対モジュールに関する結果を正の特性へ持ち上げることは可能か？
• RQ5 特性の環の次元がホイッパー代数の次元の偶奇性と関係しているか？

主な発見

• 代数的に閉じた体で特性が0の半単純ホイッパー代数が、非自明な自己双対な単純モジュールを持つならば、次元は偶数でなければならない。
• V が非自明かつ自己双対であるとき、V ⊗ H* 上での評価形式 e のトレースは0に等しく、e² のトレースは ±dim(H) に等しい。dim(H) が奇数の場合に矛盾が生じる。
• フロベニウス＝シュール指標 ν₂(χ) は、対称形式では1、反対称形式では−1、非自己双対形式では0であり、自己双対モジュールを分類するために用いられる。
• 半単純ホイッパー代数が偶数次元の単純モジュールを持つならば、その次元は偶数でなければならない。これはニコルズとリッチモンドの結果を拡張する。
• ウィット環とエティンゴフ・ゲラキの持ち上げ定理を用いて、コセミ単純ホイッパー代数に対して正の特性へ結果を拡張できる。
• 特性の環の次元が偶数であることは、ホイッパー代数の次元が偶数であることをも意味する。