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

Sintesi Tecnica: Regolarità di Allard per l'Equazione di Yang–Mills–Higgs Abelliana

Enunciato del Problema
Questo articolo indaga la regolarità e la struttura geometrica delle soluzioni alle equazioni di Yang–Mills–Higgs (YMH) abeliane autoduali su varietà riemanniane nel limite singolare $\varepsilon \to 0$. Lo studio si concentra sul funzionale energetico:
$$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$$
dove $u$ è una sezione di un fibrato di linea hermitiano e $A$ è una connessione $U(1)$. In questo limite, ci si aspetta che i punti critici di $E_\varepsilon$ si concentrino lungo insiemi di codimensione due (fogli di vortice). Sebbene lavori precedenti di Pigati–Stern abbiano stabilito la convergenza di questi punti critici verso varifoli stazionari e la $\Gamma$-convergenza dell'energia verso il funzionale area di codimensione due, una teoria di regolarità raffinata per gli insiemi nodali (gli insiemi di zero del campo di Higgs $u$) analoga alla teoria di regolarità di Allard per le superfici minime non era stata pienamente sviluppata per questo contesto di teoria di gauge. La sfida principale risiede nell'invarianza di gauge infinita-dimensionale del sistema, che complica l'ellitticità dell'operatore linearizzato.

Metodologia
Gli autori adattano la teoria di regolarità di Allard al contesto YMH abeliano attraverso un quadro analitico multistep:

1. Soluzioni Approssimate e Coordinate di Fermi: Gli autori costruiscono soluzioni approssimate scalando vortici classici di grado uno in $\mathbb{R}^2$ e localizzandoli attorno a una sottovarietà minima prescritta $M$ utilizzando coordinate di Fermi. L'errore di questo ansatz è controllato tramite un'analisi linearizzata.
2. Fissaggio di Gauge e Ortogonalità: Per gestire la non-ellitticità causata dall'invarianza di gauge, gli autori impongono la condizione di gauge di Coulomb ($d^*A = 0$) e proiettano le perturbazioni ortogonalmente sia ai modi nulli di gauge che a quelli traslazionali. Ciò permette la decomposizione dell'operatore linearizzato in una componente ellittica e una componente di gauge.
3. Analisi Linearizzata: Viene analizzata la perturbazione $\Phi = \hat{U} - \tilde{U}_0$ (dove $\hat{U}$ è la soluzione riscalata e $\tilde{U}_0$ è la soluzione approssimata). Gli autori derivano equazioni per la differenza e utilizzano stime di Schauder sulla parte ellittica dell'operatore linearizzato.
4. Rigidità e Decadimento dell'Eccesso: La prova si basa pesantemente su risultati di rigidità per soluzioni con densità unitaria. Nello specifico, gli autori utilizzano un teorema di rigidità (Teorema 2.5, basato su Badran–del Pino e De Philippis–Halavati–Pigati) che afferma che i punti critici globali con energia vicina a $2\pi$ in dimensioni $n+2 \leq 4$ (o per minimizzatori) devono essere bidimensionali, essenzialmente pullback del vortice planare standard.
5. Miglioramento Iterativo della Regolarità: Combinando i limiti di Lipschitz (derivati da argomenti di decadimento dell'eccesso) con le stime linearizzate, gli autori stabiliscono un meccanismo di bootstrapping per migliorare la regolarità da Lipschitz a $C^{2,\alpha}$.

Contributi e Risultati Chiave

• Teorema 1.1 (Miglioramento della Regolarità per gli Insiemi Nodali): Assumendo che gli insiemi nodali $M_\varepsilon = \{u_\varepsilon = 0\}$ convergano graficamente a una sottovarietà minima $M$ con un limite uniforme di Lipschitz, gli autori dimostrano che $M_\varepsilon$ sono grafici con norme $C^{2,\alpha}$ uniformemente limitate. Ciò stabilisce che la convergenza non è meramente debole ma avviene in una forte topologia $C^{2,\alpha}$, purché valga la regolarità iniziale di Lipschitz.
• Teorema 1.2 (Regolarità di Tipo Allard): Sotto la condizione che la dimensione ambientale sia $n+2 \leq 4$ o che la soluzione sia minimizzante, e assumendo che la densità energetica sia vicina al valore minimo ($2\pi$) e che la soluzione soddisfi il gauge di Coulomb, si dimostra che gli insiemi nodali sono grafici $C^{2,\alpha}$. Questo risultato estende la teoria di regolarità di Allard al modello YMH abeliano in basse dimensioni.
• Stime di Curvatura: L'articolo deriva limiti uniformi di curvatura per gli insiemi nodali, mostrando che la curvatura media dell'insieme di difetto limite è ben controllata.
• Quadro Tecnico: Gli autori forniscono un quadro analitico robusto per gestire l'operatore YMH linearizzato isolando il contenuto geometrico dai gradi di libertà di gauge, specificamente attraverso la decomposizione $S'_\varepsilon = L_\varepsilon - \Theta_W \Theta^*_{\varepsilon, W}$.

Significato e Affermazioni
L'articolo afferma di stabilire un quadro geometrico per comprendere la formazione di fogli di vortice nelle teorie di gauge abeliane. Dimostrando che gli insiemi nodali del campo di Higgs convergono a sottovarietà minime con regolarità $C^{2,\alpha}$ (sotto vincoli specifici di dimensionalità o minimalità), il lavoro colma il divario tra i risultati di convergenza debole della teoria geometrica della misura e la forte regolarità nota per l'equazione di Allen–Cahn.

Gli autori notano che l'estensione di questa regolarità di tipo Allard a dimensioni ambientali generali è condizionata da un'affermazione di rigidità per soluzioni con densità unitaria all'infinito (la "Congettura di Gibbon"). Una volta risolta questa congettura, la procedura utilizzata nell'articolo suggerisce che la regolarità locale di Lipschitz può essere migliorata a $C^{2,\alpha}$ anche in dimensioni superiori. I risultati affinano lavori precedenti sui modelli di Ginzburg–Landau e YMH abeliani, offrendo stime precise per la discrepanza rispetto alle soluzioni esatte e fornendo una base per analizzare la concentrazione dei vortici in codimensioni superiori.