技术摘要：一种基于 PDE 方法的二维杨–米尔斯测度研究

问题陈述

本文探讨了二维杨–米尔斯（YM）测度 $\mu_{YM}$ 在单位正方形 $\Lambda = [0, 1]^2$ 上的小尺度正则性问题。虽然可以通过威尔逊圈（Wilson loops）以规范不变的方式构造 YM 测度，但定义具有最优正则性的代表性联络 1-形式 $A$ 一直是一个挑战。先前的构造（如轴向规范）得到的代表具有 $C^{-1/2-\kappa}$ 的正则性，这与高斯自由场（GFF）预期的 $C^{-\kappa}$ 正则性相比是次优的。核心问题在于：是否可以找到一个规范固定的代表 $A_g$，使其具有最优正则性（具体而言，属于空间 $\Omega^1_\beta$，其中 $\beta$ 接近 1）并表现出稳定性性质。

研究方法

作者结合了粗路径理论（rough path theory）、正则结构（regularity structures）以及几何分析，通过求解用于规范变换的奇异椭圆偏微分方程（PDE）来解决该问题。

1. 粗加性函数 (Rough Additive Functions, RAFs)

作者引入了一种新的状态空间——粗加性函数 ($\Omega^1_{\alpha\text{-ax}}$)，它扩展了粗路径理论到分布型 1-形式的线积分。

• 定义： 一个 RAF 是一个对 $(A, \mathbb{A})$，其中 $A$ 是一个加性函数（线积分），$\mathbb{A}$ 是一个迭代线积分，满足 Chen 恒等式和弱几何性。
• 作用： 该空间编码了使奇异 PDE 中的分布乘积有意义所需的“增强项”（迭代积分）。至关重要的是，作者表明求解规范固定方程所需的模型完全由这些 RAF 决定，而 RAF 是从曲率（特别是 Gross 的 lasso field）中导出的几何自然对象。
• 优势： 这种方法用路径化的粗路径论证取代了随机分析论证，提供了解映射的连续性和稳定性。

2. 受控规范变换 (Controlled Gauge Transformations)

为了处理粗糙设置下的非线性规范变换 $A \mapsto A_g = \text{Ad}_g A - dg g^{-1}$，作者定义了受控规范变换 ($G^{\gamma}_A$)。这些是受底层 RAF 控制的李群 $G$ 中的路径 $g$ 与 $g'$ 的对，类似于 Gubinelli 的受控粗路径。这种结构使得通过粗微分方程（RDEs）来严格定义规范变换后的联络 $A_g$ 成为可能。

3. 求解库仑规范方程 (Solving the Coulomb Gauge Equation)

核心分析任务是寻找一个规范变换 $g$，使得变换后的联络 $A_g$ 满足库仑规范条件 $d^* A_g = 0$。

• 方程： 在轴向规范（$A_2=0$）下，该条件变为关于 $g$ 的奇异、取值于李群的椭圆 PDE：
  $$\sum_{i=1}^2 \partial_i ((\partial_i g)g^{-1}) - \partial_1 (g A_1 g^{-1}) = 0$$
• 正则结构： 作者构建了一个专门针对该方程的特定正则结构。与标准的奇异 SPDE 方法不同，他们并不依赖于不动点定理。相反，他们使用了一种受**隐函数定理（IFT）**启发的算法。
• 策略：
  1. 缩放： 他们通过缩放进入小正方形，以确保输入 RAF 的范数较小。
  2. ODE 形式化： 他们将解表述为关于缩放参数 $\sigma$ 的 ODE：$\partial_\sigma g_\sigma = - (D^2 \Phi)^{-1} \partial_\sigma \Phi$。
  3. 可逆性： 他们证明了线性算子（PDE 映射的二阶导数）在模型分布空间上是可逆的。
  4. 重构： 解 $g$ 从模型分布中重构出来，从而得到一个具有改进正则性的联络 $A_g$。

4. 拼接 (Patching)

由于解理论是在小正方形上工作的，作者采用了拼接论证（受 Uhlenbeck 经典紧致性启发）将局部解粘合成单位正方形上的全局规范变换。这涉及在重叠区域构造相容的规范变换，并使用适应粗糙设置的分层函数。

关键结果

1. 粗 Uhlenbeck 紧致性 (定理 1.1)

本文建立了确定性的“粗版本”Uhlenbeck 紧致性定理。

• 陈述： 对于任何粗加性函数 $A \in \Omega^1_{\alpha\text{-ax}}$（其中 $\alpha \in (4/9, 1/2)$），存在一个受控规范变换 $g$，使得变换后的联络 $A_g$ 属于 $\Omega^1_\beta$（其中 $\beta \in (0, 6\alpha-2)$）。
• 界限： $A_g$ 的正则性由输入 RAF 的范数控制：$|A_g|_\beta \lesssim (1 + \|A\|_{\alpha\text{-ax}})^{2+\beta-\alpha} \|A\|_{\alpha\text{-ax}}$。
• 连续性： 映射 $A \mapsto (g, A_g)$ 在有界集上是局部 Lipschitz 连续的。这是对先前工作的显著改进，提供了显式的规范固定映射的连续性陈述。

2. 规范固定的 YM 测度 (定理 1.2)

将确定性结果应用于概率设置：

• 构造： 轴向规范中的 YM 测度通过针对 RAFs 的 Kolmogorov 连续性定理被提升为一个随机粗加性函数 $A$。
• 结果： 存在一个库仑规范下的 YM 测度代表 $B$，使得 $B \in \Omega^1_\beta$ 几乎处处成立。
• 矩界限： 本文推导出了代表范数的精确矩界限：$E[|B|_\beta^p]^{1/p} \lesssim p^{(2+\beta)/2 + \delta}$。这显著优于之前的界限（例如来自 [CS26a]），后者的界限随 $p$ 指数级增长。
• 稳定性 (Wong–Zakai)： 本文证明了轴向规范中 YM 曲率的光滑逼近，可以产生库仑规范下代表 $B$ 的光滑逼近，且在 $\Omega^1_\beta$ 中收敛。

重要性与主张

作者将这项工作定位为 2D YM 测度正则性理论的重要进展：

1. 最优正则性： 所构造的代表实现了本质上最优的正则性（接近 GFF），改进了轴向规范代表的次优正则性。
2. 几何自然性： 使用粗加性函数提供了一个几何上自然的框架。所需的“模型”直接由 RAF（曲率的迭代线/面积积分）导出，而非一种权宜之计的构造。
3. 连续性与稳定性： 与之前的格点法或归纳法（如 [Che19]）不同，该方法直接在连续统中工作，并提供了规范固定映射的 Lipschitz 连续性。这对于研究大 $N$ 极限和主场（master fields）至关重要。
4. 可推广性： 虽然目前的概率构造仅限于单位正方形，但作者认为其核心分析成分（粗 Uhlenbeck 紧致性）是通用的。他们预期，一旦建立了在一般曲面上从 YM 测度构造 RAF 的局部方法，结果可以推广到一般曲面。
5. 方法论创新： 通过在正则结构背景下（受 IFT 启发）利用 ODE 形式化求解几何奇异 PDE 的方法，被呈现为一种新型且可能更透明的替代标准固定点论证的方法。

文章总结道，虽然 2D 情况在正则性方面已得到充分理解，但由于缺乏明确定义的线积分以及需要新的规范协变正则化技术，向 3D 的扩展仍是一个开放性问题。