[论文解读] Relative genus bounds in indefinite four-manifolds

Ciprian Manolescu, Marco Marengon+1 more|arXiv (Cornell University)|Dec 22, 2020

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

一句话总结

本文建立了新的规范理论与Heegaard Floer同调理论方法，用于界定在不定四维流形中（特别是4-球补集内）光滑嵌入的有边曲面的亏格。通过使用协调不变量 $ uf^+$，证明了相对邻接不等式，并应用 $10/8+4$ 定理，表明某些扭结在K3曲面或奇异四维流形中并非H-截面，从而证明H-截面扭结可检测奇异微分结构。

ABSTRACT

Given a closed four-manifold $X$ with an indefinite intersection form, we consider smoothly embedded surfaces in $X \setminus $int$(B^4)$, with boundary a knot $K \subset S^3$. We give several methods to bound the genus of such surfaces in a fixed homology class. Our tools include adjunction inequalities and the $10/8 + 4$ theorem. In particular, we present obstructions to a knot being H-slice (that is, bounding a null-homologous disk) in a four-manifold and show that the set of H-slice knots can detect exotic smooth structures on closed $4$-manifolds.

研究动机与目标

• 开发新方法，以界定在不定四维流形中光滑嵌入的有边曲面的亏格。
• 将邻接不等式推广至涉及 $S^3$ 中扭结与 $X \setminus \mathring{B}^4$ 中同调类的相对情形。
• 为扭结在闭合不定四维流形中是H-截面（即横截于同调零的圆盘）提供障碍。
• 证明H-截面扭结集合可检测四维流形上的奇异微分结构。
• 利用 $10/8+4$ 定理，建立对截面圆盘同调类的定量约束。

提出的方法

• 利用扭结Floer协调不变量 $ uf^+$ 与Seiberg-Witten或Ozsváth-Szabó不变量，推导相对邻接不等式。
• 在 $X^\circ = X \setminus \mathring{B}^4$ 中将曲面与cobordism $Z$ 中的曲面拼合，形成闭曲面，再应用邻接不等式。
• 利用 $10/8+4$ 定理推导拓扑障碍：对于满足 $\partial W = S^3_0(K)$ 的自旋四维流形 $W$，有 $b_2(X) + b_2(W) \geq \frac{10}{8}|\sigma(X) - \sigma(W)| + 5$。
• 运用Mayer-Vietoris与对偶性论证，证明 $S^3_0(K)$ 上的自旋结构可延拓至 $V$，从而可应用 $10/8+4$ 定理。
• 利用Bauer-Furuta不变量与 $X$ 和 $X'$ 上满足 $b_2^+ \equiv 3 \pmod{4}$ 的辛结构，阻碍H-截面性。
• 利用 $10/8+4$ 定理，排除特定交形式（如 $4(-E_8) \oplus 5\begin{pmatrix}0&1\\1&0\end{pmatrix}$）的光滑闭四维流形的存在性。

实验结果

研究问题

• RQ1 $ uf^+$ 不变量能否用于推导不定四维流形中具有边的曲面的有效亏格界？
• RQ2 不定四维流形中的H-截面扭结是否可检测奇异微分结构？
• RQ3 是否存在一个扭结在K3曲面中并非H-截面，尽管它是拓扑截面？
• RQ4 能否利用 $10/8+4$ 定理排除特定同调类中光滑截面圆盘的存在性？
• RQ5 是否存在微分同胚但拓扑同胚的四维流形 $X$ 与 $X'$，使得扭结 $K$ 在 $X$ 中是H-截面但在 $X'$ 中不是？

主要发现

• 相对邻接不等式（定理1.1）给出了涉及 $ uf^+$ 的亏格界：当 $b_2^+(X) > 1$ 时，有 $\langle c_1(\mathfrak{s}),[\Sigma]\rangle + [\Sigma]^2 \leq 2g(\Sigma) - 2 + 2\nu^+(\overline{K})$。
• 定理1.3表明，若 $K$ 在 $X^\circ$ 中是H-截面，且满足 $[\Delta]^2 \geq 0$ 与 $[\Delta] \neq 0$，则 $K$ 不可能是另一辛四维流形 $X'$ 中的H-截面，其中 $b_2^+(X') \equiv 3 \pmod{4}$。
• 推论1.4建立了光滑且拓扑同胚的四维流形 $X$ 与 $X'$ 的存在性，使得扭结 $K$ 在 $X$ 中是H-截面但在 $X'$ 中不是，从而证明H-截面扭结可检测奇异微分结构。
• 推论1.6证明了文献[12, 图3]中的拓扑截面扭结 $K_{\text{DV}}$ 在K3曲面中并非H-截面，因为 $22 + 21 < \frac{10}{8} \cdot 32 + 5$。
• $10/8+4$ 定理被用于证明不存在具有交形式 $4(-E_8) \oplus 5\begin{pmatrix}0&1\\1&0\end{pmatrix}$ 的光滑闭四维流形，这对排除 $K_{\text{DV}}$ 的H-截面性至关重要。
• 本文证明了映射 $H^1(V;\mathbb{F}_2) \to H^1(\partial V;\mathbb{F}_2)$ 是满射，从而确保 $S^3_0(K)$ 上的两个自旋结构均可延拓至 $V$，这对Mayer-Vietoris论证至关重要。