[論文レビュー] PFH spectral invariants and $C^\infty$ closing lemmas

Oliver Edtmair, Michael Hutchings|arXiv (Cornell University)|Oct 6, 2021

Geometric and Algebraic Topology参考文献 26被引用数 4

ひとこと要約

本稿では、面積保存型曲面微分同相写像に対する周期的フローホモロジー（PFH）におけるスペクトル不変量を開発し、定量的 $C^\infty$ クロージング補題を確立する。有理数のハミルトニアン同相型類で $U$-サイクル性質を満たすものに対して、周期軌道は時間 $\delta$ のうちに周期 $O(\delta^{-1})$ のうちに出現しなければならないことが示され、$S^2$ や $T^2$ 上の $C^\infty$-一般なこのような写像では周期点の集合が稠密であることが示される。また、PFHスペクトル不変量のウェイユ法則も確立される。

ABSTRACT

We develop the theory of spectral invariants in periodic Floer homology (PFH) of area-preserving surface diffeomorphisms. We use this theory to prove $C^\infty$ closing lemmas for certain Hamiltonian isotopy classes of area-preserving surface diffeomorphisms. In particular, we show that for a $C^\infty$-generic area-preserving diffeomorphism of the torus, the set of periodic points is dense. Our closing lemmas are quantitative, asserting roughly speaking that for a given Hamiltonian isotopy, within time $δ$ a periodic orbit must appear of period $O(δ^{-1})$. We also prove a "Weyl law" describing the asymptotic behavior of PFH spectral invariants.

研究の動機と目的

• 面積保存型曲面微分同相写像に対する周期的フローホモロジー（PFH）におけるスペクトル不変量の理論を構築すること。
• このような写像のハミルトニアン同相型類に対して、定量的 $C^\infty$ クロージング補題を確立すること。
• $C^\infty$-一般な面積保存型微分同相写像が有理数のハミルトニアン同相型類に属し、$U$-サイクル性質を満たす場合、その曲面上の周期点の集合が稠密であることを証明すること。
• PFHスペクトル不変量の漸近的成長を記述するウェイユ法則を導出すること。

提案手法

• 著者らは、写像のトーラス構成を用いて、面積保存型微分同相写像の周期軌道に関連するPFHスペクトル不変量を定義する。
• 写像のトーラス $Y_\phi$ を用い、$φ$ の周期軌道をベクトル場 $∂_t$ の閉軌道に関連づける。ここに、繊維ごとのシンプレクティック形式 $ω$ と閉2形式 $ω_φ$ が存在する。
• 理論はコhomology類 $[ω_\phi] \in H^2(Y_\phi; \mathbb{R})$ に依存し、この類が整数類の実数倍である場合に有理数的であると定義される。
• 彼らは $U$-サイクル性質を導入し、特定のホモロジー類が有界順序の $U$-サイクル的であることを保証する。これは、スペクトル不変量が周期に線形に成長することを可能にする。
• シンプレクティックトポロジーにおけるボールパッキングの議論を用いて、スペクトル不変量とシンプレクティック体積を比較し、ECHスペクトル不変量 $c_k^{\text{ECH}}(X)$ を活用する。
• ウェイユ法則の証明には、次数が増加する軌道の列における極限的議論を用い、スペクトル不変量が作用差に比例して線形に成長することを示し、その割合は $O(d^{-1/2})$ である。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン同相型類にどのような条件下で、周期点の $C^\infty$-一般稠密性が成り立つか？
• RQ2 PFHにおけるスペクトル不変量は、面積保存型曲面微分同相写像の定量的クロージング補題を証明するために用いられるか？
• RQ3 周期軌道の周期が無限大に近づく際、PFHスペクトル不変量の漸近的挙動はいかなるものか？
• RQ4 大周期軌道の極限において、カルビ invariant とPFHスペクトル不変量の関係は何か？
• RQ5 $U$-サイクル性質は、スペクトル不変量の成長を制御するために果たす役割は何か？

主な発見

• 任意の有理数的かつ $U$-サイクル性質を満たすハミルトニアン同相型類 $\Phi$ に対して、$C^\infty$ クロージング性が成り立つ：任意の開集合 $\mathcal{U}$ 内で、$C^\infty$-小な摂動により $\mathcal{U}$ と交わる周期軌道が存在する。
• 本稿では、$S^2$ や $T^2$ 上の有理数的同相型類に属する $C^\infty$-一般な面積保存型微分同相写像に対して、周期点の集合が曲面上で稠密であることを証明する。
• ウェイユ法則が確立された：次数 $d(\gamma_i) \to \infty$ となる軌道の列 $\gamma_i$ に対して、正規化されたスペクトル不変量差は、$A^{-1} \int_{Y_\phi} (H_2 - H_1) \omega_\phi \wedge dt$ に収束する。ここで $A = \int_\Sigma \omega$ である。
• ボールパッキングを適切に選べば、ウェイユ法則における収束速度が $O(d^{-1/2})$ であることが示される。
• この結果により、ドメイン上のハミルトニアン微分同相写像のカルビ invariant が、正規化されたPFHスペクトル不変量の極限として回復されることを示唆する。
• 理論は、PFHにおけるスペクトル不変量がカルビ invariant を検出可能であることを確認し、従来の結果を拡張し、単純性予想を支持する。