[論文レビュー] Toric degeneration and non-displaceable Lagrangian tori in $S^2 imes S^2$

Kenji Fukaya, Yong Geun Oh+2 more|arXiv (Cornell University)|Feb 8, 2010

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

ひとこと要約

この論文は、非ファン型のヒルツェブルシュ面 $F_2$ のポテンシャル関数とトーリック退化を用いて、$S^2 \times S^2$ に非移動可能なラグランジュ環面の連続体を構成する。バッチ変形を伴う完全なポテンシャル関数の計算により、可算不能個のハミルトニアン非移動可能な環面が存在することを証明し、それぞれが環面の特異コホモロジーと同型なフロアコホモロジーを持つことを示し、フロア理論的不変量によって非移動可能性を確認する。

ABSTRACT

In this article, using the idea of toric degeneration and the computation of the full potential function of Hirzebruch surface $F_2$, which is \emph{not} Fano, we produce a continuum of Lagrangian tori in $S^2 imes S^2$ which are non-displaceable under the Hamiltonian isotopy.

研究の動機と目的

• 標準的なトーリックファイバーでもなく、モノトーンラグランジュ環面でもない、$S^2 \times S^2$ 内の非移動可能なラグランジュ環面の新規な族を構成すること。
• バッチ変形を用いたフロアコホモロジー理論を非ファン型シンプレクティック多様体に拡張し、非移動可能性を検出すること。
• $u \in (0, u_0]$ でパラメータ付けられた、互いにハミルトニアン同相型でない環面の連続体が存在することを示すこと。
• そのうちの一つの環面がモノトーンであるが、等周線の積とはシンプレクティックに同値でないことを示すこと。
• スペクトル不変量とフクヤカテゴリ生成性を用いて非移動可能性を検出する手法を提供すること。

提案手法

• トーリック退化を用いて、$S^2 \times S^2$ を非ファン型だがネフなヒルツェブルシュ面 $F_2$ に関連付ける。
• マスロフ指数 2 のクラスにおける擬全解析的曲線を用いて、$F_2$ の完全なポテンシャル関数をバッチ変形とともに計算する。
• 標準的 $A_∞$ 構造と $\mathfrak{m}_0^{\text{can}}$ 写像を用いて、普遍ノヴィコフ環上のポテンシャル関数 $\mathfrak{PO}^L(b)$ を定義する。
• 弱いホンマウラー＝カルタン方程式と同型 $H^1(L;\Lambda_0) \to \mathcal{M}_{\text{weak}}(L)$ を用いて解をパラメータ化する。
• 仮定 7.1 を満たす適合的 almost complex 構造の経路に対して $\mathfrak{PO}^L$ が不変であることを用いて、定義の整合性を保証する。
• スペクトル不変量と生成性の結果を適用し、任意の $T(u)$ のハミルトニアン像は等周環面 $S^1_{\text{eq}} \times S^1_{\text{eq}}$ と交わらなければならないことを導く。

実験結果

リサーチクエスチョン

• RQ1 非トーリックファイバーでもなく、モノトーンラグランジュ環面でもない、$S^2 \times S^2$ 内の非移動可能なラグランジュ環面を構成できるか？
• RQ2 バッチ変形を伴うポテンシャル関数は、非ファン型シンプレクティック多様体において非移動可能性を検出できるか？
• RQ3 $S^2 \times S^2$ に、互いにハミルトニアン同相型でないラグランジュ環面の連続体を構成できるか？
• RQ4 $S^2 \times S^2$ に、等周線の積とはシンプレクティックに同値でないモノトーンラグランジュ環面が存在するか？
• RQ5 スペクトル不変量またはフクヤカテゴリ生成性を用いて、このような環面の非移動可能性を証明できるか？

主な発見

• $u_0 > 0$ を満たすある $u_0$ に対して、$u \in (0, u_0]$ でパラメータ付けられた、$S^2 \times S^2$ 内のラグランジュ環面 $T(u)$ の非可算族が存在し、それぞれがハミルトニアン同相型で非移動可能である。
• 各 $u$ に対して、バッチ変形 $(\mathfrak{b}, b)$ が存在し、フロアコホモロジー $HF((T(u), (\mathfrak{b}, b)), (T(u), (\mathfrak{b}, b)))$ が $H(T(u); \Lambda_0)$ と同型であることを示し、非移動可能性を確認する。
• $u \neq u'$ ならば $T(u)$ と $T(u')$ は互いに交わらないため、互いに交わらないかつ同相型でない。
• その族の中で唯一のモノトーン環面 $T(u_0)$ が存在するが、これは等周線の積 $S^1_{\text{eq}} \times S^1_{\text{eq}}$ とはシンプレクティックに同値でない。
• $\mathfrak{PO}^L$ は、仮定 7.1 を満たす適合的 almost complex 構造の経路に対して不変であり、構成の堅牢性を保証する。
• この手法により、任意のハミルトニアン微分同相写像 $\varphi$ に対して $\varphi(T(u)) \cap (S^1_{\text{eq}} \times S^1_{\text{eq}}) \neq \emptyset$ が成り立つことが示され、$T^*S^2$ におけるアーバース＝フラウエンフェルダーの結果が回復される。