[论文解读] The Classification of Triangular Semisimple and Cosemisimple Hopf Algebras Over an Algebraically Closed Field

Pavel Etingof, Shlomo Gelaki|arXiv (Cornell University)|May 26, 1999

Algebraic structures and combinatorial models被引用 12

一句话总结

该论文通过建立同构类之间的一一对应关系，对代数闭域上的三角半单与余半单霍普夫代数进行了分类，其维度为N，对应于四元组 (G, H, V, u)，其中 G 是阶为 N 的群，H 是子群，V 是 H 的维数为 |H|^{1/2} 的不可约投影表示，u 是阶不超过 2 的中心元素。关键结果表明，所有此类霍普夫代数均可通过德林费尔德扭变从群代数构造得到，且最小三角半单霍普夫代数的基群是可解的，并在维度大于 1 时包含非平凡的群元素。

ABSTRACT

In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a bijection between the set of isomorphism classes of triangular semisimple and cosemisimple Hopf algebras of dimension N over k, and the set of isomorphism classes of quadruples (G,H,V,u), where G is a group of order N, H is a subgroup of G, V is an irreducible projective representation of H over k of dimension |H|^{1/2}, and u\\in G is a central element of order \\le 2. This classification implies, in particular, that any triangular semisimple and cosemisimple Hopf algebra over k can be obtained from a group algebra by a twist. We also answer positively the question from our previous paper whether the group underlying a minimal triangular semisimple Hopf algebra is solvable. We conclude by showing that any triangular semisimple and cosemisimple Hopf algebra over k of dimension bigger than 1 contains a non-trivial grouplike element. The classification uses Deligne's theorem on Tannakian categories and the results of a paper of Movshev in an essential way. The proof of solvability and existence of grouplike elements relies on a theorem of Howlett and Isaacs that any group of central type is solvable, which is proved using the classification of finite simple groups. The classification in positive characteristic relies also on the lifting functor from our previous paper.

研究动机与目标

• 对代数闭域 k 上的所有三角半单与余半单霍普夫代数进行分类。
• 确定此类霍普夫代数是否可从群代数通过德林费尔德扭变获得。
• 研究最小三角半单霍普夫代数中基群的结构。
• 建立此类维度大于 1 的霍普夫代数中非平凡群元素的存在性。
• 将分类结果与坦纳卡范畴理论及莫夫谢夫与德利涅关于张量范畴的结果相联系。

提出的方法

• 利用德利涅关于坦纳卡范畴的定理，将表示的张量范畴与群论数据联系起来。
• 应用莫夫谢夫在半单情形下对三角霍普夫代数结构的研究结果。
• 利用前期工作的提升函子，将结果推广至正特征情形。
• 构建霍普夫代数同构类与四元组 (G, H, V, u) 之间的一一对应关系，其中 G 是阶为 N 的群，H ≤ G，V 是 H 的维数为 |H|^{1/2} 的不可约投影表示，u 是阶不超过 2 的中心元素。
• 运用豪威尔与艾萨克斯的定理，即中心型群是可解的，其证明依赖于有限单群的分类。
• 利用投影表示的结构与德林费尔德扭变构造，证明所有此类霍普夫代数均与群代数扭等价。

实验结果

研究问题

• RQ1 每个代数闭域上的三角半单与余半单霍普夫代数是否都能作为群代数的德林费尔德扭变获得？
• RQ2 此类霍普夫代数在同构下的精确群论数据是什么？
• RQ3 最小三角半单霍普夫代数的基群是否必然可解？
• RQ4 每个维度大于 1 的此类霍普夫代数是否都包含非平凡的群元素？
• RQ5 坦纳卡范畴理论与投影表示理论在分类这些霍普夫代数时如何相互作用？

主要发现

• 通过建立同构类与四元组 (G, H, V, u) 之间的一一对应关系，实现了对维度为 N 的三角半单与余半单霍普夫代数的完整分类，其中 G 是阶为 N 的群，H ≤ G，V 是 H 的维数为 |H|^{1/2} 的不可约投影表示，u 是阶不超过 2 的中心元素。
• 所有此类霍普夫代数均与群代数扭等价，证实其可通过德林费尔德扭变从群代数构造得到。
• 任何最小三角半单霍普夫代数的基群均为可解群，证实了前期工作的一个猜想。
• 任意维度大于 1 的三角半单与余半单霍普夫代数均包含非平凡的群元素。
• 该分类在任意代数闭域上成立，包括正特征域，利用了前期工作的提升函子。
• 证明的关键在于通过豪威尔与艾萨克斯关于中心型群的定理，依赖于有限单群的分类。