[論文レビュー] Symplectic displacement energy for exact Lagrangian immersions

Manabu Akaho|arXiv (Cornell University)|May 25, 2015

Geometric and Algebraic Topology参考文献 8被引用数 4

ひとこと要約

この論文は、フロアホモロジーとチェカノフの継続的技法を用いて、正確なラグランジュ埋め込みのシンプレクティック移動エネルギーの下界を確立する。ホーファーノルムがシンプレクティック面積不変量 σ より小さいようなハミルトニアンホモトピーに対して、ラグランジュ部分多様体とそのホモトピーによる像の交点数が、ラグランジュ部分多様体の Z₂ ベッチ数の和で下から抑えられることを示し、不等式 σ ≤ e(ι(L)) を得る。

ABSTRACT

We give an inequality of the displacement energy for exact Lagrangian immersions and the symplectic area of punctured holomorphic discs. Our approach is based on Floer homology for Lagrangian immersions and Chekanov's homotopy technique of continuations.

研究の動機と目的

• シンプレクティック多様体における正確なラグランジュ埋め込みのシンプレクティック移動エネルギーの下界を確立すること。
• チェカノフのフロア理論的アプローチを、特に正確な場合にラグランジュ埋め込みへと拡張すること。
• シンプレクティック移動エネルギー e(ι(L)) と、ホロモーフィックディスクのシンプレクティック面積によって定義される不変量 σ の関係を明らかにすること。
• ポルトレヴィッチとチェカノフの有理ラグランジュ部分多様体に関する結果を、正確なラグランジュ埋め込みの状況に一般化すること。
• 横断性と正確性の条件下で、不等式 σ ≤ e(ι(L)) が鋭いものであることを示すこと。

提案手法

• 継続写像と摂動されたコーシー・リーマン方程式を用いて構成された、正確なラグランジュ埋め込みのためのフロアホモロジーを使用する。
• 異なる時間レベルにおけるフロアホモロジーを結びつけるために、チェカノフのホモトピー的継続技法を適用する。
• ホーファーノルム ‖H‖ を持つ時刻に依存するハミルトニアン H を導入し、時間1写像 φ₁ᴴ を研究する。
• σ を、境界が埋め込み上にある穿孔付きホロモーフィックディスクにおける ∫_{D²} v*ω のシンプレクティック面積の下界として定義する。
• 非コンパクト多様体に対して、擬複素曲線理論が適用可能であるように、凸な端末条件を課す。
• 擬複素曲線のコンパクト性およびグルーピング結果を用いて、継続写像の存在およびそのホモトピー的性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 ホロモーフィックディスクから導かれるシンプレクティック不変量に基づいて、正確なラグランジュ埋め込みのシンプレクティック移動エネルギーを下から抑えられるか。
• RQ2 正確なラグランジュ埋め込みのフロアホモロジーは、そのハミルトニアン像との交点数の下界を検出できるか。
• RQ3 ホロモーフィックディスクのシンプレクティック面積によって定義される不変量 σ は、移動エネルギー e(ι(L)) の鋭い下界か。
• RQ4 チェカノフの継続的技法は、特に正確な場合において、ラグランジュ埋め込みの文脈にどのように拡張できるか。
• RQ5 不等式 σ ≤ e(ι(L)) が等号となる条件は何か。非自明な例で等号が成立するものは存在するか。

主な発見

• 論文は、‖H‖ < σ かつ埋め込みとそのハミルトニアン像が横断的に交わる場合、交点数が ∑_{k=0}^{dim L} dim H_k(L; ℤ₂) 以上であることを証明する。
• 不変量 σ は、境界がラグランジュ埋め込み上にある正のシンプレクティック面積を持つホロモーフィックディスクの下界として定義される。
• 主な結果は σ ≤ e(ι(L)) を示し、σ がシンプレクティック移動エネルギーの下界であることを確立する。
• 例として ℝ² における図8型埋め込みでは、σ = 2/3 かつ e(ι(L)) = 4/3 であり、不等式 σ ≤ e(ι(L)) は厳密である。
• 証明は、モジュライ空間のコンパクト性とホモトピー的技法を用いて、継続写像の単射性が示されることに依存する。
• 著者らは、非自明な例で σ = e(ι(L)) が達成されることを示していないため、一般には σ < e(ι(L)) である可能性が高いと示唆している。