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

一句话总结

本文建立了 Heegaard Floer 同调中重正则化欧拉示性数 $\widehat{\chi}$ 的手术公式，证明其在有理同调球面中由 Seiberg-Witten 不变量 $SW$ 决定。作者通过在 $HF^+$ 和 $HF^\infty$ 群上使用过滤与正合三角形论证，结合手术 cobordism，利用校正项与挠不变量的归纳计算，证明了 $\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.

研究动机与目标

• 建立 Heegaard Floer 同调中重正则化欧拉示性数 $\widehat{\chi}$ 的手术公式。
• 证明对于有理同调球面，$\widehat{\chi}$ 等于 Seiberg-Witten 不变量 $SW$。
• 通过手术框架将 $\widehat{\chi}$ 与 Reidemeister-Turaev 扭转不变量联系起来，利用 Casson-Walker 不变量。
• 将已知的整同调球面中 $\widehat{\chi} = \text{Casson 不变量}$ 的等式推广至有理同调球面。
• 提供一个利用过滤后的 $HF^+$ 和 $HF^\infty$ 结构在手术 cobordism 上计算 $\widehat{\chi}$ 的计算框架。

提出的方法

• 通过沿经线 $\ell$ 和子午线 $m$ 进行 $p/q$-手术构造三流形 $Y_{p/q}$ 的手术 cobordism 框架。
• 为 $Y_{1/0}$ 上的 $\mathrm{Spin}^c$ 结构定义层级 $y(\mathfrak{a}) \in \mathbb{Z}/d\mathbb{Z}$，其来源于 $H^2(Y_0;\mathbb{Z})$ 对 $\mathrm{Spin}^c(Y_0)$ 的作用。
• 使用具有度数过滤 $\preceq 2N$、$\preceq 2N + \frac{1}{4}$ 和 $\preceq 2N + \frac{1}{2}$ 的三行正合图，对手术 cobordism 进行建模。
• 应用同调的长正合列，关联 $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$。
• 通过 cobordism $W_i$ 在 $HF^\infty$ 上诱导的映射，利用 $h_2^\infty = 0$（因 $b_2^+(W_2) = 1$）来控制欧拉示性数的计算。

实验结果

研究问题

• RQ1 在有理同调球面中的一个扭结上进行 Dehn 手术时，重正则化欧拉示性数 $\widehat{\chi}$ 如何变化？
• RQ2 能否通过在 cobordism 上使用过滤后的 $HF^+$ 和 $HF^\infty$ 结构，推导出 $\widehat{\chi}$ 的手术公式？
• RQ3 该手术公式是否意味着对于有理同调球面，$\widehat{\chi}$ 等于 Seiberg-Witten 不变量 $SW$？
• RQ4 对于有理同调 $S^1 \times S^2$，定义的 $\chi^{\mathrm{trunc}}$ 如何与 Turaev 扭转和 Casson-Walker 不变量相关？
• RQ5 校正项 $d(Y, \mathfrak{t})$ 在欧拉示性数 $\widehat{\chi}$ 的重正则化过程中起什么作用？

主要发现

• 通过在手术 cobordism 上对过滤后的 $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$ 为 Turaev 扭转函数。
• 手术公式结合 $\chi^{\mathrm{trunc}}$ 与 Turaev 扭转的已知结果，表明对于有理同调球面，有 $\widehat{\chi} = SW$。
• 通过归纳法证明了 $\widehat{\chi} = SW$，其中 $p=1, q=1$ 的情形因零亏格 cobordism 需要修改过滤偏移。