[論文レビュー] 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

ひとこと要約

この論文は、貼り合わせ理論やネbicの理論に依存せずに、立方体ωカテゴリの薄い構造と接続の間の直接的で公理的な同等性を確立する。合成された可換シェルの合成が可換であることを証明し、薄い要素が恒等セルと接続を用いて表現可能なものであることを示し、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.

研究の動機と目的

• 貼り合わせ理論やネbic構成に依存せずに、立方体ωカテゴリにおける薄い要素および可換シェルの直接的で直感的な特徴づけを提供すること。
• 従来の2次元および3次元の薄い構造と接続に関する結果を、任意の次元に一般化すること。
• 立方体nカテゴリにおける接続の集合と薄い構造の間の自然な全単射を確立すること。
• 可換シェル、薄い要素、および高次元立方体カテゴリにおける接続の役割の関係を明確にすること。

提案手法

• 従来の研究で用いられた完全な折りたたみ操作Φₙに代えて、より単純な部分的折りたたみ操作Ψを導入し、複雑な貼り合わせ機構に依存しない。
• 可換nシェルを折りたたみ写像Ψの像として定義し、これを用いて立方体ωカテゴリに薄い構造を構成する。
• 立方体nカテゴリにおける接続の構造を用いて、薄い要素を薄い構造準同型θによる可換シェルの像として定義する。
• 合成可能なアレイおよび分割の交換法則と合成公理を適用し、異なる合成順序における合成の一貫性を保証する。
• 接続Γ⁺ᵢ, Γ⁻ᵢと薄い構造θの間に自然な対応関係を確立し、θが接続およびシェル埋め込みの作用によって一意に定まることを示す。
• 再帰的構成法を用いる：立方体(n−1)カテゴリに接続を備えた場合、nセルは可換(n−1)シェルからθを用いて構成され、面写像および接続写像と整合性を持つことが保証される。

実験結果

リサーチクエスチョン

• RQ1 立方体ωカテゴリにおける薄い要素は、貼り合わせ理論やネbicを用いずにどのように特徴づけられるか？
• RQ2 任意の次元において、立方体ωカテゴリにおける可換シェルと接続の正確な関係は何か？
• RQ3 可換シェルの合成が任意の次元で可換であることを示せるか？ これは既知の2次元および3次元の結果を一般化するものか？
• RQ4 立方体nカテゴリにおいて、薄い構造と接続の集合の間に自然な全単射が存在するか？
• RQ5 接続とシェルの合成を公理化することで、立方体T複体の概念を単純化できるか？

主な発見

• 立方体ωカテゴリにおける可換シェルの合成は、任意の次元で可換であり、2次元および3次元における既存の結果を一般化する。
• 立方体ωカテゴリにおける薄い要素は、恒等セルと接続の合成として表現可能なものに限り、定理2.8で明確に形式化されている。
• 薄い構造θ: □▽Cₙ₋₁ → Cₙと接続の集合Γ⁺ᵢ, Γ⁻ᵢ: Cₙ₋₁ → Cₙの間には自然な全単射が存在する。これは定理3.1で確立されている。
• 薄い構造準同型θによる定義と接続Γ⁺ᵢ, Γ⁻ᵢによる定義が完全に一致し、定式化の間の整合性が保証される。
• 完全な折りたたみΦₙの代わりに部分的折りたたみ操作Ψを用いることで、理論が簡略化され、本質的な構造が保たれ、より直感的かつアクセスしやすくなる。
• 任意のCₙ内の長方形の合成可能な分割は、合成可能なアレイに refining でき、接続の存在により、すべてのこのような合成が等しくなることが保証される。