[论文解读] Coset decomposition for semisimple Hopf algebras

Sebastian Burciu|ArXiv.org|Dec 11, 2007

Advanced Topics in Algebra参考文献 5被引用 5

一句话总结

本文通过在对偶霍普夫代数的不可约特征标上定义等价关系，为半单有限维霍普夫代数引入了双陪集分解，推广了群论中的双陪集概念。主要贡献是一个类似麦科伊（Mackey）的分解公式，表明在正规霍普夫子代数上限制一个诱导模时，其不可约构成与共轭模的直和具有相同的不可约成分，通过弗罗贝尼乌斯-佩罗尼（Frobenius-Perron）理论和余代数技巧推导出明确的特征标公式。

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.

研究动机与目标

• 将有限群的双陪集概念推广至半单有限维霍普夫代数。
• 利用积分和双线性形式，在对偶霍普夫代数的不可约特征标上定义等价关系。
• 为正规霍普夫子代数上诱导模的限制建立类似麦科伊的分解公式。
• 将弗罗贝尼乌斯-佩罗尼理论推广至霍普夫代数，并简化早期结果的证明。
• 定义并研究正规霍普夫子代数上的共轭模，其类比于群模的共轭。

提出的方法

• 通过条件 $ m(c, \Lambda_K d \Lambda_L) > 0 $ 在对偶霍普夫代数 $ H^* $ 的不可约特征标上定义等价关系，其中 $ \Lambda_K, \Lambda_L $ 分别为子代数 $ K, L $ 的积分。
• 利用双线性形式 $ m(c,d) = \dim_k \mathrm{Hom}^H(M,N) $（$ H $-余模具有特征标 $ c,d $），并利用其对称性与循环性。
• 将 $ H $ 的陪集分解构造为 $ K $-$ L $ 双模 $ C_iK $ 的直和，其中 $ C_i $ 为与等价类相关的简单子余代数。
• 利用 $ H $ 与 $ H^* $ 之间的对偶性，使用特征标环 $ C(H^*) \subset H $ 和积分 $ \Lambda_H = \sum_{d \in \mathrm{Irr}(H^*)} \epsilon(d) d $。
• 通过 $ d \in \mathrm{Irr}(H^*) $ 的作用定义 $ H $-模 $ M $ 的共轭模 $ {}^dM $，并将其与诱导模的结构联系起来。
• 利用同构 $ W \otimes N \cong N^{\dim W} $ 作为 $ H $-模（$ W \in H^*\text{-mod} $），并将其应用于分析诱导模的限制。

实验结果

研究问题

• RQ1 如何将有限群中双陪集的概念推广至半单霍普夫代数？
• RQ2 从正规霍普夫子代数诱导的模限制到子代数本身时，其结构如何？
• RQ3 对偶霍普夫代数的不可约特征标如何与 $ H $ 按 $ K $-$ L $ 双模的分解相关联？
• RQ4 群的麦科伊分解公式能否推广至半单霍普夫代数的设定？
• RQ5 弗罗贝尼乌斯-佩罗尼理论和积分在刻画不可约特征标等价类中起什么作用？

主要发现

• 霍普夫代数 $ H $ 的双陪集分解为 $ K $-$ L $ 双模的形式为 $ H = \bigoplus_{i=1}^s C_i K $，其中 $ C_i $ 为对应于 $ \mathrm{Irr}(H^*) $ 下等价类的简单子余代数，等价关系定义为 $ 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)} $ 在等价关系下不变，确保归纳过程的一致性。
• 同构 $ W \otimes N \cong N^{\dim W} $ 作为 $ H $-模，使得 $ 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 $ 决定，且该关系具有对称性与传递性，形成良定义的陪集分解。