Unbounded Gaps Between Ordinary and Equivariant Dehn Surgery Numbers

技术摘要：平凡与等变 Dehn 手术数之间的无界间隙

问题陈述
本文针对闭定向 3-流形 $Y$ 及其定向保持微分同构 $\phi$ 之间，关于整型 Dehn 手术数 $DS(Y)$ 与等变整型 Dehn 手术数 $EDS(Y, \phi)$ 关系的两个特定问题进行了研究。

• $DS(Y)$是在$S^3$ 中的一个链路（link）上通过整型手术描述 $Y$ 所需的最少分量数。
• $EDS(Y, \phi)$ 是诱导特定微分同构 $\phi$ 的周期性（periodic）手术描述中的最少分量数。
  虽然已知 $DS(Y) \leq EDS(Y, \phi)$，但作者研究了该不等式的程度。具体而言，他们解决了 K3 问题列表（Baykur, Kirby, and Ruberman）中的问题 1.15(b) 和 1.15(c)：

1. 差值 $EDS(Y, \phi) - DS(Y)$ 是否可以任意大？
2. 当 $\phi$ 是一个对合（involution）时，是否会出现严格不等式 $DS(Y) < EDS(Y, \phi)$？

方法论
作者结合了同调阻碍、等变手术理论以及显式的几何构造。

1. 同调下界：
   论文基于对合 $\tau$ 在第一同调群 $H_1(Y; \mathbb{Z})$ 上的作用，建立了 $EDS(Y, \tau)$ 的下界。

• 利用引理 2.7 和引理 2.8，作者将手术分量数与链路外部的同调生成元联系起来。
• 至关重要的是，引理 2.10 和推论 2.11 表明，如果 $\tau_* \neq \pm \text{id}$ 在 $H_1(Y; \mathbb{Z})$ 上，则 $EDS(Y, \tau) \geq 2$。
• 作者通过分析 $\tau$ 在不同素数域 $\mathbb{F}_\ell$ 上的作用来细化这一结论。他们定义 $b^\delta_\ell(Y, \tau)$ 为 $\tau_*$ 在 $H_1(Y; \mathbb{F}_\ell)$ 上的 $\delta$-特征子空间维数，其中 $\delta \in \{+1, -1\}$。
• 命题 4.2 证明了关键不等式：$EDS(Y, \tau) \geq b^+(Y, \tau) + b^-(Y, \tau)$，其中 $b^\delta(Y, \tau)$ 是所有奇素数中的最大维数。这依赖于对合在链路外部的经线基底（meridian basis）上的作用是一个带符号置换，其特征子空间维数与域无关（引理 4.1）。

2. 几何构造（基本块）：
   作者使用一个带有 $(+4, +4)$ 框架的 $\rho$-周期 Hopf 链路在 $S^3$ 中构造了一个特定的流形 $Y$。

• 对合 $\rho$ 是交换这两个 Hopf 链路分量的半转（half-turn）。
• 生成的流形 $Y$ 被确定为透镜空间 $L(15, 4)$。
• 同调计算表明 $H_1(Y; \mathbb{Z}) \cong \mathbb{Z}/15$，且诱导的对合 $\tau_*$ 作用为乘法 $-4$。
• 由于 $-4 \not\equiv \pm 1 \pmod{15}$，因此 $DS(Y)=1$（通过单纽结手术描述），但$EDS(Y, \tau) \geq 2$。具体而言，模 5 而言，$\tau_*$作用为$+1$（贡献给$b^+$），而模 3 而言，它作用为$-1$（贡献给$b^-$）。

3. 任意大的间隙（定理 1.1）：
   为了实现任意大的间隙 $k$，作者构造了 $Y_k$ 作为 $k$ 个基本块 $Y$ 的连通和。

• 对合 $\tau_k$ 在每个加数上都表现为 $\tau$ 的作用。
• 同调变为 $H_1(Y_k; \mathbb{Z}) \cong (\mathbb{Z}/15)^k$。
• 等变手术数由 $b^+ + b^- \geq k + k = 2k$ 限定。
• 普通手术数由 $k$ 限定（通过 $k$ 个单纽结手术的拆分并集）。
• 这产生了 $DS(Y_k) = k$ 且 $EDS(Y_k, \tau_k) = 2k$，从而制造了一个间隙 $k$。

4. 不可约示例（定理 1.2）：
   为了处理不可约流形的情况，作者利用了透镜空间 $Z_a = L(p_a, q_a)$，其中 $p_a = (a-1)(a^2+1)$ 且 $q_a = a^2$。

• 他们利用 Moser 关于环面纽结手术的定理证明 $DS(Z_a) = 1$。
• 他们通过坐标交换 $(z_1, z_2) \to (z_2, z_1)$ 构造了一个对合 $\sigma_a$，该变换由于 $q_a^2 \equiv 1 \pmod{p_a}$ 而在商空间上下降。
• $\sigma_a$ 在 $H_1$ 上的作用是乘法 $q_a$。对于 $a \geq 3$，满足 $1 < q_a < p_a - 1$，确保 $\sigma_{a*} \neq \pm \text{id}$。
• 因此，$EDS(Z_a, \sigma_a) \geq 2 > 1 = DS(Z_a)$。由于 $p_a$ 是严格递增的，这提供了一系列互不同胚的不可约透镜空间族。

核心贡献与结果

• 定理 1.1： 对于每个整数 $k \geq 1$，存在一对 $(Y_k, \tau_k)$ 使得 $DS(Y_k) = k$ 且 $EDS(Y_k, \tau_k) = 2k$。这证实了 $EDS - DS$ 是无界的，即使对于对合也是如此。
• 定理 1.2： 存在无穷多个互不同胚的不可约透镜空间 $Z$，它们具有使得 $DS(Z) < EDS(Z, \sigma)$ 的成立的对合 $\sigma$。
• 同调不等式： 论文建立了一个稳健的下界，用于衡量基于对合在各种素数域上作用于同调的特征子空间维数的等变手术数（命题 4.2）。

意义
本文为 K3 问题列表中问题 1.15(b) 和 1.15(c) 提供了肯定的回答。它表明，要求手术描述相对于特定对合具有等变性，会带来显著的拓扑代价，使得所需的最小手术分量数相比非等变情况增加任意大的倍数。此外，它表明这种现象并不局限于可约流形（连通和），而是同样发生在不可约透岭空间类中。这项工作将等变手术理论与同调不变量联系起来，为检测低分量周期性手术描述的阻碍提供了一种具体的方法。