[论文解读] Hopf algebras of dimension 14

Margaret Beattie, S. Dǎscǎlescu|ArXiv.org|May 23, 2002

Algebraic structures and combinatorial models参考文献 15被引用 9

一句话总结

该论文证明了在特征为0的代数闭域上，所有14维的有限维霍普夫代数都是半单的，因此同构于群代数或群代数的对偶。通过建立在无非平凡斜-普里米蒂夫元素的霍普夫代数中第二根层过滤分量维数的上界，作者证明了此类14维代数必为半单代数，从而解决了该维数的分类问题，并表明存在非半单、非点状、非点状对偶的霍普夫代数的最小维数至少为16。

ABSTRACT

Let H be a finite dimensional non-semisimple Hopf algebra over an algebraically closed field k of characteristic 0. If H has no nontrivial skew-primitive elements, we find some bounds for the dimension of H_1, the second term in the coradical filtration of H. Using these results, we are able to show that every Hopf algebra of dimension 14 is semisimple and thus isomorphic to a group algebra or the dual of a group algebra. Also a Hopf algebra of dimension pq where p and q are odd primes with p

研究动机与目标

• 对代数闭域上特征为0的14维有限维霍普夫代数进行分类。
• 为无非平凡斜-普里米蒂夫元素的霍普夫代数建立第二项根层过滤维数的上界。
• 证明当pq为奇素数且满足p < q ≤ 1 + 3p 且 q ≤ 13 时，所有pq维霍普夫代数均为半单代数。
• 对16维情况提供部分分类结果，特别是针对非半单、非点状且其根层非霍普夫子代数的霍普夫代数。
• 表明非半单、非点状、非点状对偶的霍普夫代数首次出现的最小维数至少为16。

提出的方法

• 为无非平凡斜-普里米蒂夫元素的有限维霍普夫代数建立dim(H₁)（根层过滤的第二项）的维数上界。
• 利用尼奇尔斯双模过滤和余代数投影技术，通过ρL和ρR映射分析H₁的结构。
• 应用Kac-Zhu定理和Nichols-Zoeller定理以限制可能的维数和群-型结构。
• 分析对合S在简单余代数上的作用，推导出维数不等式。
• 基于对合作用在矩阵余代数上的循环分解，使用反证法排除非半单结构。
• 利用对16维点状和半单霍普夫代数的已知分类，排除可能的根层结构。

实验结果

研究问题

• RQ1 在代数闭域上特征为0的14维霍普夫代数是否都是半单的？
• RQ2 在无非平凡斜-普里米蒂夫元素的有限维霍普夫代数中，H₁的维数可施加何种约束？
• RQ3 当pq为奇素数且满足p < q ≤ 1 + 3p 且 q ≤ 13 时，所有pq维霍普夫代数是否都是半单的？
• RQ4 是否存在16维的非半单霍普夫代数，其根层不是霍普夫子代数？
• RQ5 非半单、非点状、非点状对偶的霍普夫代数首次出现的最小维数是多少？

主要发现

• 在代数闭域上特征为0的14维霍普夫代数均为半单代数，且同构于k[C₁₄]、k[D₇]或k[D₇]*。
• 对于满足p < q ≤ 1 + 3p 且 q ≤ 13 的奇素数p和q，任何pq维霍普夫代数均为半单代数，因此同构于群代数或其对偶。
• 维数15、21、35、55、77、65、91和143均仅存在半单霍普夫代数，且同构于群代数或其对偶。
• 16维的非半单霍普夫代数不可能具有同构于k·1 ⊕ Mᶜ(2,k)、k·1 ⊕ Mᶜ(2,k)⊕³、k·1 ⊕ Mᶜ(3,k)或k·1 ⊕ Mᶜ(2,k) ⊕ Mᶜ(3,k)的根层。
• 本文表明，存在非半单、非点状、非点状对偶的霍普夫代数的最小维数至少为16。
• 16维的分类尚未完成，但目前已知的所有类别（点状、半单、非点状但根层为霍普夫子代数）均已分类。