Convergence of the Yang-Mills flow on ALE gravitational instantons

问题陈述
本文研究了非紧 4 流形上杨 - 米尔斯流 (1.1) 的长时间收敛行为，具体针对 ALE（渐近局部欧几里得）引力瞬子。虽然该流在紧情形下的收敛性已为人熟知，但在非紧设定下则面临显著的解析挑战。Gustaffson、Nakanishi 和 Tsai 先前的工作表明，在 $\mathbb{R}^4$ 上，抛物型间隙定理失效：存在任意接近标准瞬子的初始联络，其在流作用下并不收敛于瞬子。作者旨在为 ALE 引力瞬子建立“抛物型间隙定理”，证明若初始能量足够小（具体而言，若自对偶曲率能量低于特定阈值），则该流光滑收敛于一个反自对偶（ASD）瞬子。

方法论
作者采用了一组结合椭圆与抛物分析的技术，并针对 ALE 流形的非紧、里奇平坦几何进行了适配。

1. 椭圆间隙定理与索伯列夫常数：证明依赖于 ALE 流形上的锐利索伯列夫不等式（定理 2.2），该不等式源自 Viaclovsky 以及 Balogh-Kristaly 的工作。该不等式包含一个依赖于有限群 $\Gamma$ 阶数（$|\Gamma|$）的常数，由此可推导出椭圆间隙定理（定理 2.4）：任何有限能量的杨 - 米尔斯联络，若其自对偶曲率能量满足 $\|F^+\|_{L^2}^2 < 8\pi^2/|\Gamma|$，则必为反自对偶（$F^+ \equiv 0$）。

2. 能量估计与 $\epsilon$-正则性：作者利用基本的能量恒等式（引理 3.2），表明杨 - 米尔斯泛函的非增性质及拓扑荷的守恒。他们为该流建立了 $\epsilon$-正则性定理（引理 3.3），确保自对偶曲率的 $L^2$ 范数较小意味着 $L^\infty$ 有界。这对于控制潜在奇点附近或无穷远处的曲率至关重要。

3. 爆破分析与反证法：为了证明定量衰减速率，作者使用了涉及重标度（爆破）技术的反证法（定理 4.1）。假设衰减速率失效，他们构造了一列重标度解。通过分析这些序列的极限（Uhlenbeck 紧性），他们表明极限必须是 ALE 流形本身或 $\mathbb{R}^4/\Gamma$ 上的 ASD 瞬子。椭圆间隙定理随后迫使曲率的自对偶部分消失，从而与“衰减速率失效”的假设相矛盾。

4. 通过 $L^p$ 估计改进衰减：对于满足 $F^+ \in L^p$（$1 < p < 2$）的初始数据，作者推导出了改进的衰减速率（定理 1.1b）。这涉及证明一旦自对偶曲率的 $L^2$ 范数变得很小，其 $L^p$ 范数将保持有界，进而将 $L^\infty$ 衰减速率加速至 $o(t^{-2/p})$。

5. 收敛至 ASD 瞬子：最后，作者将衰减估计与抛物型 Moser 迭代及热半群估计相结合，证明了联络 $A(t)$ 在 $C^\infty_{loc}$ 和 $L^q$ 中收敛于一个 ASD 瞬子 $A_\infty$（定理 6.1）。

主要结果
主要结果是定理 1.1，它针对渐近于 $(\mathbb{R}^4 \setminus \{0\})/\Gamma$ 的 ALE 引力瞬子 $(M,g)$ 上的 $SU(r)$-丛确立了以下内容：

• 阈值条件：若初始联络 $A_0$ 具有有限杨 - 米尔斯能量且满足严格不等式 $\|F^+_{A_0}\|_{L^2}^2 < 8\pi^2/|\Gamma|$，则该流对所有时间存在。
• 自对偶曲率的衰减：
  • 一般情况下，当 $t \to \infty$ 时，$\|F^+(t)\|_{L^\infty} = o(1/t)$ 且 $\|F^+(t)\|_{L^2} \to 0$。
  • 若此外对于 $1 < p < 2$ 有 $\|F^+_{A_0}\|_{L^p} < \infty$，则衰减改进为 $\|F^+(t)\|_{L^\infty} = o(t^{-2/p})$ 且 $\|F^+(t)\|_{L^p} \to 0$。
• 收敛性：在这些条件下，流 $A(t)$ 光滑收敛（在适当的 $q$ 下于 $C^\infty_{loc} \cap L^q$ 中）至一个 ASD 瞬子 $A_\infty$。关键在于，拓扑荷得以保持：$\kappa(A_\infty) = \kappa(A_0)$。

意义与主张
作者将这项工作定位为其先前针对 4-球建立的“抛物型间隙定理”在非紧情形下的推广。结果的意义通过四个具体的动机概述如下：

1. 克服非紧障碍：本文表明，通过对初始自对偶曲率施加温和的衰减假设，可以避免在 $\mathbb{R}^4$ 上抛物型间隙的失效（即接近瞬子的联络可能不收敛），从而在 ALE 流形上实现收敛。
2. Oh-Tataru 工作的推广：该结果推广了 Oh 和 Tataru 在 $\mathbb{R}^4$ 上的工作，后者仅限于零拓扑荷且能量低于 $8\pi^2$ 的情形。本文将结果扩展至更高的拓扑荷，证明其收敛于具有相同电荷的 ASD 瞬子，而非平坦联络。作者指出，这可能有助于推广双曲杨 - 米尔斯方程的阈值猜想。
3. 比里奇流稳定性更弱的假设：与引力瞬子上里奇流的稳定性结果相比，该收敛性是在对初始数据显著更弱的假设下实现的。具体而言，作者不要求初始联络接近某个特定的 ASD 瞬子，仅要求其自对偶能量低于间隙阈值。
4. 模空间拓扑：作者预期这些收敛结果将有助于研究 ALE 引力瞬子上 ASD 瞬子模空间的拓扑结构。

本文明确指出，虽然短时光存在性已被假定（引用了现有文献），但关于完备流形上该流的短时光存在性与适定性的详细处理仍是一个开放问题，需另行解决。