[论文解读] Factorisation structures of algebras and coalgebras

S. Caenepeel, Bogdan Ion+2 more|arXiv (Cornell University)|Sep 11, 1998

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

一句话总结

本文引入了双代数的广义分解积 $L_W\bowtie_R H$，其中代数与余代数 $H$ 和 $L$ 通过结构映射 $R$ 和 $W$ 结合。本文建立了该积构成双代数的充要条件，并证明任何可分解为 $K=HL$ 的双代数 $K$ 都同构于此类积，从而统一了 Majid、Radford 以及 Beattie–Dâscâlescu–Grünenfelder 的构造。

ABSTRACT

We consider the factorisation problem for bialgebras: when a bialgebra $K$ factorises as $K=HL$, where $H$ and $L$ are algebras and coalgebras (but not necessarly bialgebras). Given two maps $R: H\ot L o L\ot H$ and $W:L\ot H o H\ot L$, we introduce a product $L_W\bowtie_R H$ and give necessary and sufficient conditions for $L_W\bowtie_R H$ to be a bialgebra. It turns out that $K$ factorises as $K=HL$ if and only if $K\cong L_W\bowtie_R H$ for some maps $R$ and $W$. As examples of this product we recover constructions introduced by Majid and Radford. Also, some of the pointed Hopf algebras that were recently constructed bu Beattie, D\u asc\u alescu and Grünenfelder appear as special cases.

研究动机与目标

• 解决双代数的分解问题，特别是当双代数 $K$ 分解为 $K=HL$，且 $H$ 和 $L$ 为代数与余代数但不一定是双代数时。
• 将霍普夫代数理论中已有的分解构造（如 Majid 和 Radford 的构造）推广为统一的框架。
• 提供 $L_W\bowtie_R H$ 生成双代数结构的必要且充分条件。
• 证明每个此类分解 $K=HL$ 恰好对应于某个适当映射 $R$ 和 $W$ 的同构 $K \cong L_W\bowtie_R H$，从而实现完全分类。

提出的方法

• 在张量积 $L \otimes H$ 上引入一个新的积 $L_W\bowtie_R H$，使用两个映射：$R: H \otimes L \to L \otimes H$ 和 $W: L \otimes H \to H \otimes L$。
• 利用映射 $R$ 和 $W$ 定义 $L_W\bowtie_R H$ 上的代数与余代数结构，确保其与双代数公理相容。
• 推导出 $R$ 和 $W$ 必须满足的充要条件，以使 $L_W\bowtie_R H$ 成为双代数，这些条件涉及乘法、共乘法以及单位/余单位映射的交换性与相容性。
• 当 $K=HL$ 作为集合时，建立 $K$ 与 $L_W\bowtie_R H$ 之间的典范同构，表明该分解等价于此类积结构的存在。
• 利用该框架恢复已知构造，包括 Majid 的双交叉积和 Radford 的分解双代数，作为特殊情况。
• 证明 Beattie、Dâscâlescu 和 Grünenfelder 最近构造的点状霍普夫代数自然地成为该积构造的实例。

实验结果

研究问题

• RQ1 当 $H$ 和 $L$ 为代数与余代数时，积 $L_W\bowtie_R H$ 在何种条件下构成双代数？
• RQ2 如何通过映射 $R$ 和 $W$ 代数地刻画双代数 $K$ 分解为 $K=HL$ 的性质？
• RQ3 分解 $K=HL$ 与广义积 $L_W\bowtie_R H$ 之间的精确关系是什么？
• RQ4 霍普夫代数理论中已知的分解构造（如 Majid 和 Radford 的构造）能否作为该一般框架的特例被恢复？
• RQ5 Beattie、Dâscâlescu 和 Grünenfelder 最近构造的点状霍普夫代数是否可纳入此统一积结构中？

主要发现

• 当映射 $R$ 和 $W$ 满足一组涉及 $H$ 和 $L$ 的代数与余代数结构的相容性条件（包括辫子型关系）时，积 $L_W\bowtie_R H$ 是双代数的充要条件。
• 任何可分解为 $K=HL$ 的双代数 $K$ 都同构于某个 $R$ 和 $W$ 选择下的 $L_W\bowtie_R H$，从而建立了此类分解的完全分类。
• 该构造推广了 Majid 的双交叉积和 Radford 的分解双代数，表明当 $R$ 和 $W$ 满足额外对称性或可逆性条件时，它们即为特例。
• 最近由 Beattie、Dâscâlescu 和 Grünenfelder 构造的点状霍普夫代数被证明是 $L_W\bowtie_R H$ 的实例，提供了统一的代数解释。
• 该框架提供了一种系统方法，通过选择适当的 $R$ 和 $W$ 映射，从给定的代数与余代数构造新的双代数。
• 同构 $K \cong L_W\bowtie_R H$ 是典范的且保持结构，将 $K$ 的分解与 $H$、$L$、$R$ 和 $W$ 的内部数据联系起来。