[论文解读] On weak maps between 2-groups

Behrang Noohi|ArXiv.org|Jun 15, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用 29

一句话总结

本文引入了一种无上链式（cocycle-free）且显式描述弱映射的方法，通过一种名为“蝴蝶”（butterfly）的新代数结构，来描述2-群之间的弱映射，从而为交叉模之间的弱态射范畴提供了一个可处理的模型。作者定义了蝴蝶之间的复合运算，构建了一个与 pointed homotopy 2-types 的2-范畴双等价的双范畴，使得对堆栈上的2-群作用以及高阶规范理论的系统研究成为可能，而无需繁琐的上链式计算。

ABSTRACT

We give an explicit handy (and cocycle-free) description of the groupoid of weak maps between two crossed-modules in terms of certain digrams of groups which we we call a {\em butterflies}. We define composition of butterflies and this way find a bicategory that is naturally biequivalent to the 2-category of pointed homotopy 2-types. We indicate how certain standard notions of 2-group theory (e.g., kernels, cokernels, extension of 2-groups, and so on) find a simple description in terms of butterflies. We also discuss braided and abelian butterflies.

研究动机与目标

• 提供2-群之间弱映射的显式、无上链式描述，以避免因协调整体性条件带来的处理困难。
• 在这些映射上定义复合运算，使其结构具备双范畴结构，从而建模 pointed connected 2-types 的同伦范畴。
• 将该框架应用于几何设定，如堆栈、2-丛和主2-丛，其中传统上链式方法过于繁琐。
• 将理论推广至相对设定（例如，在格罗滕迪克拓扑上），以支持李2-群和2-群概形的应用。
• 建立2-群2-范畴的神经复形与 pointed connected 2-types 的同伦范畴之间的同伦等价。

提出的方法

• 引入“蝴蝶”作为新代数对象，以不使用上链式的方式编码交叉模之间的弱映射。
• 定义蝴蝶之间的复合运算，构建一个双范畴，其对象为交叉模，其态射为蝴蝶。
• 使用神经复形函子将2-群胚映射到单纯集，证明2-群胚的神经复形是Kan复形，并保持同伦群至多到第2阶。
• 对单纯集应用怀特黑德2-群胚函子 W，以恢复2-群胚，从而在单纯集与2-群胚之间建立 Quillen 伴随关系。
• 证明2-群胚之间的导出映射2-群胚与它们神经复形的单纯映射空间之间存在自然的同伦等价，从而验证了该构造的同伦正确性。
• 证明神经复形函子在2-群的同伦范畴与 pointed connected homotopy 2-types 的范畴之间诱导出一个等价。

实验结果

研究问题

• RQ1 如何以避免上链式表示复杂性的方法来描述2-群之间的弱映射？
• RQ2 能否通过一种新代数对象来定义交叉模上弱态射的双范畴结构？
• RQ3 蝴蝶范畴的同伦意义是什么？它与 pointed spaces 的同伦2-范畴有何关系？
• RQ4 该框架如何用于对堆栈上的2-群作用进行分类，以及研究2-主丛中结构2-群的变换？
• RQ5 该构造在多大程度上可推广至李2-群或格罗滕迪克拓扑上的2-群概形等几何设定？

主要发现

• 两个交叉模之间的弱映射群胚通过蝴蝶被显式描述，提供了一个无上链式、函子性的模型（定理 8.4）。
• 蝴蝶的复合运算在交叉模范畴上定义了一个双范畴结构，该双范畴与 pointed homotopy 2-types 的2-范畴双等价。
• 从2-群胚到单纯集的神经复形函子保持同伦群至多到第2阶，并在2-群的同伦范畴与 pointed connected homotopy 2-types 的范畴之间诱导出一个等价。
• 2-群胚之间的导出映射2-群胚自然同伦等价于其神经复形的单纯映射空间，从而验证了该构造的同伦正确性。
• 该框架使得对堆栈上2-群作用的系统分类成为可能，通过将弱映射简化为严格模型中的严格态射，从而规避了协调整体性问题。
• 该理论可推广至相对设定，如在格罗滕迪克拓扑上，从而支持对李2-群和2-群概形的应用。