[論文レビュー] Topological Persistence in Geometry and Analysis

Leonid Polterovich, Daniel Rosen+2 more|arXiv (Cornell University)|Apr 8, 2019

Topological and Geometric Data Analysis参考文献 80被引用数 4

ひとこと要約

本稿は、位相的持久性とシンプレクティック幾何学・解析学を結びつける基盤的枠組みを確立し、ハミルトニアン持久モジュールおよびシンプレクティックバナッハ＝マズール距離を導入する。下向きの排出列を用いたフィルター付きシンプレクティックホモロジーの計算において、フロアホモロジーの逆極限を用いることで、作用パラメータの上限関数を用いてホモロジーの明示的公式が得られる。

ABSTRACT

The theory of persistence modules is an emerging field of algebraic topology which originated in topological data analysis. In these notes we provide a concise introduction into this field and give an account on some of its interactions with geometry and analysis. In particular, we present applications of persistence to symplectic topology, including the geometry of symplectomorphism groups and embedding problems. Furthermore, we discuss topological function theory which provides a new insight on oscillation of functions. The material should be accessible to readers with a basic background in algebraic and differential topology.

研究の動機と目的

• 幾何学的・解析的文脈、特にシンプレクティックトポロジーにおいて、位相的持久性の体系的理論を構築すること。
• フィルター付きシンプレクティックホモロジーおよびスペクトル不変量などのシンプレクティック不変量と、持久ホモロジーを橋渡しすること。
• 持久モジュール構造と逆極限を用いた計算ツールを提供することにより、シンプレクティック不変量を計算可能にする。
• シンプレクティック持久性の基礎的定義、特に非ねじれ条件を含むシンプレクティックバナッハ＝マズール距離を修正・精錬すること。
• スペクトルノルムおよび作用窓を介して、バーコード不変量とハミルトニアン力学の間の関係を確立すること。

提案手法

• 星型領域上のハミルトニアン関数のフィルター付きフロアホモロジーを用いて、ハミルトニアン持久モジュールを導入する。
• 下向きの排出列を用いた逆極限原理を適用し、フィルター付きシンプレクティックホモロジーを計算する。
• 臨界作用値を避ける単調ホモトピーを用いることで、フィルター付きホモロジー群の同型を保証する。
• 正規形定理および等長定理を用いて、バーコードを局所有限型の持久モジュールに関連付ける。
• 非ねじれ条件を含むシンプレクティックバナッハ＝マズール距離を定義し、持久モジュール理論と整合性を保つようにする。
• バナッハの指示関数および単体数え上げ法を用いて、バーコードを関数論における振動および近似に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 フィルター付きシンプレクティックホモロジーのようなシンプレクティック不変量を、持久モジュールを体系的に計算するにはどうすればよいか？
• RQ2 単調ホモトピーにおいて、フィルター付きフロアホモロジーがいつ不変のままであるかを保証する条件は何か？
• RQ3 ハミルトニアン系のバーコード構造は、その背後にあるシンプレクティック多様体の幾何学的・力学的性質をどのように反映するか？
• RQ4 持久モジュール理論を尊重する正しいシンプレクティックバナッハ＝マズール距離の定式化は何か？
• RQ5 作用窓およびスペクトル不変量は、ハミルトニアン系のバーコード構造とどのように関係するか？

主な発見

• 楕円体 $E(1,N,...,N)$ のフィルター付きシンプレクティックホモロジーは、$* = -2\big{|}\left\lceil -a \right\rceil\big{|} - 2(n-1)\bigg{|}\left\lceil \frac{-a}{N} \right\rceil\bigg{|}$ の次数で $\mathbb{Z}_2$ に同型であり、それ以外の次数では消える。
• 下向きの排出列 $\{H_i\}$ 沿いのフィルター付きフロアホモロジー群の逆極限は、任意の $H_i$ に対して $\mathrm{HF}_*^{(a,\infty)}(H_i)$ に同型であり、効果的な計算が可能になる。
• 非ねじれ条件を含むシンプレクティックバナッハ＝マズール距離が定義され、持久モジュール理論と整合性を保ち、非対称性を防ぐ。
• $a > 0$ に対して、列 $h_a(U)$ はフィルター付きフロアホモロジーの逆系に対して下向きの排出列をなすため、命題 9.7.1 を適用可能になる。
• 作用窓 $(a, \infty)$ に唯一の1周期軌道（グローバル最大値）が含まれるとき、フィルター付きフロアホモロジーは $\mathbb{Z}_2$ 上1次元である。
• 原点における固定点の指数は $\mathrm{Ind}(0) = -2\big{|}\left\lceil -a \right\rceil\big{|} - 2(n-1)\bigg{|}\left\lceil \frac{-a}{N} \right\rceil\bigg{|}$ で与えられ、非自明なホモロジー類の次数を決定する。