[論文レビュー] Lagrangian isotopies in Stein manifolds

Richard Hind|ArXiv.org|Nov 6, 2003

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

ひとこと要約

本稿は、特定の4次元 Stein 構造を持つシンプレクティック多様体、特に余接 bundle $T^*S^2$ および $T^1S^2$ に1-ハンドルを加えたものにおいて、任意のラグランジュ2次元球面がゼロ断面とハミルトニアン同倫的であることを確立している。証明には、$S^2 \times S^2$ 上のほぼ複素構造、$S^2$ 上の微分同相写像の同倫的結果、およびシンプレクティックトポロジーにおける擬複素曲線技術が用いられ、主な結果として、これらの多様体においてラグランジュ球面はハミルトニアン同倫的に関して一意的であることが示されている。

ABSTRACT

We establish the uniqueness up to Hamiltonian isotopy of the Lagrangian spheres in some four dimensional Stein manifolds.

研究の動機と目的

• 特定の4次元 Stein 多様体におけるラグランジュ球面がハミルトニアン同倫的に関して一意的であるかどうかを特定すること。
• $T^*S^2$ におけるラグランジュ同倫的結果を、$T^1S^2$ に1-ハンドルを加えた多様体へと拡張すること。
• $S^2 \times S^2 \setminus \Delta$ 内の $\sigma$-不変ラグランジュ球面と、$T^*\mathbb{R}P^2$ 内のラグランジュ $\mathbb{R}P^2$ の間の対応関係を、対合による商空間化によって確立すること。
• $T^*\mathbb{R}P^2$ 内のラグランジュ $\mathbb{R}P^2$ がゼロ断面にホモトープである場合、それがハミルトニアン同倫的であることを証明すること。

提案手法

• 先行研究から得られた、$S^2 \times S^2$ 上に特定の性質を持つほぼ複素構造が存在することを用いる。
• 任意の点がその対蹠点に写らないようにする微分同相写像の同倫的結果を適用し、性質(*) が全過程で保たれることを保証する。
• シンプレクティック幾何およびほぼ複素幾何の技術を用いて、$T^*S^2$ における主要定理を微分同相写像の同倫的結果に還元する。
• 文献[4]の結果を1-ハンドルを加えた多様体に一般化し、シンプレクティック形式とモーザーの方法を用いて同倫を構成する。
• シンプレクティックコーボリズムにおける擬複素曲線の解析を用い、コンリー＝ツェンダー指数を計算し、有限エネルギー曲線を制約するための指数公式を用いる。
• 1-形式にスケーリングとカットオフ手続きを施し、境界のチューブ近傍にシンプレクティック形式 $\omega_t$ を構成する。この形式は境界付近で元の形式と一致し、ラグランジュ性を保つ。

実験結果

リサーチクエスチョン

• RQ1 すべてのラグランジュ球面が $T^*S^2$ においてゼロ断面とハミルトニアン同倫的であるか？
• RQ2 $T^1S^2$ に1-ハンドルを加えることで、ラグランジュ球面の一意性がハミルトニアン同倫的に関して保たれるか？
• RQ3 シンプレクティック商構成と同倫的技術を用いて、$T^*\mathbb{R}P^2$ 内のラグランジュ $\mathbb{R}P^2$ の一意性を確立できるか？
• RQ4 対蹠写像は、$S^2 \times S^2$ 内のラグランジュ部分多様体の $\sigma$-同変同倫の構成において果たす役割は何か？
• RQ5 シンプレクティックコーボリズムにおける有限エネルギー擬複素曲線の漸近的極限のコンリー＝ツェンダー指数は、その存在性およびトポロジーにどのような制約を課えるか？

主な発見

• $T^*S^2$ 内のすべてのラグランジュ球面はゼロ断面とハミルトニアン同倫的であり、この多様体における一意性が確立された。
• 任意の数の1-ハンドルを $T^1S^2$ に加えた多様体に対しても、同様にラグランジュ球面の一意性が成り立つ。同倫はハンドル付加プロセスに拡張可能である。
• $T^*\mathbb{R}P^2$ 内のラグランジュ $\mathbb{R}P^2$ がゼロ断面にホモトープである場合、$S^2 \times S^2 \setminus \Delta$ を対合 $\sigma$ で商することで、それがゼロ断面とハミルトニアン同倫的であることが示された。
• ラグランジュ球面 $L$ における一般化されたデーン変形 $\tau_L^2$ は恒等写像とシンプレクティック同倫的でない。これは、$\tau_L^2(L')$ が滑らか同倫的ではあるがハミルトニアン同倫的ではない可能性を示しており、ハミルトニアン同倫類の非自明性を示している。
• シンプレクティックコーボリズムにおける有限エネルギー擬複素曲線の指数公式により、極限曲線 $C$ のすべての負の漸近的極限のコンリー＝ツェンダー指数は1以上であることが示され、$\mathrm{index}(C) \leq 2$ となる。これは、望ましい擬複素球面の存在と整合的である。
• 切り替え関数 $\chi$ を用いて多様体 $M$ 上にシンプレクティック形式 $\omega_t$ を構成する。この形式により、ラグランジュ部分多様体 $L_t$ はラグランジュのままであり、モーザーの方法により元のシンプレクティック構造に同倫的に移動可能である。