[论文解读] Extended Distributive Law: Co-wreath over co-rings

Laiachi El Kaoutit|ArXiv.org|Dec 28, 2006

Rings, Modules, and Algebras参考文献 10被引用 4

一句话总结

本文在交换环上的单位双模双范畴中，发展了共楔（扩展分配律）的基础理论，通过基环上的张量积，提供了共楔与余模的等价定义。它建立了因子余代数上的余模范畴与由共楔积诱导的余代数上的余模范畴之间的伴随关系，并对环扩张上的楔理论进行了对偶化，为通过纠缠结构构造非交换扭曲张量积提供了系统框架。

ABSTRACT

A basic theory of cowreath or extended distributive laws in the bicategory of unital bimodules, is deciphered. Precisely, we give in terms of tensor product over a scalar base ring, a simplest and equivalent definition for cowreath over coring and for comodule over cowreath. An adjunction connecting the category of comodules over the factor coring and the category of comodules over the coring arising from the cowreath products is also given. The dual notions i.e. wreaths over rings extension and their modules are included.

研究动机与目标

• 在基环上使用张量积，为双范畴中的共楔与余模提供一种简化且等价的定义。
• 建立因子余代数上的余模范畴与由共楔积导出的余代数上的余模范畴之间的伴随关系。
• 对环扩张上的楔理论进行对偶化，提供通过分配律构造扭曲张量积代数的框架。
• 将分配律的概念推广至共模范畴，特别是在余代数与纠缠结构的语境下。
• 从因子余代数的埃伦伯格-莫尔范畴到共楔诱导余代数的埃伦伯格-莫尔范畴，提供一个张量函子，实现从交换到非交换设定的构造。

提出的方法

• 本文在双范畴 Bim 中定义共楔为埃伦伯格-莫尔双范畴中余单子的结构，使用满足相干性条件的1-态射与2-态射。
• 通过基环K上的张量积，提供共楔的等价定义，以显式的双模与双线性映射结构替代范畴构造。
• 该理论应用于由纠缠结构导出的余代数，构造了因子余代数与共楔诱导余代数的埃伦伯格-莫尔范畴之间的张量函子。
• 使用基环上的张量积重新定义共楔上的余模，明确给出余作用的相容性条件。
• 构造共楔积为一个余代数，其底层双模由基余代数与共楔结构的张量积给出。
• 通过利用共楔的结构映射定义的函子，建立余模范畴之间的伴随关系，尤其关注作用与余作用的相容性。

实验结果

研究问题

• RQ1 如何通过基环上的张量积而非高阶范畴构造，等价刻画余代数上的共楔概念？
• RQ2 因子余代数上的余模范畴与共楔积导出余代数上的余模范畴之间的确切关系是什么？
• RQ3 如何系统地发展环扩张上楔理论的对偶理论，特别是与扭曲张量积代数的关系？
• RQ4 在何种条件下，共楔结构会诱导出相关余代数的埃伦伯格-莫尔范畴之间的张量函子？
• RQ5 纠缠结构在从交换基数据构造非交换共楔示例中起什么作用？

主要发现

• 共楔在余代数上可通过基环K上的张量积等价定义，提供一种不依赖2-范畴工具的明确代数刻画。
• 建立了因子余代数上的余模范畴与共楔积导出余代数上的余模范畴之间的伴随关系，连接了它们的模结构。
• 共楔积被证明产生一个新的余代数，其底层双模为基余代数与共楔结构的张量积，且具有明确定义的共乘法与余单位。
• 当余代数由纠缠结构导出时，从因子余代数的埃伦伯格-莫尔范畴到共楔诱导余代数的埃伦伯格-莫尔范畴，构造了一个张量函子。
• 论文给出了一个判据：当双模的左、右作用与共楔结构相容时，双模的张量积 $X \bigotimes_A Y$ 可继承在 $R \bigotimes_A T$ 上的双模结构。
• 发展了环扩张上楔理论的对偶理论，将扭曲张量积代数作为楔的示例进行刻画，推广了文献中已知的构造。