[论文解读] Algebraic torsion via Heegaard Floer homology

Çağatay Kutluhan, Gordana Matić+2 more|arXiv (Cornell University)|Mar 5, 2015

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

一句话总结

本文通过将Hutchings的嵌入接触同调（ECH）构造适配于稳定哈密顿结构，建立了一个在海格福尔同调中定义代数 $k$-挠率不变量的框架。通过海格福尔同调与西伯格–沃伦弗洛尔同调之间的一种变体ECH同构，将基于ECH的 $k$-挠率方法转化为海格福尔设定，从而得到一个能检测接触不变量支撑中非平凡挠率的精化接触不变量。

ABSTRACT

We outline Hutchings's prescription that produces an ECH analog of Latschev and Wendl's algebraic $k$-torsion in the context of $ech$, a variant of ECH used in a proof of the isomorphism between Heegaard Floer and Seiberg-Witten Floer homologies; and we explain how it translates into Heegaard Floer homology.

研究动机与目标

• 将嵌入接触同调（ECH）中的代数 $k$-挠率概念通过一个典范同构推广到海格福尔同调中。
• 通过海格福尔同调与西伯格–沃伦弗洛尔同调之间的同构，将Hutchings基于ECH的 $k$-挠率构造适配到海格福尔设定中。
• 在海格福尔同调中定义一个能捕捉接触结构挠率性质的精化接触不变量。
• 在海格福尔与ECH设定之间建立全纯曲线的1–1对应关系，同时保持 $J_+$-指标与Maslov指标不变。
• 利用海格福尔图中的区域及其相关的欧拉测度与点测度，为 $k$-挠率不变量提供一个计算框架。

提出的方法

• 在手术后的流形 $Y = M \#_{g+1} (S^1 \times S^2)$ 上，通过伪梯度向量场与海格福尔面上的面积形式构造一个稳定哈密顿结构。
• 定义Reeb向量场的周期轨道，包括通过基点的唯一轨道 $\gamma_z$，以及在每个1-柄 $\mathcal{H}_i$ 中的双曲轨道 $\gamma_i^\pm$。
• 使用海格福尔同调的柱面重 formulation，通过1–1对应关系将 $\Sigma \times [0,1] \times \mathbb{R}$ 中的 $J_{\text{HF}}$-全纯曲线与 $\mathbb{R} \times Y$ 中的 $J$-全纯曲线联系起来。
• 通过公式 $J_+(\mathcal{D}) = \mu(\mathcal{D}) - 2e(\mathcal{D}) + |\mathbf{x}_+| - |\mathbf{x}_-|$，以Maslov指标 $\mu(\mathcal{D})$、欧拉测度 $e(\mathcal{D})$ 以及循环计数 $|\mathbf{x}_+|, |\mathbf{x}_-|$ 定义全纯曲线的 $J_+$-指标。
• 利用 $\widehat{\mathit{CF}}(-M, \mathfrak{s})$ 与 $\widehat{\mathit{ecc}}_\circ(Y, \Gamma)$ 之间的同构，将ECH中的 $k$-挠率构造转移到海格福尔同调设定中。
• 利用基于区域的 $J_+$-公式，在海格福尔同调中定义代数 $k$-挠率，作为接触不变量的精化。

实验结果

研究问题

• RQ1 能否通过与西伯格–沃伦弗洛尔同调的同构，将基于ECH的代数 $k$-挠率构造适配到海格福尔同调中？
• RQ2 海格福尔设定中全纯曲线的 $J_+$-指标如何与图中的Maslov指标和区域不变量相关联？
• RQ3 在海格福尔图中，$J_+$-指标的精确公式是什么，其以欧拉测度与点测度等区域不变量表示？
• RQ4 海格福尔同调中的精化接触不变量能否检测接触结构中非平凡的代数 $k$-挠率？
• RQ5 海格福尔与ECH设定中全纯曲线之间的1–1对应关系如何保持 $J_+$-指标，并支持 $k$-挠率不变量的转移？

主要发现

• 海格福尔设定中全纯曲线的 $J_+$-指标由公式 $J_+(\mathcal{D}) = \mu(\mathcal{D}) - 2e(\mathcal{D}) + |\mathbf{x}_+| - |\mathbf{x}_-|$ 给出，其中 $\mu(\mathcal{D})$ 为Maslov指标，$e(\mathcal{D})$ 为欧拉测度，$|\mathbf{x}_\pm|$ 为与生成元关联的对称群元素中的循环数。
• 存在一个典范同构，将海格福尔链复形 $\widehat{\mathit{CF}}(-M, \mathfrak{s})$ 与ECH子复形 $\widehat{\mathit{ecc}}_\circ(Y, \Gamma)$ 联系起来，该同构保持 $J_+$-指标与全纯曲线的对应关系。
• 该构造产生了一个海格福尔接触不变量的精化，通过全纯曲线的 $J_+$-指标检测接触结构中的代数 $k$-挠率。
• 公式 $J_+(\mathcal{D}) = \mu(\mathcal{D}) - 2e(\mathcal{D}) + |\mathbf{x}_+| - |\mathbf{x}_-|$ 仅依赖于海格福尔图中的区域 $\mathcal{D}$，从而实现了基于图的 $J_+$-指标计算。
• Reeb向量场的周期轨道包括通过基点 $z$ 的一个轨道，以及在每个1-柄 $\mathcal{H}_i$ 中的两个双曲轨道 $\gamma_i^\pm$，这些轨道在ECH设定中定义轨道集时至关重要。
• 该方法成功地将Hutchings的ECH $k$-挠率配方移植到海格福尔同调中，建立了一个能检测接触不变量中挠率的新不变量。