[論文レビュー] Coset decomposition for semisimple Hopf algebras

Sebastian Burciu|ArXiv.org|Dec 11, 2007

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 $ を用いて、$ m(c, \Lambda_K d \Lambda_L) > 0 $ を満たす条件により、双対ホップ代数 $ H^* $ の既約的特徴関数に同値関係を定義する。
• ホップ代数 $ H $-コモジュールの特徴関数 $ c,d $ に対して、双線形形式 $ m(c,d) = \dim_k \mathrm{Hom}^H(M,N) $ を用い、その対称性および循環的性質を活用する。
• 各同値類に対応する単純な部分余代数 $ C_i $ を用いて、$ H $ を $ K $-$ L $ 双加群 $ C_iK $ の直和に分解する。
• ホップ代数 $ 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} $ が $ H $-加群として成り立つことを用い、誘導加群の制限を分析する。

実験結果

リサーチクエスチョン

• RQ1 有限群における二重コセットの概念を、半単純ホップ代数へどのように一般化できるか？
• RQ2 正規ホップ部分代数への誘導加群の制限の構造はどのようなものか？
• RQ3 双対ホップ代数の既約的特徴関数は、$ H $ を $ K $-$ L $ 双加群に分解する際にどのように関係するか？
• RQ4 群に対するマッキー分解公式を、半単純ホップ代数の文脈に拡張できるか？
• RQ5 フロベニウス＝ペロン理論と積分は、既約的特徴関数の同値類を特徴付ける上で果たす役割は何か？

主な発見

• ホップ代数 $ H $ の二重コセット分解は、$ H = \bigoplus_{i=1}^s C_i K $ と表され、$ C_i $ は同値類に対応する単純な部分余代数であり、関係 $ c \sim d $ とは $ 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)} $ は同値関係に関して不変であるため、誘導過程において一貫性が保証される。
• $ H $-加群としての同型 $ W \otimes N \cong N^{\dim W} $ を用いることで、$ 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 $ によって定義され、この関係は対称的かつ推移的であり、適切に定義されたコセット分解を形成する。