[論文レビュー] On the Heegaard Floer homology of branched double-covers

Peter Ozsváth, Zoltán Szabó|ArXiv.org|Sep 9, 2003

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

ひとこと要約

本稿は、3次元球面 $S^3$ 内のリンク $L$ の鏡像の削減されたコホノフホモロジーから、その分岐二重被覆 $Σ(L)$ のヘーガードフローホモロジーへのスペクトル系列を確立する。$E^2$ 項はコホノフのホモロジーに同型であり、$E^\infty$ 項は $\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ に同型である。交わるリンクに対しては、$\widehat{HF}(\Sigma(L))$ は $L$ の行列式によって完全に決定され、$\Sigma(L)$ は $L$-空間である。これは、量子不変量と3次元多様体位相の間の強い関係を裏付ける。

ABSTRACT

Let $L\subset S^3$ be a link. We study the Heegaard Floer homology of the branched double-cover $Σ(L)$ of $S^3$, branched along $L$. When $L$ is an alternating link, $\HFa$ of its branched double-cover has a particularly simple form, determined entirely by the determinant of the link. For the general case, we derive a spectral sequence whose $E^2$ term is a suitable variant of Khovanov's homology for the link $L$, converging to the Heegaard Floer homology of $Σ(L)$.

研究の動機と目的

• 分岐二重被覆を介して、量子リンク不変量（コホノフホモロジー）と3次元多様体不変量（ヘーガードフローホモロジー）の深い関係を確立すること。
• 交わるリンクに対して $\widehat{HF}(\Sigma(L))$ を計算し、それが $L$ の行列式にのみ依存することを示すこと。
• リンクの鏡像の削減されたコホノフ複体から $\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ へのスペクトル系列を構成し、量子的およびゲージ理論的不変量の間の橋渡しをすること。
• 交わる場合に限定されるスケイン完全列を、完全なスペクトル系列へと一般化すること。

提案手法

• リンクの手術スペクトル系列を、リンクの図における交点の部分集合によってインデックスづけられたフィルター付き複体により構成する。
• リンク図 $\mathcal{D}$ に対して、各 $I \subset \{0,1\}^\ell$ が交点の解消に対応する解消の立方体 $\mathcal{D}(I)$ を定義する。
• ホモロジー類 $H_1(\Sigma(\mathcal{D}(I)))$ を通じて、削減されたコホノフ複体 $\widetilde{CKh}(\mathcal{D}(L), m)$ とスペクトル系列の $E^1$-頁との間の標準的同型を構成する。
• コボルディズムによって誘導される写像を通じて、コホノフ複体の微分とヘーガードフローホモロジー複体の微分を関連づける図式の可換性を証明する。
• 立方体のフィルターを標準的な「平坦化」手続きにより $\mathbb{Z}$-フィルターに変換し、$\mathbb{Z}$-フィルター付きスペクトル系列を得る。
• 得られたスペクトル系列を用いて、$\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ のランクと削減されたコホノフホモロジーのランクの間の不等式を導出し、$L$ の行列式を下界とする。

実験結果

リサーチクエスチョン

• RQ1 分岐二重被覆 $\Sigma(L)$ のヘーガードフローホモロジーは、$L$ の量子不変量から計算可能か？
• RQ2 リンクの鏡像の削減されたコホノフホモロジーから $\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ へのスペクトル系列は存在するか？
• RQ3 交わるリンクに対して、$\widehat{HF}(\Sigma(L))$ は $L$ の行列式によって完全に決定されるか？
• RQ4 $\mathrm{Spin}^c$ 構造と $\mathbb{Q}$-グレーディングは、$L$ の図とどのように関係するか？
• RQ5 $\mathrm{Spin}^c$-グレーディングおよびフィルター構造は、$\Sigma(L)$ を境界とする負定値4次元多様体の交差形式にどのような制約を課えるか？

主な発見

• 鏡像の削減されたコホノフホモロジー（$\mathbb{Z}/2\mathbb{Z}$ 係数）を $E^2$ 項とし、$\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ に収束するスペクトル系列が存在する。これは、量子的不変量と3次元多様体不変量との間の直接的な関係を確立する。
• 任意の交わるリンク $L$ に対して、$\widehat{HF}(\Sigma(L))$ は $L$-空間であり、そのランクは $H^2(\Sigma(L); \mathbb{Z})$ の位数、すなわち $L$ の行列式に等しい。これは、$\Sigma(L)$ がグレーディングのないヘーガードフローホモロジーのレンズ空間であることを示す。
• $\widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z})$ のランクは不等式 $\det(L) \leq \mathrm{rk}_{\mathbb{Z}/2\mathbb{Z}} \widehat{HF}(\Sigma(L); \mathbb{Z}/2\mathbb{Z}) \leq \mathrm{rk}_{\mathbb{Z}/2\mathbb{Z}} \widetilde{\mathrm{Kh}}(L)$ を満たし、最初の不等号の等号が成り立つのは $\Sigma(L)$ が $L$-空間である場合に限る。
• $\Sigma(L)$ 上の $\mathrm{Spin}^c$ 構造は、$L$ の交わる図式によって明示的に決定され、$\widehat{HF}(\Sigma(L))$ の $\mathbb{Q}$-グレーディングは図式から完全に計算可能である。
• スペクトル系列は、交点の解消のフィルター付き複体により構成され、$E^1$-頁は削減されたコホノフ複体と同型であり、微分は解消の分岐二重被覆間のコボルディズムによって誘導される。
• この構成は、$\widehat{HF}(\Sigma(L))$ のスケイン完全列を、交わる場合に限定されない完全なスペクトル系列へと一般化し、交わる場合を越えた $\widehat{HF}(\Sigma(L))$ の計算フレームワークを提供する。