[论文解读] A new higher homotopy groupoid: the fundamental globular omega-groupoid of a filtered space

Ronald Brown|arXiv (Cornell University)|Feb 22, 2007

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

一句话总结

本文利用n-圆盘的骨架滤过结构，引入了滤过空间的基本环状ω-群胚，将其确立为基本群胚的高阶同伦推广。通过利用立方体高阶同伦群胚构造，并证明自由环状ω-群胚在单个n维生成元上的余维复形与n-圆盘的基本余维复形同构，该研究为滤过空间提供了新的代数模型，显著增强了同伦计算能力。

ABSTRACT

We use the n-globe with its skeletal filtration to define the fundamental globular omega--groupoid of a filtered space; the proofs use an analogous fundamental cubical omega--groupoid due to the author and Philip Higgins. This method also relates the construction to the fundamental crossed complex of a filtered space, and this relation allows the proof that the crossed complex associated to the free globular omega-groupoid on one element of dimension n is the fundamental crossed complex of the n-globe.

研究动机与目标

• 通过环状方法为滤过空间开发一种新的高阶同伦群胚结构。
• 建立基本环状ω-群胚与滤过空间的基本余维复形之间的联系。
• 证明单个n-胞腔上自由环状ω-群胚的余维复形同构于n-圆盘的基本余维复形。
• 为环状设定中的高阶同伦van Kampen定理提供框架。
• 将立方体高阶同伦群胚方法推广至具有完整代数结构的环状ω-群胚模型。

提出的方法

• 该构造使用n-圆盘及其骨架滤过结构作为模型空间，以定义基本环状ω-群胚。
• 它定义了从n-圆盘到滤过空间的滤过映射的环状集合，模去相对顶点的滤过同伦。
• 该方法依赖于先前建立的立方体高阶同伦群胚及其与余维复形的关系。
• 在商集中定义了复合运算∘ᵢ，使其具备环状ω-群胚的结构。
• 证明使用了在带连接的立方体集合上提取环状部分的折叠运算Φₙ。
• 关键技术步骤是证明Φₙ映射到立方体集合的环状子集，从而确保与环状结构的相容性。

实验结果

研究问题

• RQ1 能否利用n-圆盘的滤过结构构造滤过空间的基本环状ω-群胚？
• RQ2 基本环状ω-群胚与滤过空间的基本余维复形之间有何关系？
• RQ3 在单个n-胞腔上自由环状ω-群胚的余维复形是否同构于n-圆盘的基本余维复形？
• RQ4 是否可以在环状ω-群胚设定中表述高阶同伦van Kampen定理？
• RQ5 折叠运算在从带连接的立方体集合中提取环状结构的过程中起什么作用？

主要发现

• 滤过空间的基本环状ω-群胚在所有维度n ≥ 1下均有良好定义，且具有复合运算∘ᵢ。
• 环状ω-群胚结构通过折叠运算Φₙ从立方体高阶同伦群胚继承而来。
• 在单个n-细胞上自由环状ω-群胚所关联的余维复形同构于n-圆盘的基本余维复形。
• 该构造满足高阶同伦van Kampen定理，支持同伦理论中的余极限计算。
• 折叠运算Φₙ映射到带连接的立方体集合的环状子集，确保环状结构得以保持。
• 该方法为滤过空间提供了一种新的、可计算的代数模型，基于环状ω-群胚。