[论文解读] Weak Hopf algebras and quantum groupoids

Peter Schauenburg|ArXiv.org|Apr 13, 2002

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

一句话总结

该论文在基代数 $R$ 为弗罗贝尼乌斯可分时，建立了弱霍普夫代数（量子群胚）与竹内 $ imes_R$-双代数之间的精确等价关系。证明了弱双代数等价于基代数 $R$ 为弗罗贝尼乌斯可分的 $ imes_R$-双代数，并提供了模范范畴之间的直接等价，解决了量子群胚理论中的基础性问题，且在无需有限性假设的前提下将对偶性与模理论推广至该框架。

ABSTRACT

We give a detailed comparison between the notion of a weak Hopf algebra (also called a quantum groupoid by Nikshych and Vainerman), and that of a $ imes_R$-bialgebra due to Takeuchi (and also called a bialgebroid or quantum (semi)groupoid by Lu and Xu). A weak bialgebra is the same thing as a $ imes_R$-bialgebra in which $R$ is Frobenius-separable. We extend the comparison to cover module and comodule theory, duality, and the question when a bialgebroid should be called a Hopf algebroid.

研究动机与目标

• 澄清两种竞争性量子群胚概念之间的关系：弱双代数（Böhm-Szlachányi）与 $ imes_R$-双代数（Takeuchi）。
• 证明弱双代数恰好是基代数 $R$ 为弗罗贝尼乌斯可分的 $ imes_R$-双代数。
• 在不假设有限维性的情况下，将模与余模理论、对偶性以及霍普夫胚结构推广至该框架。
• 通过直接从公理出发证明等价性，避免依赖对极或有限性，从而解决文献中的基础性模糊问题。

提出的方法

• 将弱双代数定义为具有乘法性但不保持单位的余乘法的代数，满足弱化的单位元公理。
• 将 $ imes_R$-双代数定义为在非交换基代数 $R$ 上的双代数，其上有两个从 $R$ 到 $H$ 的代数映射，分别对应源映射与目标映射。
• 仅利用弱双代数公理，证明任意弱双代数的目标与源单位子代数均为弗罗贝尼乌斯可分。
• 在无需有限性假设的前提下，构造弱双代数 $H$ 与相应 $ imes_R$-双代数 $H$ 之间的余模范畴的直接等价。
• 利用典范映射 $H \otimes_{H_t} H \to \Delta(1)(H \otimes H)$ 来刻画弱霍普夫代数，其类比于经典霍普夫代数的判别准则。
• 通过使用对偶弱双代数的对偶，建立 $H$ 与其对偶之间的余模范畴的张量等价。

实验结果

研究问题

• RQ1 在何种条件下，弱双代数与 $ imes_R$-双代数等价？
• RQ2 基代数 $R$ 的弗罗贝尼乌斯可分性是否足以且必要地使 $ imes_R$-双代数成为弱双代数？
• RQ3 能否自然地将弱双代数的余模范畴与它的相关 $ imes_R$-双代数的余模范畴等同起来？
• RQ4 弱双代数的对偶理论与 $ imes_R$-双代数的对偶理论有何关联？
• RQ5 在 $ imes_R$-双代数框架中，什么特征刻画了弱霍普夫代数？

主要发现

• 弱双代数当且仅当其基代数 $R$ 为弗罗贝尼乌斯可分时，与 $ imes_R$-双代数等价。
• 任意弱双代数的目标与源单位子代数均为弗罗贝尼乌斯可分，即使在不假设对极存在的情况下也成立。
• 弱双代数 $H$ 与其相关 $ imes_R$-双代数之间存在直接的、无需有限性假设的余模范畴等价。
• 弱双代数的左余模范畴与它的相关 $ imes_R$-双代数的左余模范畴之间存在张量等价。
• 弱双代数是弱霍普夫代数当且仅当典范映射 $H \otimes_{H_t} H \to \Delta(1)(H \otimes H)$ 是双射。
• 弱双代数的对偶理论可通过其对偶弱双代数的对偶来恢复，从而与 $ imes_R$-双代数的余模范畴建立张量等价。