[论文解读] Generalised bialgebras and entwined monads and comonads

Muriel Livernet, Bachuki Mesablishvili+1 more|arXiv (Cornell University)|Mar 17, 2014

Advanced Topics in Algebra参考文献 8被引用 4

一句话总结

本文在缠绕的模范和余模范的范畴框架下，将Loday的广义双代数刚性定理推广至范畴论语境。通过建立混合双模与缠绕结构之间的对应关系，作者证明：由缠绕诱导的余模范态射是同构当且仅当其对应的函子是等价函子，从而将Poincaré-Birkhoff-Witt定理与Cartier-Milnor-Moore定理推广至该设定。

ABSTRACT

Jean-Louis Loday has defined generalised bialgebras and proved structure theorems in this setting which can be seen as general forms of the Poincaré-Birkhoff-Witt and the Cartier-Milnor-Moore theorems. It was observed by the present authors that parts of the theory of generalised bialgebras are special cases of results on entwined monads and comonads and the corresponding mixed bimodules. In this article the Rigidity Theorem of Loday is extended to this more general categorical framework.

研究动机与目标

• 使用缠绕的模范与余模范的范畴工具，推广Loday关于广义双代数的结构定理。
• 在范畴论语境下，阐明广义双代数与双monad上混合双模之间的关系。
• 将刚性定理推广至更广泛的范畴框架，统一来自操作子理论与分配律的结果。
• 为Poincaré-Birkhoff-Witt定理与Cartier-Milnor-Moore定理在缠绕结构语境下提供范畴论基础。
• 证明由缠绕诱导的范畴等价蕴含霍普夫模范性质，从而推广关于无穷小双代数的已知结果。

提出的方法

• 利用模范的Eilenberg-Moore范畴与余模范的Eilenberg-Moore范畴来建模代数与余代数结构。
• 应用模范与余模范之间的分配律理论，定义代数与余代数之间的缠绕结构。
• 引入函子 $ K: ext{Alg}({rak T}_{rak A}) \to ext{Coalg}({rak G}_{rak C}) $，通过缠绕将代数映射至余模范，建立对应关系。
• 采用由缠绕诱导的余模范态射 $ t: \text{Free} \to \text{Cofree} $，并通过条件 $ \text{Id} = \text{Id} \circ \varepsilon $ 证明其为同构。
• 应用文献[14, 3.1]中的等价性准则，表明若复合映射 $ \text{Id} \circ \varepsilon $ 是同构，则余模范态射 $ t $ 为同构。
• 验证缠绕满足所需的交换图（例如 $ \lambda $ 的图），确保乘法、余乘法与缠绕之间的相容性。

实验结果

研究问题

• RQ1 如何将Loday关于广义双代数的刚性定理推广至包含缠绕模范与余模范的范畴框架？
• RQ2 在何种条件下，从代数范畴到余模范范畴的函子构成范畴等价？
• RQ3 模范与余模范之间的分配律以何种方式推广双代数与霍普夫代数的结构？
• RQ4 模范与余模范之间的缠绕结构如何与Poincaré-Birkhoff-Witt定理及Cartier-Milnor-Moore定理相关联？
• RQ5 在何种范畴条件下，余模范态射的存在性可推出其对应的模范为霍普夫模范？

主要发现

• 函子 $ K $，将模范 $ {rak T}_{rak A} $ 上的代数映射至余模范 $ {rak G}_{rak C} $ 上的余模范，是范畴等价当且仅当复合映射 $ \text{Id} \circ \varepsilon $ 是同构。
• 由缠绕诱导的余模范态射 $ t $ 是同构当且仅当自然变换 $ \varphi $，定义为 $ \mathscr{M}(\varepsilon_V) \circ \delta_V $，是同构。
• 对所有 $ V $，有 $ \varphi = \text{Id} $，这意味着 $ \varphi $ 是同构，从而推出 $ t $ 是同构。
• 范畴等价意味着模范 $ {rak H} $ 是霍普夫模范，从而在范畴语境下推广了霍普夫代数结构。
• 该理论恢复了Loday与Ronco关于无穷小双代数的刚性定理，表明此类双代数可由其原始部分自由且共自由生成。
• 在张量代数上定义的缠绕 $ \lambda $ 满足所需的交换图，确认了乘法、余乘法与缠绕之间的相容性。