[论文解读] Heegaard Floer invariants of Legendrian knots in contact three--manifolds

Paolo Lisca, Peter Ozsváth+2 more|ArXiv.org|Feb 5, 2008

Geometric and Algebraic Topology参考文献 29被引用 24

一句话总结

本文利用Heegaard Floer同调，为接触3-流形中的零同调Legendrian与平庸纽结引入了新的不变量。通过在对偶定向流形的纽结Floer同调中构造循环类，证明了不变量${\mathfrak{L}}(L)$与$\widehat{\mathfrak{L}}(L)$与辅助数据无关，仅依赖于Legendrian同痕类。关键贡献在于建立了一个与接触Ozsváth–Szabó不变量相关的非零判别准则，从而能够检测在歪扭接触结构中平庸纽结的非单纯性。

ABSTRACT

We define invariants of null--homologous Legendrian and transverse knots in contact 3--manifolds. The invariants are determined by elements of the knot Floer homology of the underlying smooth knot. We compute these invariants, and show that they do not vanish for certain non--loose knots in overtwisted 3--spheres. Moreover, we apply the invariants to find transversely non--simple knot types in many overtwisted contact 3--manifolds.

研究动机与目标

• 在任意闭接触3-流形中为零同调Legendrian与平庸纽结定义不变量，扩展此前仅限于$S^3$的构造。
• 建立与辅助数据无关、仅依赖于纽结Legendrian同痕类的不变量。
• 为在歪扭接触3-流形中检测平庸非单纯性提供一个框架，利用这些不变量。
• 将不变量与接触Ozsváth–Szabó不变量$c(Y,\xi)$联系起来，证明一个非零判别准则。

提出的方法

• 使用与纽结及其分裂球面相容的双点标记Heegaard图，构造$(-Y,L)$的Heegaard Floer同调中的循环类${\bf{x}}(L,D)$。
• 将不变量${\mathfrak{L}}(L)$与$\widehat{\mathfrak{L}}(L)$定义为具有指定同调类的$\mathbb{F}[U]$-模的等价类，模去$\mathbb{F}[U]$-模同构。
• 利用标记Heegaard变换（微分同胚、滑移、稳定化）证明不变量在辅助数据改变下保持不变。
• 通过证明由标记Heegaard变换诱导的三角映射保持双分次并诱导同调上的同构，证明不变量在Legendrian同痕下保持不变。
• 利用连通和的Künneth原理，通过链复形的张量积将连通和纽结的不变量与各分量的不变量关联起来。
• 建立非零条件：若$c(Y,\xi) \neq 0$，则${\mathfrak{L}}(L) \neq 0$；否则，当$d$足够大时，$U^d \cdot {\mathfrak{L}}(L) = 0$。

实验结果

研究问题

• RQ1 能否在标准接触$S^3$之外的任意闭接触3-流形中为Legendrian与平庸纽结定义不变量？
• RQ2 这些不变量是否与Heegaard图和基点等辅助数据的选择无关？
• RQ3 若接触Ozsváth–Szabó不变量$c(Y,\xi)$非零，是否意味着新定义的Legendrian不变量${\mathfrak{L}}(L)$也非零？
• RQ4 这些不变量能否检测歪扭接触3-流形中平庸非单纯性？
• RQ5 在一般接触3-流形中，这些不变量在连通和与同痕下的行为如何？

主要发现

• 不变量${\mathfrak{L}}(L)$与$\widehat{\mathfrak{L}}(L)$在$\mathbb{F}[U]$-模同构下定义良好，且仅依赖于$L$的Legendrian同痕类，与辅助选择无关。
• 若接触Ozsváth–Szabó不变量$c(Y,\xi)$非零，则对任意定向Legendrian纽结$L \subset (Y,\xi)$，均有${\mathfrak{L}}(L) \neq 0$。
• 在歪扭接触3-流形中，不变量对非松散纽结可非零，表明其在非标准接触结构中具有敏感性。
• 不变量能检测平庸非单纯性：可区分作为光滑纽结同痕但非平庸同痕的纽结类型。
• 当$c(Y,\xi) = 0$时，对足够大的$d$，有$U^d \cdot {\mathfrak{L}}(L) = 0$，表明其滤子行为与接触不变量的消失一致。
• 不变量在连通和运算下保持不变，其双分次结构反映了纽结Floer同调的张量积分解。