[論文レビュー] Spectral invariants and length minimizing property of Hamiltonian paths

Yong‐Geun Oh|ArXiv.org|Dec 24, 2002

Geometric and Algebraic Topology参考文献 16被引用数 22

ひとこと要約

この論文は、閉シンプレクティック多様体上のハミルトニアン経路がそのホモトピー類内で長さ最小であるかどうかを特定するスペクトル不変量基準を確立する。著者が導入したチェーンレベルのフローリングホモロジーとスペクトル不変量を活用することで、周期1の非定数可縮周期軌道をもたない自己同型ハミルトニアン経路が、臨界点が非退化で、端点が一般にアンダーツイストされている場合、長さ最小であることが示される。

ABSTRACT

In this paper we provide a criterion for the quasi-autonomous Hamiltonian path (``Hofer's geodesic'') on arbitrary closed symplectic manifolds $(M,ω)$ to be length minimizing in its homotopy class in terms of the spectral invariants $ρ(G;1)$ that the author has recently constructed (math.SG/0206092). As an application, we prove that any autonomous Hamiltonian path on arbitrary closed symplectic manifolds is length minimizing in {\it its homotopy class} with fixed ends, when it has no contractible periodic orbits {\it of period one}, has a maximum and a minimum point which are generically under-twisted and all of its critical points are nondegenerate in the Floer theoretic sense. This is a sequel to the papers math.SG/0104243 and math.SG/0206092.

研究の動機と目的

• 準自己同型ハミルトニアン経路がそのホモトピー類内で長さ最小であるための十分条件を確立すること。
• ホーファーの測地線に関する先行結果を改善し、'周期≤1の周期軌道がない'という条件を'周期1の周期軌道がない'に置き換えること。
• チェーンレベルのフローリング理論を用いて、スペクトル不変量ρ(G;1)を用いてハミルトニアン経路の最小長を特徴づけること。
• 非退化性およびアンダーツイスト条件のもとで、標準的基底フローリングサイクルがタイトであることを証明すること。
• シンプレクティック的にアーシャーブルな仮定に依存しないように、先行の自己同型ハミルトニアン経路に関する結果を一般化すること。

提案手法

• [Oh5]で構築されたスペクトル不変量ρ(G;1)を用いて、ハミルトニアン経路の作用スペクトルを分析する。
• ノビコフ係数を用いたチェーンレベルのフローリングホモロジーを用い、自己同型ハミルトニアンGの基底サイクルα_Gを研究する。
• Kerman-Lalondeの補題を用いて、S¹作用および正則化のもとでのフローリング軌道の振る舞いを制御する。
• フローリング複体上の作用関数A_Gを分析し、インデックス1の軌道が最小点x⁻に到達する場合に注目する。
• 仮想次元の議論とS¹-equivariantな摂動を用いて、c₁([w]) ≠ 0のとき、インデックス1の軌道のモジュライ空間が空であることを示す。
• 非押し下げ性の性質を用いて、標準的サイクルα_Gがタイトである、すなわち、α_Gとホモロジカルなすべてのαに対してλ_G(α) ≥ λ_G(α_G)が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 閉シンプレクティック多様体上の自己同型ハミルトニアン経路がそのホモトピー類内で長さ最小である条件は何か？
• RQ2 スペクトル不変量ρ(G;1)は、ハミルトニアン経路の最小ホーファー長を特徴づけるために用いられるか？
• RQ3 周期1の非定数可縮周期軌道が存在しないことは、長さ最小性にどのように影響するか？
• RQ4 端点のアンダーツイスト性と臨界点の非退化性は、最小性を保証するために果たす役割は何か？
• RQ5 与えられた幾何学的・位相的制約のもとで、標準的基底フローリングサイクルはタイトか？

主な発見

• 自己同型ハミルトニアン経路が周期1の非定数可縮周期軌道をもたない限り、そのホモトピー類内で長さ最小である。
• 標準的基底フローリングサイクルα_Gはタイトである。すなわち、α_Gとホモロジカルなすべてのαに対してλ_G(α) ≥ λ_G(α_G)が成り立つ。
• スペクトル不変量はρ(G;1) = ∫₀¹ −min G dt = E⁻(G)を満たし、スペクトル不変量が直接的に最小作用に結びつく。
• S¹-equivariantな正則化と仮想次元の議論を用いて、最小点x⁻に到達するインデックス1のフローリング軌道が存在しないことが証明された。
• 『周期≤1の周期軌道がない』という条件を『周期1の周期軌道がない』に置き換えることで、先行の定理を改善した。
• スペクトル不変量とチェーンレベルのフローリング理論を用いた証明技法は、[Oh3]の先行手法よりもより洗練され、一般性に優れている。