[論文レビュー] Strong homotopy types, nerves and collapses

Jonathan Ariel Barmak, Elías Gabriel Minian|ArXiv.org|Jul 17, 2009

Advanced Topology and Set Theory参考文献 16被引用数 10

ひとこと要約

この論文は、新しい種類の崩壊—強崩壊—を用いて単体的複体の強ホモトピー型を導入し、古典的単体的崩壊よりも構造的な代替手段を提供する。コアの存在と一意性を確立し、最小複体間の強ホモトピー同値が同型であることを証明し、頂点に同一性を持つ非回避的複体のコアが再び非回避的であることを示し、回避性予想を最小複体に還元する。

ABSTRACT

We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of using strong collapses is the existence and uniqueness of cores and their relationship with the nerves of the complexes. From this theory we derive new results for studying simplicial collapsibility with a different point of view. We analyze vertex-transitive simplicial $G$-actions and prove a particular case of the Evasiveness conjecture for simplicial complexes. Moreover, we reduce the general conjecture to the class of minimal complexes. We also strengthen a result of V. Welker on the barycentric subdivision of collapsible complexes. We obtain this and other results on collapsibility of polyhedra by means of the characterization of the different notions of collapses in terms of finite topological spaces.

研究の動機と目的

• 強崩壊に基づく単体的複体の新しいホモトピー論を構築すること。強崩壊は古典的崩壊よりも構造的である。
• 古典的崩壊理論におけるコアの一意性の欠如という問題を解決するため、一意的かつ良好に振る舞うコアを持つフレームワークを導入すること。
• 強ホモトピー型、ネorsk（神経）、および有限位相空間の関係を調査し、崩壊可能性をよりよく理解すること。
• 頂点に同一性を持つ単体的複体に対する回避性予想の特殊ケースを証明すること。
• 頂点に同一性を持つ非回避的複体のコアが再び非回避的であることを示し、一般の回避性予想を最小複体のクラスに還元すること。

提案手法

• 支配頂点の開星の削除として強崩壊を定義する。支配とは、リンクが単体的錐であることを意味する。
• 連続性クラスを用いて強ホモトピー同値を導入し、古典的ホモトピー論を一般化する。
• 有限 $T_0$-空間を単体的複体のモデルとして用い、単体の半順序集合を介して有限空間と単体的複体の間に双対性を確立する。
• 関数 $\mathcal{F}: V_K \to \mathbb{N}$ を用いて、複体 $\mathcal{F}K$ の $n$ 重コピーを定義し、複数コピーの概念を一般化する。
• $\mathcal{F}K$ が $n$-崩壊可能であれば $K$ が $n$-崩壊可能であることを、頂点削除順序に関する帰納的議論を用いて証明する。
• ネorsk 操作を繰り返し適用することで、複体のコアに到達することを示し、コア検出の新しい計算手法を確立する。

実験結果

リサーチクエスチョン

• RQ1 コアの一意性を保証し、崩壊可能性解析を簡素化する、より構造的な崩壊の概念を定義できるか？
• RQ2 強ホモトピー型、ネorsk、および単体的複体のコアの間の関係は何か？
• RQ3 頂点に同一性を持つ非回避的複体のコアは、再び非回避的か？
• RQ4 回避性予想は最小複体のクラスに還元できるか？
• RQ5 群作用を伴う複体の文脈において、強崩壊は古典的崩壊および非回避性とどのように関係するか？

主な発見

• 任意の有限単体的複体について、強崩壊におけるコアは同型を除いて一意的であり、古典的コアにおける一意性の欠如問題を解決する。
• 強崩壊は古典的崩壊の特別な場合ではあるが、最小複体間の強ホモトピー同値が同型であることを保証する。
• ネorsk 操作を繰り返し適用すると、複体のコアに収束する。これにより、コア検出の新しい計算手法が得られる。
• $\mathcal{F}K$ が $n$-崩壊可能であれば $K$ が $n$-崩壊可能であり、特に $\mathcal{F}K$ が非回避的であれば $K$ も非回避的である。
• 頂点に同一性を持つ非回避的複体のコア自体が非回避的であり、このような複体はそのコアの $n$ 重コピーと同型である。
• 回避性予想は最小複体に還元される：最小で、頂点に同一性を持ち、非回避的な複体が一点であれば、全予想が成立する。