A note on smoothly slice links in $S^2 \times S^2$

本文通过提供 Miyazaki 和 Yasuhara 关于 $S^2 \times S^2$ 中存在非光滑切片纽结这一结论的替代证明，并探讨其在探测异种 $S^2 \times S^2$ 中的潜在应用，作为此前针对 $\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}$ 情形工作的后续研究。

要点

这篇论文就像是一场高维空间的“寻宝游戏”，两位数学家（Marco Marengon 和 Clayton McDonald）试图在四维宇宙的一个特定角落——$S^2 \times S^2$（我们可以把它想象成两个甜甜圈形状的球体互相垂直穿过的奇怪空间）——寻找一种特殊的“结”（Link），并证明这种结永远无法被解开。

为了让你更容易理解，我们把复杂的数学概念转化为日常生活中的比喻：

1. 核心任务：什么是“切片”（Slice）？

想象你手里有两个互相缠绕的橡皮筋（这就是“链环”或 Link）。

• 在三维世界：如果你把这两个橡皮筋扔进一个巨大的果冻（四维空间）里，它们能不能各自变成两个互不干扰的、完美的圆形薄片（圆盘）？
• 如果能：我们就说这个结是“切片”的（Slice），意味着它们可以被“解开”并平滑地融入空间。
• 如果不能：无论你怎么揉捏、变形，它们总会卡住，无法变成完美的圆盘。

这篇论文的目标就是证明：存在一种特定的双环结，在$S^2 \times S^2$这个特殊的四维空间里，它是绝对无法被“解开”成圆盘的。

2. 为什么这很重要？（寻找“异类”宇宙）

作者提到，他们之前的工作是在另一个四维空间（$CP^2 \# CP^2$）里做了类似的事。现在他们把目光投向了$S^2 \times S^2$。

• 比喻：想象有两个长得一模一样的房子（都是$S^2 \times S^2$）。从外面看，它们结构完全一样，甚至住进去的人（拓扑学家）觉得它们就是同一个房子。但是，如果你试图在房子里装修（光滑结构），你会发现其中一个房子怎么装修都别扭，而另一个很顺手。
• 结论：如果作者能证明他们的结在这个房子里“解不开”，但在另一个“标准版”房子里能解开（或者反之），这就证明了存在一个“异类”的$S^2 \times S^2$（Exotic $S^2 \times S^2$）。这在数学界是一个巨大的发现，意味着四维空间比我们要想象的更复杂、更神秘。

3. 他们是怎么做到的？（侦探的推理过程）

作者没有直接去解那个结，而是用了一连串的“排除法”和“数学陷阱”，就像侦探在排查嫌疑人一样：

• 第一步：设定嫌疑人名单（同调类）
  他们假设这个结真的被解开了（变成了圆盘）。在四维空间里，这些圆盘有特定的“身份标签”（数学上叫同调类）。作者列出了一张长长的名单，列出了所有理论上可能存在的“身份标签”。

• 第二步：使用“测谎仪”（数学工具）
  作者手里拿着几把厉害的“测谎仪”（数学工具），用来测试这些嫌疑人：

  1. 签名（Signatures）：就像检查指纹。如果结的某些数学特征（签名）和它声称的“身份”对不上，那就是谎言。
  2. 阿夫不变量（Arf Invariant）：就像检查 DNA。如果 DNA 不匹配，直接排除。
  3. 亏格函数（Genus Function）：就像检查“占地面积”。如果结声称自己变成了一个小圆盘，但数学计算显示它必须占据很大的面积，那它就在撒谎。

• 第三步：逐个击破
  作者通过复杂的计算，发现：

  • 如果结是“身份 A"，它的签名对不上。
  • 如果结是“身份 B"，它的 DNA（阿夫不变量）对不上。
  • 如果结是“身份 C"，它的占地面积（亏格）太大了，根本塞不进那个空间。

  经过一番严密的逻辑推演，他们把名单上所有的可能性都排除了。

4. 最终结论

既然所有可能的“解开方式”都被证明是谎言，那么结论只有一个：这个结在$S^2 \times S^2$里，就是解不开的！

5. 那个具体的结长什么样？

作者在论文最后给出了一个具体的例子（图 1 中的结）。

• 它由两个环组成。
• 这两个环互相缠绕，并且带有一些特定的扭结（就像把橡皮筋打了几个特定的死结）。
• 作者通过计算机数据库（KnotInfo）找到了一个现成的数学对象（72 号结的镜像），把它做成双环结构，完美符合所有“无法解开”的条件。

总结

这就好比两位侦探在一个复杂的迷宫（四维空间）里，发现了一个特殊的锁（双环结）。他们通过一系列精密的数学测试，证明了没有任何钥匙（光滑圆盘）能打开这把锁。

如果未来有人能利用这个“打不开的锁”制造出一个新的迷宫，而这个新迷宫看起来和旧迷宫一模一样，但内部结构却完全不同，那我们就发现了一个**“异类宇宙”**。这篇论文就是为发现这种“异类宇宙”铺平了道路。

技术摘要

这是一份关于论文《A NOTE ON SMOOTHLY SLICE LINKS IN S2 × S2》（关于 $S^2 \times S^2$ 中光滑切片纽结的注记）的详细技术总结。

1. 研究背景与问题 (Problem)

• 核心问题：在四维流形 $S^2 \times S^2$ 中，是否存在一个双分量链环（2-component link），它在光滑范畴（smooth category）下不是切片的（non-slice）？
• 背景知识：
  • 一个链环 $L \subset S^3$ 被称为在 $X$ 中是切片的，如果它能在 $X \setminus B^4$ 中由不相交的光滑嵌入圆盘所界定。
  • 经典结果（Norris, Suzuki）表明，$S^2 \times S^2$ 和 $\mathbb{C}P^2 \# \mathbb{C}P^2$ 中所有的纽结（knots）都是光滑切片的。
  • 然而，对于链环（links），情况更为复杂。Miyazaki 和 Yasuhara 曾在拓扑范畴（topological category）下证明了 $S^2 \times S^2$ 中存在非切片链环，但该结果无法用于检测“异种”（exotic）$S^2 \times S^2$ 流形，因为其论证依赖于拓扑不变量而非光滑不变量。
• 研究目标：作者旨在提供一个光滑范畴下的证明，构造一个在 $S^2 \times S^2$ 中非光滑切片的 2 分量链环，并探讨其在检测异种 $S^2 \times S^2$ 流形方面的潜在应用。这是作者之前关于 $\mathbb{C}P^2 \# \mathbb{C}P^2$ 工作的后续。

2. 方法论 (Methodology)

作者采用了一种基于**障碍理论（obstructive methods）**的排除法，通过逐步施加条件来排除链环切片所需的所有可能的同调类对 $(\alpha, \beta)$。

2.1 核心工具

1. Levine-Tristram 签名（Levine-Tristram Signatures）：

   • 利用定理 2.1（Virasoro, Gilmer），对于在 $X$ 中界定曲面 $\Sigma$ 的纽结 $K$，如果同调类 $[\Sigma]$ 被 $m$ 整除，则签名函数 $\sigma_K$ 必须满足特定的不等式约束：
     $$\left| \sigma_K(e^{2\pi i r/m}) + \sigma(X) - \frac{2r(m-r)}{m^2}[\Sigma]^2 \right| \leq b_2(X) + 2g$$
   • 作者利用卫星纽结（satellite knots）的签名公式（Theorem 2.2）来计算复杂链环分量的签名。

2. Arf 不变量（Arf Invariant）：

   • 利用定理 2.3（Kirby, Yasuhara），将流形的签名、曲面的自交数与边界纽结的 Arf 不变量联系起来。特别地，如果曲面是特征曲面（characteristic），则存在模 2 的同余关系。

3. 光滑亏格函数（Smooth Genus Function）：

   • 利用 Ruberman 的结果（Theorem 3.2），确定 $S^2 \times S^2$ 中给定同调类 $(a_1, a_2)$ 的光滑嵌入可定向曲面的最小亏格 $G_{S^2 \times S^2}(a_1, a_2)$。
   • 如果链环分量是切片的，它们界定的圆盘必须满足特定的同调类约束，进而导致闭曲面的亏格矛盾。

2.2 证明策略

1. 构造特定链环 $L$：

   • 定义链环 $L = A \cup B$，其结构如图 2 所示（基于 (1,1)-tangle 和 $n$ 个右旋全扭转）。
   • 假设 $L$ 在 $S^2 \times S^2$ 中是光滑切片的，即存在两个不相交的光滑圆盘 $D_A, D_B$，其同调类分别为 $\alpha, \beta$。

2. 逐步施加假设（Assumptions A1-A8）：

   • (A1) 链环结构对称性。
   • (A2) 分量 $A, B$ 在 $B^4$ 中的亏格 $g_4 = 1$。
   • (A3) $A$ 和 $B$ 可以通过环境同痕互换（对称性）。
   • (A4) 链接数 $lk(A, B) = -4$。
   • (A5) Arf 不变量 $Arf(A) = Arf(B) = 1$。
   • (A6)-(A8) 在特定单位根处的签名值设定（$\sigma(\zeta_2)=\sigma(\zeta_4)=\sigma(\zeta_8)=2$）。

3. 排除同调类对：

   • 利用对称性（$S^2 \times S^2$ 的因子交换、反转等）将可能的同调类对 $(\alpha, \beta)$ 简化为有限个无限族和几个特例（Sporadic cases）。
   • 利用亏格函数排除部分无限族和特例（例如，证明某些同调类无法由亏格为 2 的闭曲面表示）。
   • 利用Levine-Tristram 签名和Arf 不变量排除剩余的同调类对。通过计算卫星纽结的签名，发现其与切片条件导出的不等式矛盾。

3. 主要结果 (Key Results)

• 定理 1.1：图 1 中所示的 2 分量链环在 $S^2 \times S^2$ 中不是光滑切片的。
• 定理 3.8（更一般的结果）：任何满足假设 (A1)-(A8) 的 2 分量链环 $L$ 都不是 $S^2 \times S^2$ 中的光滑切片链环。
• 具体实例：
  • 作者通过 KnotInfo 数据库搜索，找到了满足所有条件的纽结 $K = m(7_2)$（纽结 $7_2$ 的镜像）。
  • 令 $A = B = K$，并构造图 1 中的链环。该链环满足所有假设，从而证明了定理 1.1。
• 与拓扑结果的区别：
  • 虽然 Miyazaki 和 Yasuhara 之前证明了拓扑非切片链环的存在，但他们的论证依赖于签名模 8 为 0 的条件，且是拓扑的。
  • 本文的链环在拓扑范畴下可能是切片的（因为未证明其拓扑非切片性），但在光滑范畴下被证明是非切片的。这种“光滑非切片但拓扑可能切片”的特性是检测异种流形的关键。

4. 潜在应用与意义 (Significance)

• 检测异种 $S^2 \times S^2$（Exotic $S^2 \times S^2$）：
  • 这是本文最重要的潜在贡献。命题 4.1 指出，如果存在一个在 $S^2 \times S^2$ 中非光滑切片的链环 $L$，并且可以通过特定整数系数的手术（surgery）构造出一个有理同调球 $W$，使得拼接后的流形 $X$ 是单连通的且为 Spin 流形，那么 $X$ 将同胚于 $S^2 \times S^2$ 但不同胚于标准 $S^2 \times S^2$（即异种 $S^2 \times S^2$）。
  • 由于 $S^2 \times S^2$ 的相交形式是偶的，手术系数必须为偶数，这导致构造的流形 $Y$ 不能是整数同调球（这与 $\mathbb{C}P^2 \# \mathbb{C}P^2$ 的情况不同，那里可以构造整数同调球）。
• 方法论的推广：
  • 本文展示了如何将针对 $\mathbb{C}P^2 \# \mathbb{C}P^2$ 的障碍技术（签名、Arf 不变量、亏格函数）成功适配到 $S^2 \times S^2$ 上。
  • 证明了 $S^2 \times S^2$ 中链环的切片性质比纽结更丰富，且存在光滑障碍。

5. 总结

这篇论文通过结合签名不变量、Arf 不变量和光滑亏格函数，成功构造并证明了一个在 $S^2 \times S^2$ 中非光滑切片的 2 分量链环。虽然该结果尚未直接构造出异种 $S^2 \times S^2$，但它提供了必要的“原材料”（非切片链环），为未来通过手术构造异种流形铺平了道路。这项工作填补了 $S^2 \times S^2$ 光滑切片理论中的一个空白，并强调了光滑结构与拓扑结构在四维流形中的深刻差异。