[论文解读] A Smooth Compactification of the Moduli Space of Instantons and Its Application

Bohui Chen|ArXiv.org|Apr 23, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 3

一句话总结

本文通过一种新颖的爆破与反爆破过程，提出了一种对 instanton 模空间的光滑紧化方法，以解决 Uhlenbeck 紧化中在 'ghost strata' 处的奇点问题。通过将这些 strata 与点配置的 Fulton-MacPherson 紧化相联系，作者构建了一个光滑的轨道空间模空间，使得虚拟圈技巧与局部化方法得以应用。主要结果是证明了在 $b^+ = 1$ 的 4-流形上，Kotschick-Morgan 壁穿隧猜想成立，给出了 Donaldson 多项式壁穿隧的精确公式，其形式由交形式与特征类决定。

ABSTRACT

A smooth compactification of Donaldson moduli spaces is given. As an application, we use this new space to study the wall-crossing formula and prove the Kotschick-Morgan conjecture.

研究动机与目标

• 解决 Uhlenbeck 紧化中 instanton 模空间的奇点问题，特别是稳定性失效的 'ghost strata' 处。
• 利用代数几何中启发的技巧（如爆破与反爆破）构造 instanton 模空间的光滑轨道空间紧化。
• 提供一个几何框架，使得 gauge 理论中虚拟圈与局部化技巧能够被应用。
• 证明关于 $b^+ = 1$ 的 4-流形上 Donaldson 不变量的 Kotschick-Morgan 猜想，即壁穿隧公式。
• 将该方法推广至 $U(2)$-单极子模空间，并在特定条件下为 Witten 猜想提供一种替代证明。

提出的方法

• 引入一种两步法的新紧化：首先进行爆破以解决 ghost strata 处的奇点，然后进行反爆破以恢复闭合的光滑轨道空间结构。
• 建立 ghost strata 与点配置空间的 Fulton-MacPherson 紧化的关键拓扑等价关系。
• 利用 $Spin(4) = SU(2)_L \times SU(2)_R$ 作用下的等变上同调，描述模空间的特征类，特别是第一 Pontrjagin 类 $p_1(r)$。
• 应用虚拟局部化技巧，计算模空间中不动点集上的积分，利用新紧化的光滑性。
• 通过纤维积分方法，对丛 $\pi: \underline{\mathcal{M}}_r(S^4,X) \to X$ 沿纤维积分，将 $\delta_{\alpha,\mathfrak{t}}$ 的计算约化为 $BSpin(4)$ 上的特征类计算。
• 将壁穿隧贡献 $\delta_P(\alpha)$ 表示为对 $r$ 的分拆 $\mathfrak{t}$ 的求和，其中每一项 $\delta_{\alpha,\mathfrak{t}}$ 通过含 $u$-级数与特征类的留数型积分计算。

实验结果

研究问题

• RQ1 能否构造一个 instanton 模空间的光滑紧化，以解决 Uhlenbeck 紧化中 ghost strata 处的奇点？
• RQ2 对于 $b^+ = 1$ 的 4-流形，Donaldson 不变量的壁穿隧公式是否可表示为包含交形式与特征类的通用形式？
• RQ3 虚拟局部化技巧是否能有效应用于新构造的光滑紧化，以计算壁穿隧贡献？
• RQ4 所提出的紧化方法是否能为 Kotschick-Morgan 猜想中壁穿隧公式的结构提供证明？
• RQ5 该方法是否可推广至其他 gauge-理论模空间（如 $U(2)$-单极子）以提供 Witten 猜想的替代证明？

主要发现

• Kotschick-Morgan 猜想被证明：对于 $b^+ = 1$ 的 4-流形，Donaldson 不变量的壁穿隧公式为 $\Psi^{X}_{P,c}(C_1) - \Psi^{X}_{P,c}(C_{-1}) = \sum_{\alpha \in \Lambda} \epsilon(c,\alpha) \delta_P(\alpha)$，其中 $\epsilon(c,\alpha) = (c - \alpha)^2 / 2$。
• 函数 $\delta_P(\alpha)$ 被证明是关于 $\alpha$ 的多项式，次数为 $d - 2r - 2i$，其系数 $a_i(r,d,X)$ 仅依赖于 $r$、$d$ 与 $X$ 的同伦型。
• 对每个 $r$ 的分拆 $\mathfrak{t}$，贡献 $\delta_{\alpha,\mathfrak{t}}$ 被计算为不动点集边界上的积分，结果为 $q^{r-i} \alpha^{d-2r-2i}$ 形式的项。
• 在 $Spin(4)$-等变上同调中，模空间的特征类 $\tilde{p}_1(r)$ 表示为 $\tilde{p}_1(r) = \omega_0 + \omega_L c_L + \omega_R c_R$，其中 $c_L, c_R$ 为 $BSpin(4)$ 上 $SU(2)$-丛的第二陈类。
• 对丛 $\pi: \underline{\mathcal{M}}_r(S^4,X) \to X$ 沿纤维积分，计算被约化至 $H^4(BSpin(4), \mathbb{Q})$，并证明 $\pi_*(\tilde{p}_1(r))^{2r-1}$ 是 $c_L$ 与 $c_R$ 的线性组合。
• 该方法为 Witten 猜想（关于 $U(2)$-单极子的 Donaldson 与 Seiberg-Witten 不变量之间的关系）在特定条件下提供了新的、替代性的证明。