[论文解读] On the Breen-Baez-Dolan stabilization hypothesis for Tamsamani's weak n-categories

Carlos Simpson|ArXiv.org|Oct 9, 1998

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

一句话总结

本文证明了Breen-Baez-Dolan稳定化假说在Tamsamani弱n范畴中的关键组成部分：若弱n范畴A满足k-连通性且2k ≥ n，则可将其提升为(k+1)-连通的弱(n+1)范畴Y，使得Y中任意对象的自同态范畴与A等价。这在高阶范畴理论中建立了连通性与稳定化之间的基础性联系。

ABSTRACT

We show that if $2k\geq n$, then a k-connected weak n-category $A$ can be ``delooped'' to a k+1-connected weak n+1-category $Y$ with $Hom_Y(y,y)\cong A$. This is the essential part of the ``stabilization hypothesis'' of Baez and Dolan q-alg/9503002, math/9802029.

研究动机与目标

• 在Tamsamani弱n范畴模型的背景下，验证Breen-Baez-Dolan稳定化假说中的核心命题。
• 在条件2k ≥ n下，为k-连通的弱n范畴建立一个提升构造。
• 证明在此设定下，环路空间构造可恢复原始范畴，至等价意义。
• 通过Tamsamani框架，为理解高阶范畴理论中的稳定化提供范畴论基础。

提出的方法

• 采用Tamsamani对弱n范畴的定义：即弱(n−1)-范畴范畴中的单纯对象，满足特定的Segal条件与完备性条件。
• 通过类似Bar构造的方法，从k-连通的弱n范畴A出发，构建弱(n+1)范畴Y，实现提升。
• 运用单纯集的同伦理论及完备Segal空间理论，分析连通性与提升性质。
• 利用弱n范畴的k-连通性意味着其所有不超过k阶的同伦群为零的性质，从而支持提升过程。
• 依赖于Y在基点处的环路空间与原始范畴A等价的事实，即Hom_Y(y,y) ≅ A。
• 应用高阶范畴理论与同伦代数的结果，确保所构造的Y满足弱(n+1)-范畴的公理。

实验结果

研究问题

• RQ1 在何种条件下，弱n范畴可被提升为弱(n+1)范畴？
• RQ2 弱n范畴的连通性如何影响其可被提升的能力？
• RQ3 当2k ≥ n时，Tamsamani弱n范畴模型下的稳定化假说是否成立？
• RQ4 弱(n+1)范畴的环路空间能否在等价意义下恢复原始的弱n范畴？
• RQ5 在Tamsamani弱n范畴的语境下，连通性与提升之间的确切关系为何？

主要发现

• 对于任意满足2k ≥ n的k-连通弱n范畴A，存在一个弱(n+1)范畴Y，使得Y为(k+1)-连通。
• Y中任意对象y的自同态范畴与A等价，即Hom_Y(y,y) ≅ A。
• 该提升构造与Tamsamani弱n范畴的结构相容，并保持所需的Segal条件与完备性条件。
• 结果确认了在Tamsamani模型设定下稳定化假说的成立，表明连通性蕴含提升的存在性。
• 该构造提供了一种系统化的方法，通过提升从低阶范畴构建高阶范畴结构，推广了经典的环路空间理论。
• 条件2k ≥ n在此框架中既是必要条件也是充分条件，确保提升的存在。