[论文解读] Cohomology theory in 2-categories

Hiroyuki Nakaoka|ArXiv.org|Nov 17, 2008

Algebraic structures and combinatorial models参考文献 8被引用 4

一句话总结

本文引入了阿贝尔范畴的2-范畴类比——称为相对精确2-范畴（relatively exact 2-categories），其推广了对称范畴群（SCG）的2-范畴。通过建立一个自对偶的公理化框架，作者仅使用类比经典同调代数中阿贝尔范畴的纯图示方法，从任意短的相对2-精确复形序列构造出一个长的上同调2-精确序列。主要贡献在于在2-范畴中建立了一个统一且对偶友好的同调理论，SCG作为核心示例。

ABSTRACT

Recently, symmetric categorical groups are used for the study of the Brauer groups of symmetric monoidal categories. As a part of these efforts, some algebraic structures of the 2-category of symmetric categorical groups $\mathrm{SCG}$ are being investigated. In this paper, we consider a 2-categorical analogue of an abelian category, in such a way that it contains $\mathrm{SCG}$ as an example. As a main theorem, we construct a long cohomology 2-exact sequence from any extension of complexes in such a 2-category. Our axiomatic and self-dual definition will enable us to simplify the proofs, by analogy with abelian categories.

研究动机与目标

• 开发阿贝尔范畴的2-范畴类比，使对称范畴群（SCG）的2-范畴成为关键示例。
• 为2-范畴中的同调代数提供一个自对偶的公理化框架，通过对偶性简化证明。
• 将SCG中从短相对2-精确复形序列构造上同调2-精确序列的方法，推广至更广泛的2-范畴类。
• 通过高阶范畴同调框架，统一研究对称张量范畴中的布劳尔群与佩卡德群。

提出的方法

• 将相对精确2-范畴定义为阿贝尔范畴的二维类比，采用自对偶公理以确保证明中的对称性。
• 建立两类1-细胞的标准因式分解系统：一类涉及完全共忠实与忠实态射，另一类涉及共忠实与完全忠实态射。
• 在相对精确2-范畴中引入复形的相对2-精确性概念，推广SCG中先前的定义。
• 使用图示技术，从任意短的相对2-精确复形序列构造长的上同调2-精确序列。
• 在整个框架中利用对偶性以简化证明，类比阿贝尔范畴中经典同调代数的处理方式。
• 应用二维图示引理（如蛇形引理的对偶）以处理因式分解和精确序列中2-胞态的相容性。

实验结果

研究问题

• RQ1 能否定义阿贝尔范畴的2-范畴类比，使得对称范畴群（SCG）的2-范畴成为自然示例？
• RQ2 经典同调代数中的长精确序列如何推广至2-范畴的设定？
• RQ3 2-范畴支持类似阿贝尔范畴中上同调理论的必要且充分条件是什么？
• RQ4 如何将对偶性整合进框架中，以简化证明并确保构造的对称性？
• RQ5 该上同调2-精确序列的构造方法能否应用于SCG导出的其他2-范畴，如具有群作用或双函子的范畴？

主要发现

• 本文从任意相对精确2-范畴中短的相对2-精确复形序列构造出长的上同调2-精确序列，推广了SCG中的结果。
• 该框架具有自对偶性，支持对称证明，并简化了对核与余核等对偶构造的处理。
• 在任意相对精确2-范畴中均存在适当的因式分解系统：每个1-细胞均可通过两类不同的因式分解实现，分别涉及完全共忠实/忠实或共忠实/完全忠实态射。
• 长上同调2-精确序列的构造完全依赖于图示推理，不依赖于底层集合论结构。
• 2-范畴SCG被证明是相对精确2-范畴的典型示例，验证了该框架的适用性。
• 该框架可推广至其他2-范畴，如$γ$-SMod、SCG × SCG以及双函子的2-范畴，表明其具有广泛适用性。