[论文解读] 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

一句话总结

该论文建立了三维稳定哈密顿结构（SHS）的基础拓扑性质，证明了模稳定同伦的SHS空间是离散的，且并非所有SHS都同伦于接触结构。论文表明SHS通常是莫尔斯-博特定向的，但并非莫尔斯型，并构造了一个与不可嵌入的SHS同伦的标准接触结构，其结果对辛场理论（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.

研究动机与目标

• 理解三维稳定哈密顿结构（SHS）的拓扑分类。
• 确定SHS是否同伦于接触结构，或能否嵌入到$\mathbb{R}^4$中。
• 建立辛场理论（SFT）在SHS的稳定同伦下保持不变的条件。
• 对由开书支持的SHS进行分类，并在三维情形下推导出结构定理。

提出的方法

• 将稳定哈密顿结构定义为满足$\omega$闭、$\omega^{n-1} \neq 0$、$\lambda \wedge \omega^{n-1} > 0$且$\ker \omega \subset \ker d\lambda$的对$(\omega, \lambda)$。
• 在SHS空间上使用$C^k$-拓扑，并将稳定同伦定义为具有固定上同调类且兼容$\lambda_t$的族$\omega_t$。
• 通过证明在$C^2$-邻域内所有邻近的SHS均稳定同伦，从而证明同伦类的离散性。
• 应用叶状上同调与可积性分析研究不变环面与接触区域。
• 利用开书分解对SHS进行分类，并在绑定附近构造标准化形式。
• 应用形变理论与逼近技巧，证明即使莫尔斯逼近失败，莫尔斯-博特逼近仍是可能的。

实验结果

研究问题

• RQ1 在三维情形下，模稳定同伦的稳定哈密顿结构空间是否是离散的？
• RQ2 是否存在一种稳定哈密顿结构，其不与任何正接触结构同伦？
• RQ3 所有稳定哈密顿结构是否通常是莫尔斯-博特定向的，且能否被莫尔斯型结构逼近？
• RQ4 标准接触结构在$S^3$上是否可能稳定同伦于一种无法嵌入$\mathbb{R}^4$的结构？
• RQ5 在三维情形下，有理SFT是否在SHS的稳定同伦下保持不变？

主要发现

• 在三维情形下，模稳定同伦的稳定哈密顿结构空间是离散的，因为每个SHS都存在一个$C^2$-邻域，使得其中所有邻近的SHS均稳定同伦。
• 存在不与任何正接触结构同伦的稳定哈密顿结构，从而揭示了SHS与接触结构之间存在拓扑差异。
• 稳定哈密顿结构通常是莫尔斯-博特定向的，但并非莫尔斯型，且一般SHS无法被莫尔斯型结构逼近。
• 标准接触结构在$S^3$上稳定同伦于一种无法嵌入$\mathbb{R}^4$的稳定哈密顿结构。
• 在横截性假设下，有理SFT是三维SHS在稳定同伦下的同伦不变量，其证明基于短同伦的连接与莫尔斯-博特逼近。
• 非精确的稳定同伦（上同调类变化）不保持SFT不变性，如在$T^3$上从非平凡到平凡的SFT转变所表明的。