[論文レビュー] Combinatorial realization of the Thom-Smale complex via discrete Morse theory

Étienne Gallais|ArXiv.org|Mar 18, 2008

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

ひとこと要約

本稿は、フォーマンの離散モース理論を用いて、滑らかな多様体のトム＝スメール複体の組合せ的実現を確立し、任意の滑らかなモース関数のトム＝スメール複体が、三角形分割と離散モース関数によって実現可能であることを証明する。主な貢献は、滑らかな向き付けられた閉3次元多様体上の任意のオイラー構造が、三角形分割のハッセ図における完全マッチングとして実現可能であることを構成的証明することであり、離散モース理論とスピン^c 構造およびハイガード＝フローリングホモロジーを結びつける。

ABSTRACT

In the case of smooth manifolds, we use Forman's discrete Morse theory to realize combinatorially any Thom-Smale complex coming from a smooth Morse function by a couple triangulation-discrete Morse function. As an application, we prove that any Euler structure on a smooth oriented closed 3-manifold has a particular realization by a complete matching on the Hasse diagram of a triangulation of the manifold.

研究の動機と目的

• 滑らかなモース関数から生じるトム＝スメール複体の組合せ的実現を、離散モース理論を用いて確立すること。
• 組合せ的トム＝スメール複体における基本的恒等式 ∂^V ∘ ∂^V = 0 の2通りの直接的証明（幾何的および代数的）を提供すること。
• 組合せ的トム＝スメール複体が単体的チェイン複体とホモトピー同値であることを示すこと。
• 滑らかな向き付けられた閉3次元多様体上の任意のオイラー構造が、三角形分割のハッセ図における完全マッチングによって実現可能であることを示すこと。
• 点付きハイガード分裂およびスピン^c 構造を組合せ的に実現することで、離散モース理論とスピン^c 構造およびハイガード＝フローリングホモロジーを結びつけること。

提案手法

• 有限単体複体にフォーマンの離散モース理論を適用し、ハッセ図上の組合せ的ベクトル場（モースマッチング）によってモース関数をモデル化する。
• 臨界胞体とVパスを用いて、係数が {±1} 内の包含数およびパスの重複度によって定まる (C^V_*, ∂^V) として、組合せ的トム＝スメール複体を定義する。
• 非定常な閉じたVパスのキャンセルに基づく幾何的議論と、単体的チェイン複体へのチェインホモトピー同値性に依拠する代数的議論により、∂^V ∘ ∂^V = 0 を証明する。
• 滑らかな多様体のC^1-三角形分割と離散モースベクトル場を構成し、その結果得られる組合せ的トム＝スメール複体が滑らかなトム＝スメール複体と一致することを示す。
• 3次元多様体上のオイラー構造とスピン^c 構造の対応関係を用い、任意のオイラー構造が三角形分割のハッセ図における完全マッチングとして実現可能であることを示す。
• ハイガード＝フローリングホモロジーの結果およびトゥラエフによるスピン^c 構造とオイラー構造の対応関係を活用し、組合せ的実現をより広範な位相的枠組みに埋め込む。

実験結果

リサーチクエスチョン

• RQ1 任意の滑らかなトム＝スメール複体は、三角形分割と離散モース関数を用いて、組合せ的に実現可能だろうか？
• RQ2 組合せ的トム＝スメール複体における恒等式 ∂^V ∘ ∂^V = 0 の幾何的および代数的根拠は何か？
• RQ3 滑らかな向き付けられた閉3次元多様体上の任意のオイラー構造を、三角形分割のハッセ図における完全マッチングによって構成的に実現する方法はあるか？
• RQ4 組合せ的実現されたトム＝スメール複体は、スピン^c 構造およびハイガード＝フローリングホモロジーとどのように関係するか？
• RQ5 モース関数の勾配ベクトル場は、三角形分割上の離散モースマッチングによって誘導されるベクトル場にホモトープに変形可能だろうか？

主な発見

• 本稿は、∂^V ∘ ∂^V = 0 の2通りの証明を提供する：1つは非定常な閉じたVパスのキャンセルに基づく幾何的証明であり、もう1つは組合せ的トム＝スメール複体が単体的チェイン複体とチェインホモトピー同値であることを示す代数的証明である。
• 滑らかな多様体上の任意の滑らかなモース関数は、三角形分割と離散モース関数を用いて実現可能な組合せ的トム＝スメール複体を誘導し、滑らかな複体の完全な組合せ的実現を確立する。
• 滑らかな向き付けられた閉3次元多様体に対して、任意のオイラー構造が、ある三角形分割のハッセ図における完全マッチングから生じることを示し、オイラー構造の組合せ的実現を証明する。
• このような完全マッチング付きの三角形分割の存在は保証されており、実現はスピン^c 構造とオイラー構造の対応関係と整合的である。
• この構成により、マッチングに付随するベクトル場がモース＝スメール勾配ベクトル場とホモロジーライクに同値であることが保証され、組合せ的モデルの位相的整合性が裏付けられる。
• 両方の構造（点付きハイガード分裂およびスピン^c 構造）が離散モースデータによって組合せ的に実現可能であることを示すことで、ハイガード＝フローリングホモロジーの組合せ的基盤を支持する。