[论文解读] A note on coring extensions

Tomasz Brzeziński|ArXiv.org|Oct 1, 2004

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

一句话总结

本文引入了环扩张（coring extension）的概念——即一个A-环通过一个B-环进行的右扩张——并将其与通过遗忘函子分解的余模范畴之间的k-加性函子联系起来。其主要贡献在于建立了环扩张与可分解函子之间的对应关系，通过缠绕结构的下降数据加以说明，并通过一个以环为对象、环扩张为态射的范畴，丰富了非交换几何中的范畴结构。

ABSTRACT

A notion of a coring extension is defined and it is related to the existence of an additive functor between comodule categories that factorises through forgetful functors. This correspondence between coring extensions and factorisable functors is illustrated by functors between categories of descent data. A category in which objects are corings and morphisms are coring extensions is also introduced.

研究动机与目标

• 定义并形式化环扩张的概念，将其作为在余模语境下代数同态的推广。
• 建立环扩张与通过遗忘函子分解的余模范畴之间k-加性函子之间的对应关系。
• 通过来自缠绕结构的下降数据范畴，具体展示该对应关系。
• 构建一个对象为环、态射为环扩张的范畴，从而丰富环的范畴框架。
• 阐明左-右环扩张之间不对称性的根源，与代数或余代数中对称行为形成对比。

提出的方法

• 将环扩张定义为一个B-环D，使得A-环C成为具有左正则余作用ΔC的(C,D)-双余模。
• 使用Sweedler的σ记法表达双余模结构中的余作用及相容性条件。
• 通过Mk上的遗忘函子，建立余模范畴之间函子的分解性质。
• 应用测量映射ν:C⊗B→A的概念，以定义A-环如何作用于B-代数。
• 构造同构如C□D(D⊗D E) ≅ C⊗D E，以验证余模函子的结构。
• 利用左对偶环*C = HomA(C,A)分析余模框架中的对偶结构与相容性。

实验结果

研究问题

• RQ1 如何通过范畴分解的方式，将代数同态的概念推广至环？
• RQ2 在什么条件下，余模范畴之间的函子能通过遗忘函子分解？
• RQ3 环扩张如何与非交换几何中的下降数据及缠绕结构相关联？
• RQ4 能否定义一个以环为对象、以环扩张为态射的环范畴？
• RQ5 为何代数扩张的左右对称性无法推广至环扩张？

主要发现

• 环扩张被定义为一个B-环D，使得A-环C成为具有左正则余作用ΔC的(C,D)-双余模。
• 任意A-环同态γ:C→D通过右余作用(C⊗γ)∘ΔC诱导出一个环扩张。
• 环扩张的存在性意味着C是右B-模，且ΔC是右B-线性。
• 当满足适当的纯度条件时，k-加性函子F:MC→MB当且仅当其源于环扩张时，可通过遗忘函子分解。
• 以环为对象、环扩张为态射的范畴是良好定义的，并为研究余模函子提供了新的范畴框架。
• 在缠绕结构导出的下降数据语境中，环扩张与可分解函子之间的对应关系得到了明确展示。