[論文レビュー] Leafwise Coisotropic Intersections

Başak Z. Gürel|ArXiv.org|May 26, 2009

Geometric and Algebraic Topology参考文献 18被引用数 9

ひとこと要約

この論文は、第一ホモロジー群 π₂ が自明な、正確で幾何的に有界かつ広いシンプレクティック多様体において、制限付き接触型をもつ閉じたコイサイトロピック部分多様体に対して、葉ごとの交差性を確立する。作用選択子とフローリング理論的技法を用いて、ホーファーノルムが鋭い閾値 𝔞(M) 未満である任意の compactly な補間を持つハミルトニアン微分同相写像に対して、その写像の像と特徴的foliation の葉が交わることを証明する。これは、既存の超曲面に関する結果を、より高い余次元のコイサイトロピック部分多様体へ一般化するものである。

ABSTRACT

We establish the leafwise intersection property for closed, coisotropic submanifolds in an exact symplectic manifold satisfying natural additional assumptions.

研究の動機と目的

• ラグランジュおよび超曲面の場合に既知の葉ごとの交差性を、一般の余次元の高いコイサイトロピック部分多様体へ拡張すること。
• 制限付き接触型のコイサイトロピック部分多様体に対して、鋭く自然なホーファーノルム閾値 𝔞(M) 以下の下で、葉ごとの交差の存在を確立すること。
• アーベルズ＝フラウエンフェルダーおよびジンツブルグの先行結果を、超曲面を超えるコイサイトロピック部分多様体へ一般化すること。この際、重複度の下界を仮定しないこと。
• 周囲の多様体の広さと幾何的有界性を活用して作用選択子を構成し、フローリング理論的手法による証明を可能にすること。

提案手法

• 上位次元のフローリングホモロジーを用いて構成された作用選択子を用いる。これは、非負のcompactly なハミルトニアンを持つ広い、幾何的に有界なシンプレクティック多様体上で非自明である。
• 葉ごとの交差がないと仮定し、s ∈ [0,1] をパrameterとするハミルトニアンフローの族を構成することで背理法を適用し、非定数の作用選択子関数 σ(ψ_s) を導出する。
• 時間依存ハミルトニアン G^{s_0}_t = H_t + s_0 K_t の時間1写像の作用を分析する。ここで K はコイサイトロピック部分多様体の近傍にsuppをもつ非負のハミルトニアンである。
• 同じ葉上の点を結ぶ軌道におけるシンプレクティック作用積分 ∫_γ_K λ を評価する。ここに λ は ω の原始形式であり、σ(ψ_s) と A_H(γ_H) の推定値を用いる。
• 多様体 M の周りの縮小する近傍 U_{r_i} の列に対してアーベル・アスコリの定理を適用し、同じ葉上にあり φ_H(y) = x を満たす極限点対 (x,y) を抽出する。
• 鍵となる技術的ステップは、∫_γ_K λ の推定値を用いて、K の補間のサイズに依存しない一様な時間 T の有界性を示すこと。これは、|∫_γ_K α_i| の和を用いた推定により達成される。

実験結果

リサーチクエスチョン

• RQ1 余次元が1より大きいコイサイトロピック部分多様体に対しても、超曲面に既知の結果が適用されるような葉ごとの交差性が成立するか？
• RQ2 葉ごとの交差性のためのホーファーノルム閾値が、周囲の幾何に依存せず、コイサイトロピック部分多様体固有のものであるか？
• RQ3 部分多様体が単連結でない場合でも、小さなハミルトニアン摂動に対して、葉ごとの交差性は安定的か？
• RQ4 作用選択子法を、シンプレクティック的アーサーバル仮定を必要としない、広く幾何的に有界なシンプレクティック多様体内のコイサイトロピック部分多様体へ拡張可能か？
• RQ5 このような交差問題に対して作用選択子を構成可能な、周囲多様体の最小の正則性または幾何的条件は何か？

主な発見

• 任意の compactsupp のハミルトニアン微分同相写像 φ_H に対して、ホーファーノルム ‖H‖ < 𝔞(M) ならば、M 上の特徴的foliation の葉 F が存在し、φ_H(F) ∩ F ≠ ∅ である。
• 閾値 𝔞(M) は鋭く、特徴的foliation に接する可縮ループが囲む負のシンプレクティック面積の下界として定義される。
• 同じ葉上の点 x から y へ移動するのに必要な時間 T は、摂動ハミルトニアン K の補間のサイズに依存せず、一様に有界である。
• 縮小する近傍の列に対するアーベル・アスコリの定理を用いた極限的議論により、φ_H(y) = x を満たす同じ葉上に存在する点対 (x,y) の存在が確立される。
• 証明は、広いシンプレクティック多様体における上位次元のフローリングホモロジーの非自明性に依存しており、固定点を検出可能な作用選択子の構成を可能にする。
• アーベルズ＝フラウエンフェルダーおよびジンツブルグの先行定理は、超曲面から任意の余次元のコイサイトロピック部分多様体へ一般化され、重複度の下界を仮定しない。