[论文解读] Cobordism maps in embedded contact homology

Jacob Hunter Rooney|arXiv (Cornell University)|Dec 2, 2019

Geometric and Algebraic Topology参考文献 20被引用 4

一句话总结

本文通过在精确辛cobordism的完成空间中使用穿孔全纯曲线和一类新引入的称为零指标-嵌入接触同调（ECH）建筑的几何对象，构建了接触3-流形的嵌入接触同调（ECH）复形之间的链映射。在不存在作用量小于给定值的椭圆Reeb轨道的条件下，该映射是良定义的、与辅助选择无关，并且与ECH微分可交换，从而通过全纯曲线计数几何地实现了cobordism诱导的映射。

ABSTRACT

Given an exact symplectic cobordism $(X, λ)$ between contact $3$-manifolds $(Y_+, λ_+)$ and $(Y_-, λ_-)$ with no elliptic Reeb orbits up to a certain action, we define a chain map from the embedded contact homology (ECH) chain complex of $(Y_+, λ_+)$ to that of $(Y_-, λ_-)$, both taken with coefficients in $\mathbb Z / 2 \mathbb Z$. The map is defined by counting punctured holomorphic curves with ECH index $0$ in the completion of the cobordism and new objects that we call ECH buildings, answering a question of Hutchings.

研究动机与目标

• 通过精确辛cobordism中的全holomorphic曲线，定义接触3-流形的嵌入接触同调复形之间的几何链映射。
• 解决Hutchings提出的基础性问题：如何通过ECH中的全纯曲线计数构造cobordism映射。
• 引入并严格定义一类新几何对象——零指标-嵌入接触同调（ECH）建筑，以解释全纯曲线模空间中当ECH分拆条件被违反时的退化现象。
• 在过滤的ECH设定下，证明该映射对辅助数据选择的不变性，并证明其为链映射。
• 将该框架扩展至$L$-超简单（$L$-supersimple）情形，确保与现有ECH、Heegaard Floer和Seiberg-Witten Floer同调之间的同构相容。

提出的方法

• 该构造使用精确辛cobordism $(X,\lambda)$ 的完成空间 $\widehat{X}$ 中的穿孔全纯曲线，该cobordism连接接触3-流形 $(Y_{+},\lambda_{+})$ 和 $(Y_{-},\lambda_{-})$。
• 引入一类新几何对象——零指标-嵌入接触同调（ECH）建筑，以描述当ECH分拆条件被违反时，全纯曲线模空间中的退化现象。
• 通过使用在 $\widehat{X}$ 上与端点处的 almost complex 结构 $J_{\pm}$ 相容的通用 almost complex 结构 $J$，定义映射 $\Phi_{X,\lambda,J,\mathbf{c}}$，其计数对象为ECH指标为0的全纯曲线与ECH建筑。
• 利用Bao-Honda的评估映射分析曲线的拓扑结构，并证明在一维模空间中，ECH指标不等式变为等式。
• 应用障碍丛粘合技术处理模空间的紧化，并在 $L$-超简单设定下确保横截性。
• 链映射性质的证明依赖于指标计算、退化性分析以及在 $L$-超简单条件下的行列式计算。

实验结果

研究问题

• RQ1 如何通过精确辛cobordism中的全纯曲线定义嵌入接触同调复形之间的链映射？
• RQ2 当全纯曲线模空间中ECH分拆条件被违反时，需要引入哪些新的几何对象来描述退化现象？
• RQ3 为何 $L$-超简单条件对于定义此类映射至关重要？它如何简化对Reeb轨道与全纯曲线的分析？
• RQ4 在过滤的ECH设定下，如何证明该映射对辅助数据选择的不变性？
• RQ5 在 $L$-超简单设定下，能否改进ECH指标不等式，使其在一维模空间中成为等式？

主要发现

• 在 $L$-超简单条件下，链映射 $\Phi_{X,\lambda,J,\mathbf{c}}$ 从过滤的ECH复形 $ECC^L(Y_{+},\lambda_{+},J_{+})$ 良定义地映射到 $ECC^L(Y_{-},\lambda_{-},J_{-})$。
• 该映射与辅助数据 $\mathbf{c}$ 的选择无关，保证了其几何不变性。
• 该映射是链映射，即其与ECH微分可交换，该性质通过指标计算与粘合技术得以证明。
• 在一维模空间中，ECH指标不等式变为等式，从而对涉及的全纯曲线施加了拓扑约束。
• 引入零指标-嵌入接触同调（ECH）建筑使得模空间得到完整紧化，并解决了粘合过程中的障碍问题。
• 该构造与ECH和Seiberg-Witten Floer（上）同调之间的同构相容，从而通过全纯曲线方法几何地实现了cobordism映射。