[论文解读] 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

一句话总结

该论文通过在带 punctured 的 cobordism 上使用几何极限和粘合技术，确立了在同调 3-球面上进行扭结手术时，Seiberg-Witten Floer 同调中一个三角形的精确性。证明了序列 $ 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 理论背景下存在一个典范精确三角形。

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 同调中三角形的精确性。
• 通过手术 cobordism $ W_1 $ 和 $ W_0 $ 构造链映射 $ w^1_* $ 和 $ w^0_* $，使其与模空间分解相容。
• 证明复合映射 $ w^0_* \circ w^1_* = 0 $，且 $ w^0_* $ 是满射、$ w^1_* $ 是单射，从而确保中间项的精确性。
• 通过几何极限和有限能量单极子的粘合，证明该序列在链复形的导出范畴中构成一个典型三角形。

提出的方法

• 利用在手术 cobordism $ W_1 $ 和 $ W_0 $ 上的自旋^c 结构构造链映射 $ w^1_* $ 和 $ w^0_* $，其在边界分量上限制为给定的结构。
• 分析在 $ V \times \mathbb{R} $ 上有限能量单极子模空间的几何极限，其中 $ V $ 是扭结补集。
• 使用覆盖空间 $ \chi(T^2) $ 上的全纯三角形中的预粘合数据，其边界沿由自旋^c 结构决定的拉格朗日子流形。
• 应用粘合定理，将带 puncture 的 cobordism 上的模空间与预粘合数据相联系，建立 $ W_1 $ 和 $ W_0 $ 上模空间之间的微分同胚。
• 比较 $ W_1 $ 和 $ W_0 $ 上零维模空间，证明存在一个方向相反的微分同胚，从而证明 $ w^0_* \circ w^1_* = 0 $。
• 利用当 $ \epsilon \to 0 $ 时几何极限的收敛性，将复合 cobordism 上模空间中解的代数计数与原始 Floer 复形中的计数等同。

实验结果

研究问题

• RQ1 在同调 3-球面上对扭结进行 0- 和 1- 手术所诱导的链复形序列是否在 Seiberg-Witten Floer 同调中构成一个精确三角形？
• RQ2 能否证明通过手术 cobordism 定义的映射 $ w^1_* $ 和 $ w^0_* $ 满足精确性条件 $ w^0_* \circ w^1_* = 0 $？
• RQ3 在 $ V \times \mathbb{R} $ 上有限能量单极子的几何极限以及在 $ \chi(T^2) $ 中的全纯三角形如何贡献于 cobordism 上解的粘合？
• RQ4 该序列是否在链复形的导出范畴中与一个标准典型三角形 quasi-isomorphic？
• RQ5 能否通过几何极限将复合 cobordism 上模空间中流线的代数计数与原始 Floer 复形中的计数相匹配？

主要发现

• 通过模空间 $ \mathcal{M}^{W_1}_\ell(a_1,a) $ 和 $ \mathcal{M}^{W_0}_k(j(a_1),\pi(a)) $ 之间的方向相反的微分同胚，证明了复合映射 $ w^0_* \circ w^1_* = 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)} $，证明了映射 $ w^1_* $ 是单射且 $ w^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\} $ 上解的几何极限收敛到复合 cobordism $ W = W_1 \cup_Y W_0 $ 上的解，从而支持了粘合与计数论证。