[论文解读] On the structure of weak Hopf algebras

Dmitri Nikshych|ArXiv.org|Jun 1, 2001

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

一句话总结

本文建立了经典霍普夫代数结果在弱霍普夫代数中的类比，证明了有限维弗罗贝尼乌斯弱霍普夫代数的反极（antipode）在平凡自同构模下具有有限阶，并推导出反极平方的迹公式，从而给出半单性与余半单性的充分条件。此外，本文还表明，半单霍普夫代数的动态扭变（dynamical twisting）可产生余半单弱霍普夫代数。

ABSTRACT

We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo a trivial automorphism. We find a sufficient condition in terms of Tr(S^2) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply our results to show that a dynamical twisting deformation of a semisimple Hopf algebra is cosemisimple.

研究动机与目标

• . 建立弱霍普夫代数中对 Radford 公式（反极四次方）的类比。
• . 利用反极平方的迹推导半单性与余半单性的条件。
• . 证明半单霍普夫代数的动态扭变可产生余半单弱霍普夫代数。
• . 分类极小弱霍普夫代数，并定义群作用元素群及其关于平凡群作用元素的商群。
• . 证明当基一致时，弱霍普夫代数中半单性与余半单性等价。

提出的方法

• . 在极小弱霍普夫子代数中引入并分析群作用元素群 G(H) 及其平凡群作用元素正规子群 G₀(H)。
• . 定义群作用元素的特异陪集，以度量对偶代数中左积分与右积分之间的差异。
• . 将 Radford 公式推广至弱霍普夫代数，证明 S⁴ 模平凡自同构同构于恒等映射。
• . 利用 Larson-Radford 迹公式计算 Tr(S²)，推导半单性与余半单性的充分条件。
• . 从半单霍普夫代数 U 中的动态扭变 J 构造扭变 (Θ, Θ̄)，并定义扭变弱霍普夫代数 HΘ。
• . 利用扭变参数计算反极 SΘ 与迹 Tr(S²Θ)，证明 Tr(S²Θ) = dim(HΘ) ≠ 0，从而证明 HΘ 的余半单性。

实验结果

研究问题

• RQ1 . 有限维弱霍普夫代数的反极是否在平凡自同构模下具有有限阶，类似于普通霍普夫代数中的 Radford 结果？
• RQ2 . 能否利用反极平方的迹 Tr(S²) 来判定弱霍普夫代数的半单性与余半单性？
• RQ3 . 通过半单霍普夫代数的动态扭变得到的弱霍普夫代数是否必然余半单？
• RQ4 . 弱霍普夫代数中群作用元素群的结构如何？其关于平凡元素的商群与经典群作用元素群有何关系？
• RQ5 . 在何种条件下，弱霍普夫代数中的半单性与余半单性等价？

主要发现

• . 在有限维弗罗贝尼乌斯弱霍普夫代数中，反极的四次方 S⁴ 模平凡自同构同构于恒等映射，推广了 Radford 的结果。
• . 弱霍普夫代数半单性与余半单性的充分条件是 Tr(S²) ≠ 0。
• . 当弱霍普夫代数的左基与右基一致时，半单性与余半单性等价。
• . 通过半单霍普夫代数动态扭变得到的弱霍普夫代数的对偶是半单的，因此扭变代数是余半单的。
• . 对于半单霍普夫代数 U 上的动态扭变 J，扭变弱霍普夫代数 HΘ 满足 Tr(S²Θ) = dim(HΘ) ≠ 0，表明 HΘ 是余半单的。
• . 在极小弱霍普夫子代数中，所有本原幂等元 p 的迹 Tr(S²|pHp) 严格为正，这支持了积分的非退化性与半单性。