[論文レビュー] Totally normal cellular stratified spaces and applications to the configuration space of graphs

Mizuki Furuse, Takashi Mukouyama+1 more|arXiv (Cornell University)|Dec 27, 2013

Topological and Geometric Data Analysis参考文献 13被引用数 3

ひとこと要約

本稿は、グラフの配置空間をモデル化するための、正則セル複体の一般化としての完全正規セル的分層空間を導入する。アサイクルカテゴリを用いてグラフの配置空間をモデル化し、微細な分割を回避する組み合わせ的モデルを構築することで、Ghristの定理（配置空間のホモトピー次元に関する）のより単純な証明を可能にするとともに、小さなグラフにおけるグラフブraid群の明示的計算を可能にする。

ABSTRACT

The notion of regular cell complexes plays a central role in topological combinatorics because of its close relationship with posets. A generalization, called totally normal cellular stratified spaces, was introduced by the third author by relaxing two conditions; face posets are replaced by acyclic categories and cells with incomplete boundaries are allowed. The aim of this article is to demonstrate the usefulness of totally normal cellular stratified spaces by constructing a combinatorial model for the configuration space of graphs. As an application, we obtain a simpler proof of Ghrist's theorem on the homotopy dimension of the configuration space of graphs. We also make sample calculations of the fundamental group of ordered and unordered configuration spaces of two points for small graphs.

研究の動機と目的

• Abramsのモデルが要請する微細なセル分割を回避する、グラフの配置空間の組み合わせ的モデルの構築を目的とする。
• アサイクルカテゴリを用いて、セル境界が不完全な空間を扱えるように、正則セル複体の枠組みを一般化すること。
• 完全正規セル的分層空間の枠組みを用いて、Ghristの定理（グラフの配置空間のホモトピー次元に関する）の新たな、より卹簡な証明を提供すること。
• 小さなグラフにおける順序付きおよび無順序付き配置空間の基本群の明示的計算を可能にすること。
• 完全正規セル的分層空間の有用性を、位相的組合せ論および配置空間理論の文脈で示すこと。

提案手法

• フェース順序集合の条件を緩和し、代わりにアサイクルカテゴリを用い、境界が不完全なセルを許容することで、完全正規セル的分層空間の概念を導入する。
• グラフの配置空間にブraid分層を定義し、点同士の相対的位置に応じて空間を分割する。
• ブraid分層と完全正規セル的分層空間の構造を用いて、配置空間の組み合わせ的モデルを構築する。
• 特に、グラフから葉を取り除く際にホモトピー型を保ちながら、変形再びを適用してモデルを単純化する。
• アサイクルカテゴリモデルを用いて、小さなグラフにおける配置空間の基本群を明示的に計算する。
• 完全正規セル的分層空間のフェースカテゴリの構造を活用し、ホモトピー的および群論的不変量を分析する。

実験結果

リサーチクエスチョン

• RQ1 Abramsのモデルが要請する微細なセル分割を回避できる、グラフの配置空間の組み合わせ的モデルを構築することは可能か？
• RQ2 より構造的で圏論的枠組みを用いて、グラフの配置空間のホモトピー次元を再証明することは可能か？
• RQ3 小さなグラフにおける2点の順序付きおよび無順序付き配置空間の基本群は何か？ そして、その群はどのように組み合わせ的に計算できるか？
• RQ4 完全正規セル的分層空間は、配置空間の文脈で、正則セル複体をどのように一般化するか？
• RQ5 無順序配置空間における対称群の作用は、このようなモデルに自然に組み込むことができるか？

主な発見

• 本稿は、微細な分割を要しない組み合わせ的モデルを構築し、Abramsのモデルに対するより効率的で明示的な代替手段を提供する。
• 著者らは、完全正規セル的分層空間の枠組みを用いて、Ghristの定理（配置空間が$K(/pi,1)$空間である）のより単純な証明を提供する。
• 小さなグラフに対して、2点の無順序配置空間の基本群を明示的に計算し、具体的な群提示を導出する。
• 本モデルは、配置空間の$Σ_k$--equivariantホモトピー型をうまく捉えており、Abramsのモデルの限界を克服する。
• 本モデルで用いられる変形再びは、重心単体分割および正則近傍論を用いて明示的に構成されており、位相的制御が保証される。
• 完全正規セル的分層空間のフェースカテゴリがアサイクルカテゴリであることが示され、これにより圏論的ツールを用いた代数的およびホモトピー的解析が可能になる。