[論文レビュー] Morse-Bott cohomology from homological perturbation theory

Zhengyi Zhou|arXiv (Cornell University)|Feb 18, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 82被引用数 5

ひとこと要約

この論文は、ホモロジカル摂動理論（HPT）を用いて、最小の転置性仮定の下でフローカテゴリにおける臨界多様体からなる一様なモース＝ボットコホモロジー理論を構築する。フローカテゴリにおける臨界多様体から最小の転置性仮定の下で、最小のコチェーン複体を構成する。この論文は、カスケード構成とオースティン＝ブレームモデルが、いずれもHPTの形式的応用として生じることを示し、作用スペクトル系列や、分類空間近似に依存しない等長不変性といった重要な不変量を証明する。

ABSTRACT

In this paper, we construct cochain complexes generated by the cohomology of critical manifolds in the abstract setup of flow categories for Morse-Bott theories under minimum transversality assumptions. We discuss the relations between different constructions of Morse-Bott theories. In particular, we explain how homological perturbation theory is used in Morse-Bott theories, and both our construction and the cascades construction can be interpreted as applications of homological perturbations. In the presence of group actions, we construct cochain complexes for the equivariant theory. Expected properties like the independence of approximations of classifying spaces and the existence of the action spectral sequence are proven. We carry out our construction for Morse-Bott functions on closed manifolds and prove it recovers the regular cohomology. We outline the project of combining our construction with the polyfold theory.

研究の動機と目的

• ホモロジカル摂動理論に基づく単一の枠組み内で、既存のモース＝ボットコホモロジー構成（オースティン＝ブレーム、フカヤ、カスケード）を統合すること。
• ホモロジカル摂動補題の形式的応用が、最小の転置性仮定の下でwell-definedなモース＝ボットコホモロジー理論を生じることを確立すること。
• 等長モース＝ボット理論への構成の拡張を行い、分類空間近似に依存しない不変性と作用スペクトル系列の存在を証明すること。
• 閉多様体上のモース＝ボット関数に適用した際、最小構成が通常の特異コホモロジーを回復することを検証すること。
• この構成をポリフォール理論と組み合わせるための計画を提示し、無限次元設定における転置性の処理を可能とすること。

提案手法

• 臨界多様体およびコンパクト化されたモジュライ空間上の微分形式の引き戻しと押し出し操作を用いて、最小のモース＝ボットコチェーン複体を構築する。
• ホモロジカル摂動補題を適用してコチェーン複体の微分を導出し、全構成を形式的HPT応用として扱う。
• モジュライ空間のファイバー積の転置性を最小仮定とし、コンパクト化されたフローサブ空間上の滑らかさを保証する。
• 勾配フローラインのモジュライ空間への統合を用いて微分を定義し、球体バンドル上の角度形式と接続を含む成分を含む。
• ファイバー積上の微分形式の縮約を角度形式と代表的類を用いて定義し、コホモロジー計算を可能にする。
• 群作用を組み込み、分類空間近似に依存しない不変性を証明することで、等長設定への応用を実施する。

実験結果

リサーチクエスチョン

• RQ1 オースティン＝ブレーム、フカヤ、カスケードの3つの主要なモース＝ボットコホモロジー構成は、どのように単一の形式的枠組みで統合できるか？
• RQ2 ホモロジカル摂動補題の形式的応用が、どの程度well-definedなモース＝ボットコホモロジー理論を生じるか？
• RQ3 モース＝ボット理論におけるwell-definedなコチェーン複体を構成するための必要な転置性条件は何か？
• RQ4 作用スペクトル系列は、モース＝ボットコホモロジーの文脈でどのように生じるのか、そしてその意義は何か？
• RQ5 最小のモース＝ボット構成は、分類空間近似に依存しないまま、等長理論へ拡張可能か？

主な発見

• 最小のモース＝ボットコチェーン複体は、ホモロジカル摂動補題の形式的応用として構成され、オースティン＝ブレームモデルとカスケードモデルが統合される。
• 閉多様体上のモース＝ボット関数に適用した際、この構成は特異コホモロジーを回復する。これは有限次元ケースにおける正しさを裏付ける。
• 作用スペクトル系列は存在し、モース＝ボットコホモロジーに収束する。これはフローカテゴリ構造と整合するフィルトレーションを提供する。
• 群作用が存在する場合、等長コホモロジーは分類空間近似の選択に依存せず、トポロジカル不変性が保証される。
• コチェーン複体の微分は、コンパクト化されたモジュライ空間を通じた微分形式の押し出しと引き戻しを用いて定義され、角度形式と接続を含む成分を含む。
• 対角埋め込みとファイバー積上の統合に関わる重要な恒等式の証明は、形式の閉じ性と還元代数の構造に依存し、構成のコホモロジー的整合性を確認する。