[论文解读] Smash biproducts of algebras and coalgebras

S. Caenepeel, Bogdan Ion+2 more|arXiv (Cornell University)|Jan 1, 2000

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

一句话总结

本文引入了一种广义的 smash 双积构造 K = L ⋈_R^W H，适用于代数 L 和余代数 H，利用两个映射 R 和 W，给出了 K 构成双代数的必要且充分条件。该构造统一并扩展了 Majid 和 Radford 的早期工作，并将近期的指向性霍普夫代数作为特例包含在内。

ABSTRACT

Let L and H be algebras and coalgebras (but not necessarily bialgebras, and consider two maps R: H ⊗ L → L ⊗H and W: L ⊗ H → H ⊗L. We introduce a product K = L W⊲⊳R H, and we give necessary and sufficient conditions for K to be a bialgebra. Our construction generalizes products introduced by Majid [13] and Radford [20]. Also some of the pointed Hopf algebras that were recently constructed by Beattie, Dǎscǎlescu and Grünenfelder [2] appear as special cases. 0

研究动机与目标

• 将 smash 乘积构造推广至代数与余代数，超越双代数假设的限制。
• 确定构造出的乘积成为双代数的精确必要且充分条件。
• 在单一框架内统一并扩展 Majid 和 Radford 的现有构造。
• 证明近期由 Beattie、Dǎscǎlescu 和 Grünenfelder 构造的指向性霍普夫代数是所提构造的特例。

提出的方法

• 引入乘积 K = L ⋈_R^W H，其中 R: H⊗L → L⊗H 和 W: L⊗H → H⊗L 为两个映射。
• 分析 K 上的代数与余代数结构，以确定双代数相容性。
• 推导出确保 K 上的乘法与余乘法相容的 R 和 W 的条件。
• 将该构造应用于恢复已知例子，包括 Majid、Radford 以及 Beattie 等人的构造。
• 使用范畴论与代数技巧，在推导出的条件下验证双代数公理。
• 通过证明其涵盖先前 smash 乘积变体，展示该构造的普遍性。

实验结果

研究问题

• RQ1 当 L 和 H 不一定是双代数时，广义乘积 K = L ⋈_R^W H 在何种条件下构成双代数？
• RQ2 如何将 smash 双积构造扩展至标准双代数设定之外？
• RQ3 映射 R 和 W 如何影响所得到乘积的双代数结构？
• RQ4 该构造能否统一 Majid 和 Radford 的已知 smash 乘积构造？
• RQ5 由 Beattie、Dǎscǎlescu 和 Grünenfelder 构造的近期指向性霍普夫代数是否可作为该广义框架的特例出现？

主要发现

• 本文确立了映射 R 和 W 在广义乘积 K = L ⋈_R^W H 成为双代数时的必要且充分条件。
• 该构造通过放宽 L 和 H 必须为双代数的要求，推广了 Majid 和 Radford 的 smash 乘积。
• 该框架将 Beattie、Dǎscǎlescu 和 Grünenfelder 的指向性霍普夫代数作为特例包含在内。
• 映射 R 和 W 在 K 中的代数与余代数结构相互作用中起双重作用。
• 所得双代数 K 通过 R 和 W 的相互作用，继承自 L 和 H 的代数与余代数结构。
• 该方法提供了一种系统化的方法，通过 R 和 W 从非双代数输入构造新的双代数。