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

Resumo Técnico: Regularidade de Allard para a Equação Abeliana de Yang–Mills–Higgs

Enunciado do Problema
Este artigo investiga a regularidade e a estrutura geométrica das soluções das equações de Yang–Mills–Higgs (YMH) abelianas autoduais em variedades riemannianas no limite singular $\varepsilon \to 0$. O estudo foca no funcional de energia:
$$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$$
onde $u$ é uma seção de um fibrado de linha hermitiano e $A$ é uma conexão $U(1)$. Neste limite, espera-se que os pontos críticos de $E_\varepsilon$ se concentrem ao longo de conjuntos de codimensão dois (folhas de vórtice). Embora trabalhos anteriores de Pigati–Stern tenham estabelecido a convergência desses pontos críticos para varifólios estacionários e a $\Gamma$-convergência da energia para o funcional de área de codimensão dois, uma teoria de regularidade refinada para os conjuntos nodais (os conjuntos nulos do campo de Higgs $u$), análoga à teoria de regularidade de Allard para superfícies mínimas, não havia sido plenamente desenvolvida para este contexto de teoria de gauge. O principal desafio reside na invariância de gauge de dimensão infinita do sistema, o que complica a elipticidade do operador linearizado.

Metodologia
Os autores adaptam a teoria de regularidade de Allard ao contexto YMH abeliano através de um quadro analítico de múltiplos passos:

1. Soluções Aproximadas e Coordenadas de Fermi: Os autores constroem soluções aproximadas escalando vórtices clássicos de grau um em $\mathbb{R}^2$ e localizando-os ao redor de uma subvariedade mínima prescrita $M$ usando coordenadas de Fermi. O erro deste ansatz é controlado via uma análise linearizada.
2. Fixação de Gauge e Ortogonalidade: Para lidar com a não elipticidade causada pela invariância de gauge, os autores impõem a condição de gauge de Coulomb ($d^*A = 0$) e projetam perturbações ortogonalmente tanto aos modos nulos de gauge quanto aos modos nulos de translação. Isso permite a decomposição do operador linearizado em um componente elíptico e um componente de gauge.
3. Análise Linearizada: A perturbação $\Phi = \hat{U} - \tilde{U}_0$ (onde $\hat{U}$ é a solução reescalada e $\tilde{U}_0$ é a solução aproximada) é analisada. Os autores derivam equações para a diferença e utilizam estimativas de Schauder na parte elíptica do operador linearizado.
4. Rigidez e Decaimento do Excesso: A prova depende fortemente de resultados de rigidez para soluções com densidade unitária. Especificamente, os autores utilizam um teorema de rigidez (Teorema 2.5, baseado em Badran–del Pino e De Philippis–Halavati–Pigati) que afirma que pontos críticos globais com energia próxima de $2\pi$ em dimensões $n+2 \leq 4$ (ou para minimizadores) devem ser bidimensionais, essencialmente pullbacks do vórtice plano padrão.
5. Melhoria Iterativa de Regularidade: Combinando limites de Lipschitz (derivados de argumentos de decaimento do excesso) com as estimativas linearizadas, os autores estabelecem um mecanismo de "bootstrapping" para melhorar a regularidade de Lipschitz para $C^{2,\alpha}$.

Principais Contribuições e Resultados

• Teorema 1.1 (Regularidade Aprimorada para Conjuntos Nodais): Assumindo que os conjuntos nodais $M_\varepsilon = \{u_\varepsilon = 0\}$ convergem graficamente para uma subvariedade mínima $M$ com um limite uniforme de Lipschitz, os autores provam que $M_\varepsilon$ são gráficos com normas $C^{2,\alpha}$ uniformemente limitadas. Isso estabelece que a convergência não é meramente fraca, mas ocorre em uma topologia forte $C^{2,\alpha}$, desde que a regularidade inicial de Lipschitz seja válida.
• Teorema 1.2 (Regularidade do Tipo Allard): Sob a condição de que a dimensão ambiente seja $n+2 \leq 4$ ou a solução seja minimizante, e assumindo que a densidade de energia esteja próxima do valor mínimo ($2\pi$) e a solução satisfaça o gauge de Coulomb, os conjuntos nodais são mostrados como gráficos $C^{2,\alpha}$. Este resultado estende a teoria de regularidade de Allard para o modelo YMH abeliano em baixas dimensões.
• Estimativas de Curvatura: O artigo deriva limites uniformes de curvatura para os conjuntos nodais, mostrando que a curvatura média do conjunto de defeito limite é bem controlada.
• Quadro Técnico: Os autores fornecem um quadro analítico robusto para lidar com o operador YMH linearizado, isolando o conteúdo geométrico dos graus de liberdade de gauge, especificamente através da decomposição $S'_\varepsilon = L_\varepsilon - \Theta_W \Theta^*_{\varepsilon, W}$.

Significado e Alegações
O artigo afirma estabelecer um quadro geométrico para entender a formação de folhas de vórtice em teorias de gauge abelianas. Ao provar que os conjuntos nodais do campo de Higgs convergem para subvariedades mínimas com regularidade $C^{2,\alpha}$ (sob restrições dimensionais ou de minimalidade específicas), o trabalho preenche a lacuna entre os resultados de convergência fraca da teoria geométrica da medida e a forte regularidade conhecida para a equação de Allen–Cahn.

Os autores observam que a extensão desta regularidade do tipo Allard para dimensões ambientes gerais depende de uma afirmação de rigidez para soluções com densidade unitária no infinito (a "Conjectura de Gibbon"). Uma vez que esta conjectura seja resolvida, o procedimento usado no artigo sugere que a regularidade local de Lipschitz pode ser melhorada para $C^{2,\alpha}$ em dimensões mais altas também. Os resultados refinam trabalhos anteriores sobre modelos de Ginzburg–Landau e YMH abeliano, oferecendo estimativas precisas para o desvio de soluções exatas e fornecendo uma base para analisar a concentração de vórtices em codimensões mais altas.