[論文レビュー] Surgery formula for the renormalized Euler characteristic of Heegaard Floer homology

Raif M. Rustamov|ArXiv.org|Sep 17, 2004

Geometric and Algebraic Topology参考文献 13被引用数 24

ひとこと要約

本稿は、有理数ホモロジー球面におけるヘーガードフローホモロジーの正規化されたオイラー乗数 $\widehat{\chi}$ に対する手術公式を確立し、それがセイバーグ・ワトソン不変量 $SW$ によって決定されることを証明する。$HF^+$ および $HF^\infty$ 群におけるフィルトレーションと正確な三角形の議論を、手術コボルディズムを通して展開し、補正項とねじれ不変量を含む帰納的計算により、$\widehat{\chi} = SW$ を示している。

ABSTRACT

We prove a surgery formula for the renormalized Euler characteristic of Ozsvath and Szabo. Equality between this Euler cahracteristic and the Seiberg-Witten invariant follows for rational homology three-spheres.

研究の動機と目的

• ヘーガードフローホモロジーにおける正規化オイラー乗数 $\widehat{\chi}$ に対する手術公式を確立すること。
• 有理数ホモロジー球面において $\widehat{\chi}$ がセイバーグ・ワトソン不変量 $SW$ に等しいことを証明すること。
• 手術フレームワークを用いて、カスロン＝ウォーカー不変量を介して $\widehat{\chi}$ をライドマイスター＝トゥレイのねじれ不変量と結びつけること。
• 整数ホモロジー球面における $\widehat{\chi} = \text{カスロン不変量}$ の既知の等式を有理数ホモロジー球面へと拡張すること。
• 手術コボルディズムに沿ったフィルタード $HF^+$ および $HF^\infty$ 構造を用いた、$\widehat{\chi}$ の計算フレームワークを提供すること。

提案手法

• 縦横 $\ell$ および子午線 $m$ に沿った $p/q$-手術による、三つの多様体 $Y_{p/q}$ を用いた手術コボルディズムフレームワークを構築する。
• 有理数ホモロジー球面 $Y_{1/0}$ 上の $\mathrm{Spin}^c$ 構造に対して、$H^2(Y_0;\mathbb{Z})$ の作用に基づき、$\mathbb{Z}/d\mathbb{Z}$ に値をとるレベル $y(\mathfrak{a}) \in \mathbb{Z}/d\mathbb{Z}$ を定義する。
• 度数フィルトレーション $\preceq 2N$, $\preceq 2N + \frac{1}{4}$, および $\preceq 2N + \frac{1}{2}$ を持つ、$HF^+$ コンプレックスの三行正確図を用いて、手術コボルディズムをモデル化する。
• ホモロジーの長完全列を適用し、$H_*(\mathcal{R}_1)$ と $H_*(\mathcal{R}_3)$ を関連づけ、$\chi(H_*(\mathcal{R}_1)) = \chi(H_*(\mathcal{R}_3))$ を示す。
• $HF^\infty$ と $HF^+$ が高次で同型であること、および $Y_{1/0}$ 上の $HF^\infty$ の構造を用いて、オイラー乗数が $p, q, d, y$ のみに依存して安定することを示す。
• コボルディズム $W_i$ を介した $HF^\infty$ 上の誘導写像を用い、$b_2^+(W_2) = 1$ により $h_2^\infty = 0$ となることを利用して、オイラー乗数の計算を制御する。

実験結果

リサーチクエスチョン

• RQ1 有理数ホモロジー球面における絡み目の手術に対して、正規化オイラー乗数 $\widehat{\chi}$ はどのように振る舞うか？
• RQ2 コボルディズムに沿ったフィルタード $HF^+$ および $HF^\infty$ 構造を用いて、$\widehat{\chi}$ の手術公式を導出できるか？
• RQ3 手術公式は、有理数ホモロジー球面において $\widehat{\chi}$ がセイバーグ・ワトソン不変量 $SW$ に等しいことを示唆するか？
• RQ4 有理数ホモロジー $S^1 \times S^2$ に対して定義される $\chi^{\mathrm{trunc}}$ は、トゥレイのねじれ不変量およびカスロン＝ウォーカー不変量とどのように関係するか？
• RQ5 補正項 $d(Y, \mathfrak{t})$ は、オイラー乗数 $\widehat{\chi}$ の正規化においてどのような役割を果たすか？

主な発見

• フィルタード $HF^+$ コンプレックスにおける正確な三角形の議論を用いた、$\widehat{\chi}$ に対する手術公式が確立された。
• 十分に大きな $N$ に対して、オイラー乗数 $\chi(H_*(\mathcal{R}_1))$ は手術パラメータ $p, q, d, y$ のみによって完全に決定され、大フィルトレーションにおける公式の不変性が証明された。
• 正規化オイラー乗数は、$\widehat{\chi}(Y, \mathfrak{t}) = \chi(HF^+_{\mathrm{red}}(Y, \mathfrak{t})) - \frac{1}{2}d(Y, \mathfrak{t})$ を満たし、ここで $d(Y, \mathfrak{t})$ は $\pi$ の像に属する非ねじれクラスの最小次数として定義される。
• 有理数ホモロジー $S^1 \times S^2$ に対して定義される不変量 $\chi^{\mathrm{trunc}}(Y, \mathfrak{t})$ は、$-\tau(Y, \mathfrak{t})$ に等しいことが示された。ここで $\tau$ はトゥレイのねじれ関数である。
• 手術公式に加え、既知の $\chi^{\mathrm{trunc}}$ およびトゥレイのねじれに関する結果を組み合わせることで、有理数ホモロジー球面において $\widehat{\chi} = SW$ が示された。
• 手術パラメータに関する帰納法を用いた証明により、$\widehat{\chi} = SW$ が示された。$p=1, q=1$ の場合、ゼロ位相のコボルディズムのため、修正されたフィルトレーションシフトが必要であった。