[论文解读] Homological actions on sutured Floer homology

Yi Ni|arXiv (Cornell University)|Oct 14, 2010

Geometric and Algebraic Topology参考文献 17被引用 8

一句话总结

本文引入了同调群 $H_1(M, \partial M)$ 对sutured Floer同调 $SFH(M,\gamma)$ 的作用，建立了外代数 $\Lambda^*(H_1(M, \partial M)/\mathrm{Tors})$ 上的模结构。关键结果表明，接触不变量 $EH(M,\gamma,\xi)$ 在此作用下被消去，从而对具有简单结Floer同调的结的早期结果进行了精化，最终实现分类：在 $\#^n(S^1 \times S^2)$ 中，仅有平凡结与Borromean结具有简单的Floer同调群。

ABSTRACT

We define the action of the homology group $H_1(M,\partial M)$ on the sutured Floer homology $SFH(M,γ)$. It turns out that the contact invariant $EH(M,γ,ξ)$ is usually sent to zero by this action. This fact allows us to refine an earlier result proved by Ghiggini and the author. As a corollary, we classify knots in $#^n(S^1 imes S^2)$ which have simple knot Floer homology groups: They are essentially the Borromean knots.

研究动机与目标

• 为sutured流形定义 $H_1(M, \partial M)/\mathrm{Tors}$ 对sutured Floer同调 $SFH(M,\gamma)$ 的自然作用，将Heegaard Floer模结构推广至sutured流形。
• 证明该作用与良好修剪的sutured流形分解相容，保持包含映射与投影映射的性质。
• 通过证明作用的核的秩至少为2，对Ghiggini与作者关于非纤维化Seifert曲面的定理进行精化。
• 对 $\#^n(S^1 \times S^2)$ 中具有简单结Floer同调的结进行完全分类，表明其本质上为Borromean结。

提出的方法

• 为每个 $\zeta \in H_1(M, \partial M)/\mathrm{Tors}$ 定义 $SFH(M,\gamma)$ 上的作用 $A_\zeta$，推广Heegaard Floer同调中的作用。
• 证明该作用满足 $A_\zeta^2 = 0$，使得 $SFH(M,\gamma)$ 成为 $\Lambda^*(H_1(M, \partial M)/\mathrm{Tors})$-模。
• 建立作用与sutured流形分解的相容性：$\iota \circ A_{i_*(\zeta)} = A_\zeta \circ \iota$ 与 $A_{i_*(\zeta)} \circ \pi = \pi \circ A_\zeta$，其中 $i_*$ 为同调上的诱导映射。
• 利用接触不变量在作用下为零的性质，推导出作用核的下界，从而对非纤维化Seifert曲面的结果进行精化。
• 将模结构应用于 $Y_n = \#^n(S^1 \times S^2)$，其中 $\widehat{HF}(Y_n)$ 具有丰富的 $\Lambda^*$-模结构，用于分类具有简单结Floer同调的结。
• 通过归纳法与链Floer同调技巧，证明仅平凡链与Borromean链满足秩条件 $\mathrm{rank}\, \widehat{HFK}(L) = 2^{n-1}$。

实验结果

研究问题

• RQ1 如何将Heegaard Floer同调的 $\Lambda^*$-模结构推广至sutured Floer同调？
• RQ2 接触不变量 $EH(M,\gamma,\xi)$ 在 $SFH(M,\gamma)$ 上的新同调作用下的行为如何？
• RQ3 能否证明该作用与sutured流形分解相容，保持包含与投影映射？
• RQ4 接触不变量在作用下为零是否能提供关于非纤维化Seifert曲面的更强障碍？
• RQ5 哪些结在 $\#^n(S^1 \times S^2)$ 中具有简单的结Floer同调？能否实现完全分类？

主要发现

• 作用 $A_\zeta$ 在 $SFH(M,\gamma)$ 上对 $\zeta \in H_1(M, \partial M)/\mathrm{Tors}$ 是良定义的，使得 $SFH(M,\gamma)$ 成为 $\Lambda^*$-模。
• 接触不变量 $EH(M,\gamma,\xi)$ 在任意 $\zeta$ 的作用下被映射为零，这是关键的障碍性结果。
• 该作用与sutured流形分解相容：$\iota \circ A_{i_*(\zeta)} = A_\zeta \circ \iota$ 与 $A_{i_*(\zeta)} \circ \pi = \pi \circ A_\zeta$，保持分解结构。
• 对于具有非纤维化Seifert曲面的结，其在最高Alexander分厘格上的作用核的秩至少为2，从而对早期结果进行了精化。
• 在 $\#^n(S^1 \times S^2)$ 中，仅平凡结与Borromean结具有简单的结Floer同调。
• 在 $S^3$ 中，仅平凡链与Borromean链满足 $\mathrm{rank}\, \widehat{HFK}(L) = 2^{n-1}$，该结论通过归纳法与链Floer同调方法得以证明。