[論文レビュー] On the Hofer-Zehnder conjecture on $\mathbb{C} ext{P}^d$ via generating functions (with an appendix by Egor Shelukhin)

Simon Allais|arXiv (Cornell University)|Oct 27, 2020

Geometric and Algebraic Topology被引用数 1

ひとこと要約

本稿は、複素射影空間 $\mathbb{C}P^d$ 上におけるホーファー＝ツェンダー予想を生成関数に基づく証明により提示している。すべてのハミルトニアン微分同相写像が非退化周期点を少なくとも $d+2$ 個持つならば、無限個の周期点を持つことが示された。この手法はフローリングホモロジーおよび J-ホロモーレック曲線を回避し、生成関数から導かれるパーシステンスモジュールを用いてバーコードを構成する。主な結果はフランクスの定理を一般化し、古典的モース理論的手法によりシェルキンのホモロジー的予想を $\mathbb{C}P^d$ に対して確認するものである。

ABSTRACT

We use generating function techniques developed by Givental, Th\'eret and ourselves to deduce a proof in $\mathbb{C} ext{P}^d$ of the homological generalization of Franks theorem due to Shelukhin. This result proves in particular the Hofer-Zehnder conjecture in the non-degenerated case: every Hamiltonian diffeomorphism of $\mathbb{C} ext{P}^d$ that has at least $d+2$ non-degenerated periodic points has infinitely many periodic points. Our proof does not appeal to Floer homology or the theory of $J$-holomorphic curves. An appendix written by Shelukhin contains a new proof of the Smith-type inequality for barcodes of Hamiltonian diffeomorphisms that arise from Floer theory, which lends itself to adaptation to the setting of generating functions.

研究の動機と目的

• フローリングホモロジーおよび J-ホロモーレック曲線に依存せずに、$\mathbb{C}P^d$ 上におけるホーファー＝ツェンダー予想の生成関数に基づく代替的証明を提供すること。
• 局所フローリングホモロジーに等価な不変量としてホモロジー的数 $N(\phi; F)$ を確立し、シェルキンの予想の古典的モース理論的解釈を可能にする。
• $\mathbb{C}P^d$ のハミルトニアン微分同相写像 $\phi$ に対して $N(\phi; F) > d+1$ ならば無限個の周期点を持つことを証明し、フランクスの定理を高次元に拡張すること。
• バーコードに対するスミス型不等式を生成関数の設定に一般化し、フローリング理論的結果を古典的手法に適応可能にする。

提案手法

• ハミルトニアンホロモトピーに関連する生成関数から、フローリングホモロジーに類似したパーシステンスモジュール $ (G_{(-\infty,t)}^*(h_s; F))_t $ を構成する。
• パーシステンスモジュールをバーコードとして表現し、無限大のバーはスペクトル不変量に対応し、有限のバーは非自明な局所ホモロジーを持つ固定点に対応する。
• ホモロジー的数 $ N(\phi; F) = \sum_{x \in \text{Fix}(\phi)} \dim C_*(\phi; x; F) $ を定義し、それが体 $ F $ 上での局所フローリングホモロジーの和に等しいことを示す。
• $\mathbb{Z}$-作用を用いて周期性を解析する：有限のバーの $\mathbb{Z}$-軌道が有限個であるならば、固定点も有限個である。
• 係数に $\Lambda_K$ を用いたフィルター付きフローリングホモロジーを用いて、スミス型不等式 $ p \cdot \beta_{\text{tot}}(\phi, F_p) \leq \beta_{\text{tot}}(\phi^p, F_p) $ を確立し、周期点の増加に関する主要な不等式を証明する。
• スペクトル不変量および作用窓を用いてバーの長さを、周期点の増加を制御する総バー長 $ \beta_{\text{tot}}(\phi, K) $ に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ホーファー＝ツェンダー予想は $\mathbb{C}P^d$ に対して成り立つのか。すなわち、周期点が有限個のハミルトニアン微分同相写像は、ちょうど $d+1$ 個の周期点を持つか、さもなければ無限個の周期点を持つのか。
• RQ2 局所ホモロジーに基づいて定義されるホモロジー的数 $N(\phi; F)$ は、生成関数および古典的モース理論によって実現可能か。
• RQ3 フィルター付きフローリングホモロジーとノビコフ係数を用いて、フローリングホモロジーを一切使わずにスミス型不等式 $ p \cdot \beta_{\text{tot}}(\phi, F_p) \leq \beta_{\text{tot}}(\phi^p, F_p) $ を証明可能か。
• RQ4 ハミルトニアン微分同相写像のバーコード構造は、生成関数から完全に再構成可能か。$\mathbb{Z}$-作用およびスペクトル不変量を保つことができるか。
• RQ5 総バー長 $ \beta_{\text{tot}}(\phi, K) $ は周期点の増加、特に素数周期に対して制御可能か。

主な発見

• すべてのハミルトニアン微分同相写像 $\phi$ に対して、$N(\phi; F) > d+1$ ならば無限個の周期点を持つ。これはフランクスの定理のホモロジー的一般化を確認する。
• 体 $F$ が特徴数 0 ならば、すべての十分に大きな素数 $p$ に対して $\phi$ は $p$-周期点を持つ。また、$k$ 未満の周期の固定点の数は、少なくとも $ \frac{k^2}{\log k} $ の割合で増加する。
• $F$ が特徴数 $p \neq 0$ ならば、$\phi$ は無限個の周期点を持ち、その周期は $p$ のべき、すなわち $\{ p^k \mid k \in \mathbb{N} \}$ に属する。
• スミス型不等式 $ p \cdot \beta_{\text{tot}}(\phi, F_p) \leq \beta_{\text{tot}}(\phi^p, F_p) $ が成り立ち、係数に $\Lambda_K$ を用いたフィルター付きフローリングホモロジーによる証明が生成関数の設定に適応された。
• 総バー長 $ \beta_{\text{tot}}(\phi, K) $ は体の拡張に関して不変であり、$\text{char}(K) = p$ のとき $ \beta_{\text{tot}}(\phi, K) = \beta_{\text{tot}}(\phi, F_p) $ を満たす。これにより、係数体にわたる一貫性が保証される。
• バーコード内における有限バーの $\mathbb{Z}$-軌道の数は $K(\phi, K)$ に等しく、無限バーの数は $B(K) = \dim_K H_*(\mathbb{C}P^d; K) = d+1$ に等しい。これはアーノルド予想と一致する。