[论文解读] Nonsmoothable actions of Z2 * Z2 on spin four-manifolds

Yuya Kato|arXiv (Cornell University)|Aug 27, 2017

Geometric and Algebraic Topology参考文献 8被引用 4

一句话总结

本文构建了在自旋四-manifold 上的局部线性 ℤ₂×ℤ₂ 作用，这些作用整体上不可光滑化，尽管所有真子群在某种光滑结构下均作用光滑。通过从 Seiberg-Witten 理论导出的 Furuta 的 10/8-不等式的等变版本，作者证明了即使单个 ℤ₂ 作用是可光滑化的，此类作用也无法被光滑化，方法是分析自旋结构上奇对合的不动点结构与指标理论。

ABSTRACT

We construct some nonsmoothable actions of Z2 * Z2 on spin four-manifolds by using an equivariant version of Furuta' s 10/8inequality. The examples satisfy following property: any proper subgroup of Z2 * Z2 is smoothable for some smooth structure.

研究动机与目标

• 构建自旋四-manifold 上 ℤ₂×ℤ₂ 的局部线性群作用的示例，这些作用整体上不可光滑化，即使所有真子群在某种光滑结构下作用光滑。
• 将 Furuta 的 10/8-不等式推广至自旋 4-manifold 上不保持 spin^c 结构的奇对合的等变情形。
• 证明在某些光滑结构下，单个 ℤ₂ 作用可光滑化，但整个 ℤ₂×ℤ₂ 作用对任何光滑结构均不可光滑化。
• 将 Nakamura 对 Seiberg-Witten 理论的表述推广至非自由奇对合，从而能够分析不动点集与指标理论障碍。

提出的方法

• 基于 Seiberg-Witten 理论与规范理论技巧，为配备奇对合的光滑自旋四-manifold 构建了 10/8 定理的等变版本。
• 应用等变指标定理计算不变子空间上狄拉克算子的实指标，导出关键不等式 $ b_{+}^{I}(X) \geq -\frac{1}{16}\tau(X) $。
• 利用 tom Dieck 对 ℤ₄ 有限维表示之间等变映射的公式，通过度映射的迹导出拓扑障碍。
• 分析上同调不变量 $ H^k(X;\R)^{\langle I_1,I_2\rangle} $ 与交形单元形式在不变子空间上的限制，以定义 $ b_{+}^{\langle I_1,I_2\rangle}(X) $。
• 通过连接和 $ S^2 \times S^2 $ 与 K3 曲面构造显式示例，参数为满足 $ l_1, l_2 \geq 3k $、$ k \geq 1 $ 的整数 $ l_1, l_2, k $。
• 证明不可光滑化性源于 $ \mathbb{Z}_2 \times \mathbb{Z}_2 $-等变指标的非平凡性，即使单个 $ \mathbb{Z}_2 $-作用可光滑化。

实验结果

研究问题

• RQ1 是否存在自旋四-manifold 上的局部线性 $ \mathbb{Z}_2 \times \mathbb{Z}_2 $-作用，其整体不可光滑化，即使所有真子群在某种光滑结构下作用光滑？
• RQ2 对于不必然保持 spin^c 结构的自旋 4-manifold 上的奇对合，Furuta 的 10/8-不等式的等变类比是什么？
• RQ3 奇对合的不动点集结构如何约束群作用的光滑化性？
• RQ4 Seiberg-Witten 理论中的指标理论障碍能否推广至自旋 4-manifold 上的非自由、非保持 spin^c 结构的群作用？
• RQ5 在交形单元形式与贝蒂数满足何种条件下，$ \mathbb{Z}_2 \times \mathbb{Z}_2 $-作用无法被光滑化，即使其子群可以？

主要发现

• 对于满足 $ l_1, l_2 \geq 3k $ 且 $ k \geq 1 $ 的整数 $ l_1, l_2, k $，在 $ X = (2l_1 + 2l_2 + 1 - 6k)(S^2 \times S^2) \sharp 4k(K3) $ 上存在一个局部线性 $ \mathbb{Z}_2 \times \mathbb{Z}_2 $-作用，该作用对任何光滑结构均不可光滑化。
• 在该流形的某种光滑结构下，$ \mathbb{Z}_2 \times \mathbb{Z}_2 $ 的每个真子群均作用光滑。
• 主要障碍来自等变 10/8 定理：$ b_{+}^{\langle I_1, I_2 \rangle}(X) \geq \frac{1}{4} \left( -\frac{\sigma(X)}{4} + \mathrm{index}_{I_1 \circ I_2} D \right) $，其中 $ \mathrm{index}_{I_1 \circ I_2} D $ 非平凡。
• 该构造避开了 Ewing-Edmonds 的方法，转而依赖于为奇对合与非自由作用量身定制的等变 Seiberg-Witten 理论。
• 关键不等式 $ b_{+}^{I}(X) \geq -\frac{1}{16}\sigma(X) $ 对奇对合成立，且仅当指标条件饱和时取等。
• 证明使用了等变映射的复化与 tom Dieck 公式，表明度映射的迹必为代数整数，从而强制 $ b_{+}^{\langle I_1, I_2 \rangle}(X) \geq k $，其中 $ k = -\frac{1}{16}\sigma(X) $。