[论文解读] Third Mac Lane cohomology via categorical rings

Mamuka Jibladze, Teimuraz Pirashvili|ArXiv.org|Aug 21, 2006

Rings, Modules, and Algebras参考文献 8被引用 25

一句话总结

本文建立了环 $ R $ 以 $ R $-双模 $ B $ 为系数的第三 Mac Lane 上同调群 $ H^3(R;B) $ 与满足 $ \pi_0(\mathscr{R}) = R $ 且 $ \pi_1(\mathscr{R}) = B $ 的范畴环 $ \mathscr{R} $ 的等价类之间的双射，表明 Mac Lane 3-上循环通过一个自然构造及其逆映射，对范畴环的等价类进行分类。

ABSTRACT

It is proved that the third Mac Lane cohomology group of a ring R with coefficients in a bimodule B classifies categorical rings having R as the ring of isomorphism classes of objects and B as the bimodule of automorphisms of the neutral object.

研究动机与目标

• 使用范畴环为第三 Mac Lane 上同调群 $ H^3(R;B) $ 提供一个范畴模型。
• 阐明 Mac Lane 上同调与环谱 2-型分类之间的关系。
• 表明 Mac Lane 3-上循环自然地对具有指定 $ \pi_0 $ 和 $ \pi_1 $ 的范畴环进行分类。
• 通过显式构造，建立上同调类与范畴环等价类之间的规范对应关系。
• 证明范畴环的特征类可恢复原始上同调类，从而证明双射成立。

提出的方法

• 从一个 3-上循环 $ \varphi $ 构造一个范畴环 $ \mathscr{R}_\varphi $，其中对象为 $ B \times R $ 中的对 $ (b,r) $，加法与乘法通过依赖于 $ \varphi $ 的同构定义。
• 使用上循环 $ \varphi $ 定义 $ \mathscr{R}_\varphi $ 上的张量结构与环结构，包括通过 $ \varphi $-分量表达的结合律、单位元与分配律约束。
• 证明 $ \mathscr{R}_\varphi $ 成为范畴环的相干性条件，等价于 $ \varphi $ 的 Mac Lane 3-上循环条件。
• 对同调的上循环 $ \varphi, \varphi' $，通过一个 2-链 $ \gamma $ 定义从 $ \mathscr{R}_\varphi $ 到 $ \mathscr{R}_{\varphi'} $ 的 2-同态，并验证其相干性条件与上边缘条件一致。
• 通过选取代表元和态射 $ \sigma_{\cdot}, \sigma_{+} $，从范畴环的等价类构造一个反向映射至 $ H^3(R;B) $，并由此定义一个上循环 $ \varphi $。
• 证明两个映射（从上同调到范畴环，再返回）的复合是恒等映射，从而确立双射关系。

实验结果

研究问题

• RQ1 Mac Lane 上同调如何通过范畴环实现范畴化解释？
• RQ2 Mac Lane 上同调中的 3-上循环与范畴环结构之间的确切对应关系是什么？
• RQ3 第三 Mac Lane 上同调群是否能对具有给定 $ \pi_0 $ 和 $ \pi_1 $ 的范畴环等价类进行分类？
• RQ4 相干性同构在将上同调数据与范畴环结构联系起来的过程中起什么作用？
• RQ5 范畴环的特征类是否可从其底层上循环恢复，从而确保完整分类？

主要发现

• 存在一个从第三 Mac Lane 上同调群 $ H^3(R;B) $ 到满足 $ \pi_0(\mathscr{R}) = R $ 且 $ \pi_1(\mathscr{R}) = B $ 的范畴环 $ \mathscr{R} $ 的等价类集合之间的规范双射。
• 从 3-上循环 $ \varphi $ 构造范畴环 $ \mathscr{R}_\varphi $ 的过程，当且仅当 $ \varphi $ 是 Mac Lane 3-上循环时，满足所有必需的相干性条件。
• 同调的上循环 $ \varphi $ 与 $ \varphi' $ 通过一个由 2-链 $ \gamma $ 导出的 2-同态产生等价的范畴环，且该等价关系在上同调关系下保持不变。
• 特征类映射 $ \langle \mathscr{R} \rangle $ 可恢复原始上同调类 $ \varphi $，从而确保双射是良定义且可逆的。
• 从范畴环到上同调的反向映射通过选取典范代表元和态射 $ \sigma_{\cdot}, \sigma_{+} $ 构造，从而恢复上循环 $ \varphi $。
• 两个映射（从上同调到范畴环及其逆）的复合是恒等映射，证明了该对应关系为双射。