[論文レビュー] First steps in stable Hamiltonian topology

Kai Cieliebak, E.D. Volkov|arXiv (Cornell University)|Mar 26, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用数 11

ひとこと要約

本稿は、3次元多様体における安定ハミルトニアン構造（SHS）の基礎的位相的性質を確立し、安定ホモトピーに関してSHSの空間が離散的であることを証明するとともに、すべてのSHSが接触構造にホモトープであるとは限らないことを示している。SHSは一般にモース＝ボット的ではあるがモース的ではないことが示され、埋め込み不可能なSHSにホモトープである標準的接触構造を $S^3$ 上に構成した。これは、シンプレクティック場理論（SFT）のホモトピーに関する不変性に影響を及ぼす。

ABSTRACT

In this paper we study topological properties of stable Hamiltonian structures. In particular, we prove the following results in dimension three: The space of stable Hamiltonian structures modulo homotopy is discrete; there exist stable Hamiltonian structures that are not homotopic to a positive contact structure; stable Hamiltonian structures are generically Morse-Bott (i.e. all closed orbits are Bott nondegenerate) but not Morse; the standard contact structure on the 3-sphere is homotopic to a stable Hamiltonian structure which cannot be embedded in 4-space. Moreover, we derive a structure theorem in dimension three and classify stable Hamiltonian structures supported by an open book. We also discuss implications for the foundations of symplectic field theory.

研究の動機と目的

• 3次元における安定ハミルトニアン構造（SHS）の位相的分類を理解すること。
• SHSが接触構造にホモトープであるか、または $\mathbb{R}^4$ に埋め込めるかを特定すること。
• シンプレクティック場理論（SFT）がSHSの安定ホモトピーに関して不変となる条件を確立すること。
• オープンブックに実現されるSHSを分類し、3次元における構造定理を導出すること。

提案手法

• SHSを、$\omega$ が閉形式で、$\omega^{n-1} \neq 0$ かつ $\lambda \wedge \omega^{n-1} > 0$、$\ker \omega \subset \ker d\lambda$ を満たすペア $(\omega, \lambda)$ として定義する。
• $C^k$-位相をSHSの空間に導入し、定数のコhomology類と整合性を持つ $\lambda_t$ を持つ $\omega_t$ の族として安定ホモトピーを定義する。
• すべての近傍にあるSHSが安定ホモトープであるような $C^2$-近傍を用いて、ホモトピー型の離散性を証明する。
• 葉付きコhomologyと可積分性解析を用いて、不変トーラスと接触領域を研究する。
• オープンブック分解を用いてSHSを分類し、束縁部付近での標準化を構成する。
• 変形理論と近似技法を適用し、一般のSHSに対してモース近似が不可能であっても、モース＝ボット近似が可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 3次元において、安定ホモトピーに関してSHSの空間は離散的か？
• RQ2 安定ハミルトニアン構造が、いかなる正の接触構造に対してもホモトープでないことがあるか？
• RQ3 すべての安定ハミルトニアン構造は一般にモース＝ボット的であり、かつモース的近似が可能か？
• RQ4 $S^3$ 上の標準的接触構造が、$\mathbb{R}^4$ に埋め込めない構造に安定ホモトープであるか？
• RQ5 3次元において、有理数的シンプレクティック場理論（SFT）はSHSの安定ホモトピーに関して不変か？

主な発見

• 3次元において、安定ホモトピーに関してSHSの空間は離散的である。すべてのSHSは、その $C^2$-近傍内ではすべて安定ホモトープな近傍SHSを持つ。
• 接触構造にホモトープでない安定ハミルトニアン構造が存在し、SHSと接触構造の間には位相的差異が存在することが示された。
• 安定ハミルトニアン構造は一般にモース＝ボット的ではあるがモース的ではない。一般のSHSに対してモース的近似は存在しない。
• $S^3$ 上の標準的接触構造は、$\mathbb{R}^4$ に埋め込めない安定ハミルトニアン構造に安定ホモトープである。
• トランバーシャルティの仮定の下で、有理数的SFTは3次元におけるSHSのホモトピー不変量である。これは、短いホモトピーの連結とモース＝ボット近似により示された。
• 非正確な安定ホモトピー（コhomologyが変化するもの）はSFT不変性を保たない。これは、$T^3$ 上で非自明なSFTから自明なSFTへの遷移によって示された。