[论文解读] Thin Elements and Commutative Shells in Cubical omega-categories

Philip J. Higgins|ArXiv.org|Aug 23, 2004

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

一句话总结

本文通过一种直接的方法，基于部分折叠操作，建立了无须依赖粘贴理论或单纯复形的立方ω-范畴中薄结构与连接之间的公理化等价关系。证明了交换壳复合是交换的，并表明薄元素恰好是可通过单位胞胞和连接表达的那些元素，将先前在2维和3维的结果推广至所有维度，使用简化的部分折叠操作Ψ。

ABSTRACT

The relationships between thin elements, commutative shells and connections in cubical omega-categories are explored by a method which does not involve the use of pasting theory or nerves of omega-categories (both of which were previously needed for this purpose; see previous work by Al-Agl/Brown/Steiner. It is shown that composites of commutative shells are commutative and that thin structures are equivalent to appropriate sets of connections; this work extends to all dimensions the results proved in dimensions 2 and 3 by Brown/Mosa, and Brown/Kamps/Porter.

研究动机与目标

• 提供一种无需依赖粘贴理论或单纯复形构造的、对立方ω-范畴中薄元素和交换壳的直接、直观的表征。
• 将先前关于薄结构与连接在2维和3维的结果推广至所有维度。
• 在带有连接的立方n-范畴中，建立薄结构与连接集合之间的自然双射。
• 阐明交换壳、薄元素与连接在高维立方范畴中作用之间的关系。

提出的方法

• 引入部分折叠操作Ψ，作为先前工作中使用的完整折叠操作Φₙ的更简单替代，避免依赖复杂的粘贴机制。
• 将交换n-壳定义为折叠映射Ψ的像中的元素，并利用其在立方ω-范畴上构造薄结构。
• 利用带有连接的立方n-范畴的结构，将薄元素定义为在薄结构态射θ下由交换壳的像所给出的元素。
• 应用交换律和可复合数组及划分的复合公理，以确保不同复合顺序下复合的一致性。
• 通过证明θ由其在连接和壳填充器上的作用唯一确定，建立连接Γ⁺ᵢ, Γ⁻ᵢ与薄结构θ之间的典范对应关系。
• 采用递归构造：给定一个带有连接的立方(n−1)-范畴，n-胞胞通过θ从交换的(n−1)-壳构建而成，确保与面映射和连接映射的相容性。

实验结果

研究问题

• RQ1 如何在不使用粘贴理论或单纯复形的情况下表征立方ω-范畴中的薄元素？
• RQ2 在所有维度中，立方ω-范畴中的交换壳与连接之间的确切关系是什么？
• RQ3 能否证明交换壳的复合在任意维度下是交换的，从而推广已知的2维和3维结果？
• RQ4 在立方n-范畴中，薄结构与连接集合之间是否存在自然双射？
• RQ5 能否通过将薄元素的公理化基于连接和壳复合，来简化立方T-复形的概念？

主要发现

• 在立方ω-范畴中，交换壳的复合在所有维度下都是交换的，推广了先前在2维和3维的结果。
• 立方ω-范畴中的薄元素恰好是可通过单位胞胞和连接表达的那些元素，如定理2.8所形式化。
• 存在一个自然双射，将薄结构θ: □▽Cₙ₋₁ → Cₙ与连接集合Γ⁺ᵢ, Γ⁻ᵢ: Cₙ₋₁ → Cₙ对应起来，如定理3.1所确立。
• 通过态射θ定义的薄元素与通过连接Γ⁺ᵢ和Γ⁻ᵢ定义的薄元素完全一致，确保了不同表述之间的一致性。
• 使用部分折叠操作Ψ而非完整折叠Φₙ简化了理论，同时保留了基本结构，使该方法更具直观性和可及性。
• 该构造确保了Cₙ中任意可复合的矩形划分均可细化为可复合数组，且由于连接的存在，所有此类复合结果相等。