[论文解读] An approach to Hopf algebras via Frobenius coordinates II

Lars Kadison, Alexander Stolin|ArXiv.org|Mar 5, 2001

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

一句话总结

本文通过弗罗贝尼乌斯代数方法，为有限投射霍普夫代数（在交换环上）的反极四次方的拉德福德公式提供了概念性证明，使用弗罗贝尼乌斯坐标系、中性自同态和模函数。证明表明，此类霍普夫代数的量子双代数始终是弗罗贝尼乌斯代数，并推广了关于可分/余可分霍普夫代数及霍普夫子代数的弗罗贝尼乌斯扩张的结果。

ABSTRACT

We study a Hopf algebra $H$, which is finitely generated and projective over a commutative ring $k$, as a $P$-Frobenius algebra. We define modular functions in this setting, and provide a complete proof of Radford's formula for the fourth power of the antipode, using Frobenius algebraic techniques. As further applications, we extend Etingof and Gelaki's result that a separable and coseparable Hopf algebra has antipode of order two, the result of Schneider that Hopf subalgebras are twisted Frobenius extensions, and show that the quantum double is always a Frobenius algebra.

研究动机与目标

• 为有限投射霍普夫代数（在交换环上）的 $ S^4 $ 提供一个基于弗罗贝尼乌斯代数的概念性证明。
• 在缺乏自由积分生成元的情况下，通过中性自同态和弗罗贝尼乌斯坐标系定义并利用模函数。
• 推广关于可分与余可分霍普夫代数、霍普夫子代数的弗罗贝尼乌斯扩张以及量子双代数弗罗贝尼乌斯性质的已知结果。
• 证明任意有限投射霍普夫代数 $ H $ 可嵌入为 FH-代数中的霍普夫子代数，具体为 $ D(H) $，以及 $ H \otimes_k K $（其中 $ K $ 为 Picard 群平凡的环）。

提出的方法

• 通过弗罗贝尼乌斯坐标系、对偶基和范数元 $ N $ 构造 $ H $ 上的 $ P $-弗罗贝尼乌斯代数结构，推广弗罗贝尼乌斯代数理论。
• 将模函数定义为中性自同态与余单位的复合，替代依赖于自由积分生成元的标准定义。
• 将反极 $ S $ 作用于弗罗贝尼乌斯系统以生成新系统，并利用 Radon-Nikodym 导数关联两者，从而识别出特殊群元素 $ b \in H $。
• 应用 $ P $-弗罗贝尼乌斯代数的比较与变换定理，关联中性自同态并推导出拉德福德关于 $ S^4 $ 的公式。
• 通过证明 $ \int^\ell_{D(H)^*} \cong k $，证明量子双代数 $ D(H) $ 是 FH-代数，利用 $ D(H)^* \cong H^{\rm op} \otimes H^* $ 和 $ P \otimes P^* \cong k $ 的事实。
• 构造一个环扩张 $ k \subset K $，其 Picard 群平凡，使得 $ H \otimes_k K $ 为 FH-代数，通过极大理想的处的半局部化逆极限实现。

实验结果

研究问题

• RQ1 在积分空间无自由生成元的情况下，如何利用弗罗贝尼乌斯代数技术重新证明拉德福德关于 $ S^4 $ 的公式？
• RQ2 当左范数不自由生成积分空间时，如何在交换环上的霍普夫代数中适当推广模函数？
• RQ3 有限投射霍普夫代数 $ H $ 的量子双代数 $ D(H) $ 是否总是弗罗贝尼乌斯代数？
• RQ4 霍普夫子代数对 $ K \subset H $ 在何种条件下构成第三类弗罗贝尼乌斯扩张，其与 $ H^* $ 和 $ K^* $ 的 Picard 群元素有何关联？
• RQ5 任意有限投射霍普夫代数 $ H $ 是否可嵌入为 FH-代数？若可，通过何种构造实现？

主要发现

• 通过弗罗贝尼乌斯坐标系和中性自同态，为任意有限投射霍普夫代数 $ H $ 在交换环上建立了拉德福德公式关于 $ S^4 $ 的完整且概念性的证明。
• 模函数被定义为中性自同态与余单位的复合，当积分空间非自由生成时，该定义成功替代了标准定义。
• 通过证明 $ \int^\ell_{D(H)^*} \cong k $，证明了量子双代数 $ D(H) $ 是 FH-代数，因而为弗罗贝尼乌斯代数，其依据为 $ D(H)^* \cong H^{\rm op} \otimes H^* $ 和 $ P \otimes P^* \cong k $。
• 霍普夫子代数对 $ K \subset H $ 构成第三类弗罗贝尼乌斯扩张，其依赖于相对中性自同态及 $ K^* $ 与 $ H^* $ 的 Picard 群元素，推广了早期弗罗贝尼乌斯扩张理论。
• 任意有限投射霍普夫代数 $ H $ 可通过两种构造嵌入为 FH-代数中的霍普夫子代数：$ D(H) $ 和 $ H \otimes_k K $，其中 $ K $ 为 Picard 群平凡的环，通过极大理想处的半局部化逆极限构造。
• 本文确认：若 $ H $ 可分且余可分，则 $ S^2 = \text{id} $，在 $ k $ 中 $ 2 $ 不为零因子的假设下，推广了 Etingof 与 Gelaki 的结果。