[论文解读] Hopf algebra extensions of group algebras and Tambara-Yamagami categories

Sonia Natale|ArXiv.org|May 20, 2008

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

一句话总结

本文分类了维度小于36的半单霍普夫代数，证明所有此类代数均为群型代数，且36是存在非群型例子的最小维度。它建立了这些霍普夫代数与三元组 $(\Gamma, F, \xi)$ 之间的对应关系，通过核心表示理论推广了塔马克巴-山本范畴，并表明群代数关于 $\mathbb{Z}_2$ 的扩张在扭曲等价意义下同构于阿贝尔扩张。

ABSTRACT

We determine the structure of Hopf algebra extensions of a group algebra by the cyclic group of order 2. We study the corepresentation theory of such Hopf algebras, which provide a generalization, at the Hopf algebra level, of the so called Tambara-Yamagami fusion categories. As a byproduct, we show that every semisimple Hopf algebra of dimension $<36$ is necessarily group-theoretical; thus 36 is the smallest possible dimension where a non group-theoretical example occurs.

研究动机与目标

• 对群型元素群的指标为2的半单霍普夫代数进行分类。
• 通过核心表示理论，在霍普夫代数层面推广塔马克巴-山本融合范畴。
• 确定非群型半单霍普夫代数存在的最小维度。
• 通过上链扭曲等价与余代数类型分析，证明所有维度小于36的此类霍普夫代数均为群型代数。

提出的方法

• 通过群作用与2-上链对满足正合序列 $k \to kG \to H \to k\mathbb{Z}_2 \to k$ 的霍普夫代数进行分类。
• 利用等变化方法将 $\operatorname{Rep}H$ 与 $ (\operatorname{Rep}G)^{\mathbb{Z}_2} $ 关联，建立融合范畴等价。
• 应用扭曲等价性，将问题约化为阿贝尔扩张，利用文献[19]与[23]的结果。
• 通过分析余代数类型与群型结构，排除低维情形下非阿贝尔或非余交换构型的可能性。
• 利用特征乘法与正规性判别准则，验证维度24时霍普夫子代数的性质。
• 采用上同调工具，包括 $\operatorname{Opext}(k^{\widehat{\Gamma}}, kF)$，通过相容上链对参数化扩张。

实验结果

研究问题

• RQ1 维度为群代数关于 $\mathbb{Z}_2$ 扩张的半单霍普夫代数具有何种结构？
• RQ2 这些霍普夫代数在表示层面上如何与塔马克巴-山本融合范畴关联？
• RQ3 非群型半单霍普夫代数的最小可能维度是多少？
• RQ4 所有维度小于36的半单霍普夫代数是否必然为群型代数？
• RQ5 每个此类霍普夫代数是否均可通过扭曲转化为阿贝尔扩张？

主要发现

• 所有维度小于36的半单霍普夫代数均为群型代数，且36是存在非群型例子的最小可能维度。
• 满足 $[H:kG(H)] = 2$ 的半单霍普夫代数由三元组 $(\Gamma, F, \xi)$ 分类，其中 $\Gamma$ 为有限阿贝尔群，$F$ 作用于 $\Gamma$，且 $\xi \in \operatorname{Opext}(k^{\widehat{\Gamma}}, kF)$ 满足特定上链条件。
• 此类霍普夫代数的核心表示范畴推广了塔马克巴-山本融合范畴，其融合规则涉及一个非可逆对象，其平方为某个阶为 $d^2$ 的正规阿贝尔子群中可逆对象的和。
• 每个此类霍普夫代数 $H$ 均与一个阿贝尔扩张扭曲等价，因此由[19]的主要结果可知其为群型代数。
• 在维度24时，每个半单霍普夫代数均与一个阿贝尔扩张扭曲等价，此结论通过余代数类型与群型结构的分析得出。
• 表示范畴 $\operatorname{Rep}H$ 与 $\operatorname{Rep}G$ 的 $\mathbb{Z}_2$-等变化等价，确认了扩张的范畴结构。