[論文レビュー] A concordance invariant from the Floer homology of +/- 1 surgeries

Thomas D. Peters|arXiv (Cornell University)|Mar 15, 2010

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

ひとこと要約

本稿は、3次元球面内の絡み目の+1および-1スケーリングにおけるヘーガードフローリング補正項から導かれる一致不変量を導入する。フィルター付き鎖ホモトピー型 $CFK^{∞}(K)$ を用いて、$d(S^3_{+1}(K))$ が一致不変量であることを確立し、スキーン不等式と4次元ボール・ジェノスの下界を示し、$\mathbb{Z}_2$係数における計算のためのアルゴリズム的実装を提供する。

ABSTRACT

We discuss a concordance invariant constructed from Heegaard Floer homology "correction terms" and +/- 1 surgeries on knots in the three-sphere.

研究の動機と目的

• 3次元球面内の絡み目に対する+1スケーリングの補正項を用いて、新しい一致不変量を定義すること。
• 交差変更によって異なる2つの絡み目の+1スケーリングの$d$-不変量を関連付けるスキーン不等式を確立すること。
• $d(S^3_{+1}(K); \mathbb{Z}_2)$ を用いて滑らか4次元ボール・ジェノスの下界を導出すること。
• $CFK^{\infty}(K)$ のフィルター付き鎖ホモトピー型から $d(S^3_{\pm1}(K))$ を計算するためのアルゴリズム的手法を提供すること。
• $\mathbb{Z}_2$-係数における計算を実装するソフトウェアツール dCalc を開発すること。

提案手法

• 不変量は、係数体 $\mathbb{F}$ を用いた $K$ の+1スケーリングにおける $d(S^3_{+1}(K); \mathbb{F})$、すなわち補正項として定義される。
• スキーン不等式は、$CFK^{\infty}(K)$ の構造と、コボルディズム下での$d$-不変量の性質を用いて証明される。
• 4次元ボール・ジェノスの下界は、不等式 $0 \leq -d(S^3_{+1}(K); \mathbb{Z}_2) \leq 2g_4(K)$ から導出される。
• アルゴリズムは、絡み目の複体のテンソル積と $\mathbb{Z}_2$ 上での境界行列の行簡約を用いて $d$-不変量を計算する。
• 実装である dCalc は、頂点に整数キーを用い、複体の双フィルトレーションと隣接リストを用いて表現する。
• 本手法は、$CFK^{\infty}(K)$ のフィルター付き鎖ホモトピー型に依存しており、これは交わるかトーラス絡み目に対して $\widehat{HFK}(K)$ から回復可能である。

実験結果

リサーチクエスチョン

• RQ1 絡み目の+1スケーリングの$d$-不変量は、一致不変量として機能するか？
• RQ2 絡み目の図において交差が変更された場合、+1スケーリングの$d$-不変量はどのように変化するか？
• RQ3 絡み目の+1スケーリングの$d$-不変量は、滑らか4次元ボール・ジェノスの下界を提供できるか？
• RQ4 $CFK^{\infty}(K)$ のフィルター付き鎖複体から $d(S^3_{\pm1}(K))$ を計算するためのアルゴリズム的手法は存在するか？
• RQ5 $\mathbb{Z}_2$ 上で計算された$d$-不変量は、$\mathbb{Z}$ 上のものとどの程度異なるか？

主な発見

• $d(S^3_{+1}(K); \mathbb{F})$ は、$S^3$ 内の絡み目に対して一致不変量である。
• 任意の体 $\mathbb{F}$ に対して、スキーン不等式 $d(S^3_{1}(D_{-});\mathbb{F})-2 \leq d(S^3_{1}(D_{+});\mathbb{F}) \leq d(S^3_{1}(D_{-});\mathbb{F})$ が成り立つ。
• 4次元ボール・ジェノスは $0 \leq -d(S^3_{1}(K); \mathbb{Z}_2) \leq 2g_4(K)$ を満たす。
• ソフトウェア dCalc は、$\mathbb{Z}_2$ 係数を用いて、$CFK^{\infty}(K)$ のフィルター付き鎖複体から $d(S^3_{+1}(K))$ と $d(S^3_{-1}(K))$ を計算する。
• 交わるかトーラス絡み目に対しては、$CFK^{\infty}(K)$ は $\widehat{HFK}(K)$ から回復可能であり、コンピュータを用いずに直接計算が可能である。
• 実装は、頂点キーの整数オーバーフローと、境界行列の行簡約におけるメモリ使用量の制限によって制限を受ける。