[論文レビュー] Propagation in Hamiltonian dynamics and relative symplectic homology

Paul Biran, Leonid Polterovich+1 more|ArXiv.org|Aug 20, 2001

Geometric and Algebraic Topology参考文献 20被引用数 5

ひとこと要約

本稿は、ハミルトニアン力学における新たな安定性現象「安定的伝播」を確立し、零運動量における正のハミルトニアンを生成する微分同相写像に、一様に小さいホーファー距離をもつハミルトニアン微分同相写像の逐次的系が、$ c - a $ 以上の速度で無限に伝播することを示している。ここで $ c $ はハミルトニアンの下界、$ a $ はホーファー距離である。この結果は、相対的シンプレクティックホモロジーとフローリー理論的技法を用いて、頑健な条件下での非可縮周期的軌道の存在を証明することに依拠している。

ABSTRACT

The main result asserts the existence of noncontractible periodic orbits for compactly supported time dependent Hamiltonian systems on the unit cotangent bundle of the torus or of a negatively curved manifold whenever the generating Hamiltonian is sufficiently large over the zero section. The proof is based on Floer homology and on the notion of a relative symplectic capacity. Applications include results about propagation properties of sequential Hamiltonian systems, periodic orbits on hypersurfaces, Hamiltonian circle actions, and smooth Lagrangian skeletons in Stein manifolds.

研究の動機と目的

• ハミルトニアン系における新たな動的安定性形態、すなわち「安定的伝播」と呼ばれるものを確立し、微分同相写像の逐次的合成が、一様な速度で軌道を無限に伝播することを示す。
• 基盤となる微分同相写像が零運動量においてハミルトニアンが $ c $ 以上に有界である場合に、ホーファー距離における小さな摂動の下での伝播の頑健性を分析する。
• コンパクトに台を持つハミルトニアン系における非可縮周期的軌道を検出するために、相対的シンプレクティックホモロジーとシンプレクティック作用でフィルターされたフローリーホモロジーを発展・適用する。
• シンプレクティックトポロジーにおけるホモモルフィズムの単調性とスペクトル不変量の相互作用を通じて、ハミルトニアン系の漸近的挙動を特徴付ける。
• 特定の条件下で、相対的シンプレクティックホモロジー群が安定化し、それらが内在する動的伝播を反映する同型写像をもたらすことを証明する。

提案手法

• ホーファー距離を用いてハミルトニアン微分同相写像間の距離を測定し、一様な境界 $ \rho(f_i, h) < a $ を用いて安定性を定義する。
• ハミルトニアン微分同相写像を普遍被覆 $ \widetilde{M} = \mathbb{R}^n \times \mathbb{D}^n $ に上げ、伝播速度を定義するための基本領域 $ Q $ に注目する。
• 作用フィルターを施したフローリーホモロジーを用いて、特に $ \pi_1(M) \cong \mathbb{Z}^n $ に属する非自明なホモトピー類 $ \alpha $ を持つ非可縮周期的軌道を検出する。
• パrameter $ s \in \mathbb{R} $ でパrameter化されたハミルトニアンの族 $ H_s $ を用い、$ f_s(r) + r\ell $ に依存する作用関数を制御することで、スペクトル不変量を制御する。
• ホモロジー群間の単調な準同型写像 $ \sigma_{H_{s_1}H_{s_0}} $（$ s_1 \leq s_0 $）を用いて、異なるハミルトニアン間のホモロジー群を関連付ける。
• 逆極限および順極限を用いて相対的シンプレクティックホモロジー $ \underrightarrow{\mathrm{SH}}^{[a,\infty);c} $ および $ \underleftarrow{\mathrm{SH}}^{[a,\infty)} $ を定義し、スペクトル制御のもとで同型写像を証明する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン微分同相写像の系列が、一様な正の速度で軌道を無限に伝播する条件は何か？
• RQ2 ホーファー距離は、ハミルトニアン微分同相写像の逐次的系における伝播速度をどのように制御するか？
• RQ3 相対的シンプレクティックホモロジーは、コンパクトに台を持つハミルトニアン系における非可縮周期的軌道の検出にどのような役割を果たすか？
• RQ4 フローリーホモロジー群の逆極限および順極限は、どのような条件下で安定化し、それらが力学的挙動に何を明らかにするか？
• RQ5 フローリー理論におけるスペクトル不変量と作用フィルターは、ハミルトニアンフローの漸近的挙動をどのように反映するか？

主な発見

• 定理Aは、$ \rho(f_i, h) < a $ かつ $ H(t,q,0) \geq c $ ならば、系列 $ f_* $ が少なくとも $ c - a $ の速度で無限に伝播することを確立する。
• $ a > \ell $ のとき、フローリーホモロジーの逆極限 $ \underleftarrow{\mathrm{SH}}^{[a,\infty)}(U^*X; \alpha) $ は $ H_*(P; \mathbb{Z}_2) $ に同型であり、周期的軌道空間の位相を反映する。
• $ a > c > 0 $ のとき、順極限 $ \underrightarrow{\mathrm{SH}}^{[a,\infty);c}(U^*X,X;\alpha) $ は消える。これは、相対的設定において $ a $ 以上の作用スペクトル支持が存在しないことを示唆する。
• $ 0 < a \leq c $ のとき、順極限 $ \underrightarrow{\mathrm{SH}}^{[a,\infty);c}(U^*X,X;\alpha) $ は $ H_*(P; \mathbb{Z}_2) $ に同型であり、標準写像 $ T^{[a,\infty);c}_\alpha $ は同型写像である。
• 臨界値 $ \widehat{C}(U^*X,X;\alpha,a) = \max\{\ell, a\} $ が導出され、相対ホモロジーにおけるスペクトル支持の閾値を示している。
• すべての $ s $ に対して、同型写像 $ T^{[a,\infty);c}_\alpha = \iota_s \circ \pi_s $ が成り立ち、スペクトル制御のもとで逆極限と順極限の整合性が確認される。