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

Technische Zusammenfassung: Allard-Regularität für die abelsche Yang–Mills–Higgs-Gleichung

Problemstellung
Dieser Artikel untersucht die Regularität und die geometrische Struktur von Lösungen der selbstduellen abelschen Yang–Mills–Higgs (YMH)-Gleichungen auf Riemannschen Mannigfaltigkeiten im singulären Grenzwert $\varepsilon \to 0$. Die Studie konzentriert sich auf das Energiefunktional:
$$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$$
wobei $u$ ein Schnitt in einem hermiteschen Linienbündel und $A$ eine $U(1)$-Verbindung ist. In diesem Grenzwert wird erwartet, dass kritische Punkte von $E_\varepsilon$ sich entlang Mengen der Kodimension zwei (Vortex-Schichten) konzentrieren. Während frühere Arbeiten von Pigati–Stern die Konvergenz dieser kritischen Punkte zu stationären Varifolden und die $\Gamma$-Konvergenz der Energie zum Flächenfunktional der Kodimension zwei etablierten, war eine verfeinerte Regularitätstheorie für die Knotenmengen (die Nullstellen des Higgs-Feldes $u$), die der Allard-Regularitätstheorie für Minimalflächen analog ist, für diesen eichtheoretischen Rahmen noch nicht vollständig entwickelt worden. Die primäre Herausforderung liegt in der unendlichdimensionalen Eichinvarianz des Systems, welche die Elliptizität des linearisierten Operators erschwert.

Methodik
Die Autoren passen die Allard-Regularitätstheorie an den Kontext der abelschen YMH-Gleichung durch einen mehrstufigen analytischen Rahmen an:

1. Approximative Lösungen und Fermi-Koordinaten: Die Autoren konstruieren approximative Lösungen durch Skalierung klassischer Vortices vom Grad eins in $\mathbb{R}^2$ und Lokalisierung dieser um eine vorgegebene Minimaluntermannigfaltigkeit $M$ mittels Fermi-Koordinaten. Der Fehler dieses Ansatzes wird durch eine linearisierte Analyse kontrolliert.
2. Eichfixierung und Orthogonalität: Um die durch die Eichinvarianz verursachte Nicht-Elliptizität zu behandeln, erzwingen die Autoren die Coulomb-Eichbedingung ($d^*A = 0$) und projizieren Störungen orthogonal sowohl zu eich- als auch zu translationsbedingten Nullmoden. Dies ermöglicht die Zerlegung des linearisierten Operators in einen elliptischen Anteil und einen eichtheoretischen Anteil.
3. Linearisierte Analyse: Die Störung $\Phi = \hat{U} - \tilde{U}_0$ (wobei $\hat{U}$ die skalierte Lösung und $\tilde{U}_0$ die approximative Lösung ist) wird analysiert. Die Autoren leiten Gleichungen für die Differenz ab und nutzen Schauder-Abschätzungen auf dem elliptischen Teil des linearisierten Operators.
4. Rigidität und Exzess-Abnahme: Der Beweis stützt sich stark auf Rigiditätsergebnisse für Lösungen mit Einheitsdichte. Insbesondere nutzen die Autoren einen Rigiditätssatz (Satz 2.5, basierend auf Badran–del Pino und De Philippis–Halavati–Pigati), der besagt, dass gesamte kritische Punkte mit einer Energie nahe $2\pi$ in Dimensionen $n+2 \leq 4$ (oder für Minimierer) zweidimensional sein müssen, im Wesentlichen Pullbacks des Standard-Planar-Vortex.
5. Iterative Regularitätsverbesserung: Durch die Kombination von Lipschitz-Schranken (abgeleitet aus Exzess-Abnahme-Argumenten) mit den linearisierten Abschätzungen etablieren die Autoren einen Bootstrapping-Mechanismus, um die Regularität von Lipschitz auf $C^{2,\alpha}$ zu verbessern.

Hauptbeiträge und Ergebnisse

• Satz 1.1 (Verbesserte Regularität für Knotenmengen): Unter der Annahme, dass die Knotenmengen $M_\varepsilon = \{u_\varepsilon = 0\}$ graphisch gegen eine Minimaluntermannigfaltigkeit $M$ mit einer uniformen Lipschitz-Schranke konvergieren, beweisen die Autoren, dass $M_\varepsilon$ Graphen mit uniform beschränkten $C^{2,\alpha}$-Normen sind. Dies etabliert, dass die Konvergenz nicht nur schwach ist, sondern in einer starken $C^{2,\alpha}$-Topologie erfolgt, sofern die anfängliche Lipschitz-Regularität gilt.
• Satz 1.2 (Allard-artige Regularität): Unter der Bedingung, dass die Umgebungsdimension $n+2 \leq 4$ ist oder die Lösung minimierend ist, und unter der Annahme, dass die Energiedichte nahe am Minimalwert ($2\pi$) liegt und die Lösung die Coulomb-Eichung erfüllt, wird gezeigt, dass die Knotenmengen $C^{2,\alpha}$-Graphen sind. Dieses Ergebnis erweitert die Allard-Regularitätstheorie auf das abelsche YMH-Modell in niedrigen Dimensionen.
• Krümmungsabschätzungen: Der Artikel leitet uniformen Krümmungsschranken für die Knotenmengen her und zeigt, dass die mittlere Krümmung der limitierenden Defektmenge gut kontrolliert ist.
• Technischer Rahmen: Die Autoren bieten einen robusten analytischen Rahmen zur Behandlung des linearisierten YMH-Operators, indem sie den geometrischen Inhalt von eichtheoretischen Freiheitsgraden isolieren, speziell durch die Zerlegung $S'_\varepsilon = L_\varepsilon - \Theta_W \Theta^*_{\varepsilon, W}$.

Bedeutung und Behauptungen
Der Artikel behauptet, einen geometrischen Rahmen für das Verständnis der Bildung von Vortex-Schichten in abelschen Eichtheorien zu etablieren. Indem bewiesen wird, dass die Knotenmengen des Higgs-Feldes unter spezifischen dimensions- oder Minimalitätsbedingungen mit $C^{2,\alpha}$-Regularität gegen Minimaluntermannigfaltigkeiten konvergieren, schließt die Arbeit die Lücke zwischen den schwachen Konvergenzergebnissen der geometrischen Maßtheorie und der starken Regularität, die für die Allen–Cahn-Gleichung bekannt ist.

Die Autoren weisen darauf hin, dass die Erweiterung dieser Allard-artigen Regularität auf allgemeine Umgebungsdimensionen von einer Rigiditätsaussage für Lösungen mit Einheitsdichte im Unendlichen abhängt (die „Gibbons-Vermutung"). Sobald diese Vermutung gelöst ist, legt das in diesem Artikel verwendete Verfahren nahe, dass lokale Lipschitz-Regularität auch in höheren Dimensionen auf $C^{2,\alpha}$ verbessert werden kann. Die Ergebnisse verfeinern frühere Arbeiten zu Ginzburg–Landau- und abelschen YMH-Modellen, bieten präzise Abschätzungen für die Abweichung von exakten Lösungen und bilden eine Grundlage für die Analyse von Vortex-Konzentration in höheren Kodimensionen.