[论文解读] On definite lattices bounded by a homology 3-sphere and Yang-Mills instanton Floer theory

Christopher Scaduto|arXiv (Cornell University)|May 21, 2018

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

一句话总结

本文利用杨-米尔斯 instanton Floer 理论，对被某些整同调 3-球面所包围的光滑 4-流形的定型交截形式进行分类，特别是那些与 1-手术于光滑 4-球面亏格为 1 或 2 的纽结的 $\mathbb{Z}/2$-同调 cobordant 的情形。结果表明，对于此类边界，唯一可能的非对角定型格是 $E_8$、$\Gamma_{12}$ 及其与对角形式的直和，从而推广了 Frøyshov 对庞加莱球面的早期结果。

ABSTRACT

Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot, the only non-diagonal lattices that can occur are E8 and the indecomposable unimodular definite lattice of rank 12, up to diagonal summands. We require that our 4-manifolds have no 2-torsion in their homology.

研究动机与目标

• 确定哪些定型单模格可以作为被特定整同调 3-球面所包围的光滑 4-流形的交截形式。
• 将 Frøyshov 的 instanton 理论方法扩展至庞加莱球面以外的情形，特别是针对扭结的 $+1$ 手术。
• 在 4-流形的同调中无 2-挠射时，建立对可能交截形式的严格限制。
• 证明对于 $(2,5)$ 扭结的 $+1$ 手术，唯一可能的非对角定型形式为 $E_8$ 和 $\Gamma_{12}$，至多相差对角直和。
• 在格限制的背景下，统一并推广 instanton Floer 理论、Seiberg-Witten 理论与 Heegaard Floer 理论的结果。

提出的方法

• 将 Frøyshov 的 instanton 不等式推广至模 2 和模 4 系数，推导出 4-流形中嵌入曲面的新亏格界。
• 应用 instanton Floer 上同调分析交截形式的结构，通过上同调环中的关系实现。
• 在某些情况下，使用 Heegaard Floer 和 Seiberg-Witten 理论中的 $d$-不变量与校正项，作为 instanton 输入的交叉验证或替代。
• 运用格论工具，包括 Elkies 对满足 $f_2(\mathcal{L}) \leq 2$ 的定型格的分类，以限制可能的形式。
• 计算极小向量在 $w + 2\mathcal{L}$ 中的位置，以确定控制非对角形式存在的不变量 $m(\mathcal{L})$。
• 应用 Mayer-Vietoris 证明，当交截形式为单模时，可将结果推广至非同调球面的情形。

实验结果

研究问题

• RQ1 对于一个整同调 3-球面，其同调中无 2-挠射，哪些定型单模格可作为光滑 4-流形的交截形式？
• RQ2 对于 $(2,5)$ 扭结的 $+1$ 手术，唯一可能的非对角定型交截形式是什么？
• RQ3 是否可将 instanton Floer 理论框架扩展至分类 $E_8$ 以外的非对角格？
• RQ4 Heegaard Floer $d$-不变量与 Seiberg-Witten 校正项在分类中能在多大程度上替代 instanton 理论输入？
• RQ5 在满足 $d(Y) = 2$ 且 $\delta_2 v_2 = 0$ 的条件下，格 $E_7^2$ 是否可能作为同调 3-球面边界所包围的 4-流形的交截形式？

主要发现

• 对于 $(2,5)$ 扭结的 $+1$ 手术（即 Brieskorn 球面 $-\Sigma(2,5,9)$），唯一可能的定型交截形式为 $\langle+1\rangle^n$、$E_8 \oplus \langle+1\rangle^n$ 与 $\Gamma_{12} \oplus \langle+1\rangle^n$，且所有形式均可实现。
• 在同调中无 2-挠射且边界为 genus-2 纽结的 $+1$ 手术时，唯一可能的非对角定型格为 $E_8$ 和 $\Gamma_{12}$，至多相差对角直和。
• 在 $d(Y) = 2$ 且 $\delta_2 v_2 = 0$ 的条件下，格 $E_7^2$ 不会出现，因为该格满足 $m(\mathcal{L}) \geq 4$。
• 对于 $(2,3)$ 扭结的 $+1$ 手术（即 $-\Sigma(2,3,5)$），唯一可能的定型形式为 $\langle+1\rangle^n$ 与 $E_8 \oplus \langle+1\rangle^n$，确认并略微改进了 Frøyshov 的原始结果。
• 结果在 $\mathbb{Z}/2$-同调 cobordism 下保持稳定，因此适用于所有与 genus-1 或 genus-2 纽结的 $+1$ 手术同调 cobordant 的同调 3-球面。
• 该方法为分类 $-\Sigma(3,4,11)$（即 $(3,4)$ 扭结的 $+1$ 手术）所包围的格提供了潜在可能，该情形可能实现 $E_7^2$ 与 $A_{15}$。