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

Resumen Técnico: Regularidad de Allard para la Ecuación de Yang–Mills–Higgs Abeliana

Planteamiento del Problema
Este artículo investiga la regularidad y la estructura geométrica de las soluciones a las ecuaciones de Yang–Mills–Higgs (YMH) abelianas auto-duales en variedades riemannianas en el límite singular $\varepsilon \to 0$. El estudio se centra en el funcional de energía:
$$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$$
donde $u$ es una sección de un fibrado de línea hermítico y $A$ es una conexión $U(1)$. En este límite, se espera que los puntos críticos de $E_\varepsilon$ se concentren a lo largo de conjuntos de codimensión dos (láminas de vórtice). Si bien trabajos anteriores de Pigati–Stern establecieron la convergencia de estos puntos críticos a varifolios estacionarios y la $\Gamma$-convergencia de la energía hacia el funcional de área de codimensión dos, una teoría de regularidad refinada para los conjuntos nodales (los conjuntos nulos del campo de Higgs $u$) análoga a la teoría de regularidad de Allard para superficies mínimas no había sido desarrollada completamente para este contexto de teoría de gauge. El desafío principal radica en la invariancia de gauge de dimensión infinita del sistema, lo cual complica la elipticidad del operador linealizado.

Metodología
Los autores adaptan la teoría de regularidad de Allard al contexto de YMH abeliana mediante un marco analítico de múltiples pasos:

1. Soluciones Aproximadas y Coordenadas de Fermi: Los autores construyen soluciones aproximadas escalando vórtices clásicos de grado uno en $\mathbb{R}^2$ y localizándolos alrededor de una subvariedad mínima prescrita $M$ utilizando coordenadas de Fermi. El error de este ansatz se controla mediante un análisis linealizado.
2. Fijación de Gauge y Ortogonalidad: Para manejar la no elipticidad causada por la invariancia de gauge, los autores imponen la condición de gauge de Coulomb ($d^*A = 0$) y proyectan las perturbaciones ortogonalmente tanto a los modos nulos de gauge como a los de traslación. Esto permite la descomposición del operador linealizado en un componente elíptico y un componente de gauge.
3. Análisis Linealizado: Se analiza la perturbación $\Phi = \hat{U} - \tilde{U}_0$ (donde $\hat{U}$ es la solución escalada y $\tilde{U}_0$ es la solución aproximada). Los autores derivan ecuaciones para la diferencia y utilizan estimaciones de Schauder en la parte elíptica del operador linealizado.
4. Rigidez y Decaimiento del Exceso: La prueba depende en gran medida de resultados de rigidez para soluciones con densidad unitaria. Específicamente, los autores utilizan un teorema de rigidez (Teorema 2.5, basado en Badran–del Pino y De Philippis–Halavati–Pigati) que establece que los puntos críticos enteros con energía cercana a $2\pi$ en dimensiones $n+2 \leq 4$ (o para minimizadores) deben ser bidimensionales, esencialmente pullbacks del vórtice plano estándar.
5. Mejora Iterativa de la Regularidad: Al combinar cotas de Lipschitz (derivadas de argumentos de decaimiento del exceso) con las estimaciones linealizadas, los autores establecen un mecanismo de retroalimentación (bootstrapping) para mejorar la regularidad de Lipschitz a $C^{2,\alpha}$.

Contribuciones y Resultados Clave

• Teorema 1.1 (Mejora de la Regularidad para Conjuntos Nodales): Asumiendo que los conjuntos nodales $M_\varepsilon = \{u_\varepsilon = 0\}$ convergen gráficamente a una subvariedad mínima $M$ con una cota uniforme de Lipschitz, los autores demuestran que $M_\varepsilon$ son gráficos con normas $C^{2,\alpha}$ uniformemente acotadas. Esto establece que la convergencia no es meramente débil, sino que ocurre en una topología fuerte $C^{2,\alpha}$, siempre que se cumpla la regularidad inicial de Lipschitz.
• Teorema 1.2 (Regularidad Tipo Allard): Bajo la condición de que la dimensión ambiente sea $n+2 \leq 4$ o que la solución sea minimizante, y asumiendo que la densidad de energía está cerca del valor mínimo ($2\pi$) y que la solución satisface el gauge de Coulomb, se demuestra que los conjuntos nodales son gráficos $C^{2,\alpha}$. Este resultado extiende la teoría de regularidad de Allard al modelo YMH abeliano en dimensiones bajas.
• Estimaciones de Curvatura: El artículo deriva cotas uniformes de curvatura para los conjuntos nodales, mostrando que la curvatura media del conjunto de defecto límite está bien controlada.
• Marco Técnico: Los autores proporcionan un marco analítico robusto para manejar el operador YMH linealizado aislando el contenido geométrico de los grados de libertad de gauge, específicamente a través de la descomposición $S'_\varepsilon = L_\varepsilon - \Theta_W \Theta^*_{\varepsilon, W}$.

Significado y Afirmaciones
El artículo afirma establecer un marco geométrico para comprender la formación de láminas de vórtice en teorías de gauge abelianas. Al demostrar que los conjuntos nodales del campo de Higgs convergen a subvariedades mínimas con regularidad $C^{2,\alpha}$ (bajo restricciones dimensionales o de minimalidad específicas), el trabajo cierra la brecha entre los resultados de convergencia débil de la teoría geométrica de la medida y la fuerte regularidad conocida para la ecuación de Allen–Cahn.

Los autores señalan que la extensión de esta regularidad tipo Allard a dimensiones ambientales generales depende de una afirmación de rigidez para soluciones con densidad unitaria en el infinito (la "Conjetura de Gibbon"). Una vez que esta conjetura sea resuelta, el procedimiento utilizado en el artículo sugiere que la regularidad local de Lipschitz puede mejorarse a $C^{2,\alpha}$ también en dimensiones superiores. Los resultados refinan trabajos anteriores sobre modelos de Ginzburg–Landau y YMH abeliano, ofreciendo estimaciones precisas para la discrepancia respecto a soluciones exactas y proporcionando una base para analizar la concentración de vórtices en codimensiones superiores.