[論文レビュー] Discrete Morse Theory Is As Perfect As Morse Theory

Bruno Benedetti|arXiv (Cornell University)|Oct 4, 2010

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

ひとこと要約

本論文は、離散的モース理論が多様体のホモロジーを評価する際、古典的モース理論と同等の精度を達成することを確立している：可縮三角形分割に、インデックス i の臨界点を c_i 個もつモース関数が与えられたとき、精緻化された分割は、次元 d−i の内部臨界面を c_i 個もつ境界臨界な離散的モース関数を許容する。この双対性は先行研究を拡張し、局所的に構成可能な三角形分割および組合せ的崩壊深さに関する未解決問題を解消する。

ABSTRACT

In bounding the homology of a manifold, Forman's Discrete Morse theory recovers the full precision of classical Morse theory: Given a PL triangulation of a manifold that admits a Morse function with c_i critical points of index i, we show that some subdivision of the triangulation admits a boundary-critical discrete Morse function with c_i interior critical faces of dimension d-i. This dualizes and extends a recent result by Gallais. Further consequences of our work are: (1) Every simply connected smooth d-manifolds (except possibly when d=4) admits a locally constructible triangulation. (This solves a problem by Zivaljevic.) (2) Up to refining the subdivision, the classical notion of geometric connectivity can be translated combinatorially via the notion of collapse depth.

研究の動機と目的

• 多様体ホモロジーの境界を評価する文脈において、古典的モース理論と離散的モース理論の間の双対性を確立すること。
• Gallaisの最近の離散的モース関数に関する結果を境界臨界な設定へと拡張すること。
• Zivaljevicの未解決問題である、単連結な滑らかな d-次元多様体（d≠4）に対して局所的に構成可能な三角形分割が存在することを解消すること。
• 精緻化を介して、崩壊深さを通じて幾何的連結性を組合せ的に特徴付けること。

提案手法

• 各インデックス i に対して c_i 個の臨界点を持つモース関数を備えた多様体のPL三角形分割を使用する。
• 三角形分割を精緻化するプロセスを適用し、次元 d−i の内部臨界面を c_i 個もつ境界臨界な離散的モース関数が出現するようにする。
• 臨界点と臨界面の間の双対性を活用し、離散的設定においても古典的モース理論的境界を再現する。
• 崩壊深さを幾何的連結性の組合せ的代理変数として用い、精緻化により精緻化する。
• 位相的不変性および双対性の原則を用いて、滑らかからPL設定への結果の拡張を行う。
• 離散的モース関数の構造を用いて、局所的に構成可能な三角形分割の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 離散的モース理論は、多様体ホモロジーの境界を評価する際、古典的モース理論と同等のホモロジー的精度を達成できるか？
• RQ2 任意の単連結な滑らかな d-次元多様体（d≠4）は、局所的に構成可能な三角形分割をもつのか？
• RQ3 離散的モース理論において、幾何的連結性は崩壊深さを通じて組合せ的に捉えられるか？
• RQ4 臨界点と臨界面の間の双対性は、古典的モース理論から離散的モース理論へどのように拡張されるか？
• RQ5 精緻化は、幾何的概念を組合せ的不変量へと翻訳する際に果たす役割は何か？

主な発見

• 任意のPL三角形分割に、インデックス i の臨界点を c_i 個もつモース関数が与えられた多様体に対して、次元 d−i の内部臨界面を c_i 個もつ境界臨界な離散的モース関数を許容する分割が存在する。
• 任意の単連結な滑らかな d-次元多様体（d=4 である可能性を除き）は、局所的に構成可能な三角形分割をもつ。これはZivaljevicの未解決問題を解消する。
• 古典的幾何的連結性の概念は、精緻化を介して組合せ的に崩壊深さへと翻訳可能であり、トポロジーと離散幾何学との間の新たな関係を確立する。
• ホモロジー境界の文脈において、古典的と離散的モース理論の間の双対性は完全に実現され、古典理論の精度を完全に再現する。
• Gallaisの研究を拡張し、境界臨界な離散的モース関数を導入し、位相的不変量の組合せ的解釈を精緻化した。