[论文解读] Pointed Hopf algebras as cocycle deformations

L. Grünenfelder, Mitja Mastnak|arXiv (Cornell University)|Oct 24, 2010

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

一句话总结

本文证明了在安德鲁斯基耶维奇-施耐德分类中具有相同图式的所有有限维 pointed Hopf 代数彼此之间均为 cocycle 变形。通过利用 braided Hopf 代数结构，并结合 Morita-Takeuchi 等价与 Hopf Galois 扩张理论，作者建立了一套方法，证明给定 Radford 双乘积 $ B(V)\#kG $ 的提升彼此之间可通过 cocycle 进行变形，且通过指数映射及其 $ q $-类比显式构造了这些变形。

ABSTRACT

We show that all finite dimensional pointed Hopf algebras with the same diagram in the classification scheme of Andruskiewitsch and Schneider are cocycle deformations of each other. This is done by giving first a suitable characterization of such Hopf algebras, which allows for the application of results by Masuoka about Morita-Takeuchi equivalence and by Schauenburg about Hopf Galois extensions. We also outline a method to describe the deforming cocycles involved using the exponential map and its q-analogue.

研究动机与目标

• 建立所有具有同构关联分次 Hopf 代数（即相同图式）的有限维 pointed Hopf 代数彼此之间为 cocycle 变形。
• 提供一种适用于应用 Morita-Takeuchi 等价与 Hopf Galois 扩张理论的 Radford 双乘积 $ B(V)\#kG $ 提升的刻画。
• 通过指数映射及其 $ q $-类比显式描述这些提升的变形 cocycle，适用于安德鲁斯基耶维奇-施耐德类的 Hopf 代数。
• 通过证明有限拟同构类的存在性，确认该类中奇维 pointed Hopf 代数的弱化 Kaplansky 猜想。

提出的方法

• 利用有限交换群上的 braided Hopf 代数结构与 Yetter-Drinfeld 模数据刻画 $ B(V)\#kG $ 的提升。
• 应用 Masuoka 的上推导构造，证明所有此类提升之间存在 Morita-Takeuchi 等价。
• 利用 Schauenburg 的 Hopf Galois 扩张理论推导出：Morita-Takeuchi 等价的 Hopf 代数彼此之间为 cocycle 变形。
• 通过指数映射及其 $ q $-类比构造变形 cocycle，尤其在量子线性情形下。
• 利用 Hochschild 上同调与 Singer 扩张描述 cocycle 的显式形式，尤其在 Nichols 代数与玻色化情形下。
• 使用生成元与关系显式给出变形 Hopf 代数的表示，其中复合乘法与关系涉及 $ \mu_i $、$ \lambda $ 与 $ q $-整数。

实验结果

研究问题

• RQ1 在安德鲁斯基耶维奇-施耐德分类中，所有具有相同图式的有限维 pointed Hopf 代数是否彼此之间均为 cocycle 变形？
• RQ2 能否证明某一固定 Radford 双乘积 $ B(V)\#kG $ 的所有提升之间为 Morita-Takeuchi 等价？
• RQ3 如何利用指数映射及其 $ q $-类比等代数工具显式描述这些提升的变形 cocycle？
• RQ4 这些结果是否确认了该类中奇维 pointed Hopf 代数的弱化 Kaplansky 猜想？
• RQ5 在所得的 cocycle 变形中，变形的复合乘法与乘法结构是怎样的？

主要发现

• 所有具有同构关联分次 Hopf 代数 $ \operatorname{gr}^c H \cong H(V) $ 的有限维 pointed Hopf 代数彼此之间均为 cocycle 变形。
• 给定 $ B(V)\#kG $ 的所有提升均通过 Masuoka 的上推导构造证明为 Morita-Takeuchi 等价。
• 通过指数映射及其 $ q $-类比显式构造了变形 cocycle，2 变量情形下 $ \sigma = \exp(\mu_1\zeta_1 + \mu_2\zeta_2) $。
• 变形 Hopf 代数 $ A^\sigma $ 的表示为 $ \langle g, x_1, x_2 \mid g^{mn}=1, x_1^m = \mu_1(1-g^m), x_2^m = \mu_2(1-g^m), x_2x_1 = qx_1x_2 \rangle $，并保持根滤子结构。
• 在量子线性情形下，复合乘法变形为 $ \Delta_\sigma(\theta) = \theta\otimes\theta + (1-\alpha^N)\zeta(\theta\otimes\theta) $，而 $ \Delta_\sigma(\xi) = \Delta(\xi) $。
• cocycle $ \sigma^* $ 可逆，且满足 $ \sigma^*(1) = \varepsilon\otimes\varepsilon + \zeta $，其中 $ \zeta^2 = 0 $，确保与原始乘法相容。