[論文レビュー] Thin fillers in the cubical nerves of omega-categories

Richard Steiner|ArXiv.org|Jan 16, 2006

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

ひとこと要約

この論文は、チェーン複体とホモトピー論を用いて、薄い埋め込みを備えた階層的プリキューブセットと厳密なオメガカテゴリの間の圏同値を確立する。薄い埋め込みが構造を一意に決定することを証明し、退化写像が薄い埋め込みから導出可能であることを示しており、従来のT複体よりもより経済的かつ一般性の高い枠組みを提供する。

ABSTRACT

It is shown that the cubical nerve of a strict omega-category is a sequence of sets with cubical face operations and distinguished subclasses of thin elements satisfying certain thin filler conditions. It is also shown that a sequence of this type is the cubical nerve of a strict omega-category unique up to isomorphism; the cubical nerve functor is therefore an equivalence of categories. The sequences of sets involved are in effect the analogues of cubical T-complexes appropriate for strict omega-categories. Degeneracies are not required in the definition of these sequences, but can in fact be constructed as thin fillers. The proof of the thin filler conditions uses chain complexes and chain homotopies.

研究の動機と目的

• 事前に退化写像を仮定せずに、厳密なオメガカテゴリのキューブ的ホモロジーの概念的特徴づけを提供すること。
• シェルおよびボックスの薄い埋め込みが、キューブ的ホモロジーの構造を一意に決定することを示すこと。
• キューブ的ホモロジー関手が圏同値であることを証明し、その逆関手が薄い埋め込み条件から構成可能であることを示すこと。
• 弱いオメガカテゴリへのこの枠組みの拡張可能性を検討すること、ここで一意な単位元（ならびに退化写像）が要求されない可能性があること。
• 退化写像が薄い埋め込みとして構成可能であることを示し、キューブ的オメガカテゴリの基礎的構造を単純化すること。

提案手法

• プリキューブセットを、標準的なキューブ的関係を満たす面作用を持つ反変関手として定義する。
• プリキューブセットに階層を導入し、薄いn-セルを部分集合t_nX ⊆ X_nで区別する。
• n-シェル（n-セルの完全な境界）およびn-ボックス（1つの面を除いた境界）を定義し、両者に一意な薄い埋め込みを要求する。
• チェーン複体とチェーンホモトピーを用いて薄い埋め込み条件を証明し、ストリートらの手法を適応する。
• 退化写像を薄い埋め込みとして構成し、初期定義では必要とされないが、薄い埋め込み公理から導出可能であることを示す。
• シェルおよびボックスの薄い埋め込み条件を満たす階層的プリキューブセットは、一意に厳密なオメガカテゴリのキューブ的ホモロジーとして生じることを証明する。

実験結果

リサーチクエスチョン

• RQ1 厳密なオメガカテゴリのキューブ的ホモロジーは、定義に事前に退化写像を仮定せずに特徴づけられるか？
• RQ2 階層的プリキューブセットにどのような条件を課すと、それが一意に厳密なオメガカテゴリのキューブ的ホモロジーと同型になるか？
• RQ3 シェルおよびボックスの薄い埋め込みは、キューブ的オメガカテゴリにおける接続および退化写像の構成とどのように関係するか？
• RQ4 薄い埋め込み条件を用いて、キューブ的ホモロジー関手の逆関手を定義可能か？
• RQ5 提案された枠組みは、一意な単位元が要求されない弱いオメガカテゴリへの一般化に適しているか？

主な発見

• 厳密なオメガカテゴリのキューブ的ホモロジーは、シェルおよびボックスの両方の薄い埋め込み条件を満たし、薄い要素はオメガカテゴリにおける単位元に対応する。
• シェルおよびボックスの薄い埋め込み条件を満たす階層的プリキューブセットは、一意に厳密なオメガカテゴリのキューブ的ホモロジーと同型であり、圏同値が確立される。
• 退化写像は薄い埋め込みとして構成可能であるため、キューブ的ホモロジーの定義では原始的演算として必要とされない。
• 薄い埋め込み条件の証明はチェーン複体とチェーンホモトピーに依拠しており、以前の単体的類似と比較してアプローチが単純化される。
• 3-セルにちょうど1つの非薄い2-面を持つ具体例が構成され、薄い埋め込み条件を弱めることが不可能であることを示している。
• 適切なボックスの定義における最終条件（欠損面と反対でない非薄い面）は、必要不可欠であり、第7節の反例によってその削除が不可能であることが示されている。