[论文解读] On Finite-Dimensional Semisimple and Cosemisimple Hopf Algebras in Positive Characteristic

Pavel Etingof, Shlomo Gelaki|ArXiv.org|May 22, 1998

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

一句话总结

该论文证明了在正特征域上，有限维半单且余半单的霍普夫代数可函子性地提升至特征零，从而实现从特征零到正特征的结果转移。关键贡献在于证明了卡普兰斯基第五猜想关于对极元阶数的结论，并表明当 $ p > d^{\tau(d)/2} $ 时，特征为 $ p $ 且维数 $ d > 2 $ 的半单霍普夫代数也是余半单的，优于先前的界限。

ABSTRACT

Recently, important progress has been made in the study of finite-dimensional semisimple Hopf algebras over a field of characteristic zero. Yet, very little is known over a field of positive characteristic. In this paper we prove some results on finite-dimensional semisimple and cosemisimple Hopf algebras A over a field of positive characteristic, notably Kaplansky's 5th conjecture on the order of the antipode of A. These results have already been proved over a field of characteristic zero, so in a sense we demonstrate that it is sufficient to consider semisimple Hopf algebras over such a field (they are also cosemisimple), and then to use our Lifting Theorem 2.1 to prove it for semisimple and cosemisimple Hopf algebras over a field of positive characteristic. In our proof of Lifting Theorem 2.1 we use standard arguments of deformation theory from positive to zero characteristic. The key ingredient of the proof is the theorem that the bialgebra cohomology groups of A vanish.

研究动机与目标

• 将关于特征零下有限维半单且余半单霍普夫代数的结果推广至正特征。
• 证明此类霍普夫代数可函子性地提升至特征零，且保持（拟）三角结构。
• 证明正特征下霍普夫代数的对极元阶数满足卡普兰斯基第五猜想。
• 确定在何种条件下正特征下的半单霍普夫代数也是余半单的。
• 改进现有关于半单性蕴含余半单性的特征 $ p $ 的界限。

提出的方法

• 使用双代数上同调，通过 $ \text{Hom}(A^{\bigotimes(p+1)}, B^{\bigotimes(q+1)}) $ 上的代数与余代数微分定义双复结构。
• 应用霍奇希德定理，即半单代数的上同调群为零，以证明当 $ A $ 半单且 $ B $ 余半单时，有 $ H^\bullet(A,B,\theta) = 0 $。
• 运用形变理论技术，通过上同调群的消失性，将霍普夫代数从正特征提升至零特征。
• 利用关于单位根处多项式取值的数论引理，证明正特征下特征和非零。
• 结合半单霍普夫代数的结构理论，利用 $ S^2 $ 的迹与单位根上的特征值分解。
• 将提升定理应用于将正特征中的问题约化为特征零中已知的结果。

实验结果

研究问题

• RQ1 在正特征域上，有限维半单且余半单的霍普夫代数是否可函子性地提升至特征零，同时保持其代数结构？
• RQ2 卡普兰斯基第五猜想——即对极元满足 $ S^2 = \text{id} $——是否在正特征下对半单且余半单的霍普夫代数成立？
• RQ3 在特征 $ p $ 与维数 $ d $ 满足何种条件时，半单霍普夫代数也是余半单的？
• RQ4 能否使用界限 $ p > d^{\tau(d)/2} $ 来确保正特征下半单性蕴含余半单性？
• RQ5 双代数上同调的消失性如何促进霍普夫代数结构在不同特征之间的提升？

主要发现

• 任意有限维半单且余半单的霍普夫代数，若定义在正特征域上，均可函子性地提升至特征零域上的半单霍普夫代数。
• 该提升保持（拟）三角结构，因此特征零下关于拟三角霍普夫代数的结果可推广至正特征。
• 卡普兰斯基第五猜想——即对极元满足 $ S^2 = \text{id} $——对正特征下有限维半单且余半单的霍普夫代数成立。
• 对于定义在特征 $ p > d^{\tau(d)/2} $ 的域 $ k $ 上的维数 $ d > 2 $ 的半单霍普夫代数 $ A $，有 $ A $ 同样是余半单的。
• 界限 $ p > d^{\tau(d)/2} $ 优于索默豪泽先前得到的 $ p > (2d^2)^{2d^2 - 4} $ 的界限。
• 通过单位根上多项式取值的数论论证，证明了 $ S^2 $ 的迹（表示为 $ g_i $ 的特征值之和）在 $ k $ 中非零。