[論文レビュー] Homological actions on sutured Floer homology

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

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

ひとこと要約

本稿は、sutured Floer homology $SFH(M,\gamma)$ に、ホモロジー群 $H_1(M, \partial M)$ の作用を導入し、外積代数 $\Lambda^*(H_1(M, \partial M)/\mathrm{Tors})$ 上の加群構造を確立する。主な結果として、接触不変量 $EH(M,\gamma,\xi)$ がこの作用によって消えることが示され、これにより、単純な knot Floer homology を持つ絡み目の以前の結果が精緻化され、結論として $\#^n(S^1 \times S^2)$ 内で単純な Floer homology を持つのは、ただの絡み目と Borromean 絡み目のみであることが分かれる。

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 Floer homology $SFH(M,\gamma)$ に $H_1(M, \partial M)/\mathrm{Tors}$ の自然な作用を定義し、Heegaard Floer 加群構造を sutured 多様体へ拡張する。
• この作用が well-groomed sutured manifold 分解と整合的であることを確立し、包含写像と射影写像を保存する。
• Ghiggini と著者の非ファイバー型 Seifert 面に関する定理を精緻化し、作用の核のランクが 2 以上であることを示す。
• $\#^n(S^1 \times S^2)$ 内で単純な knot Floer homology を持つすべての絡み目を分類し、それらが本質的に Borromean 絡み目であることを示す。

提案手法

• 各 $\zeta \in H_1(M, \partial M)/\mathrm{Tors}$ に対して、$SFH(M,\gamma)$ 上に作用 $A_\zeta$ を定義し、Heegaard Floer homology の作用を一般化する。
• $A_\zeta^2 = 0$ を満たすことを証明し、$SFH(M,\gamma)$ が $\Lambda^*(H_1(M, \partial M)/\mathrm{Tors})$-加群であることを示す。
• sutured manifold 分解との整合性を確立する：$\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^*$-加群構造を持つことを利用して、単純な knot Floer homology を持つ絡み目の分類を行う。
• 帰納法と link Floer homology の技法を用いて、ランク条件 $\mathrm{rank}\, \widehat{HFK}(L) = 2^{n-1}$ を満たすのは、ただのリンクと Borromean リンクのみであることを示す。

実験結果

リサーチクエスチョン

• RQ1 Heegaard Floer homology の $\Lambda^*$-加群構造を sutured Floer homology にどのように拡張できるか？
• RQ2 接触不変量 $EH(M,\gamma,\xi)$ が新しいホモロジー的作用の下でどのように振る舞うか？
• RQ3 この作用が sutured manifold 分解と整合的であることが示せるか？包含写像と射影写像を保存するか？
• RQ4 接触不変量が作用の下で消えることは、非ファイバー型 Seifert 面に対するより強い障害をもたらすか？
• RQ5 $\#^n(S^1 \times S^2)$ 内で単純な knot Floer homology を持つのはどの絡み目か？完全に分類できるか？

主な発見

• 作用 $A_\zeta$ は $\zeta \in H_1(M, \partial M)/\mathrm{Tors}$ に対して $SFH(M,\gamma)$ 上で適切に定義され、$SFH(M,\gamma)$ が $\Lambda^*$-加群であることを示す。
• 接触不変量 $EH(M,\gamma,\xi)$ は任意の $\zeta$ の作用の下で 0 に写される。これは重要な障害結果である。
• 作用は sutured manifold 分解と整合的である：$\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)$ 内で単純な knot Floer homology を持つのは、ただの絡み目と Borromean 絡み目のみである。
• $S^3$ 内のリンクに関して、$\mathrm{rank}\, \widehat{HFK}(L) = 2^{n-1}$ を満たすのは、ただのリンクと Borromean リンクのみであり、帰納法と link Floer homology を用いて示された。