[论文解读] Semistrict Tamsamani n-groupoids and connected n-types

Simona Paoli|ArXiv.org|Jan 23, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 31被引用 7

一句话总结

本文建立了关于表示连通 $n$-型的Tamsamani弱 $n$-群胚的半严格化结果，表明每个此类 $n$-群胚均通过 $n$-等价的之字形与一个半严格群胚等价——具体而言，即在塞加尔映射中通过同构实现上层单形方向严格复合的Tamsamani $n$-群胚。这证实了高阶同伦理论中半严格化假说的关键情形。

ABSTRACT

Tamsamani's weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tasmamani's weak n-groupoids and cat^(n-1)-groups as models of connected n-types.

研究动机与目标

• 证明每个表示连通 $n$-型的Tamsamani弱 $n$-群胚均与一个半严格群胚等价，从而支持高阶范畴论中的半严格化假说。
• 比较Tamsamani的弱 $n$-群胚与cat $n$-群作为连通 $n$-型模型的关系。
• 确立连通 $n$-型的同伦范畴与弱 $n$-群胚的局部化范畴中半严格Tamsamani $n$-群胚全子范畴之间的等价性。

提出的方法

• 将半严格Tamsamani $n$-群胚的范畴 $\mathcal{H}_n$ 定义为 $\mathcal{T}_n$ 中那些在上层单形方向的塞加尔映射为同构的群胚，从而在该方向强制实现严格复合。
• 利用 $\mathcal{H}_n$ 同构于在笛卡尔张量结构下Tamsamani弱 $(n-1)$-群胚中所有幺半群的全子范畴的事实。
• 通过归纳法对 $n$-范畴结构建立任意具有路径连通分类空间的弱 $n$-群胚与 $\mathcal{H}_n$ 中半严格群胚之间的之字形 $n$-等价，依赖于归纳论证。
• 应用归纳假设，证明在神经构造中态射的逐级满射性蕴含神经映射的满射性，利用遗忘函子 $\mathcal{U}_n$ 对正则满射的反射性质。
• 利用连通 $n$-型的同伦范畴与弱 $n$-群胚的局部化范畴之间的等价性，推导出 $\mathcal{H}_n$ 捕获了本质的同伦型。
• 利用神经 $\overline{\mathcal{N}}f$ 的结构及其逐级满射性，证明态射 $f$ 诱导出满射的神经映射，这对建立 $n$-等价性至关重要。

实验结果

研究问题

• RQ1 每个表示连通 $n$-型的Tamsamani弱 $n$-群胚是否都能通过 $n$-等价的之字形与一个半严格群胚相连？
• RQ2 半严格Tamsamani $n$-群胚的范畴 $\mathcal{H}_n$ 与弱 $n$-群胚的全范畴 $\mathcal{T}_n$ 在建模连通 $n$-型时有何关系？
• RQ3 连通 $n$-型的同伦范畴是否与弱 $n$-群胚的局部化范畴中半严格Tamsamani $n$-群胚的全子范畴等价？

主要发现

• 每个具有路径连通分类空间的Tamsamani弱 $n$-群胚，均通过 $n$-等价的之字形与 $\mathcal{H}_n$ 中的半严格Tamsamani $n$-群胚等价，如定理9.10所述。
• 连通 $n$-型的同伦范畴 $\mathcal{H}o(\mathrm{Top}^{(n)}_*)$ 与 $\mathcal{T}_n^*/\sim^n$ 中由 $\mathcal{H}_n$ 生成的全子范畴等价，如推论9.11所示。
• $\mathcal{H}_n$ 同构于在笛卡尔张量结构下Tamsamani弱 $(n-1)$-群胚中幺半群的全子范畴，凸显其代数一致性。
• 在 $\mathcal{H}_n$ 中，上层单形方向的塞加尔映射为同构，从而在该方向强制实现严格复合，同时在其他方向允许弱复合。
• 当态射 $f$ 在遗忘函子 $\mathcal{U}_n$ 下诱导出满射时，神经构造 $\overline{\mathcal{N}}f$ 是逐级满射的，这对建立 $n$-等价性至关重要。
• 归纳论证依赖于 $\mathcal{U}_{n-1}$ 对正则满射的反射性质，使得从神经层到基础范畴结构的满射性得以传递。