[论文解读] Donaldson invariants and wall-crossing formulas. I: Continuity of gluing maps

Paul M. N. Feehan, Thomas G. Leness|ArXiv.org|Dec 9, 1998

Advanced Algebra and Geometry参考文献 27被引用 16

一句话总结

本文建立了在 $b^+ = 1$ 的四维流形上，反自对偶联络的粘合映射的连续性，这是证明 Kotschick-Morgan 墙穿跃猜想的关键一步。通过将粘合映射扩展到 Uhlenbeck 拓扑下粘合数据丛的闭包，并证明曲率与曲率测度的统一收敛性，作者们解决了规范理论中一个关键的分析障碍，为 Donaldson 理论中完整的墙穿跃公式铺平了道路。

ABSTRACT

The present article is the first in a series whose ultimate goal is to prove the Kotschick-Morgan conjecture concerning the wall-crossing formula for the Donaldson invariants of a four-manifold with b^+ = 1. The conjecture asserts that the wall-crossing terms due to changes in the metric depend at most on the homotopy type of the four-manifold and the degree of the invariant. Our principal interest in this conjecture is due to the fact that its proof is expected to resemble that of an important intermediate step towards a proof of Witten's conjecture concerning the relation between Donaldson and Seiberg-Witten invariants (hep-th/9411102, hep-th/9709193), using PU(2) monopoles as described in (dg-ga/9709022, dg-ga/9712005). Moreover, it affords us another venue in which to address some of the technical difficulties arising in our work on Witten's conjecture. The additional difficulties in the case of PU(2) monopoles are due to the more complicated gluing theory, the presence of obstructions to deformation and gluing, and the need to consider links of positive-dimensional families of `reducibles' even in the presence of `simple type' assumptions. Witten's conjecture should then follow from a final step analogous to Goettsche's computation of the wall-crossing terms, assuming that the Kotschick-Morgan conjecture holds (alg-geom/9506018).

研究动机与目标

• 建立在 $b^+ = 1$ 且 $b_1 = 0$ 的四维流形上反自对偶联络的一般粘合定理，这对证明 Kotschick-Morgan 猜想至关重要。
• 解决在 Uhlenbeck 拓扑下粘合映射连续性的问题，该问题在 Taubes、Donaldson 或 Mrowka 的先前处理中尚未得到确立。
• 为后续墙穿跃公式的证明提供基础框架，该公式依赖于粘合映射在退化配置附近的行为。
• 解决规范理论中‘泡’现象带来的分析挑战，这些现象阻碍了粘合映射向参数空间闭包的延拓。

提出的方法

• 在粘合数据丛的内部构造一个光滑的粘合映射，并利用 Uhlenbeck 拓扑将其连续地延拓到闭包。
• 应用在 Coulomb 和径向规范下曲率与联络的衰减估计，以控制在泡点附近的行为。
• 利用自对偶二形式上拉普拉斯算子的特征值估计，以限制曲率贡献的大小。
• 对反自对偶方程解的先验 $L^2_1$-范数估计加以应用，以确保对联络族的统一控制。
• 应用 Chern-Simons 恒等式与曲率测度收敛性，将曲率积分的极限与泡点处的点质量联系起来。
• 使用 Lebesgue 有界收敛定理与紧致性论证，将曲率积分在收缩球面上的极限取极限。

实验结果

研究问题

• RQ1 反自对偶联络的粘合映射是否能在 Uhlenbeck 拓扑下连续地延拓到粘合数据丛的闭包？
• RQ2 在收缩球面上的曲率积分是否收敛到泡点处的 Dirac 测度之和，且系数与瞬子数匹配？
• RQ3 在退化过程中，曲率的 $L^2$-范数极限是否表现良好，使得 Chern-Simons 恒等式模 $\mathbb{Z}$ 保持不变？
• RQ4 粘合构造是否对度量与联络数据的小扰动具有鲁棒性，从而确保拓扑不变性？

主要发现

• 粘合映射连续地延拓到了粘合数据丛的闭包，解决了文献中的一个关键空白。
• 粘合联络的曲率测度收敛到一个包含泡点处点质量的极限，其系数等于瞬子数 $\kappa_i$。
• 在泡点周围球面上曲率 $L^2$-范数的极限满足 $\lim_{\alpha\to\infty} \int_{B(x_i,r)} |F(A_\alpha + a_\alpha)|^2 \, dV = \int_{B(x_i,r)} |F(A_0 + a_0)|^2 \, dV + 8\pi^2 \kappa_i \delta_{x_i}$。
• 曲率积分模 $\mathbb{Z}$ 收敛到预期值，且 Chern-Simons 恒等式在极限中保持不变。
• 全曲率与背景曲率的 $L^2$-范数之差对充分大的 $\alpha$ 一致有界于 $1/4$，从而确保了稳定性。