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

Technische Samenvatting: Allard-regulariteit voor de Abelse Yang–Mills–Higgs-vergelijking

Probleemstelling
Dit artikel onderzoekt de regulariteit en de geometrische structuur van oplossingen van de zelfdualistische Abelse Yang–Mills–Higgs (YMH)-vergelijkingen op Riemannse variëteiten in de singuliere limiet $\varepsilon \to 0$. De studie richt zich op het energiefunctionaal:
$$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$$
waarbij $u$ een sectie is van een Hermitische lijnbundel en $A$ een $U(1)$-connectie. In deze limiet wordt verwacht dat kritieke punten van $E_\varepsilon$ zich concentreren langs verzamelingen van codimensie twee (wervelbladen). Hoewel eerdere werken van Pigati–Stern de convergentie van deze kritieke punten naar stationaire varifolten en de $\Gamma$-convergentie van de energie naar het areaalfunctionaal van codimensie twee hebben vastgesteld, was een verfijnde regulariteitstheorie voor de nodale verzamelingen (de nulpuntenverzamelingen van het Higgs-veld $u$), analoog aan Allards regulariteitstheorie voor minimale oppervlakken, voor deze gauge-theoretische setting nog niet volledig ontwikkeld. De primaire uitdaging ligt in de oneindig-dimensionale gauge-invariantie van het systeem, wat de ellipticiteit van de lineariseerde operator bemoeilijkt.

Methodologie
De auteurs passen Allards regulariteitstheorie toe op de Abelse YMH-context via een meervoudig analytisch raamwerk:

1. Benaderende Oplossingen en Fermi-coördinaten: De auteurs construeren benaderende oplossingen door klassieke wervels met graad één in $\mathbb{R}^2$ te schalen en te lokaliseren rond een voorgeschreven minimale deelvariëteit $M$ met behulp van Fermi-coördinaten. De fout van dit ansatz wordt gecontroleerd via een lineariseerde analyse.
2. Gauge-fixing en Orthogonaliteit: Om de niet-ellipticiteit veroorzaakt door gauge-invariantie te hanteren, dwingen de auteurs de Coulomb-gauge-voorwaarde af ($d^*A = 0$) en projecteren ze verstoringen orthogonaal op zowel gauge- als translatie-nulmodi. Dit maakt de decompositie van de lineariseerde operator mogelijk in een elliptisch component en een gauge-component.
3. Lineariseerde Analyse: De verstoring $\Phi = \hat{U} - \tilde{U}_0$ (waarbij $\hat{U}$ de geschaalde oplossing is en $\tilde{U}_0$ de benaderende oplossing) wordt geanalyseerd. De auteurs leiden vergelijkingen af voor het verschil en maken gebruik van Schauder-schattingen op het elliptische deel van de lineariseerde operator.
4. Rigiditeit en Verval van Excess: Het bewijs steunt zwaar op rigiditeitsresultaten voor oplossingen met eenheiddichtheid. Specifiek maken de auteurs gebruik van een rigiditeitsstelling (Stelling 2.5, gebaseerd op Badran–del Pino en De Philippis–Halavati–Pigati) die stelt dat gehele kritieke punten met energie dicht bij $2\pi$ in dimensies $n+2 \leq 4$ (of voor minimaliserende oplossingen) tweedimensionaal moeten zijn, in wezen pullbacks van de standaard planaire wervel.
5. Iteratieve Regulariteitsverbetering: Door Lipschitz-grenzen (afgeleid uit argumenten voor verval van excess) te combineren met de lineariseerde schattingen, stellen de auteurs een bootstrapping-mechanisme vast om de regulariteit te verbeteren van Lipschitz naar $C^{2,\alpha}$.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 (Verbeterde Regulariteit voor Nodale Verzamelingen): Aannemende dat de nodale verzamelingen $M_\varepsilon = \{u_\varepsilon = 0\}$ grafisch convergeren naar een minimale deelvariëteit $M$ met een uniforme Lipschitz-grens, bewijzen de auteurs dat $M_\varepsilon$ grafen zijn met uniform begrensde $C^{2,\alpha}$-normen. Dit vestigt dat de convergentie niet slechts zwak is, maar plaatsvindt in een sterke $C^{2,\alpha}$-topologie, op voorwaarde dat de initiële Lipschitz-regulariteit geldt.
• Stelling 1.2 (Allard-type Regulariteit): Onder de voorwaarde dat de omgevingsdimensie $n+2 \leq 4$ is of de oplossing minimaliserend is, en aannemende dat de energiedichtheid dicht bij de minimale waarde ($2\pi$) ligt en de oplossing voldoet aan de Coulomb-gauge, wordt aangetoond dat de nodale verzamelingen $C^{2,\alpha}$-grafische zijn. Dit resultaat breidt Allards regulariteitstheorie uit naar het Abelse YMH-model in lage dimensies.
• Krommingsschattingen: Het artikel leidt uniforme krommingsgrenzen af voor de nodale verzamelingen, waaruit blijkt dat de gemiddelde kromming van de limietdefectverzameling goed gecontroleerd is.
• Technisch Raamwerk: De auteurs bieden een robuust analytisch raamwerk voor het hanteren van de lineariseerde YMH-operator door geometrische inhoud te isoleren van gauge-vrijheidsgraden, specifiek via de decompositie $S'_\varepsilon = L_\varepsilon - \Theta_W \Theta^*_{\varepsilon, W}$.

Betekenis en Aanspraken
Het artikel claimt een geometrisch raamwerk te vestigen voor het begrijpen van de vorming van wervelbladen in Abelse gauge-theorieën. Door te bewijzen dat de nodale verzamelingen van het Higgs-veld convergeren naar minimale deelvariëteiten met $C^{2,\alpha}$-regulariteit (onder specifieke dimensionale of minimaliserende beperkingen), overbrugt het werk de kloof tussen de zwakke convergentieresultaten van de meetkundige maattheorie en de sterke regulariteit die bekend is voor de Allen–Cahn-vergelijking.

De auteurs merken op dat de uitbreiding van deze Allard-type regulariteit naar algemene omgevingsdimensies afhankelijk is van een rigiditeitsuitspraak voor oplossingen met eenheiddichtheid in het oneindige (de "Gibbon's Conjecture"). Zodra deze conjectuur is opgelost, suggereert de in het artikel gebruikte procedure dat lokale Lipschitz-regulariteit ook in hogere dimensies kan worden verbeterd naar $C^{2,\alpha}$. De resultaten verfijnen eerdere werken over Ginzburg–Landau en Abelse YMH-modellen, bieden nauwkeurige schattingen voor de afwijking van exacte oplossingen en vormen een fundament voor het analyseren van wervelconcentratie in hogere codimensies.