[論文レビュー] Normalisation for the fundamental crossed complex of a simplicial set

Ronald Brown, Rafael Sivera|ArXiv.org|Nov 23, 2006

Topological and Geometric Data Analysis参考文献 42被引用数 6

ひとこと要約

この論文は、単体的集合の基本交差複体に対する正規化定理を確立し、アーベルでない設定への古典的なEilenberg-Mac Lane正規化の拡張を提供する。ホモトピー加法補題（HAL）を活用し、非正規化および正規化された交差複体を構成することで、非正規化複体から正規化複体への商写像がホモトピー同値であることを証明しており、正規化複体は非退化単体によって自由に生成される。

ABSTRACT

Crossed complexes are shown to have an algebra sufficiently rich to model the geometric inductive definition of simplices, and so to give a purely algebraic proof of the Homotopy Addition Lemma (HAL) for the boundary of a simplex. This leads to the {\it fundamental crossed complex} of a simplicial set. The main result is a normalisation theorem for this fundamental crossed complex, analogous to the usual theorem for simplicial abelian groups, but more complicated to set up and prove, because of the complications of the HAL and of the notion of homotopies for crossed complexes. We start with some historical background, {and give a survey of the required basic facts on crossed complexes.}

研究の動機と目的

• ホモトピー加法補題（HAL）を交差複体の枠組み内で完全に代数的に展開するためのフレームワークを構築すること。
• 単体的集合の基本交差複体を定義し、非アーベルなホモトピー的データを捉えること。
• 交差複体に対して、古典的なEilenberg-Mac Lane定理に類似した正規化定理を確立すること。
• 正規化された基本交差複体が非退化単体によって自由に生成され、非正規化バージョンとホモトピー同値であることを示すこと。
• 交差複体を用いて非アーベル設定におけるアサイクルモデル理論を応用する基盤を提供すること。

提案手法

• 単体的集合 $K$ のすべての単体上で自由に生成される非正規化基本交差複体 $\Pi^\Upsilon K$ を構成する。
• 非退化要素からなる部分複体 $DK$ を $\Pi^{0N}K$ から除いた商として正規化された基本交差複体 $\Pi K$ を定義する。
• ホモトピー加法補題（HAL）を用いて、交差複体内の境界写像を記述し、単体の境界を代数的に表現する。
• 正規化写像を定義するための作用素 $\phi = \phi^0 \phi^1 \cdots \phi^k \cdots$ を導入し、$\phi DK = 0$ が成り立つように保証する。
• アサイクルモデル構造を用いて、商写像 $p: \Pi^\Upsilon K \to \Pi K$ がホモトピー同値であり、そのセクション $q$ を持つことを証明する。
• 群oids作用とテンソル積の構造を活用し、交差複体の構造を用いて高次ホモトピー的構造を代数的にモデル化する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー加法補題は、交差複体の枠組み内で完全に代数的に定式化・証明可能であるか？
• RQ2 単体的集合の基本交差複体は、その幾何的単体的構造を代数的に反映するようにどのように構成できるか？
• RQ3 単体的アーベル群の古典的正規化に類似した、交差複体に対する正規化プロセスは存在するか？
• RQ4 正規化された基本交差複体は、非正規化バージョンのホモトピー的情報を保持しているか？その仕組みは何か？
• RQ5 正規化された交差複体は非退化単体によって自由に生成されると言えるか？また、商写像はホモトピー同値であるか？

主な発見

• ホモトピー加法補題（HAL）は交差複体の圏内で代数的に確立され、単体的集合における境界関係の非アーベル一般化を提供する。
• 非正規化基本交差複体 $\Pi^\Upsilon K$ は、単体的集合 $K$ のすべての単体上で自由に生成され、境界写像はHALによって定義される。
• 正規化された基本交差複体 $\Pi K$ は $\Pi^{0N}K / DK$ に同型であり、ここで $DK$ は非退化単体によって生成される部分複体である。
• 商写像 $p: \Pi^\Upsilon K \to \Pi K$ はホモトピー同値であり、そのセクション $q$ を持つ。これにより正規化定理（定理11.7）が確立される。
• 正規化された交差複体 $\Pi K$ は、$K$ の非退化単体の像によって自由に生成され、境界写像はHALによって決定される。
• 系として、単体的集合の「厚い」幾何的実現から「標準的」幾何的実現への射影がホモトピー同値であることが示され、古典的な位相的結果が代数的に確認される。