[論文レビュー] Heegaard Floer Homology and Triple Cup Products

Tye Lidman|arXiv (Cornell University)|Nov 18, 2010

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

ひとこと要約

本稿は、すべての閉三様多様体 Y およびねじれ Spinc 構造 s に対して、係数を Z/2Z とするヘーガード・フローリングホモロジー HF∞(Y, s) がマークのカップホモロジー HC∞(Y) に同型であることを証明する。リンクの手術公式と、チェーン複体のハイパーキューブ上のスペクトル系列のフィルトレーションを用いて、E3 ページが H1(Y; Z) 上の外積代数と F[[U, U−1]] のテンソル積に同型であり、d3 が整数係数の三重カップ積形式による縮約として作用することを示す。高次の微分は消えることが確認され、オルヴーシャスとツァボーの予想が裏付けられる。

ABSTRACT

We give a complete calculation of the infinity flavor of Heegaard Floer homology with mod 2 coefficients for all three-manifolds and torsion Spin^c structures. The computation agrees with the conjectured calculation of Ozsvath and Szabo. This therefore establishes an isomorphism with Mark's cup homology mod 2.

研究の動機と目的

• すべての閉三様多様体 Y およびねじれ Spinc 構造 s に対して、係数を Z/2Z とする HF∞(Y, s) の完全な計算を確立すること。
• オルヴーシャスとツァボーが提起した予想、すなわち、普遍係数スペクトル系列の E3 ページが三重カップ積形式による縮約として与えられることを検証すること。
• スペクトル系列における高次の微分が消えることを証明し、HF∞(Y, s) がマークのカップホモロジー HC∞(Y) に F 上で同型であることを同定すること。
• 整数係数では特定の三様多様体を区別できない場合でも、係数を Z/2Z にすることで同型性が保たれることを示し、2- torsion を検出するための Z/2Z 係数の必要性を示すこと。
• 分離リンクの手術に基づく、リンク成分数に関する帰納的議論を用いて、b1(Y) ≤ 3 の場合の以前の計算を、任意の b1(Y) にまで拡張すること。

提案手法

• マノレスクとオルヴーシャスのリンク手術公式を用い、ホモロジカルに分離されたリンクに対する 0-手術によって、HF∞(Y, s) を F[[U, U−1]] 上のチェーン複体のハイパーキューブのホモロジーとして表現する。
• ハイパーキューブの頂点位置に基づくフィルトレーションを構成し、これはケイコーンホモロジーにおける量子次数に類似したスペクトル系列を誘導する。
• E3 ページが Λ∗(H1(Y; Z)) ⊗ F[[U, U−1]] に同型であり、d3 が整数係数三重カップ積形式 µY による縮約として作用することを同定する。
• リンク成分 K を K1#K2 に分割する帰納的議論を用い、カップ積構造の複雑さを低下させ、ホモロジー上の誘導写像を解析する。
• HF∞ が Γ+K + Γ−K の写像コーンと quasi-isomorphic であることを利用し、核の包含関係による議論によって、高次の微分が消えることを示す。
• 特に、写像 ΨK1,K2 = Γ+K1 + Γ−K1 ∘ (Γ−K2)−1 ∘ Γ+K2 の代数的変形とスペクトル系列のフィルトレーションを分析し、d3 の核が全微分のもとでも保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 HF∞(Y, s) の普遍係数スペクトル系列の E3 ページは、H1(Y; Z) 上の外積代数と F[[U, U−1]] のテンソル積に同型であり、d3 が三重カップ積形式による縮約として与えられるか？
• RQ2 ねじれ Spinc 構造において、スペクトル系列のすべての高次の微分（d4 以降）が消えるか。その結果、HF∞(Y, s) が F 上でマークのカップホモロジー HC∞(Y) に同型であることが保証されるか？
• RQ3 整数係数では特定の三様多様体を区別できない場合でも、係数を Z/2Z にすることで HF∞(Y, s) と HC∞(Y) の同型性が保たれるか？
• RQ4 リンク成分を連結和に分割する帰納的アプローチは、スペクトル系列の構造を保存し、高次の微分の消滅を一様に証明可能か？
• RQ5 Z/2Z 係数が HF∞(Y, Z) における 2- torsion を検出する役割を果たすメカニズムは何か？また、有理数係数不変量が同型である三様多様体の区別にどのように影響するか？

主な発見

• ハイパーキューブのフィルトレーションによって誘導されるスペクトル系列は、第1および第2微分が消え、E3 ページは相対的次数付き F[[U, U−1]]-加群として Λ∗(H1(Y; Z)) ⊗ F[[U, U−1]] に同型である。
• 微分 d3: Λi(H1(Y; Z) ⊗ F) ⊗ Uj → Λi−3(H1(Y; Z) ⊗ F) ⊗ Uj−1 は、整数係数三重カップ積形式 µY による縮約として明示的に与えられる。
• すべての高次の微分（d4 以降）は消えるため、スペクトル系列は E3 で収束し、HF∞(Y, s) は (E3, d3) のホモロジーと同型である。
• これはオルヴーシャスとツァボーの予想 4.10 [10] を Z/2Z 係数で裏付けるものであり、HF∞(Y, s) ≅ HC∞(Y) over F が成り立つことを確立する。
• この同型は、HF∞(Y, s) が整数ホモロジーにおける 2- torsion を検出できることを示唆する。具体的には、M2n−1 と M2n は有理数係数の HC∞(·, Q) では同型だが、F 上では非同型であり、n ≥ 1 に対して HF∞(M2n, Z) に 2- torsion が存在することが示される。
• この結果は、b1(Y) ≤ 3 の場合の以前の計算を、分離リンクの手術と Γ±Ki の E3 ページにおける振る舞いに基づく帰納的議論を用いて、任意の b1(Y) にまで拡張する。