[論文レビュー] Rabinowitz Floer homology for tentacular Hamiltonians

Federica Pasquotto, Robert Vandervorst+1 more|arXiv (Cornell University)|Oct 12, 2018

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

ひとこと要約

本稿では、特定の幾何的および漸近的条件（成長、接触型、ポアソン括弧の挙動）を満たす強力なテントクルーハミルトニアンを導入することで、非コンパクトな超曲面に対するラビノヴィッツ・フローホモロジーを確立した。主な結果は、このクラスに対してラビノヴィッツ・フローホモロジーが適切に定義され、コンパクトに台を持つ摂動に対して不変であることが示された。これにより、非コンパクトな接触多様体上での閉特徴線の存在に関する新たな結果が得られた。

ABSTRACT

This paper extends the definition of Rabinowitz Floer homology to non-compact hypersurfaces. We present a general framework for the construction of Rabinowitz Floer homology in the non-compact setting under suitable compactness assumptions on the periodic orbits and the moduli spaces of Floer trajectories. We introduce a class of hypersurfaces being the level sets of specific Hamiltonians: strongly tentacular Hamiltonians, for which the compactness conditions are satisfied, thus enabling us to define the Rabinowitz Floer homology for this class. Rabinowitz Floer homology in turn serves as a tool to address the Weinstein conjecture and establish existence of closed characteristics.

研究の動機と目的

• R^{2n} 内の非コンパクトな接触型超曲面に対して、標準的なコンパクト性の仮定が成立しない状況下でもラビノヴィッツ・フローホモロジーを拡張すること。
• フローティックな構成に必要なコンパクト性および漸近的条件を満たすハミルトニアンのクラスを定義すること。
• ラビノヴィッツ作用関数がモース＝ボット型となり、摂動下でもその臨界点が適切に制御されることを保証すること。
• このようなハミルトニアンのコンパクトに台を持つ摂動に対して、ラビノヴィッツ・フローホモロジーが不変であることを確立すること。
• 非コンパクトなウェインシュタイン予想、すなわち非コンパクト接触多様体上での閉特徴線の存在を示すための新たな道具を提供すること。

提案手法

• 4つの公理を満たすハミルトニアン、すなわち強力なテントクルーハミルトニアンを定義する：(h1) 渐近的に正則なリウヴィル場を用いた dH(X†) の下界、(h2) D^3H の準二次的成長、(h3) 0レベル集合での制限された接触型、(h4) {H, {H, F}} > 0 が無限遠で成り立つ強制関数 F の存在。
• 先行研究 [21] のテントクルーハミルトニアンに関する L∞-バウンドを用いて、フローフェルトリャジェクトリのモジュライ空間のコンパクト性を保証する。
• モース＝ボット理論をラビノヴィッツ作用関数に適用し、条件 (h4) を用いて非退化周期軌道のグローバルな制御を実現する。
• 一意パラメータ族による継続的議論を用いて、ラビノヴィッツ・フローホモロジー複体が適切に定義され、コンパクトに台を持つ摂動に対して安定であることを証明する。
• 3種類のハミルトニアン（2次形式で双曲面をレベル集合とするもの、それらの直和、正定値2次形式）に対して、(h1)–(h4) の条件を満たすことを検証する。
• J0 と対称行列 A を用いた座標に基づく行列解析により、径方向の F に対して {H, {H, F}}(x) の正定値性を確認し、関連行列 B の正定値性により (h4) が成立することを保証する。

実験結果

リサーチクエスチョン

• RQ1 標準的なコンパクト性が成立しない非コンパクトな超曲面に対して、ラビノヴィッツ・フローホモロジーを定義できるか？
• RQ2 非コンパクトな設定下で、フローフェルトリャジェクトリのモジュライ空間のコンパクト性を保証するためのハミルトニアンの幾何的および漸近的条件は何か？
• RQ3 非コンパクトなレベル集合に対して、ラビノヴィッツ作用関数をモース＝ボット型にできるか？
• RQ4 ラビノヴィッツ・フローホモロジーは、ハミルトニアンのコンパクトに台を持つ摂動に対して不変か？
• RQ5 この枠組みを用いて、非コンパクト接触多様体上での閉特徴線の存在を証明できるか？

主な発見

• 強力なテントクルーハミルトニアンが公理 (h1)–(h4) を満たす場合、ラビノヴィッツ・フローホモロジーは適切に定義され、必要なコンパクト性および周期軌道の制御が保証される。
• ラビノヴィッツ・フローホモロジーは、ハミルトニアンのコンパクトに台を持つ一意パラメータ族による摂動に対して不変であることが、継続的議論により示された。
• 2次形式で双曲面、直和、正定値をレベル集合とするハミルトニアン（タイプ1, 2, 3）に対して、(h1)–(h4) の条件が満たされ、特にポアソン括弧表現における行列 B の正定値性により成立する。
• m=1 の場合、行列 B は正定値であり、m≥2 の場合、それぞれ λ>1/√2 または λ>2 のとき正定値となる。これにより (h4) が成立することが保証される。
• 強力なテントクルーハミルトニアンのクラスには、双曲面 0 レベル集合を持つ2次ハミルトニアンおよびそのコンパクトに台を持つ摂動が含まれるが、接触型条件が保たれる限り有効である。
• 不変性および安定性の性質により、この枠組みはシンプレクティック同相写像との合成および小さなコンパクトに台を持つ摂動へも拡張可能である。