[論文レビュー] On $d$-dimensional cycles and the vanishing of simplicial homology

Emma Connon|arXiv (Cornell University)|Nov 29, 2012

Topological and Geometric Data Analysis参考文献 14被引用数 5

ひとこと要約

この論文は、高次元へのグラフサイクルの組合せ的一般化として$d$次元サイクルの概念を導入し、特性2の体上で、$d$次元における非ゼロの単体的ホモロジーが、$d$次元サイクルの存在と同値であることを示している。さらに、向き付け可能な$d$次元サイクルが任意の体上で非ゼロホモロジーを生成することを証明し、代数的ホモロジーと単体的複体内の明示的な組合せ的構造との間の関係を確立している。

ABSTRACT

In this paper we introduce the notion of a $d$-dimensional cycle which is a homological generalization of the idea of a graph cycle to higher dimensions. We examine both the combinatorial and homological properties of this structure and use these results to describe the relationship between the combinatorial structure of a simplicial complex and its simplicial homology. In particular, we show that over any field of characteristic 2 the existence of non-zero $d$-dimensional homology corresponds exactly to the presence of a $d$-dimensional cycle in the simplicial complex. We also show that $d$-dimensional cycles which are orientable give rise to non-zero simplicical homology over any field.

研究の動機と目的

• 単体的複体における非ゼロ単体的ホモロジーに対応する明示的な組合せ的構造を同定すること。
• 高次元単体的複体におけるホモロジーが非ゼロであるための組合せ的特徴付けの欠如に対処すること。
• グラフサイクルの概念を$d$次元サイクルという概念によって高次元に一般化すること。
• $d$次元サイクルの存在と、さまざまな体上での非ゼロ単体的ホモロジーとの間の明確な関係を確立すること。

提案手法

• 任意の$(d-1)$次元単体が偶数個の$d$次元単体に共有される純$d$次元単体的複体として、$d$次元サイクルの形式的定義を導入する。
• 隣接する$d$次元単体間で一貫した向きを用いて、向き付け可能な$d$次元サイクルを定義し、境界写像でのキャンセルを保証する。
• 境界写像$\partial_d$を用いて、向き付け可能な$d$次元サイクル内の向き付き$d$次元単体の和が、ホモロジカルな$d$次元サイクルを形成することを示す。
• 任意の体上でホモロジー代数を適用し、このようなサイクルが非自明なホモロジー類を生成することを示す。
• 特に、特性3のモア空間の場合を分析することで、ホモロジーが存在するが$d$次元サイクルが存在しない場合を探索する、最小ホモロジカルサイクルのサポート複体を分析する。
• 特性2の体上で、非ゼロの$d$次元ホモロジーが、単体的複体内に$d$次元サイクルが存在することと同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 単体的複体における次元$d$における非ゼロ単体的ホモロジーに対応する組合せ的構造は何か？
• RQ2 特性2の体上で、非ゼロの$d$次元ホモロジーが、$d$次元サイクルの存在によって完全に特徴付けられるか？
• RQ3 向き付け可能な$d$次元サイクルが、任意の体上で非ゼロホモロジーを保証する条件は何か？
• RQ4 有限特性の体上で、$d$次元において非ゼロホモロジーが$d$次元サイクルに由来しない例は存在するか？
• RQ5 係数がすべて±1でない場合、非定数係数をもつ最小ホモロジカル$d$次元サイクルを組合せ的に記述できるか？

主な発見

• 任意の特性2の体上で、非ゼロの$d$次元単体的ホモロジーは、単体的複体内に$d$次元サイクルが存在することと同値である。
• 向き付け可能な$d$次元サイクルは、任意の体上で非ゼロホモロジーを生成する。なぜなら、その向き付き単体の和が非境界ホモロジカル$d$次元サイクルを形成するからである。
• 実射影平面の三角形分割は、特性2の体上で非ゼロの2次元ホモロジーを持つが、向き付け可能な2次元サイクルを含まない。これは、向き付け可能性に関する逆は成り立たないことを示している。
• 特性3のモア空間は、特性3の体でのみ非ゼロの2次元ホモロジーを持つ最小の単体的複体であり、いかなる種類の2次元サイクルも含まない。
• モア空間の特性3において、最小ホモロジカル2次元サイクルは1つの単体に係数3を必要とし、これは$\mathbb{Z}$上での最小サイクルが非定数係数をとることを示している。
• モア空間のサポート複体は、2次元サイクルにほぼ似ている—3つの1次元単体がそれぞれ3つの2次元単体に属するが、他のすべての1次元単体はちょうど2つの2次元単体に属しており、$d$次元サイクルに近い構造を示している。