[論文レビュー] Computing Invariants of Simplicial Manifolds

Michael Joswig|ArXiv.org|Jan 15, 2004

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

ひとこと要約

この論文は、有限単体複体、特に単体多様体における代数的不変量—主にホモロジー、コホモロジー、ホモトピー群—を計算するためのアルゴリズムの包括的サーベイを提示する。単体的および細胞的ホモロジーを用いた実用的な計算に焦点を当て、環および体上の行列削減を活用し、polymake、PLEX、GAP などのソフトウェアにおける実装を強調することで、ベッチ数、 torsion 部分群、カップ積といった不変量の効率的計算を可能にする。

ABSTRACT

This is a survey of known algorithms in algebraic topology with a focus on finite simplicial complexes and, in particular, simplicial manifolds. Wherever possible an elementary approach is chosen. This way the text may also serve as a condensed but very basic introduction to the algebraic topology of simplicial manifolds. This text will appear as a chapter in the forthcoming book "Triangulated Manifolds with Few Vertices" by Frank H. Lutz.

研究の動機と目的

• 有限単体複体、特に単体多様体の代数的不変量を計算する既存のアルゴリズムをサーベイすること。
• 計算トポロジーの文脈における代数的トポロジーへの自己完結的で初等的な紹介を提供すること。
• 実際のソフトウェア実装を備えたアルゴリズムに焦点を当て、環および体上の実用的計算を強調すること。
• 単体的ホモロジーと細胞的ホモロジーのモデルを比較し、細胞分割を用いることで得られる効率性の向上を強調すること。
• 理論的代数的トポロジーと計算的実践を結ぶために、不変量を実装可能なアルゴリズムおよびソフトウェアに結びつけること。

提案手法

• 可換環 R 上の境界行列を用いた単体的ホモロジーの計算。境界写像は、面の削除の交互和として定義される。
• 体上でガウスの消去法を用いてホモロジー群の次元（ベッチ数）を計算し、次元ごとに O(max(f_{k+1}, f_k, f_{k-1})^3) の計算量を達成する。
• 整数ホモロジーへの拡張として、ℤ 上のスミス標準形を用い、有限生成アーベル群における torsion 部分群の計算を可能にする。
• 空間が小さな細胞分割を許容する場合、細胞的ホモロジーを用いることでより効率的な計算が可能になる。例えば、S^{d-1} は2つの d-単体で構成可能である。
• polymake/TOPAZ、PLEX、GAP などのソフトウェアツールを活用し、カップ積、ステイフェル＝ブローウェィング類、交差形式といった不変量の実装と計算を実施する。
• 有効ホモロジーと関数型プログラミング技術（例えば、セルジャールトのフレームワーク）を用いて、単連結な複体の高次ホモトピー群を計算する。

実験結果

リサーチクエスチョン

• RQ1 境界行列と行列削減を用いた単体的多様体のホモロジー群は、どのようにして効率的に計算できるか？
• RQ2 単体的ホモロジーと細胞的ホモロジーのモデルの間で、計算量と実用的トレードオフは何か？
• RQ3 整数ホモロジーにおける torsion 部分群は、ℤ 上のスミス標準形を用いてどのように計算できるか？
• RQ4 カップ積やステイフェル＝ブローウェィング類といった高度な不変量の計算を支援するソフトウェアツールは何か？
• RQ5 有効ホモロジー技術を用いて、単連結な有限単体複体の高次ホモトピー群はどのように計算できるか？

主な発見

• 体上のホモロジーは、境界行列に対するガウスの消去法を用いることで、O(max(f_{k+1}, f_k, f_{k-1})^3) の算術演算で計算可能である。
• 整数ホモロジー群は有限生成アーベル群であり、自由部分群と torsion 部分群に分解可能で、ℤ 上のスミス標準形を用いて計算可能である。
• 複素射影平面の例は polymake/TOPAZ を用いて成功裏に計算され、このツールが高度な不変量の計算に適していることを示している。
• 細胞的ホモロジーは、S^{d-1} のような空間では線形時間で計算可能である一方、単体境界上の単体的ホモロジーは次元 d に対して指数関数的にスケーリングする。
• polymake、PLEX、GAP などのソフトウェアパッケージは、ホモロジー、コホモロジー、カップ積、交差形式の計算に実用的な実装を提供する。
• 有効ホモロジー技術により、単連結な有限単体複体の高次ホモトピー群の計算が可能であることが、ブラウンとセルジャールトの研究で示されている。