[论文解读] Homotopy types of strict 3-groupoids

Carlos Simpson|ArXiv.org|Oct 9, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 38

一句话总结

本文证明了严格3-群胚无法刻画所有3-型空间，特别是由于Whitehead括号非零，2-球面 $S^2$ 的3-型无法通过任何合理的实现函子实现。核心障碍源于Eckmann-Hilton论证，该论证强制复合运算严格交换，从而使高阶同伦运算平凡化。

ABSTRACT

We look at strict $n$-groupoids and show that if $\Re$ is any realization functor from the category of strict $n$-groupoids to the category of spaces satisfying a minimal property of compatibility with homotopy groups, then there is no strict $n$-groupoid $G$ such that $\Re (G)$ is the $n$-type of $S^2$ (for $n\geq 3$). At the end we speculate on how one might fix this problem by introducing a notion of ``snucategory'', a strictly associative $n$-category with only weak units.

研究动机与目标

• 确定严格3-群胚是否可通过合理的实现函子刻画所有3-型空间。
• 阐明严格 $n$-群胚在刻画同伦类型方面的局限性，特别是与非平凡Whitehead括号的关系。
• 形式化“合理实现函子”的概念，该函子保持同伦群及对象到点的对应关系。
• 提出一种新框架——$n$-snucategories，其中严格结合律成立但单位为弱单位，作为该问题的潜在解决方案。
• 推测 $n$-snucategories 可能通过弱等价刻画 $n$-截断同伦类型，作为严格 $n$-群胚的更好替代方案。

提出的方法

• 将‘合理实现函子’定义为通过同伦群的自然同构保持 $ au_0$ 和 $ au_i$ 的函子。
• 利用Eckmann-Hilton论证证明具有相同源与目标的严格2-胞射必须完全交换，从而使高阶运算平凡化。
• 分析仅含一个对象和一个1-胞射的严格3-群胚，其为 $ au_0$ 构成群的阿贝尔幺半群范畴。
• 通过尊重同伦群的态射应用Postnikov塔的分裂，表明此类实现必须分裂该塔。
• 引入 $n$-snucategories 的概念，即无严格单位、仅有弱单位的严格 $n$-范畴，以避免Eckmann-Hilton障碍。
• 为 $n$-snucategories 定义等价与截断函子，以建立同伦局部化与空间比较的框架。

实验结果

研究问题

• RQ1 是否存在任何合理的实现函子，能将严格3-群胚映射到拓扑空间并实现 $S^2$ 的3-型？
• RQ2 为何严格 $n$-群胚在存在非平凡Whitehead括号时无法刻画所有 $n$-型？
• RQ3 Eckmann-Hilton论证如何在严格 $n$-范畴中强制实现交换性，其对同伦理论有何后果？
• RQ4 在严格复合系统（即 $n$-snucategories）中，弱单位能否避免高阶Whitehead运算的平凡化？
• RQ5 是否存在一种范畴框架（如 $n$-snucategories），可实现 $n$-截断同伦类型在弱等价下的刻画？

主要发现

• 任何合理的实现函子都无法将严格3-群胚的像实现为 $S^2$ 的3-型。
• 障碍源于 $S^2$ 的Whitehead括号 $ au_2 imes au_2 o au_3$ 非零，但在严格3-群胚中由于Eckmann-Hilton论证而平凡化。
• 在严格 $n$-范畴中，交换律强制所有具有相同源与目标的2-胞射完全交换，从而消除了高阶同伦运算。
• 任何保持同伦群的实现函子必须分裂实现的Postnikov塔，而由于 $S^2$ 的 $ au_3$-不变量非零，这是不可能的。
• 所提出的 $n$-snucategory 框架（具有弱单位与严格复合）可能允许对 $n$-截断同伦类型进行更优建模。
• 推测 $n$-snugroupoids 沿等价关系的局部化，等价于 $n$-截断空间沿弱等价关系的局部化。