[論文レビュー] Arnold Conjecture and Morava K-theory

Mohammed Abouzaid, Andrew J. Blumberg|arXiv (Cornell University)|Mar 2, 2021

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用数 9

ひとこと要約

この論文は、フローエルの軌道のモジュライ空間の安定的複素構造を用いて、フローエルホモトピー理論を構成することで、モラバK理論を用いてアーノルド予想の強い形を証明する。フローエルの軌道のモジュライ空間の安定的複素構造を用いて、フローエルホモトピー理論を構成することで、アーノルド予想の強い形を証明する。$ H_*(M; K(n)) $ のランクが非退化な周期的ハミルトニアン軌道の数によって下から抑えられることを確立し、シンプレクティックトポロジーにおける先行研究を一般化し、コーエン＝ジョンズ＝セガールのフローエルホモトピー理論のビジョンを実現する。

ABSTRACT

We prove that the rank of the cohomology of a closed symplectic manifold with coefficients in a field of characteristic $p$ is smaller than the number of periodic orbits of any non-degenerate Hamiltonian flow. Following Floer, the proof relies on constructing a homology group associated to each such flow, and comparing it with the homology of the ambient symplectic manifold. The proof does not proceed by constructing a version of Floer's complex with characteristic $p$ coefficients, but uses instead the canonical (stable) complex orientations of moduli spaces of Floer trajectories to construct a version of Floer homology with coefficients in Morava's $K$-theories, and can thus be seen as an implementation of Cohen, Jones, and Segal's vision for a Floer homotopy theory. The key feature of Morava K-theory that allows the construction to be carried out is the fact that the corresponding homology and cohomology groups of classifying spaces of finite groups satisfy Poincaré duality.

研究の動機と目的

• 一般化されたコホモロジー理論を用いて、周期的ハミルトニアン軌道の数に対するシンプレクティックトポロジー的下界を確立すること。
• コーエン、ジョンズ、セガールのフローエルホモトピー理論のビジョンを実現するために、モラバK理論を係数に持つフローエルホモロジーのバージョンを構成すること。
• 有限群の分類空間のモラバK理論コホモロジーのポincare双対性の性質を活用して、整合的で定義されたフローエルホモロジー理論の構成を可能にすること。
• フクヤ・オノやリウ＝ティアンの先行研究を含む、任意の特徴値 $ p $ の体に対して、アーノルド予想の一般化を達成すること。
• パラメータ付きスペクトルと仮想基本鎖を用いて、ハミルトニアンフローエル理論のホモトピー論的枠組みを提供すること。

提案手法

• ハミルトニアン関数のフローのカテゴリから、モラバK理論における仮想基本鎖を用いてスペクトルカテゴリを構成する。
• フローエル軌道のモジュライ空間への安定的複素構造を用いて、モラバK理論における標準的オリエンテーションを定義する。
• スパンナー＝ホワイトヘッド双対性とパラメータ付きスペクトルを用いて、周囲多様体のホモロジーとフローのフローエルホモロジーを関連付ける。
• キューランシのフローのカテゴリと整合性のある仮想コチェーン系を用いて、モラバK理論係数付きの整合的で良好なフローエルホモロジー理論を定義する。
• アティヤ＝ヒルツブルグスペクトル系列を用いて、モラバK理論ホモロジーと特徴値 $ p $ の体を係数に持つ通常ホモロジーを関連付ける。
• スペクトルカテゴリのDK同値性を用いて、キューランシ表現の仮想コチェーン複体とフローエルチェーン複体の間の比較を確立する。

実験結果

リサーチクエスチョン

• RQ1 通常コホモロジーの代わりに、モラバK理論などの一般化されたコホモロジー理論を用いて、アーノルド予想を証明できるか？
• RQ2 フローエル軌道のモジュライ空間の安定的複素構造を用いて、どのようにフローエルホモトピー理論を構成できるか？
• RQ3 モラバK理論におけるポincare双対性は、整合的で定義されたフローエルホモロジー理論の構成を可能にする上で果たす役割は何か？
• RQ4 非退化なハミルトニアンフローの周期的軌道の数は、多様体のモラバK理論ホモロジーのランクによって下から抑えられるか？
• RQ5 キューランシのフローのカテゴリにおける仮想基本鎖の使用により、フローエルホモロジーと多様体のホモロジーの一般化されたコホモロジーとの間の比較はどのように可能になるか？

主な発見

• モラバK理論ホモロジー $ H_*(M; K(n)) $ のランクは、$ F_p[v_n^{/pm}] $-加群として、任意の時間1フローの非退化な周期的ハミルトニアン軌道の数によって上から抑えられる。
• 十分に大きな $ n $ に対して $ 2(p^n - 1) > \dim M $ が成り立つとき、モラバK理論ホモロジー $ H_*(M; K(n)) $ は $ H_*(M; F_p) \otimes_{F_p} K(n)_* $ と同じランクを持ち、これは任意の特徴値 $ p $ の体を係数に持つ通常ホモロジーのランクと一致する。
• モジュライ空間の安定的複素構造を用いたフローエルホモロジーの構成により、特徴値 $ p $ のフローエル複体を必要とせず、モラバK理論係数付きのフローエルホモロジーが実現される。
• 証明により、仮想コチェーン複体のスペクトルカテゴリとフローエルチェーン複体の間のDK同値性が確立され、ホモトピー型の比較が可能になる。
• パラメータ付きスペクトルと整合性のある仮想コチェーン系の使用により、異なるフローのカテゴリ間での構成の整合性と有限性が保証される。
• この結果は、系理1.2を含意する：任意の特徴値 $ p $ の体 $ k $ を係数に持つ通常ホモロジー $ H_*(M; k) $ のランクは、周期的軌道の数によって下から抑えられる。