[論文レビュー] Contact spectral invariants and persistence

Maia Fraser|arXiv (Cornell University)|Feb 20, 2015

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

ひとこと要約

本稿は、生成関数に基づく容量を、保存モジュールにおけるホモロジー類の保存として解釈することにより、接触スペクトル不変量と恒続ホモロジーの間の関係を確立する。${\mathbb{Z}}_k$-可換接触容量を導入し、レンズ空間の順序可能性を示す。これは、接触ホモロジーおよび可換生成関数ホモロジーから得られた既存の結果と整合する、恒続ホモロジーを用いた新たな視点を提供する。

ABSTRACT

This sketch shows that the usual generating function based capacities have an interpretation in the language of persistent homology as persistences of certain homology classes in the persistence module formed by the corresponding generating function homology groups. This viewpoint suggests various new invariants, in particular a $\mathbb{Z}_k$-equivariant capacity which can be used to prove orderability of lens spaces, proved by Milin (2008) using contact homology and by Sandon (2010) using equivariant generating function homology. These are informal notes originally circulated in January 2014.

研究の動機と目的

• 生成関数に基づく標準的なシンプレクティックおよび接触容量を、恒続ホモロジーの言語で解釈すること。
• 恒続ホモロジーを用いて、${\mathbb{Z}}_k$-可換接触容量を新たな不変量として導入すること。
• ${\mathbb{Z}}_k$-可換容量がレンズ空間の順序可能性を示すために使用できることを示し、接触ホモロジーおよび可換GFホモロジーから得られた結果と一致させること。
• 生成関数容量の枠組みを、特に可換設定において恒続ホモロジーと統一すること。
• 保存モジュールを通じて、位相的データ解析と接触・シンプレクティック幾何学との間の概念的ブリッジを提供すること。

提案手法

• 本稿は、$M = S^{2n}$ または $S^{2n} \times S^1$ 上のベクトルバンドル $E$ 上の生成関数 $S$ の部分集合 $E^a = \{S \leq a\}$ の下位集合から、保存モジュール $V_a = H_p(E, E^a)$ を構成する。
• スペクトル不変量 $c(\phi)$ は、$\theta$ をトム同型、$\mu$ を基底の方向クラスとするとき、$\eta = \theta(\mu) \in H_p(E, E^{-\infty})$ の保存として定義される。
• ${\mathbb{Z}}_k$-可換の場合には、同相ホモロジー群 $G_{{\mathbb{Z}}_k,p}^{(a,\infty]}(\phi)$ を用いて、保存モジュール $W_a(\phi)$ を定義し、包含写像によって誘導される写像を持つ、ベクトル空間のフィルター族を形成する。
• ${\mathbb{Z}}_k$-可換容量 $c^p_{{\mathbb{Z}}_k}(\phi)$ が、生成子 $\eta^p$ の保存として定義され、共役変換に関して不変かつ単調であることを証明する。
• 臨界値における $W_a$ のサンドンによる計算を用いて、$p = 2n\ell$ のとき $[c^p_{{\mathbb{Z}}_k}(\widehat{B(R)})] = [\ell R]$ を示し、不変量の非自明性を確認する。
• 接触容量 $c^p_{{\mathbb{Z}}_k,\text{contact}}(\widehat{\mathcal{U}})$ が、$\widehat{\mathcal{U}} = \mathcal{U} \times S^1$ のとき、シンプレクティック容量 $c^p_{{\mathbb{Z}}_k,\text{symp}}(\mathcal{U})$ に等しいことを確立し、2つの設定の整合性を示す。

実験結果

リサーチクエスチョン

• RQ1 接触幾何学およびシンプレクティック幾何学における標準的な生成関数に基づく容量は、どのように恒続ホモロジーの観点から解釈できるか？
• RQ2 特に ${\mathbb{Z}}_k$-可換性を含む、保存フレームワークを可換設定に拡張すると、どのような新しい不変量が生じるか？
• RQ3 ${\mathbb{Z}}_k$-可換容量を用いて、非圧縮定理およびレンズ空間の順序可能性を証明できるか？
• RQ4 可換生成関数ホモロジー群によって形成される保存モジュールは、包含およびフィルトレーションに関してどのように振る舞うか？
• RQ5 可換ホモロジーのファンクター性の性質は、得られる容量の不変性および単調性をどの程度保証するか？

主な発見

• 生成関数を用いて定義される標準的な接触およびシンプレクティック容量は、保存モジュール $H_p(E, E^a)$ における特定のホモロジー類の保存と等価である。
• 新たな ${\mathbb{Z}}_k$-可換接触容量 $c^p_{{\mathbb{Z}}_k}(\phi)$ は、可換ホモロジー群 $W_a(\phi)$ 内のクラス $\eta^p$ の保存として定義され、共役変換に関して不変かつ単調である。
• 球体 $\widehat{B(R)} \subset \mathbb{R}^{2n} \times S^1$ に対して、$p = 2n\ell$ のとき $[c^p_{{\mathbb{Z}}_k}(\widehat{B(R)})] = [\ell R]$ が成り立ち、不変量の非自明性が確認される。
• この容量は、レンズ空間の順序可能性を示す、恒続理論に基づく新たな証明を提供し、接触ホモロジーおよび可換GFホモロジーによって既に得られた結果と一致する。
• 接触容量 $c^p_{{\mathbb{Z}}_k,\text{contact}}(\widehat{\mathcal{U}})$ は、$\widehat{\mathcal{U}} = \mathcal{U} \times S^1$ のとき、シンプレクティック容量 $c^p_{{\mathbb{Z}}_k,\text{symp}}(\mathcal{U})$ に等しくなる。これにより、シンプレクティックおよび接触の設定の間の整合性が確立される。