[論文レビュー] Knots in lattice homology

Peter Ozsváth, András I. Stipsicz+1 more|arXiv (Cornell University)|Aug 13, 2012

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

ひとこと要約

本稿では、負定値プラムビンググラフに対して、絡み目 Floer homology の技術を模倣するフィルトレーションフレームワークを導入する。マスター複体を構成することで、フィルター付きチェーンホモトピー型を符号化し、著者らは、任意に多くの悪い頂点をもつ場合でさえも、フレーム付き木のラティスホモロジー群が Heegaard Floer homology 群に同型であることを示している。これは、例えば、フレーム付き右巻きの三葉結び目を $ n $ 重に接続したものの $ -6n-1 $ 以下のフレーム付きグラフの族においても成立する。

ABSTRACT

Assume that Γ_{v_0} is a tree with vertex set Vert(Γ_{v_0})={v_0, v_1,..., v_n}, and with an integral framing (weight) attached to each vertex except v_0. Assume furthermore that the intersection matrix of G=Γ_{v_0}-{v_0} is negative definite. We define a filtration on the chain complex computing the lattice homology of G and show how to use this information in computing lattice homology groups of a negative definite graph we get by attaching some framing to v_0. As a simple application we produce families of graphs which have arbitrarily many bad vertices for which the lattice homology groups are shown to be isomorphic to the corresponding Heegaard Floer homology groups.

研究の動機と目的

• ラティスホモロジーの計算ツールを拡張し、絡み目 Floer homology に類似したフィルトレーションを導入すること。
• 特徴的な頂点をもつグラフのラティスホモロジーのフィルター付きチェーンホモトピー型を符号化するマスター複体を確立すること。
• 任意に多くの悪い頂点をもつ場合でさえも、フレーム付き負定値グラフのラティスホモロジー群が Heegaard Floer homology 群に同型であることを証明すること。
• Heegaard Floer理論における手術公式を模倣するラティスホモロジーの計算フレームワークを提供すること。
• ラティスホモロジーがプラムビンググラフによって定義される3次元多様体の不変量であることを確認し、グラフの表現に依存しないこと。

提案手法

• 頂点 $ v_0 $ を特徴的な頂点とするグラフ $ G = \Gamma_{v_0} \setminus \{v_0\} $ のラティスチェーン複体にフィルトレーションを定義し、マスター複体 $\mathbb{MCF}^\infty(\Gamma_{v_0})$ を構成する。
• 各頂点 $ v $ に割り当てられた整数フレーム $ K(v) $ に依存する、頂点固有の写像 $ a_v $ および $ b_v $ を用いてフィルトレーションを構築する。
• 各頂点 $ v $ に対して、マスロフ次数を保存するチェーンホモトピー同値 $ C_0^v = \mathrm{Id} + \partial \circ H_0^v + H_0^v \circ \partial $ を導入する。
• 合成 $ C = C_0^{v_n} \circ \cdots \circ C_0^{v_1} $ を用いて、有限次元部分複体 $ B(N) $ を定義し、これが完全なホモロジーを捉える。
• 連結和の公式を適用して、単純なグラフからより複雑なグラフ（複数の悪い頂点をもつものも含む）への結果の拡張を実行する。
• マスター複体のフィルター付きチェーンホモトピー型が、プラムビングされた3次元多様体における対応する絡み目の knot Floer homology と一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 頂点に基づくデータを用いて、絡み目 Floer homology に類似したラティスホモロジーへのフィルトレーションを定義できるか？
• RQ2 マスター複体 $\mathbb{MCF}^\infty(\Gamma_{v_0})$ のフィルター構造は、$ v_0 $ にフレームを付加して得られるすべてのフレーム付きグラフのラティスホモロジーを決定するか？
• RQ3 任意に多くの悪い頂点をもつグラフに対し、ラティスホモロジーは still Heegaard Floer homology $\mathrm{HF}^{-}$ と同型であるか？
• RQ4 ラティスホモロジーは、プラムビングによって定義される3次元多様体の不変量であり、グラフの表現の選択に依存しないか？
• RQ5 有限次元部分複体を用いて、$\mathbb{F}[U]$ 上のラティスホモロジーの有限生成性を確立できるか？

主な発見

• マスター複体 $\mathbb{MCF}^\infty(\Gamma_{v_0})$ は、フィルター付きチェーンホモトピー型を介して、$ v_0 $ にフレームを付加して得られるすべての負定値フレーム付き木のラティスホモロジーを決定する。
• 右巻きの三葉結び目の $ n $ 重連結和において、中心頂点のフレームが $ m \leq -6n - 1 $ である場合、ラティスホモロジーは Heegaard Floer homology $\mathrm{HF}^{-}$ に同型であるが、このグラフには $ n $ 個の悪い頂点が存在する。
• 任意の負定値プラムビンググラフのラティスホモロジーは、$\mathbb{F}[U]$-加群として有限生成である。これは、ホモロジーを有限次元部分複体 $ B(N) $ に埋め込むことで示された。
• フィルター付きチェーン複体構造により、連結和の公式を適用でき、単純なグラフからより複雑なグラフへの結果の拡張が可能である。
• マスター複体のフィルター付きチェーンホモトピー型は、プラムビングされた3次元多様体における対応する絡み目の knot Floer homology と一致し、Heegaard Floer理論と整合することが確認された。
• ラティスホモロジーは3次元多様体の不変量である：2つの負定値プラムビンググラフが微分同相な3次元多様体を定義するならば、それらのラティスホモロジーは同型である。