[论文解读] Holomorphic triangles and invariants for smooth four-manifolds

Peter Ozsváth, Zoltán Szabó|ArXiv.org|Oct 16, 2001

Geometric and Algebraic Topology参考文献 7被引用 30

一句话总结

本文通过黎曼曲面上的全纯三角形，基于Heegaard Floer同调，为满足 $b_2^+ > 1$ 的光滑定向四维流形引入了一种新不变量。该研究构建了Floer同调群之间的cobordism映射，并为挠Spin$^c$结构建立了绝对 $\mathbb{Q}$-分次。其主要贡献是定义了一个闭四维流形不变量 $\Phi_{X,\mathfrak{s}}$，该不变量满足邻接不等式，并在某些拓扑条件下消失，为研究光滑4-流形拓扑提供了强大工具。

ABSTRACT

The aim of this article is to introduce invariants of oriented, smooth, closed four-manifolds, built using the Floer homology theories defined in two earlier papers (math.SG/0101206 and math.SG/0105202). This four-dimensional theory also endows the corresponding three-dimensional theories with additional structure: an absolute grading of certain of its Floer homology groups. The cornerstone of these constructions is the study of holomorphic disks in the symmetric products of Riemann surfaces.

研究动机与目标

• 通过Floer同调与对称积中全纯三角形计数，为满足 $b_2^+ > 1$ 的光滑定向四维流形定义一种新不变量。
• 构建两个三流形Heegaard Floer同调群之间的cobordism映射，且该映射与处理分解无关。
• 为配备有挠Spin$^c$结构的三流形的Floer同调定义绝对 $\mathbb{Q}$-分次。
• 建立一个精细的混合cobordism不变量，通过剪切-粘贴构造得到光滑4-流形不变量。
• 证明闭4-流形不变量 $\Phi_{X,\mathfrak{s}}$ 的邻接不等式与消失定理。

提出的方法

• 通过与三流形的Heegaard图相关联的黎曼曲面对称积中的全纯圆盘构造不变量。
• 两个三流形之间的cobordism诱导其Floer链复形之间的链映射，从而在同调上诱导一个与处理分解无关的映射。
• 通过涉及cobordism的第一陈类平方、欧拉示性数与亏格的相对分次公式，定义绝对 $\mathbb{Q}$-分次。
• 闭4-流形不变量 $\Phi_{X,\mathfrak{s}}$ 定义为混合cobordism映射像中 $\Theta^+$ 的系数，使用带洞的cobordism与沿三流形的剪切。
• 该构造依赖于cobordism映射的复合律与爆破公式，以关联4-流形及其爆破的不变量。
• 不变量满足对偶性、共轭不变性与复合性质，确保在微分同胚下保持拓扑不变性。

实验结果

研究问题

• RQ1 如何利用对称积中的全纯三角形计数，构造光滑定向四维流形的不变量？
• RQ2 cobordism映射与具有挠Spin$^c$结构的Floer同调上的绝对 $\mathbb{Q}$-分次之间有何关系？
• RQ3 在何种条件下，闭4-流形不变量 $\Phi_{X,\mathfrak{s}}$ 会消失？
• RQ4 该不变量在爆破操作下如何行为？精确的爆破公式是什么？
• RQ5 该不变量对4-流形中光滑嵌入曲面满足何种邻接型不等式？

主要发现

• 由cobordism $W$ 与Spin$^c$结构 $\mathfrak{s}$ 诱导的映射 $F^{\bullet}_{W,\mathfrak{s}}$ 是cobordism的良定义不变量，且与处理分解无关。
• 对于具有挠Spin$^c$结构 $\mathfrak{t}$ 的三流形 $Y$，在 $HF^\circ(Y,\mathfrak{t})$ 上定义了绝对 $\mathbb{Q}$-分次 $\widetilde{\mathrm{gr}}$，满足 $\widetilde{\mathrm{gr}}(F^{+}_{W,\mathfrak{s}}(\xi)) - \widetilde{\mathrm{gr}}(\xi) = \frac{c_1(\mathfrak{s})^2 - 2\chi(W) - 3\sigma(W)}{4}$。
• 闭4-流形不变量 $\Phi_{X,\mathfrak{s}}$ 是一个映射 $\mathbb{Z}[U] \otimes \Lambda^*(H_1(X)/\mathrm{Tors}) \to \mathbb{Z}/\pm 1$，且仅当输入的次数恰好为 $d(X,\mathfrak{s}) = \frac{c_1(\mathfrak{s})^2 - 2\chi(X) - 3\sigma(X)}{4}$ 时才不为零。
• 若 $X$ 允许分解 $X = X_1 \#_Y X_2$，且满足 $b_2^+(X_1), b_2^+(X_2) > 0$ 与 $HF_{\mathrm{red}}(Y,\mathfrak{t}) = 0$，则不变量 $\Phi_{X,\mathfrak{s}}$ 消失。
• 该不变量满足邻接不等式：$\Phi_{X,\mathfrak{s}} = 0$，除非对任意满足 $\Sigma \cdot \Sigma = 0$ 的嵌入曲面 $\Sigma \subset X$，有 $|\langle c_1(\mathfrak{s}), [\Sigma] \rangle| \leq 2g - 2$。
• 爆破公式表明：$\Phi_{\widehat{X},\widehat{\mathfrak{s}}}(U^{\ell(\ell+1)/2} \cdot \xi) = \Phi_{X,\mathfrak{s}}(\xi)$，其中 $\widehat{X} = X \# \overline{\mathbb{CP}}^2$，且 $\ell$ 由 $c_1(\widehat{\mathfrak{s}})$ 与例外球面的交数确定。