[論文レビュー] Exact triangles in Seiberg-Witten Floer theory. Part III: proof of exactness

Matilde Marcolli, Bai‐Ling Wang|ArXiv.org|Sep 15, 2000

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

ひとこと要約

この論文は、ホモロジー3次元球面上の絡み目への0-および1-手術から生じるSeiberg-Witten Floer homologyにおける三角形の正確性を、穴あきコーボリズム上の幾何的極限とグルーピング技法を用いて確立する。序列 $ C_*(Y_1) \xrightarrow{w^1_*} C_*(Y,\mu) \xrightarrow{w^0_*} \bigoplus_k C_{(*)}(Y_0,\mathfrak{s}_k) \xrightarrow{\bar{w}^2_*} C_*(Y_1)[-1] $ が、チェーン複体の導来圏における区別された三角形をなすことが証明され、Seiberg-Witten Floer理論の文脈における標準的 exact 三角形の存在が裏付けられる。

ABSTRACT

This is the third part of the work on the exact triangles. We construct chain homomorphisms and show exactness of the resulting sequence.

研究の動機と目的

• ホモロジー3次元球面上の絡み目に対する0-および1-手術から生じるSeiberg-Witten Floer homologyにおける三角形の正確性を確立すること。
• 手術コーボリズム $ W_1 $ および $ W_0 $ を用いて、$ w^1_* $ および $ w^0_* $ のチェーン写像を構成し、モジュライ空間の分解と整合性を持つこと。
• 合成写像 $ w^0_* \circ w^1_* = 0 $ が成り立つこと、および $ w^0_* $ が全射で $ w^1_* $ が単射であることを示し、中間項における正確性を保証すること。
• 幾何的極限と有限エネルギーモノポールのグルーピングを用いて、チェーン複体の導来圏における区別された三角形が形成されることを示すこと。

提案手法

• 境界成分における与えられた構造に制限されるスピン^c 構造を有する手術コーボリズム $ W_1 $ および $ W_0 $ 上で、チェーン写像 $ w^1_* $ および $ w^0_* $ を構成する。
• $ V $ を絡み目の補空間とするとき、$ V \times \mathbb{R} $ 上の有限エネルギーモノポールのモジュライ空間の幾何的極限を分析する。
• トーラスの特性多様体 $ \chi(T^2) $ の被覆上の正則三角形からの事前グルーピングデータを用い、スピン^c 構造によって定まるラグラングィアンに沿った境界をとる。
• グルーピング定理を適用して、穴あきコーボリズム上のモジュライ空間を事前グルーピングデータと同定し、$ W_1 $ および $ W_0 $ 上のモジュライ空間の微分同相写像を確立する。
• $ W_1 $ および $ W_0 $ 上の0次元モジュライ空間を比較し、方向を反転させる微分同相写像を示し、$ w^0_* \circ w^1_* = 0 $ を証明する。
• 幾何的極限が $ \epsilon \to 0 $ で収束することを用い、合成コーボリズム上のモジュライ空間における解の代数的数え上げを、元のFloer複体におけるものと一致させることを示す。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー3次元球面上の絡み目に0-および1-手術を施したとき、それに誘導されるチェーン複体の系列は、Seiberg-Witten Floer homologyにおいて exact 三角形をなすか？
• RQ2 手術コーボリズムを介して定義された写像 $ w^1_* $ および $ w^0_* $ が、$ w^0_* \circ w^1_* = 0 $ の正確性条件を満たすか？
• RQ3 有限エネルギーモノポールの $ V \times \mathbb{R} $ 上の幾何的極限と、$ \chi(T^2) $ 上の正則三角形は、コーボリズム上の解のグルーピングにどのように寄与するか？
• RQ4 得られた系列は、チェーン複体の導来圏における標準的区別された三角形と quasi-isomorphic か？
• RQ5 合成コーボリズム上のモジュライ空間におけるフロー線の代数的数え上げは、幾何的極限を用いて元のFloer複体の数え上げと一致するか？

主な発見

• 合成写像 $ w^0_* \circ w^1_* = 0 $ は、モジュライ空間 $ \mathcal{M}^{W_1}_\ell(a_1,a) $ と $ \mathcal{M}^{W_0}_k(j(a_1),\pi(a)) $ 間の方向を反転させる微分同相写像により証明され、正確性条件が満たされることを示す。
• $ w^1_* $ が単射で $ w^0_* $ が全射であることは、ペアリング恒等式 $ \langle j(a_1'), w^1_*(a_1) \rangle = \delta_{a_1',a_1} $ および $ \langle a_0, w^0_*(a) \rangle = \delta_{a_0,\pi(a)} $ により示される。
• 0次元モジュライ空間 $ \mathcal{M}^{\bar{W}_2}_k(a_j^{(0)}, a_i^{(1)}) $ における解の代数的数え上げは、元の複体と一致する：$ N^{\bar{W}_2}_k(a_j^{(0)}, a_i^{(1)}) = n_{Y,\mu}(a_j^{(0)}(\epsilon), a_i^{(1)}(\epsilon)) $。
• 十分に小さい $ \epsilon \leq \epsilon_0 $ に対して、系列 $ C_*(Y_1) \xrightarrow{w^1_*} C_*(Y,\mu) \xrightarrow{w^0_*} \bigoplus_k C_{(*)}(Y_0,\mathfrak{s}_k) \to 0 $ は、複体の正確な三重に変わる。
• 完全な系列 $ C_*(Y_1) \xrightarrow{w^1_*} C_*(Y,\mu) \xrightarrow{w^0_*} \bigoplus_k C_{(*)}(Y_0,\mathfrak{s}_k) \xrightarrow{\bar{w}^2_*} C_*(Y_1)[-1] $ は、チェーン複体の導来圏における区別された三角形である。
• $ W_1 \setminus \{x_1\} $ および $ W_0 \setminus \{x_0\} $ 上の解の幾何的極限は、積領域を引き伸ばした後、合成コーボリズム $ W = W_1 \cup_Y W_0 $ 上の解に収束し、グルーピングおよび数え上げの議論を可能にする。