[論文レビュー] Length minimizing property, Conley-Zehnder index and $C^1$-perturbations of Hamiltonian functions

Yong‐Geun Oh|ArXiv.org|Feb 10, 2004

Geometric and Algebraic Topology参考文献 7被引用数 3

ひとこと要約

本稿では、非常に強い半正接続性を持つシンプレクティック多様体上で、ホモトピー類内で長さ最小となる準自己同型ハミルトニアン経路の条件を、$C^1$-摂動とチェーンレベルのフローリングホモロジーからのスペクトル不変量を用いて確立する。主な結果は、非定数周期軌道を許容する正の$μ$-未回転ハミルトニアンのクラスを特定し、固定端点の下でホーファー長を最小化する経路を同定するもので、最小化予想を$C^1$-摂動問題に結びつける。

ABSTRACT

The main purpose of this paper is to study the length minimizing property of Hamiltonian paths on closed symplectic manifolds $(M,ω)$ such that there are no spherical homology class $A \in H_2(M)$ with $$ ω(A) > 0 \quad ext{and} \quad -n \leq c_1(A) < 0, $$ which we call {\it very strongly semi-positive}. We introduce the notion of {\it positively $μ$-undertwisted} Hamiltonian paths and prove that any positively undertwisted quasi-autonomous Hamiltonian path is length minimizing in its homotopy class as long as it has a fixed maximum and a fixed minimum point that are generically under-twisted. This class of Hamiltonian can have non-constant large periodic orbits. The proof uses the chain level Floer theory, spectral invariants of Hamiltonian diffeomorphisms and the argument involving the thick and thin decomposition of Floer's moduli space of perturbed Cauchy-Riemann equation. And then based on this theorem and some closedness of length minimizing property, we relate the Minimality Conjecture on the very strongly semi-positive symplectic manifolds to a $C^1$-perturbation problem of Hamiltonian functions on general symplectic manifolds, which we also formulate here.

研究の動機と目的

• 非定数周期軌道の存在を要件としない、閉じたシンプレクティック多様体上でのハミルトニアン経路の長さ最小性を調査すること。
• コンリ・ゼンダー指数の位相的制約の下で、準自己同型ハミルトニアン経路の最小性条件を定式化し、証明すること。
• 非常に強い半正接続性を持つ多様体上での最小化予想を、一般のシンプレクティック多様体上でのハミルトニアン関数の$C^1$-摂動問題に結びつけること。
• 非自明な周期軌道が存在する状況において、経路の最小性を分析するための、チェーンレベルのフロイドホモロジーとスペクトル不変量を用いた枠組みを確立すること。

提案手法

• 遅い自己同型ハミルトニアンを一般化する、正の$μ$-未回転ハミルトニアン経路の概念を導入する。
• チェーンレベルのフロイドホモロジーとスペクトル不変量を用い、摂動下でのコンリ・ゼンダー指数の変化を追跡する。
• 摂動されたコーシー＝リーマン解のフロイドのモジュライ空間の「厚み」と「薄み」の分解を用い、コンactnessと横断性を制御する。
• 遷移行列の巻き数を含む、並進依存のコンリ・ゼンダー指数の公式を用い、指数差を計算する。
• 指数シフトと球束のチャーン数を関連付ける恒等式$\mu_H([z,w]) = \mu_H([z,w^\prime]) + 2c_1([w\#\overline{w}^\prime])$を導出する。
• 長さ最小性の性質が$C^1$-摂動に関して閉じていることを確立し、最小化予想を摂動問題に還元可能にする。

実験結果

リサーチクエスチョン

• RQ1 固定端点を持つホモトピー類内で、準自己同型ハミルトニアン経路がいつ長さ最小となるか。
• RQ2 非定数周期軌道が存在する状況において、コンリ・ゼンダー指数とスペクトル不変量は、ハミルトニアン経路の最小性をどのように制約するか。
• RQ3 非常に強い半正接続性を持つ多様体上での最小化予想は、一般のシンプレクティック多様体上でのハミルトニアン関数の$C^1$-摂動問題に還元可能か。
• RQ4 $C^1$-位相は、ハミルトニアン経路の長さ最小性の性質を保存するか、破壊するか。
• RQ5 $μ$-未回転条件は、スペクトル不変量とフロイド理論的構成とどのように相互作用するか。

主な発見

• 最大値・最小値の点が一般に未回転である正の$μ$-未回転準自己同型ハミルトニアン経路は、そのホモトピー類内で長さ最小である。
• 本稿では定理A'および定理Bを証明し、シンプレクティック多様体が非常に強い半正接続性を満たす条件下で長さ最小性を確立する。
• コンリ・ゼンダー指数は恒等式$\mu_H([z,w]) = \mu_H([z,w^\prime]) + 2c_1([w\#\overline{w}^\prime])$を満たし、指数差を球束のチャーン数に関連付ける。
• 非常に強い半正接続性を持つ多様体のクラスには、ファノ多様体、単調シンプレクティック多様体、弱く正確なシンプレクティック多様体が含まれる。
• 最小化予想は、非常に強い半正接続性の仮定の下で、一般のシンプレクティック多様体上でのハミルトニアン関数の$C^1$-摂動問題に還元される。
• 証明は、仮想モジュライサイクルを用いない初等的なフロイド理論に依拠しており、非常に強い半正接続性の条件下で有効である。