[論文レビュー] Persistent homotopy theory

John F. Jardine|arXiv (Cornell University)|Feb 23, 2020

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

ひとこと要約

この論文は、ベッチ・リップス複体とデグリーリップス複体を単体の順序集合のネorskを用いてモデル化することで、順序集合に基づく恒続的ホモトピー理論の枠組みを導入する。これにより、ホモトピー安定性定理が制御された同型の観点から再定式化される。主な貢献は、部分集合の距離 $ r $ 内に点を追加することで、恒続的ホモトピー型間に $ 2r $-同型が誘導されることを示す形式的ホモトピーインターリーブ構成であり、Quillenの順序集合のホモトピー型理論を用いて、カテゴリカルかつ順序集合論的枠組みでリップス安定性を一般化する。

ABSTRACT

Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors), which are defined on a parameter space. The category of systems of spaces admits a partial homotopy theory that is based on controlled equivalences, suitably defined, that are the output of homotopy stability results.

研究の動機と目的

• 幾何的実現に依存せず、順序集合およびそのネorskを用いて恒続的ホモトピー安定性定理を再定式化すること。
• 空間の系における制御された同型の形式的枠組みを、$ r $-インターリーブを用いて確立すること。
• 順序集合の準同型およびホモトピー論的構成を用いて、リップス安定性をカテゴリカルな設定に一般化すること。
• Quillenの順序集合のホモトピー型理論を用いて、ブルンバーグ＝レズニックのリップス安定性定理を順序集合論的証明で再確認すること。

提案手法

• ベッチ・リップスおよびデグリーリップス複体を関手 $ s \to P_s(X) $ としてモデル化し、ここで $ P_s(X) $ はサイズ $ \leq s $ の単体の順序集合である。
• ネorsk構成 $ BP_s(X) $ を用いて、順序集合を同じホモトピー型を持つ空間として実現する。これは、単体的複体の幾何的実現と同一のホモトピー型を持つ。
• 距離 $ d(y, \theta(y)) < r $ を満たす再帰写像 $ \theta: Y \to X $ を構成し、これにより順序集合準同型 $ \theta: P_s(Y) \to P_{s+2r}(X) $ を誘導する。
• 包含写像と $ \theta $ を含むホモトピーインターリーブ図式を構成し、自然変換による可換性を示す。
• $ r $-単射、$ r $-全射、$ r $-同型をホモトピー群およびパス成分に関して定義し、$ r $-同型および $ 2r $-同型を定義する。
• Quillenの順序集合のホモトピー型理論を適用し、安定性結果を証明するとともに、制御された同型下でのシステムの引き戻しと押し出しを分析する。

実験結果

リサーチクエスチョン

• RQ1 幾何的実現に依存せずに、順序集合構造およびそのネorskを用いて恒続的ホモトピー安定性をどのように再定式化できるか？
• RQ2 $ Y $ が $ X $ の $ r $-稠密拡張であるとき、包含写像 $ V_s(X) \to V_s(Y) $ の正確なホモトピー論的性質は何か？
• RQ3 ブルンバーグ＝レズニックのリップス安定性定理は、純粋に順序集合論的ツールとQuillenの理論を用いて再証明可能か？
• RQ4 空間の系の写像が制御された同型であるための条件は何か？ そして、これらの条件はファイブレーションおよびコファイブレーションとどのように作用するか？
• RQ5 $ r $-インターリーブおよび制御された同型下で、システムの押し出しと引き戻しはどのように振る舞うか？

主な発見

• $ X \subset Y $ が $ r $-稠密部分集合であるとき、誘導される包含写像 $ V_s(X) \to V_s(Y) $ はホモトピー群、パス成分、ホモロジーにおいて $ 2r $-同型である。
• 順序集合のネorsk $ BP_s(X) $ は、ベッチ・リップス複体の幾何的実現と同一のホモトピー型を捉え、順序集合に基づくホモトピー論の構築を可能にする。
• 順序集合の $ 2r $-インターリーブ図式は、$ \pi_n $、$ \pi_0 $、ホモロジー群において $ 2r $-同型を誘導し、ホモトピー安定性を証明する。
• 制御された同型は、ある $ r \geq 0 $ に対して $ r $-同型として定義され、セクションワイズファイブレーションおよびコファイブレーションと良好に作用する。
• セクションワイズファイブレーションおよび $ r $-同型の引き戻しは、セクションワイズファイブレーションおよび $ 2r $-同型である。これは、極限下での安定性を確立する。
• $ r $-インターリーブを許容するコファイブレーションの押し出しもまた $ r $-インターリーブを許容し、$ \pi_0 $ では $ r $-同型、ホモロジーでは $ 2r $-同型を誘導する。