[论文解读] On the Classification of Finite-Dimensional Triangular Hopf Algebras

Sholmo Gelaki|ArXiv.org|Jul 26, 2000

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

一句话总结

本文在代数闭域上，通过德林费尔德扭量、德林费尔德关于张量范畴的定理以及契瓦莱性质，对有限维三角 Hopf 代数进行了全面分类。研究证明，具有契瓦莱性质的此类代数均可通过扭量从 $ R $-矩阵秩 $ \leq 2 $ 的三角 Hopf 代数获得，而后者与有限超群相关；并证明了表示的范畴维数始终为整数。

ABSTRACT

A fundamental problem in the theory of Hopf algebras is the classification and explicit construction of finite-dimensional quasitriangular Hopf algebras over C. These Hopf algebras constitute a very important class of Hopf algebras, introduced by Drinfeld (e.g. the quantum double of a Hopf algebra). However, this intriguing problem turns out to be extremely hard and it is still widely open. One can hope that resolving the problem in the triangular case would contribute to the understanding of the general case. There is no complte classification of finite-dimensional triangular Hopf algebras yet. However, the problem was solved in the semisimple case by Etingof and the author, in the minimal triangular pointed case by the author, and more generally for triangular Hopf algebras with the Chevalley property by Andruskiewitsch, Etingof and the author. The purpose of this paper is to report on all of this progress, and to explain in full details the mathematics and ideas involved in this theory. The classification in the semisimple case relies on Deligne's theorem on Tannakian categories and on Movshev's theory in an essential way. We explian Movshev's theory in details, and refer the reader to math.QA/0007147 for a detailed discussion of the first aspect. We also discuss the existence of grouplike elements in quasitriangular semisimple Hopf algebras, and the representation theory of cotriangular semisimple Hopf algebras. We conclude the paper with a list of related open problems.

研究动机与目标

• 系统地对代数闭域上的有限维三角 Hopf 代数进行分类，特别是具有契瓦莱性质的代数。
• 阐明德林费尔德扭量以及 $ R $-矩阵结构在分类此类代数中的作用。
• 建立三角 Hopf 代数、有限超群与对称张量范畴之间的联系。
• 探究所有复数域上的有限维三角 Hopf 代数是否均满足契瓦莱性质，或是否可由小秩 $ R $-矩阵构造。
• 探讨范畴论含义，特别是对称范畴中范畴维数与弗罗贝尼乌斯-佩龙维数的整性。

提出的方法

• 利用德林费尔德扭量将三角 Hopf 代数与群代数及超群代数联系起来。
• 应用德林费尔德关于张量范畴的定理，对半单与余半单的三角 Hopf 代数进行分类。
• 运用莫什耶夫关于群代数扭量的理论，分析最小三角点状 Hopf 代数的结构。
• 分析德林费尔德元素 $ u $ 及其在表示上的作用，推导出范畴维数的整性。
• 在正特征下使用提升函子，并结合关于中心类型群的结果，扩展分类结论。
• 应用科斯坦特关于超群为有限群与奇维向量空间半直积的定理，刻画对偶对象。

实验结果

研究问题

• RQ1 每个复数域上的有限维三角 Hopf 代数是否都具有契瓦莱性质，即单模的张量积是否半单？
• RQ2 是否 $ S^4 = \text{id} $ 蕴含德林费尔德元素 $ u $ 满足 $ u^2 = 1 $，且该等式在所有此类代数中是否成立？
• RQ3 是否每个满足 $ S^4 = \text{id} $ 或 $ u^2 = 1 $ 的有限维三角 Hopf 代数均可通过扭量从 $ R $-矩阵秩 $ \leq 2 $ 的三角 Hopf 代数获得？
• RQ4 每个复线性、阿贝尔、对称、刚性张量范畴，若仅有有限个单对象，是否都与某个 $ R $-矩阵秩 $ \leq 2 $ 的有限维三角 Hopf 代数的表示范畴等价？
• RQ5 在仅有有限个不可约对象的对称范畴中，弗罗贝尼乌斯-佩龙维数是否总是整数，且是否与范畴维数模 2 一致？

主要发现

• 任何具有契瓦莱性质的有限维三角 Hopf 代数，均可通过扭量从 $ R $-矩阵秩 $ \leq 2 $ 的三角 Hopf 代数获得，而后者本身是有限维余交换超代数的变形。
• 任何有限维表示 $ V $ 的三角 Hopf 代数的范畴维数 $ \dim_c(V) $ 均为整数，此结论通过德林费尔德元素 $ u $ 的迹得到证明。
• 在代数闭域上，半单与余半单的三角 Hopf 代数已通过德林费尔德关于张量范畴的定理及正特征下的提升函子得到完全分类。
• 此类代数中存在群元素的存在性依赖于有限单群的分类，特别是通过中心类型群为可解群的定理。
• 对于 $ R $-矩阵秩 $ \leq 2 $ 的 Hopf 代数，其表示范畴与有限超群的表示范畴等价，且契瓦莱性质成立。
• 在仅有有限个单对象的对称刚性张量范畴中，任一对象的弗罗贝尼乌斯-佩龙维数为整数，且当范畴源于三角 Hopf 代数时，其值等于范畴维数模 2。