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

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

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

ひとこと要約

本稿では、離散的モース理論が多様体のホモロジーを評価する際、古典的モース理論と同等の精度に達することを確立している。PL三角形分割にモース関数を適用し、インデックス 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.

研究の動機と目的

• 多様体ホモロジーの評価における古典的モース理論と離散的モース理論の間の双対性を確立すること。
• ガヤイの最近の離散的モース関数に関する結果を、古典的モース関数と完全な双対性を持つように拡張すること。
• Zivaljevicの未解決問題、すなわち単連結な滑らかな d-次元多様体（d=4 を除く）に対して局所的構成可能三角形分割が存在するかという問題を解決すること。
• 細分化を用いて幾何的連結性の概念を組合せ的不変量（崩壊深さ）に翻訳すること。

提案手法

• 多様体のPL三角形分割に対して、境界臨界な離散的モース関数を許容する細分化を構成すること。
• 古典的モース理論における臨界点と離散的モース理論における臨界面の間の双対性を用い、インデックス i の c_i 個の臨界点を、次元 d−i の内部臨界面 c_i 個に対応させること。
• PLトポロジーおよび離散的モース理論の技術を適用し、離散関数が境界臨界であり、かつ元のモース関数の全ホモロジー的精度を捉えられることを保証すること。
• PL三角形分割の構造と崩壊性質を活用し、幾何的連結性と組合せ的崩壊深さの関係を明らかにすること。
• 局所的構成可能複体に関する結果を活用し、単連結な滑らかな d-次元多様体（d≠4）に対して、このような三角形分割が存在することを証明すること。
• 三角形分割の精緻化を通じて、幾何的連結性と崩壊深さの間の対応関係を確立すること。

実験結果

リサーチクエスチョン

• RQ1 離散的モース理論は、多様体のホモロジーを評価する際、古典的モース理論と同等のホモロジー的精度に達することができるか？
• RQ2 すべての単連結な滑らかな d-次元多様体（d=4 である可能性を除く）は、局所的構成可能三角形分割をもつだろうか？
• RQ3 古典的な幾何的連結性の概念は、崩壊深さのような組合せ的不変量によって完全に捉えられるだろうか？
• RQ4 細分化された三角形分割上において、古典的モース関数の臨界点と離散的モース関数の臨界面の間に双対性が存在するだろうか？
• RQ5 細分化はどのようにして幾何的連結性を組合せ的崩壊深さに翻訳可能にするのか？

主な発見

• 任意の多様体のPL三角形分割にモース関数を適用し、インデックス i の臨界点を c_i 個持つ場合、次元 d−i の内部臨界面を c_i 個持つ境界臨界な離散的モース関数を許容する細分化が存在する。
• すべての単連結な滑らかな d-次元多様体（d=4 である可能性を除く）は、局所的構成可能三角形分割をもつ。これはZivaljevicが提起した問題を解決する。
• 古典的な幾何的連結性の概念は、細分化を介して、完全に組合せ的不変量（崩壊深さ）に翻訳可能である。
• 古典的モース理論と離散的モース理論の間の双対性は、一般に確立され、これまでの部分的な結果を拡張する。
• 三角形分割が十分に精緻化されているとき、崩壊深さは幾何的連結性の組合せ的特徴付けを提供する。