[论文解读] On Parity Complexes and Non-abelian Cohomology

Lucian M. Ionescu|ArXiv.org|Aug 15, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 4

一句话总结

本文引入了对偶（拟）复形以通过上同调框架表征拟张量范畴中的范畴约束——如结合律、交换律和张量性——。它建立了非交换上同调与张量范畴结构之间的对应关系，将1-上循环解释为函子，2-上循环解释为张量结构，3-上循环解释为结合子，且上同调群H3至H0分别对拟扩张、扩张、分裂扩张和不变量进行分类。

ABSTRACT

To characterize categorical constraints - associativity, commutativity and monoidality - in the context of quasimonoidal categories, from a cohomological point of view, we define the notion of a parity (quasi)complex. Applied to groups gives non-abelian cohomology. The categorification - functor from groups to monoidal categories - provides the correspondence between the respective parity (quasi)complexes and allows to interpret 1-cochains as functors, 2-cocycles - monoidal structures, 3-cocycles - associators. The cohomology spaces H3, H2, H1, H0 correspond as usual to quasi-extensions, extensions, split extensions and invariants, as in the abelian case. A larger class of commutativity constraints for monoidal categories is identified. It is naturally associated with coboundary Hopf algebras.

研究动机与目标

• 开发一个上同调框架，以表征拟张量范畴中的范畴约束——如结合律、交换律和张量性。
• 通过引入对偶（拟）复形的概念，将非交换上同调推广至张量范畴。
• 在上同调群与结构特征（如函子、张量结构和结合子）之间建立范畴对应关系。
• 识别出与余边界霍普夫代数自然关联的更广泛的一类交换律约束。
• 将经典上同调解释（H3至H0）扩展至非交换情形，对扩张和不变量进行分类。

提出的方法

• 引入对偶（拟）复形作为拟张量范畴的上同调工具的概念。
• 将该框架应用于群，以恢复非交换上同调，并将1-上循环与函子联系起来。
• 通过从群到张量范畴的范畴化，将2-上循环映射为张量结构，将3-上循环映射为结合子。
• 利用上同调群H3、H2、H1、H0对拟扩张、扩张、分裂扩张和不变量进行分类。
• 在张量范畴中识别出与余边界霍普夫代数相关的更广泛的一类交换律约束。
• 通过范畴化建立群上同调与张量范畴结构之间的函子对应关系。

实验结果

研究问题

• RQ1 如何系统地使用上同调工具表征拟张量范畴中的范畴约束，如结合律和交换律？
• RQ2 对偶（拟）复形在统一非交换上同调与张量范畴结构中起到什么作用？
• RQ3 在范畴化设定下，1-上循环、2-上循环和3-上循环如何分别对应于函子、张量结构和结合子？
• RQ4 上同调群H3、H2、H1、H0在非交换情形下对扩张和不变量的分类中具有何种意义？
• RQ5 余边界霍普夫代数如何与张量范畴中更广泛的一类交换律约束相关联？

主要发现

• 本文证明了对偶复形中的1-上循环对应于张量范畴之间的函子。
• 2-上循环对应于张量结构，为张量积提供了上同调表征。
• 3-上循环对应于结合子，为结合律同构提供了上同调解释。
• 上同调群H3对拟扩张进行分类，H2对扩张进行分类，H1对分裂扩张进行分类，H0对不变量进行分类。
• 识别出张量范畴中一类新的交换律约束，其自然关联于余边界霍普夫代数。
• 群上同调的范畴化精确地建立了群层次的上同调数据与张量范畴结构之间的对应关系。