[论文解读] The inner automorphism 3-group of a strict 2-group

David Roberts, Urs Schreiber|arXiv (Cornell University)|Aug 13, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 21

一句话总结

本文为任意严格2-群 G(2) 引入了内自同构3-群 INN₀(G(2))，表明其满足短正合序列 G(2) → INN₀(G(2)) → BG(2)。该构造源于 G(2) 上恒等映射的映射锥，且证明 INN₀(G(2)) 是同伦等价的，并作为 G(2)-2-丛的普遍构造，推广了通过 INN(G) 构造的经典普遍 G-丛。

ABSTRACT

Any group $G$ gives rise to a 2-group of inner automorphisms, $\mathrm{INN}(G)$. It is an old result by Segal that the nerve of this is the universal $G$-bundle. We discuss that, similarly, for every 2-group $G_{(2)}$ there is a 3-group $\mathrm{INN}(G_{(2)})$ and a slightly smaller 3-group $\mathrm{INN}_0(G_{(2)})$ of inner automorphisms. We describe these for $G_{(2)}$ any strict 2-group, discuss how $\mathrm{INN}_0(G_{(2)})$ can be understood as arising from the mapping cone of the identity on $G_{(2)}$ and show that its underlying 2-groupoid structure fits into a short exact sequence $G_{(2)} o \mathrm{INN}_0(G_{(2)}) o ΣG_{(2)}$. As a consequence, $\mathrm{INN}_0(G_{(2)})$ encodes the properties of the universal $G_{(2)}$ 2-bundle.

研究动机与目标

• 为任意严格2-群 G(2) 定义并表征内自同构3-群 INN₀(G(2))。
• 建立 INN₀(G(2)) 作为2-群范畴短正合序列 G(2) → INN₀(G(2)) → BG(2) 的性质。
• 证明 INN₀(G(2)) 是同伦等价的，并普遍编码 G(2)-2-丛的结构。
• 将 INN₀(G(2)) 与 G(2) 上恒等映射的映射锥联系起来，提供其同伦解释。
• 通过3-群推广经典通过 INN(G) 构造普遍 G-丛的方法，用于高阶范畴化丛。

提出的方法

• 将 INN₀(G(2)) 构造为 G(2) 的恒等交叉模的映射锥所导出的3-群。
• 利用双单纯集的双重神经网络构造 NG(2)，然后应用 décalage 函子 Dec₁，得到一个同伦等价的单纯集。
• 证明 INN₀(G(2)) 的相应神经网络同构于 Dec₁NG(2)，其与纤维 N'G(2) 和底空间 BG(2) 构成正合序列。
• 通过 décalage 构造证明 INN₀(G(2)) 的2-群范畴等价于 BG(2) 的切2-范畴。
• 利用2-交叉模结构，显式描述3-群 INN₀(G(2)) 的对象、态射与2-态射。
• 通过 décalage 与双单纯集的实现，证明 INN₀(G(2)) 的神经网络是弱同伦等价的，从而证明 INN₀(G(2)) 是同伦等价的。

实验结果

研究问题

• RQ1 如何将群的内自同构概念推广到2-群？
• RQ2 严格2-群 G(2) 的内自同构3-群 INN₀(G(2)) 的结构是什么？
• RQ3 INN₀(G(2)) 如何与 G(2)-2-丛的普遍丛及分类2-群范畴 BG(2) 相关联？
• RQ4 INN₀(G(2)) 的构造能否被解释为 G(2) 上恒等映射的映射锥？
• RQ5 INN₀(G(2)) 的同伦意义是什么，特别是其同伦等价性与普遍性？

主要发现

• 内自同构3-群 INN₀(G(2)) 构造为一个3-群，其底层2-群范畴满足短正合序列 G(2) → INN₀(G(2)) → BG(2)。
• INN₀(G(2)) 作为2-群范畴是同伦等价的，意味着其等价于平凡2-群，因此其神经网络是弱同伦等价的。
• 3-群 INN₀(G(2)) 自然地作为 G(2) 的双重神经网络的 décalage 的神经网络实现，即 N(INN₀(G(2))) ≅ Dec₁NG(2)。
• INN₀(G(2)) 的构造等价于 G(2) 的恒等交叉模的映射锥，提供了其同伦解释。
• |N(INN₀(G(2)))| 是同伦等价的，且 |N(INN₀(G(2)))| ≃ |NG(2)| = BG(2)，确认其作为普遍2-丛的角色。
• INN₀(G(2)) 的2-交叉模结构被显式描述，其交叉正方形由交叉模 H → G 上的恒等映射生成。