[論文レビュー] Combinatorial Description of Knot Floer Homology of Cyclic Branched Covers

J. Elisenda Grigsby|ArXiv.org|Oct 9, 2006

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

ひとこと要約

本稿では、2-ブリッジ結び目 $K_{p,q}$ の2重分岐被覆 $-L(p,q)$ におけるその被覆結び目 $ ilde{K}_{p,q}$ に対して、4つの基点を持つ genus-1 ヘーガード分解上のねじれトロイダルグリッド図を用いて、$ \widehat{HF}, HF^+, HF^-, HF^\infty$ を含むすべてのバージョンの knot Floer homology を組み合わせ的に計算する手法を提示する。この方法により、交点における局所的寄与を用いてアレクサンダー・マスロフ次数を明示的に計算でき、サイクル的分岐被覆から生じるレンズ空間における knot Floer homology に対して、簡潔でアルゴリズム的なアプローチを可能にする。

ABSTRACT

We introduce a simple combinatorial method for computing all versions of the knot Floer homology of the preimage of a two-bridge knot K(p,q) inside its double-branched cover, -L(p,q). The 4-pointed genus 1 Heegaard diagram we obtain looks like a twisted version of the toroidal grid diagrams recently introduced by Manolescu, Ozsvath, and Sarkar. We conclude with a discussion of how one might obtain nice Heegaard diagrams for cyclic branched covers of more general knots.

研究の動機と目的

• 2-ブリッジ結び目における2重分岐被覆における knot Floer homology のすべてのバージョンを計算する、組み合わせ的でアルゴリズム的な手法の開発。
• $ \widetilde{K}_{p,q} \subset -L(p,q)$ に対して、genus-1 で4点を持つヘーガード分解を構成し、完全なフィルター付きチェーン複体構造を捉えること。
• 交点における局所的寄与を用いて、絶対的アレクサンダー・マスロフ次数の明示的組み合わせ的公式を提供すること。
• 組み合わせ的 Heegaard Floer homology の適用範囲を $S^3$ を超えて、特にレンズ空間を含むサイクル的分岐被覆へと拡張すること。
• 対称性とグリッド構造を活用して、より高次のサイクル的分岐被覆における不変量の計算の基盤を築くこと。

提案手法

• トーラス $T^2 = \mathbb{R}^2 / \mathbb{Z}^2$ 上に、2本の斜率0の曲線（$y=0$, $y=1/2$）と2本の斜率$p/q$ の曲線（$y = (p/q)x$, $y = (p/q)(x - 1/2)$）を持つねじれトロイダルグリッド図を構成する。
• $0 < \varepsilon < \min(1/p, 1/q)$ を満たすように、$(\varepsilon,1-\varepsilon), (1/2+\varepsilon,1-\varepsilon), (\varepsilon,1/2-\varepsilon), (1/2+\varepsilon,1/2-\varepsilon)$ に4つの基点を配置し、4点を持つヘーガード分解を定義する。
• 生成子を斜率0の曲線と斜率$p/q$ の曲線の間の双対写像として定義し、グリッド図内の平行四辺形の数え上げによって微分を定義する。
• 各交点に対して局所的アレクサンダー・マスロフ次数を割り当て、絶対次数を局所的寄与の和として計算する。
• レンズ空間 $-L(p,q)$ の補正項 $d$-不変量を用いて、絶対的 $\mathbb{Q}$-次数を固定し、$\mathbb{Z}_2$-次数からより良い $\mathbb{Q}$-次数に改善する。
• 対称性とグリッド構造を活用して、すべての Spin$^c$ 構造におけるフィルター付きチェーンホモトピー型を計算し、$ \widetilde{K}_{3,1} \subset -L(3,1)$ における例示がなされている。

実験結果

リサーチクエスチョン

• RQ1 $S^3$ のサイクル的分岐被覆における結び目に対して、組み合わせ的でグリッドベースの手法を用いて knot Floer homology のすべてのバージョンを計算できるか？
• RQ2 特にレンズ空間において、このような被覆における絶対的アレクサンダー・マスロフ次数をどのように組み合わせ的に計算できるか？
• RQ3 2-ブリッジ結び目 $K_{p,q}$ に対して、フィルター付きチェーン複体 $\widehat{CF}(\Sigma^2(K_{p,q})); \widetilde{K}_{p,q})$ の構造は何か？
• RQ4 本手法は、2-ブリッジ結び目を越えてより一般の結び目の高次サイクル的分岐被覆へと一般化可能か？
• RQ5 ホロモーフィック曲面の数え上げなしに、グリッド図から結び目およびその被覆の組み合わせ的不変量をどのように抽出できるか？

主な発見

• $ \widetilde{K}_{3,1} \subset -L(3,1)$ において、$\mathfrak{s}_0$ の Spin$^c$ 構造におけるホモロジーは $\widehat{HFK} \cong (\mathbb{Z}_2)_{(-2,d-3)} \oplus (\mathbb{Z}_2^2)_{(-1,d-2)} \oplus (\mathbb{Z}_2^2)_{(0,d-1)} \oplus (\mathbb{Z}_2)_{(1,d)}$ であり、$d = -1/2$ で、$S^3$ における $\mathbb{Q}$-次数付き $\widehat{HFK}(S^3; K_{3,1})$ とシフトを除いて一致する。
• $\mathfrak{s}_{\pm1}$ 構造では、ホモロジーは $\widehat{HFK} \cong (\mathbb{Z}_2)_{(-1,d-1)} \oplus (\mathbb{Z}_2)_{(0,d)}$ であり、$d = 1/6$ で、$\widehat{HFK}(S^3; U)$ とシフトを除いて同型である。
• 絶対的 $\mathbb{Q}$-次数は $d$-不変量の補正項を用いて固定され、$\mathbb{Z}_2$ を超える正規化された絶対次数が得られる。
• 本手法により、トーラスの $2pq$ 個のセルへの分解が得られ、各セルは4本の曲線で囲まれた領域に対応し、基点は退化を避けるように配置されている。
• チェーン複体には、2本の斜率0曲線と2本の斜率$p/q$ 曲線の間の双対写像として得られる合計 $2p$ 個の生成子が存在する。
• 本フレームワークは、$2n$-点を持つ genus-$(m-1)n+1$ の図を用いて $m$ 重のサイクル的分岐被覆へと一般化可能であるが、組み合わせ的にアクセス可能なのは $\widehat{HFK}$ のみである。