[论文解读] Finite-dimensional Hopf algebras over the smallest non-pointed basic Hopf algebra

Rongchuan Xiong|arXiv (Cornell University)|Jan 18, 2018

Algebraic structures and combinatorial models参考文献 25被引用 6

一句话总结

该论文在特征零下，对最小的非点状基本霍普夫代数 𝒦 上的有限维霍普夫代数进行分类，假设其图示为严格分次。该研究识别出新的非对角类型有限维尼基尔茨代数，并通过广义提升方法构造出新的不具有对偶谢瓦莱性质的有限维霍普夫代数，使用显式生成元与关系，针对128维示例和2^n维外代数进行构造。

ABSTRACT

We classify finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradcial is isomorphic to the smallest non-pointed basic Hopf algebra, under the assumption that the diagrams are strictly graded. In particular, we obtain some new Nichols algebras of non-diagonal type and new finite-dimensional Hopf algebras without the dual Chevalley property.

研究动机与目标

• 在特征零下，对最小非点状基本霍普夫代数 𝒦 上的有限维霍普夫代数进行分类，假设其图示为严格分次。
• 构造 𝒦 上新的非对角类型有限维尼基尔茨代数示例。
• 为不具有对偶谢瓦莱性质的新有限维霍普夫代数提供显式生成元与关系。
• 将广义提升方法扩展至 𝒦 上的半单雅可比-德林费尔德模，包括非对角类型表示。
• 证明此类霍普夫代数的图示为严格分次，且同构于特定半单模上的尼基尔茨代数。

提出的方法

• 采用安德鲁斯基维茨与库德拉的广义提升方法，将余根基滤子替换为标准滤子，将图示定义为 𝒦 上的 Yetter-Drinfeld category 中的分次辫状霍普夫代数。
• 利用 Drinfeld 双代数 𝒟(𝒦^cop) 对 {}^𝒦_𝒦𝒴𝒟 中的单对象进行分类，识别出 4 个一维和 12 个二维不可约表示。
• 应用对 𝒦 上半单 Yetter-Drinfeld 模的有限维尼基尔茨代数的分类，利用此类代数作为对角类型尼基尔茨代数的分裂扩张这一事实。
• 推导出在单维与二维模的直和上的尼基尔茨代数的显式生成元与关系，包括涉及非平凡辫子结构和高阶幂零性的关系。
• 使用图示的分次对偶来验证图示由其一次部分生成，从而确保严格分次，并通过提升技术实现分类。
• 通过 GAP 进行计算验证尼基尔茨代数关系，并利用参数 μ, ν 构造提升，以对所有可能的霍普夫代数结构进行分类。

实验结果

研究问题

• RQ1 哪些在最小非点状基本霍普夫代数 𝒦 上的有限维霍普夫代数具有严格分次图示且不属于对角类型？
• RQ2 有限维尼基尔茨代数在 𝒦 上的半单 Yetter-Drinfeld 模上的完整生成元与关系集是什么？
• RQ3 能否通过 𝒦 上的广义提升方法构造出新的不具有对偶谢瓦莱性质的有限维霍普夫代数？
• RQ4 哪些 𝒦 上的半单 Yetter-Drinfeld 模产生有限维尼基尔茨代数？其维数与定义关系是什么？
• RQ5 此类霍普夫代数的图示是否为严格分次？这是否意味着其关联的尼基尔茨代数由一次生成元生成？

主要发现

• 在 𝒦 上的半单 Yetter-Drinfeld 模上的有限维尼基尔茨代数为非对角类型，除非模为一维模的直和，且其特征为 χ^i，其中 i ∈ {1,3}。
• 在 ⊕_{k=1}^n 𝔸_{χ^{i_k}} 上的尼基尔茨代数，其中 i_k ∈ {1,3}，同构于外代数 ⋀(⊕_{k=1}^n 𝔸_{χ^{i_k}})，维数为 2^n。
• 在 V_{1,j} 和 V_{2,j}（j ∈ {1,3}）上的尼基尔茨代数维数为 8，其关系为 x^4 = 0，x^2 + 2ξy^2 = 0，xy + yx = 0（或 x^2 = 0，yx + ξ^j xy = 0，y^4 = 0）。
• 在 V_{1,j} ⊕ 𝔸_χ 和 V_{2,j} ⊕ 𝔸_{χ^3} 上的尼基尔茨代数维数为 128，其关系系统包含 7 个关系，涉及非平凡辫子结构和高阶幂零性。
• 在 V_{1,1} ⊕ V_{1,3}（以及类似地 V_{2,1} ⊕ V_{2,3}）上的尼基尔茨代数维数为 128，其关系系统包含 9 个关系，包括 x^4 = 0，z^4 = 0，x^2 + 2ξy^2 = 0，z^2 + 2ξt^2 = 0，以及生成元之间的非平凡交叉关系。
• 所有在 𝒦 上具有严格分次图示的有限维霍普夫代数均为这些在 𝒦 上的尼基尔茨代数的提升，其参数为 μ, ν ∈ 𝕜，同构类由无穷小辫子结构决定。