[论文解读] Contact Homology, Capacity and Non-Squeezing in R^2n x S^1 via Generating Functions

Sheila Sandon|arXiv (Cornell University)|Jan 20, 2009

Geometric and Algebraic Topology参考文献 32被引用 23

一句话总结

本文通过生成函数方法建立了 ℝ²ⁿ×S¹ 上的接触同调理论，将 Viterbo 的辛容量构造推广至接触几何领域。通过利用函子性和同调群的单调性，本文给出了 Eliashberg-Kim-Polterovich 非压缩定理在 ℝ²ⁿ×S¹ 中的新证明，表明某些区域无法被紧支集接触嵌入到更小的区域中。

ABSTRACT

Starting from the work of Bhupal, we extend to the contact case the Viterbo capacity and Traynor's construction of symplectic homology. As an application we get a new proof of the Non-Squeezing Theorem of Eliashberg, Kim and Polterovich.

研究动机与目标

• 将 Viterbo 的辛容量与 Traynor 的辛同调构造推广至使用生成函数的接触情形。
• 在不依赖全纯曲线技术的前提下，为 ℝ²ⁿ×S¹ 中的 Eliashberg-Kim-Polterovich 非压缩定理提供替代证明。
• 通过生成函数定义并研究 ℝ²ⁿ×S¹ 中区域的接触同调群，建立其不变性与单调性性质。
• 证明某些区域在 ℝ²ⁿ×S¹ 中的接触压缩受拓扑不变量阻碍，而这些不变量源自生成函数。

提出的方法

• 通过无界有序生成函数序列，为 ℝ²ⁿ×S¹ 中的区域 $ \tilde{\mathcal{U}} \subset \mathbb{R}^{2n} \times S^1 $ 定义接触同调群 $ G_*^{(a,b]}(\tilde{\mathcal{U}}) $。
• 建立接触不变性：任何同痕于恒等映射的接触微分同胚在同调群上诱导同构。
• 证明单调性：区域包含关系诱导的同态反向保持同调群的序，并与接触微分同胚作用保持函子相容。
• 利用同构 $ G_*^{(a,b]}(\mathcal{U} \times S^1) \cong G_*^{(a,b]}(\mathcal{U}) \otimes H_*(S^1) $，建立辛同调与接触同调之间的联系。
• 应用函子性与单调性，阻碍在光滑范畴中可能成立的接触嵌入。
• 利用生成函数的结构，定义一种类似于 Viterbo 辛容量的接触容量。

实验结果

研究问题

• RQ1 能否使用生成函数而非全纯曲线技术来证明 ℝ²ⁿ×S¹ 中的非压缩现象？
• RQ2 ℝ²ⁿ×S¹ 中区域的接触同调群具有何种结构？它们在包含与接触微分同胚下的行为如何？
• RQ3 如何通过生成函数将 Viterbo 的辛容量构造推广至接触设定？
• RQ4 当 $ R_2 \leq k \leq R_1 $ 且 $ k $ 为整数时，接触压缩会产生何种障碍？这些障碍如何由同调不变量捕捉？
• RQ5 是否存在一种基于生成函数的接触容量，能够检测 ℝ²ⁿ×S¹ 中的非压缩现象，类似于 ℝ²ⁿ 中的辛容量？

主要发现

• 接触同调群 $ G_*^{(a,b]}(\mathcal{U} \times S^1) $ 同构于 $ G_*^{(a,b]}(\mathcal{U}) \otimes H_*(S^1) $，从而将辛同调与接触同调联系起来。
• 同痕于恒等映射的接触微分同胚在接触同调上诱导同构，确立了接触同调在接触同痕下的不变性。
• 区域包含关系诱导的同态反向保持同调群的序，且在接触微分同胚作用下保持函子相容。
• 非压缩定理成立：若 $ R_2 \leq k \leq R_1 $ 且 $ k $ 为整数，则 $ \widehat{B(R_1)} $ 无法被紧支集接触嵌入至 $ \widehat{B(R_2)} $，该结果通过同调障碍得以证明。
• 该方法提供了 Eliashberg-Kim-Polterovich 非压缩定理的基于生成函数的证明，避免了全纯曲线方法。
• 该方法通过生成函数将 Viterbo 的辛容量推广至接触拓扑，得到一种接触容量不变量。