[论文解读] Hopf algebra deformations of binary polyhedral groups

Julien Bichon, Sonia Natale|arXiv (Cornell University)|Jul 10, 2009

Algebraic structures and combinatorial models参考文献 35被引用 4

一句话总结

本文分类了在代数闭域上特征为零的半单霍普夫代数，其具有二维自对偶忠实不可约余模，表明这些代数是二面体多面体群的形变。研究证明此类霍普夫代数要么是二面体多面体群的交换群代数，要么是非平凡形变，其表示范畴通过${\mathbb{Z}}_2$-等变化点融合范畴来描述。

ABSTRACT

We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on cosemisimple Hopf algebras with a 2-dimensional irreducible comodule in the finite dimensional context. Finally, we give some applications to the classification of certain classes of semisimple Hopf algebras.

研究动机与目标

• 对在代数闭域上特征为零的半单霍普夫代数进行分类，其具有二维自对偶忠实不可约余模。
• 证明此类霍普夫代数要么是二面体多面体群的交换群代数，要么是其非平凡形变。
• 通过${\mathbb{Z}}_2$-等变化点融合范畴描述这些霍普夫代数的表示范畴。
• 通过识别由四维简单子余代数生成的霍普夫子代数的结构，加强有限维情形下的尼尔斯科-理查蒙德定理。
• 提供$\mathcal{O}_{-1}[\mathrm{SL}_2(k)]$的商霍普夫代数的代数刻画，类比于$\mathrm{SU}_{-1}(2)$的紧致量子子群。

提出的方法

• 使用阿贝尔扩张理论与余中心正合序列分析具有四维简单子余代数$C$的霍普夫代数$H$，其中$C$对应于二维不可约余模。
• 应用弗罗贝尼乌斯-施罗尔指标$\nu(V) = \pm 1$以区分交换与非交换情形，从而将分类划分为群代数或形变。
• 利用霍普夫子代数$B = k[C\mathcal{S}(C)] \simeq k^\Gamma$的结构，其中$\Gamma$是$\mathrm{PSL}_2(k)$中阶为偶数的非循环有限子群。
• 使用群上同调与卡克斯正合序列分类扩张$k^\Gamma \to H \to k\mathbb{Z}_2$，识别$H^2(N, k^\times)$与连接同态$d_2$的作用。
• 将所得霍普夫代数的表示范畴刻画为与$\Gamma$相关的点融合范畴的${\mathbb{Z}}_2$-等变化。
• 显式构造二面体多面体群$\widetilde{\Gamma}$的形变$\mathcal{A}[\widetilde{\Gamma}]$与$\mathcal{B}[\widetilde{\Gamma}]$，并证明仅当$\widetilde{\Gamma}$为二十面体群时，$\mathcal{B}[\widetilde{I}]$存在。

实验结果

研究问题

• RQ1 具有自对偶忠实不可约余模的有限维半单霍普夫代数的结构是什么？
• RQ2 此类霍普夫代数如何通过群代数及其形变进行分类？
• RQ3 弗罗贝尼乌斯-施罗尔指标在区分此类中交换与非交换霍普夫代数中起什么作用？
• RQ4 这些霍普夫代数的表示范畴与点融合范畴的等变化之间有何关系？
• RQ5 哪些二面体多面体群允许非平凡霍普夫代数形变？其上同调不变量是什么？

主要发现

• 具有自对偶忠实不可约余模的半单霍普夫代数，其维度为2，要么是非交换二面体多面体群$\widetilde{\Gamma}$的交换群代数$k^{\widetilde{\Gamma}}$（当$\nu(V) = -1$时），要么是非平凡形变$\mathcal{A}[\widetilde{\Gamma}]$或$\mathcal{B}[\widetilde{\Gamma}]$（当$\nu(V) = 1$时）。
• 霍普夫子代数$B = k[C\mathcal{S}(C)]$同构于$k^\Gamma$，其中$\Gamma$是$\mathrm{PSL}_2(k)$中阶为偶数的非循环有限子群，且$|G[\chi]|$整除4，$G[\chi]$为特征$\chi$的稳定化子。
• 当$V$自对偶且$\nu(V) = 1$时，霍普夫代数$H$位于余中心正合序列$k \to k^\Gamma \to H \to k\mathbb{Z}_m \to k$中，其中$\Gamma$为阶为偶数的多面体群。
• 霍普夫代数$H$-余模范畴等价于一个点融合范畴的${\mathbb{Z}}_2$-等变化，如引理5.12所示。
• 对于二十二面体群$\widetilde{I}$，仅存在形变$\mathcal{B}[\widetilde{I}]$；而对于$D_n$，$\mathcal{A}[\widetilde{D}_n]$与$\mathcal{B}[\widetilde{D}_n]$均可能存在。
• 群$\operatorname{Opext}(k^\Gamma, k\mathbb{Z}_2)/K$同构于$1$或$\mathbb{Z}_2$，取决于连接同态$d_2: H^2(\Gamma, k^\times) \to H^2(\mathbb{Z}_2, \widehat{\Gamma})$的单射性，其中$K$参数化分裂扩张的扭变形。