[論文レビュー] Heegaard Floer homology and Morse surgery

Eaman Eftekhary|ArXiv.org|Mar 7, 2006

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

ひとこと要約

本稿は、同調球における零ホモロジーノードルの有理スケーリングにおけるスケーリングトーラスのコアによって誘導されるヘーガード・フロアー homology 複体のフィルトレーションに関する手術公式を確立する。フィルタードチェーン複体とねじれ写像を含むマッピングコーン構成を用いて、スケーリングされた多様体の knot Floer homology を計算し、$K$ を $S^3$ 内の knot とし、その genus を $g(K)$ とするとき、$χ\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ が $χ\underline{\mathfrak{t}} = -qg(K)$ および $χ\underline{\mathfrak{t}} = qg(K)+p-1$ のみで非自明であり、この範囲外では消えることを証明する。

ABSTRACT

We establish surgery formulas for filtration of the Heegaard Floer homology associated with p/q surgery on a null-homologous knot K in a three-manifold Y, induced by K_{p/q}. Here K_{p/q} is the core of the attached solid torus (which produces the surgery). This would generalize a result of Ozsvath and Szabo. We will re-prove that surgery on non-trivial knots can not produce S^3, as a corollary of a non-vanishing result for the knot Floer homology of K_{p/q}.

研究の動機と目的

• 整数スケーリングのためのオズバースキーとツァバの手術公式を、同調球内の零ホモロジーノードル knot に対する有理スケーリングに一般化すること。
• 同調球内の零ホモロジーノードル knot に対する $Y_{p/q}(K)$ のスケーリングトーラスのコアによって誘導されるヘーガード・フロアー複体のフィルトレーションを計算し、[OS4] の枠組みを拡張すること。
• 非自明な knot スケーリングが $S^3$ を生成できないことを、knot Floer homology の非自明性結果を用いて再証明すること。
• 有理数環 $χ\mathbb{Z}[\zeta]/(\zeta^q=1)$ のねじれ写像を含むマッピングコーン構成を用いて、スケーリングされた多様体のフィルタードチェーン複体を計算するための道具を提供すること。

提案手法

• 四つの整数グレーディングと $\partial^\infty$ から導かれる微分 $\partial_\mathbb{D}$ を用いて、$\text{CFK}^\infty(Y,K)$ 複体からフィルタードチェーン複体 $\mathbb{D}$ を構成する。
• $\Delta(a) = i-j+k-l$ という不変量に基づく部分複体 $\mathbb{D}_\delta$ を定義し、$\mathbb{D}^{up}$ と $\mathbb{D}^{down}$ を $\mathbb{D}_1$ のコピーとして、それぞれ異なる $\mathbb{Z}\oplus\mathbb{Z}$ グレーディングを持つように構成する。
• $\lfloor (t+p)/q \rfloor$ を含むシフトを用いて、$\mathbb{D}^{up} \otimes \mathbb{Z}[\zeta]/(\zeta^q=1)$ から $\mathbb{D}^{down} \otimes \mathbb{Z}[\zeta]/(\zeta^q=1)$ へのチェーン写像 $g_{p/q}$ を導入し、スケーリングデータを符号化する。
• $\overline{f}_{p/q} = \text{Id} + g_{p/q}$ を定義し、マッピングコーン $\mathbb{M}(\overline{f}_{p/q})$ を構成する。このコーンは、スケーリングされた多様体のホモロジーのフィルタード構造を保持する。
• 異なるマークドポイントからのフィルトレーション間のホモトピー同値写像 $\tau$ を用いて、基点の選択に依存しない不変性を保証する。
• 正のテストドメインへの分解と $C\{i\leq 0,k=0\}$ および $C\{i=0,k\leq 0\}$ 内の生成子の解析を通じて、マッピングコーンのホモロジーを $\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ に同定する。

実験結果

リサーチクエスチョン

• RQ1 同調球内の零ホモロジーノードル knot に対する有理スケーリングの下で、ヘーガード・フロアー複体のフィルトレーションはどのように変化するか？
• RQ2 $K \subset S^3$ に対する $p/q$-スケーリングの後、$χ\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ が非ゼロとなる $\underline{\mathfrak{t}} \in \mathbb{Z}$ の正確な範囲は何か？
• RQ3 $\u03c7\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ の非自明性を用いて、有理スケーリングが $S^3$ を生成できないことを遮断できるか？
• RQ4 有理数環 $χ\mathbb{Z}[\zeta]/(\zeta^q=1)$ のねじれ写像を含むマッピングコーン構成は、スケーリングされた多様体のフィルタードチェーン複体をどのように捉えているか？

主な発見

• $K \subset S^3$ を genus $g(K)$ とするとき、knot Floer homology $\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ は $\underline{\mathfrak{t}} = -qg(K)$ および $\underline{\mathfrak{t}} = qg(K)+p-1$ のみで非ゼロであり、$\widehat{\text{HFK}}(K_r, -qg(K)) \cong \widehat{\text{HFK}}(K, g(K)) \neq 0$ が成り立つ。
• $\underline{\mathfrak{t}} < -qg(K)$ または $\underline{\mathfrak{t}} \geq qg(K)+p$ のすべての $\underline{\mathfrak{t}}$ に対して、ホモロジー $\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ は消える。これはマッピングコーン分解における対応するホモロジー群の自明性によって示される。
• 端的な $\underline{\mathfrak{t}}$-値における $\u03c7\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ の非自明性は、非自明な knot スケーリングが $S^3$ を生成できないことを示唆する。なぜなら、このようなスケーリングが $S^3$ を生成するならば、すべての $\underline{\mathfrak{t}} \neq 0$ に対して $\widehat{\text{HFK}}(S^3, \underline{\mathfrak{t}}) = 0$ でなければならないが、これは非自明性の結果と矛盾するからである。
• $\mathbb{M}(\overline{f}_{p/q})$ の複体は、$Y_{p/q}(K)$ のフィルタード $\text{CFK}^\infty$ を計算するものであり、${\mathrm{Spin}}^c$ 構造は $\underline{\mathfrak{s}} = q(i(\mathbf{x})+j-k) + p(i-j) + t$ を通じて割り当てられる。
• $\widehat{\text{HFK}}(K_r, -qg(K)) \cong \widehat{\text{HFK}}(K, g(K)) \neq 0$ の同型は、$H_*(\widehat{\mathbb{A}}_0(-qg(K)))$ を $C\{i=0,k\leq 0\}(-g(K))$ に同定することで確立され、$i(\mathbf{x}) < -g(K)$ の生成子はホモロジーでキャンセルされる。
• 同様に、$\widehat{\text{HFK}}(K_r, qg(K)+p-1) \cong \widehat{\text{HFK}}(K, g(K)) \neq 0$ は、$C\{i\leq 0,k=0\}(g(K)-1)$ の解析を通じて示され、ホモロジーで生き残るのは $i(\mathbf{x}) = g(K)$ の生成子のみであることが示される。