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

Résumé technique : Régularité d'Allard pour l'équation de Yang–Mills–Higgs abélienne

Énoncé du problème
Ce papier examine la régularité et la structure géométrique des solutions des équations auto-duales de Yang–Mills–Higgs (YMH) abéliennes sur des variétés riemanniennes dans la limite singulière $\varepsilon \to 0$. L'étude se concentre sur le fonctionnel d'énergie :
$$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$$
où $u$ est une section d'un fibré en droites hermitien et $A$ est une connexion $U(1)$. Dans cette limite, les points critiques de $E_\varepsilon$ sont attendus pour se concentrer le long d'ensembles de codimension deux (feuillets de vortex). Bien que des travaux antérieurs de Pigati–Stern aient établi la convergence de ces points critiques vers des varifolds stationnaires et la $\Gamma$-convergence de l'énergie vers le fonctionnel d'aire de codimension deux, une théorie de régularité affinée pour les ensembles nodaux (les ensembles nuls du champ de Higgs $u$), analogue à la théorie de régularité d'Allard pour les surfaces minimales, n'avait pas été pleinement développée pour ce cadre de théorie de jauge. Le défi principal réside dans l'invariance de jauge de dimension infinie du système, qui complique l'ellipticité de l'opérateur linéarisé.

Méthodologie
Les auteurs adaptent la théorie de régularité d'Allard au contexte YMH abélien à travers un cadre analytique en plusieurs étapes :

1. Solutions approchées et coordonnées de Fermi : Les auteurs construisent des solutions approchées en mettant à l'échelle des vortex classiques de degré un dans $\mathbb{R}^2$ et en les localisant autour d'une sous-variété minimale prescrite $M$ en utilisant des coordonnées de Fermi. L'erreur de cet ansatz est contrôlée via une analyse linéarisée.
2. Fixation de jauge et orthogonalité : Pour traiter la non-ellipticité causée par l'invariance de jauge, les auteurs imposent la condition de jauge de Coulomb ($d^*A = 0$) et projettent les perturbations orthogonalement aux modes nuls de jauge et de translation. Cela permet la décomposition de l'opérateur linéarisé en une composante elliptique et une composante de jauge.
3. Analyse linéarisée : La perturbation $\Phi = \hat{U} - \tilde{U}_0$ (où $\hat{U}$ est la solution mise à l'échelle et $\tilde{U}_0$ la solution approchée) est analysée. Les auteurs dérivent des équations pour la différence et utilisent des estimées de Schauder sur la partie elliptique de l'opérateur linéarisé.
4. Rigidité et décroissance de l'excès : La preuve repose fortement sur des résultats de rigidité pour les solutions de densité unitaire. Plus précisément, les auteurs utilisent un théorème de rigidité (Théorème 2.5, basé sur Badran–del Pino et De Philippis–Halavati–Pigati) qui stipule que les points critiques entiers avec une énergie proche de $2\pi$ en dimensions $n+2 \leq 4$ (ou pour les minimiseurs) doivent être bidimensionnels, essentiellement des pullbacks du vortex planaire standard.
5. Amélioration itérative de la régularité : En combinant des bornes de Lipschitz (dérivées d'arguments de décroissance de l'excès) avec les estimées linéarisées, les auteurs établissent un mécanisme de bootstrap pour améliorer la régularité de Lipschitz à $C^{2,\alpha}$.

Contributions et résultats clés

• Théorème 1.1 (Régularité améliorée pour les ensembles nodaux) : En supposant que les ensembles nodaux $M_\varepsilon = \{u_\varepsilon = 0\}$ convergent graphiquement vers une sous-variété minimale $M$ avec une borne uniforme de Lipschitz, les auteurs prouvent que $M_\varepsilon$ sont des graphes avec des normes $C^{2,\alpha}$ uniformément bornées. Cela établit que la convergence n'est pas seulement faible mais se produit dans une topologie forte $C^{2,\alpha}$, à condition que la régularité initiale de Lipschitz soit vérifiée.
• Théorème 1.2 (Régularité de type Allard) : Sous la condition que la dimension ambiante soit $n+2 \leq 4$ ou que la solution soit minimisante, et en supposant que la densité d'énergie est proche de la valeur minimale ($2\pi$) et que la solution satisfait la jauge de Coulomb, les ensembles nodaux sont montrés comme étant des graphes $C^{2,\alpha}$. Ce résultat étend la théorie de régularité d'Allard au modèle YMH abélien en basses dimensions.
• Estimées de courbure : Le papier dérive des bornes de courbure uniformes pour les ensembles nodaux, montrant que la courbure moyenne de l'ensemble de défaut limite est bien contrôlée.
• Cadre technique : Les auteurs fournissent un cadre analytique robuste pour traiter l'opérateur YMH linéarisé en isolant le contenu géométrique des degrés de liberté de jauge, spécifiquement à travers la décomposition $S'_\varepsilon = L_\varepsilon - \Theta_W \Theta^*_{\varepsilon, W}$.

Signification et affirmations
Le papier affirme établir un cadre géométrique pour comprendre la formation de feuillets de vortex dans les théories de jauge abéliennes. En prouvant que les ensembles nodaux du champ de Higgs convergent vers des sous-variétés minimales avec une régularité $C^{2,\alpha}$ (sous des contraintes dimensionnelles ou de minimalité spécifiques), ce travail comble le fossé entre les résultats de convergence faible de la théorie géométrique de la mesure et la forte régularité connue pour l'équation d'Allen–Cahn.

Les auteurs notent que l'extension de cette régularité de type Allard aux dimensions ambiantes générales est conditionnée par une affirmation de rigidité pour les solutions de densité unitaire à l'infini (la « conjecture de Gibbon »). Une fois cette conjecture résolue, la procédure utilisée dans le papier suggère que la régularité locale de Lipschitz peut être améliorée en $C^{2,\alpha}$ également en dimensions supérieures. Les résultats affinent les travaux antérieurs sur les modèles de Ginzburg–Landau et YMH abéliens, offrant des estimées précises pour l'écart par rapport aux solutions exactes et fournissant une fondation pour analyser la concentration de vortex en codimensions supérieures.