[论文解读] Combinatorial embedded contact homology for toric contact manifolds

Keon Choi|arXiv (Cornell University)|Aug 29, 2016

Geometric and Algebraic Topology参考文献 10被引用 6

一句话总结

本文通过轨道矩映射和路径分解，为环面接触3-流形的嵌入接触同调（ECH）链复形提供了组合描述。通过将ECH指标1的全纯曲面表征为平凡、不可约和最小装饰区域的连接，建立了ECH微分的判定准则，证明了文献[8]中关于透镜空间的辛嵌入的猜想A.3。

ABSTRACT

Computing embedded contact homology (ECH) and related invariants of certain toric 3-manifolds (in the sense of Lerman) has led to interesting new results in the study of symplectic embeddings. Here, we give a combinatorial formulation of ECH chain complexes for general toric contact 3-manifolds. As a corollary, we prove Conjecture A.3 from [Hutchings14].

研究动机与目标

• 为一般环面接触3-流形的嵌入接触同调（ECH）链复形建立组合表述。
• 将Hutchings与Sullivan的多边形路径与角部圆滑化方法推广至所有环面接触结构。
• 解决关于透镜空间嵌入至环域的猜想A.3。
• 以几何与组合数据（平凡区域、不可约分量及正性条件）表征ECH微分。

提出的方法

• 通过轨道矩映射 $ a: \mathbb{I} \to ({\mathfrak{t}}^2)^* $ 表征接触结构，其中 $ \lambda $ 是 $ \pi_{\mathbb{I}}^*a $ 的扰动。
• 定义编码Reeb轨道数据的格点路径 $ \bar{\mathcal{P}} $，其分量包括边方向、凸性与重数。
• 将ECH生成元表征为轨道集，微分 $ \partial $ 通过ECH指标1的 $ J $-全纯曲线模空间定义。
• 利用Morse-Bott理论与扰动技术，确保在 $ \mathbb{Z}/2 $ 同调中横截性与计数的良定义性。
• 引入 $ a $-正性、最小正性及几乎最小装饰区域的概念，以对有效全纯曲面贡献进行分类。
• 通过将路径数据限制在轨道矩映射的子区间上，构造从 $ ECC(L(p,q)) $ 到 $ ECC(T^3) $ 的链映射 $ \Phi $，并证明其与微分相容。

实验结果

研究问题

• RQ1 在何种组合条件下，ECH微分会计算环面接触3-流形中ECH指标1的全纯曲面？
• RQ2 能否通过轨道矩映射的路径分解完全描述环面接触流形的ECH链复形？
• RQ3 从 $ ECC(L(p,q)) $ 到 $ ECC(T^3) $ 的链映射 $ \Phi $ 是否保持微分，从而满足辛嵌入障碍的要求？
• RQ4 Reeb轨道的凸性与凹性在决定全纯曲面贡献的符号与存在性方面起何精确作用？
• RQ5 在所提出的组合框架下，文献[8]中关于透镜空间嵌入凸环域的猜想A.3是否成立？

主要发现

• 当且仅当区域 $ \mathcal{R}_{\alpha,\beta} $ 可分解为 $ \mathcal{T}_1 \mathcal{R}' \mathcal{T}_2 $ 时，微分 $ \partial \alpha $ 包含 $ \beta $，其中 $ \mathcal{T}_i $ 为平凡区域，而 $ \mathcal{R}' $ 为非局部、不可约、$ a $-正、最小正且几乎最小装饰的区域。
• 此类区域的组合ECH指标非负，且当且仅当区域为最小正且最小装饰时，该指标为零。
• 微分贡献的唯一性仅在存在两个此类区域时失效，此时其贡献在 $ \mathbb{Z}/2 $ 同调中相互抵消。
• 构造了链映射 $ \Phi: ECC(L(p,q)) \to ECC(T^3) $，通过将路径数据限制在轨道矩映射的子区间上，该映射保持微分与分次。
• 在 $ a_T $ 为凸且在区间 $ (\tilde{x}_1, \tilde{x}_0 + 2) $ 上满足特定符号条件时，证明了 $ \Phi $ 为链映射，从而确认了文献[8]中的猜想A.3。
• 该证明依赖于证明：在 $ T^3 $ 中，若 $ \mathcal{R}_{\alpha,\beta} $ 非平凡，则任何全纯曲面必须完全位于透镜空间的像内部，此结论由正性与指标约束所保证。