[論文レビュー] Floer homology and knot complements

Jacob Rasmussen|ArXiv.org|Jun 26, 2003

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

ひとこと要約

本稿では、Ozsváth-Szabó Floer homologyから導かれる、$\widehat{CF}_{r}(K)$と呼ばれるフィルター付きチェーン複体を導入し、これは結び目の大きなスケーリングのFloer homologyに関する情報を符号化する結び目不変量として機能する。Exact triangleと理論の形式的性質を活用することで、『完全な』結び目（単純なAlexanderフィルターを持つもの）に対するすべての整数スケーリングの$HF^+$を計算し、多くの小さな結び目が完全であることを示し、この不変量がそれらのスケーリングのhomologyを完全に特定できることを示している。

ABSTRACT

We use the Ozsvath-Szabo theory of Floer homology to define an invariant of knot complements in three-manifolds. This invariant takes the form of a filtered chain complex, which we call CF_r. It carries information about the Floer homology of large integral surgeries on the knot. Using the exact triangle, we derive information about other surgeries on knots, and about the maps on Floer homology induced by certain surgery cobordisms. We define a certain class of \em{perfect} knots in S^3 for which CF_r has a particularly simple form. For these knots, formal properties of the Ozsvath-Szabo theory enable us to make a complete calculation of the Floer homology. This is the author's thesis; many of the results have been independently discovered by Ozsvath and Szabo in math.GT/0209056.

研究の動機と目的

• 3次元多様体内の結び目の補空間に対するOzsváth-Szabó Floer homologyを用いた新しい不変量を定義すること。
• 結び目の大きなスケーリングのFloer homologyを捉えるフィルター付きチェーン複体$\widehat{CF}_r(K)$を構成すること。
• Exact triangleを用いて、大きなスケーリングからの$HF^+$の計算を、結び目のすべての整数スケーリングへと拡張すること。
• $\widehat{CF}_r(K)$が特に単純かつ計算可能になる形をとる「完全な結び目」と呼ばれるクラスを特定・特徴づけること。
• $\widehat{CF}_r(K)$がそのような結び目のすべての整数スケーリングの$HF^+$群を完全に決定できることを示すこと。

提案手法

• $\widehat{CF}_r(K)$を、$\widehat{CF}_s(K)$の精密化として定義し、各フィルター付き商複体をそのホモロジーに置き換える。
• $\widehat{CF}_r(K)$におけるAlexanderフィルターを用い、フィルター付き商複体のオイラー特徴は結び目のAlexander多項式の係数に対応する。
• Ozsváth-Szabó理論のExact triangleを用いて、同じ結び目の大きなスケーリングのFloer homologyを他のスケーリングのものと関連付ける。
• $HF^-(S^3) \to HF^{\text{red}}(K(0,1))$の写像のランクとして定義される不変量$h_k(K)$を導入し、これは$CF_s^+(K)$から計算可能であり、すべてのスケーリングにおける$HF^+$の振る舞いを制御する。
• $\widehat{CF}_r(K)$の同相型不変性と局在化原理を用いて、特定の正則的ディスクが微分に$\pm1$を寄与することを証明し、複体が適切に定義されることを保証する。
• Heegaard図と正則的ディスクの数え上げの構造を活用して、特に穴あきアニュラス型およびドメイン型の領域に対して、複体の微分を検証する。

実験結果

リサーチクエスチョン

• RQ1 結び目の補空間から、すべての大きなスケーリングのFloer homologyを符号化する1つのフィルター付きチェーン複体を構成可能か？
• RQ2 Exact triangleをどのように用いることで、結び目の大きなスケーリングからのFloer homologyの計算を、すべての整数スケーリングへと拡張できるか？
• RQ3 結び目にどのような条件を課すと、そのフィルター付き複体$\widehat{CF}_r(K)$が単純かつ計算可能になる形をとるか？
• RQ4 $h_k(K)$と結び目不変量$s(K)$との関係は何か？また、これらはどのようにして異なるスケーリングにおける$HF^+$のランクを制御するか？
• RQ5 安定な複体$\widehat{CF}_r(K)$は、すべての$n$と$k$に対して$HF^+(K(n,1), \mathbf{s}_k)$を完全に決定するためにどの程度利用可能か？

主な発見

• $\widehat{CF}_r(K)$は、そのフィルター付き商複体をそれぞれのホモロジーに置き換えたフィルター付きチェーン複体として定義される結び目$K$の不変量である。
• $\widehat{CF}_r(K)$のホモロジーは$\widehat{CF}(Y)$に同型であるが、フィルター構造が大きなスケーリングにおける$HF^+$に関するすべての本質的情報を符号化している。
• Alexanderフィルターが$\widehat{CF}_r(K)$上の標準的フィルターと同型である『完全な』結び目（定義上、そのような結び目）に対して、複体$\widehat{CF}_r(K)$は単純かつ対称的な形をとる。
• $S^3$内の多くの小さな結び目は完全であり、それらに対しては、$\widehat{CF}_r(K)$からすべての整数スケーリングの$HF^+$が完全に計算可能である。
• $s(K)$は$h_k(K) > 0$を満たし、$|k| < s(K)$の範囲で成り立ち、$h_k(K)$は$CF_s^+(K)$から純粋に計算可能であり、すべてのスケーリングにおける$HF^+$の完全な計算を可能にする。
• $\widehat{CF}_r(K)$の微分は正則的ディスクの数え上げによって決定される：特定の領域（例：穴あきアニュラス型や埋め込み可能なディスク）に対して、モジュライ空間の濃度は$\pm1$であるため、複体は適切に定義され、計算可能である。