[论文解读] Strict 2-Groups are Crossed Modules

Sven-S. Porst|ArXiv.org|Dec 8, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 9

一句话总结

本文建立了严格2-群的2-category与交叉模的2-category之间的2-等价关系，提供了等价函子的明确且具体的构造，并验证了它们的拟逆关系。主要贡献在于对2-等价关系的完整、实操性的证明，填补了文献中的空白，为高阶范畴理论与规范理论中的范畴结构与同伦结构之间提供了实用的桥梁。

ABSTRACT

The 2-categories of strict 2-groups and crossed modules are introduced and their 2-equivalence is made explicit.

研究动机与目标

• 提供严格2-群的2-category与交叉模的2-category之间明确且具体的2-等价关系。
• 通过完整详细地构造并验证等价函子，弥补[BS76]中定理2的缺失证明。
• 为从事高阶丛与规范理论的微分几何与数学物理研究人员提供计算上可访问的框架。
• 阐明群内部范畴（严格2-群）与在同伦理论中基本的交叉模结构之间的关系。
• 通过在对象与2-态射两个层次上验证自然同构与相干性条件，完成2-等价关系的证明。

提出的方法

• 将严格2-群定义为群范畴内的内部范畴，表明复合运算由群结构唯一确定。
• 将交叉模定义为满足Peiffer恒等式与等变性的四元组(G, H, τ, α)，其中态射与2-态射定义为同伦。
• 通过源映射与目标映射及共轭作用，构造从严格2-群到交叉模的2-函子S。
• 通过半直积构造与包含映射，反向构造从交叉模到严格2-群的2-函子T。
• 通过显式自然变换验证T∘S与S∘T分别与恒等函子自然同构。
• 通过检查对象与2-态射层次上的相干性图的交换性，包括同构的自然性，确认2-等价关系。

实验结果

研究问题

• RQ1 如何明确且具体地关联严格2-群的2-category与交叉模的2-category？
• RQ2 建立严格2-群与交叉模之间2-等价关系的完整2-函子是什么？
• RQ3 如何构造并验证复合函子与恒等函子之间的自然同构？
• RQ4 群内部范畴结构与同伦理论中交叉模结构之间的确切关系是什么？
• RQ5 2-等价关系如何解决[BS76]中定理2的缺失证明？

主要发现

• 严格2-群的2-category与交叉模的2-category之间存在2-等价关系，该等价关系通过完全显式的2-函子S与T建立。
• 2-函子S将一个严格2-群映射为交叉模(G, H ⋊ G, π₂, τπ₁·π₂, i₂)，其中H ⋊ G为半直积。
• 2-函子T将一个交叉模(G, H, τ, α)映射为一个严格2-群，其对象为H ⋊ G，态射由作用α定义。
• 复合函子T∘S将一个严格2-群映射为与原对象同构的2-群，其映射在G上为恒等，在半直积中为包含映射。
• 自然同构ζχ: TSχ → χ是交叉模的同构，其中ζχ = (id_G, π₁|ker π₂)，且满足所需的自然性与相干性条件。
• 在2-态射层次上，通过证明2-态射η在S∘T下的像经自然同构被映射回自身，确认了完整的2-等价关系。