Allard Regularity for Abelian Yang--Mills--Higgs Equation

技术摘要：阿贝尔杨 - 米尔斯 - 希格斯方程的 Allard 正则性

问题陈述
本文研究了黎曼流形上自对偶阿贝尔杨 - 米尔斯 - 希格斯（YMH）方程解在奇异极限 $\varepsilon \to 0$ 下的正则性与几何结构。研究聚焦于能量泛函：
$$E_\varepsilon(u, A) = \int_M \left( |\nabla_A u|^2 + \varepsilon^2 |F_A|^2 + \frac{(1-|u|^2)^2}{4\varepsilon^2} \right) d\text{vol}_g$$
其中 $u$ 是厄米特线丛的截面，$A$ 是 $U(1)$ 联络。在此极限下，$E_\varepsilon$ 的临界点预计会集中在余维数为二的集合（涡旋片）上。尽管 Pigati–Stern 先前的工作确立了这些临界点向静止 varifold 的收敛性以及能量向余维数二面积泛函的 $\Gamma$-收敛性，但针对该规范场论背景下节点集（即希格斯场 $u$ 的零集）的精细正则性理论，尚未像极小曲面的 Allard 正则性理论那样得到充分发展。主要挑战在于系统的无限维规范不变性，这使得线性化算子的椭圆性变得复杂。

方法论
作者通过多步分析框架将 Allard 正则性理论适配到阿贝尔 YMH 语境中：

1. 近似解与费米坐标：作者通过缩放 $\mathbb{R}^2$ 中的经典度数为 1 的涡旋，并利用费米坐标将其局域化在预设的极小子流形 $M$ 周围，从而构造近似解。该拟设的误差通过线性化分析加以控制。
2. 规范固定与正交性：为处理由规范不变性引起的非椭圆性，作者强制实施库仑规范条件（$d^*A = 0$），并将扰动正交投影到规范零模和平移零模之外。这使得线性化算子能够分解为椭圆分量和规范分量。
3. 线性化分析：对扰动 $\Phi = \hat{U} - \tilde{U}_0$（其中 $\hat{U}$ 为缩放后的解，$\tilde{U}_0$ 为近似解）进行分析。作者推导了差分的方程，并利用线性化算子椭圆部分的 Schauder 估计。
4. 刚性及过剩衰减：证明高度依赖于具有单位密度的解的刚性结果。具体而言，作者利用了一个刚性定理（定理 2.5，基于 Badran–del Pino 以及 De Philippis–Halavati–Pigati 的工作），该定理指出：在维度 $n+2 \leq 4$ 中（或对于极小化子），能量接近 $2\pi$ 的整体临界点必须是二维的，本质上为标准平面涡旋的拉回。
5. 迭代正则性提升：通过结合由过剩衰减论证导出的 Lipschitz 界与线性化估计，作者建立了一个自举机制，将正则性从 Lipschitz 提升至 $C^{2,\alpha}$。

主要贡献与结果

• 定理 1.1（节点集的正则性提升）：假设节点集 $M_\varepsilon = \{u_\varepsilon = 0\}$ 在一致 Lipschitz 界的条件下图形收敛于一个极小子流形 $M$，作者证明了 $M_\varepsilon$ 是具有一致有界 $C^{2,\alpha}$ 范数的图形。这表明，只要初始 Lipschitz 正则性成立，收敛不仅是弱收敛，而且是在强 $C^{2,\alpha}$ 拓扑下的收敛。
• 定理 1.2（Allard 型正则性）：在环境维度 $n+2 \leq 4$ 或解为极小化子的条件下，并假设能量密度接近最小值（$2\pi$）且解满足库仑规范，节点集被证明是 $C^{2,\alpha}$ 图形。该结果将 Allard 正则性理论扩展到了低维阿贝尔 YMH 模型。
• 曲率估计：本文推导了节点集的一致曲率界，表明极限缺陷集的平均曲率得到了良好控制。
• 技术框架：作者通过分解 $S'_\varepsilon = L_\varepsilon - \Theta_W \Theta^*_{\varepsilon, W}$，特别是通过将几何内容与规范自由度分离，提供了一个处理线性化 YMH 算子的稳健分析框架。

意义与主张
本文主张建立一个几何框架，以理解阿贝尔规范理论中的涡旋片形成。通过证明希格斯场的节点集在特定维度或极小性约束下以 $C^{2,\alpha}$ 正则性收敛于极小子流形，该工作弥合了几何测度论的弱收敛结果与 Allen–Cahn 方程已知的强正则性之间的鸿沟。

作者指出，将此类 Allard 型正则性推广到一般环境维度，取决于关于无穷远处单位密度解的刚性陈述（即"Gibbon 猜想”）。一旦该猜想得到解决，本文所用的方法表明，局部 Lipschitz 正则性在更高维度中同样可以提升至 $C^{2,\alpha}$。这些结果完善了关于 Ginzburg–Landau 和阿贝尔 YMH 模型的早期工作，提供了与精确解偏差的精确估计，并为分析高余维数下的涡旋集中奠定了基础。