[论文解读] PU(2) Monopoles, I: Regularity, Uhlenbeck Compactness, and Transversality

Paul M. N. Feehan, Thomas G. Leness|arXiv (Cornell University)|Oct 29, 1997

Geometric and Algebraic Topology被引用 24

一句话总结

本文为四维流形上PU(2)单极子的模空间建立了基础分析结果，证明了PU(2)单极子方程的正则性、Uhlenbeck紧致化及横截性。文章提供了必要的分析框架——使用全息扰动和Sobolev估计——以构建低层级Seiberg-Witten模空间的链接，从而为未来计算与上同调类的配对以及潜在证明Witten猜想奠定基础。

ABSTRACT

We prove the existence of perturbations for the PU(2) monopole equations, yielding transversality on the complement of the anti-self-dual or reducible solutions, and the existence of an Uhlenbeck compactification for the moduli space of solutions to these perturbed PU(2) monopole equations. In December 1994, V. Pidstrigach and A. Tyurin and then others proposed a method to prove Witten's conjecture concerning the relation between the Donaldson and Seiberg-Witten invariants of smooth four-manifolds. Their proposal uses a moduli space of solutions to the PU(2) monopole equations, which are a natural generalization of the U(1) monopole equations of Seiberg and Witten and the equation for anti-self-dual SO(3) connections, to construct a cobordism between links of compact moduli spaces of U(1) monopoles of Seiberg-Witten type and the moduli space of anti-self-dual connections, which appear as singularities in this larger moduli space. A basic requirement of this cobordism technique is the existence of an Uhlenbeck compactification for the moduli space of PU(2) monopoles and of generic-parameter transversality results for all the moduli spaces of PU(2) monopoles which appear in this compactification, on the complement of the anti-self-dual and U(1) solutions.

研究动机与目标

• 解决PU(2)单极子计划中的分析挑战，该计划旨在通过cobordism构造关联Seiberg-Witten不变量与Donaldson不变量。
• 克服在Uhlenbeck紧致化过程中PU(2)单极子模空间中低层级可约配置带来的技术困难。
• 为PU(2)单极子方程建立正则性、Uhlenbeck紧致化及横截性，以支持未来粘合与上同调类配对计算。
• 为PU(2)单极子模空间提供严谨的分析框架——使用Sobolev空间、全息扰动及有界微分算子。
• 为计算上同调类与低层级Seiberg-Witten模空间链接之间的配对奠定基础，这对验证Witten猜想至关重要。

提出的方法

• 在四维流形X上的一个酉两平面丛E上研究PU(2)单极子，其中固定行列式线丛及单位酉联络。
• 通过SU(E)丛上的L^2_k联络A及作用于W^+ ⊗ E截面上的相应Dirac算子D_A，定义PU(2)单极子的模空间。
• 通过从截断函数、全息映射及热核算子构造的映射m_{j,l,α}施加全息扰动，以实现横截性。
• 利用Sobolev嵌入与乘法定理控制扰动映射的C^s范数，确保其具有有界微分的C^∞光滑性。
• 构造一个加权ℓ^1_δ扰动空间，以确保扰动映射的收敛性，并对所有阶可微性实现一致控制。
• 通过证明线性化算子是满射且扰动映射为C^∞且具有有界导数，证明扰动后的模空间是正则且横截的。

实验结果

研究问题

• RQ1 如何为PU(2)单极子模空间建立正则性与Uhlenbeck紧致化？
• RQ2 在全息扰动下，PU(2)单极子方程的横截性需满足何种条件？
• RQ3 如何构造具有所有阶有界微分的C^∞扰动映射？
• RQ4 加权ℓ^1_δ空间在确保扰动模空间的收敛性与光滑性方面起什么作用？
• RQ5 此处开发的分析工具如何支持低层级Seiberg-Witten模空间链接的构造？

主要发现

• PU(2)单极子模空间具有明确定义的Uhlenbeck紧致化，极限点对应于低层级可约配置。
• 全息扰动被证明是所有阶有界微分的C^∞映射，确保扰动方程的横截性。
• 扰动映射m_{j,l,α}在所有s下关于C^s范数一致有界，其界通过Sobolev乘法与热核估计加以控制。
• 加权ℓ^1_δ扰动空间确保总扰动向量场在联络空间上为C^s光滑。
• 在扰动设定下，PU(2)单极子方程的线性化算子被证明是满射，从而确认了横截性。
• 该构造为未来粘合理论与上同调类配对提供了严谨基础，这对验证Witten猜想至关重要。