Convergence of the Yang-Mills flow on ALE gravitational instantons

Enunciado do Problema
Este artigo aborda o comportamento de convergência de longo prazo do fluxo de Yang-Mills (1.1) em 4-variedades não compactas, especificamente instantons gravitacionais ALE (Assintoticamente Localmente Euclidianos). Embora a convergência do fluxo seja bem compreendida no caso compacto, o cenário não compacto apresenta desafios analíticos significativos. Trabalhos anteriores de Gustaffson, Nakanishi e Tsai demonstraram que em $\mathbb{R}^4$, o teorema do gap parabólico falha: existem conexões iniciais arbitrariamente próximas ao instanton padrão que não convergem para um instanton sob o fluxo. Os autores visam estabelecer um "teorema do gap parabólico" para instantons gravitacionais ALE, provando que, se a energia inicial for suficientemente pequena (especificamente, se a energia da curvatura autodual estiver abaixo de um limiar específico), o fluxo converge suavemente para um instanton anti-autodual (ASD).

Metodologia
Os autores empregam uma combinação de técnicas de análise elíptica e parabólica adaptadas à geometria não compacta e Ricci-plana das variedades ALE.

1. Teorema do Gap Elíptico e Constantes de Sobolev: A prova baseia-se numa desigualdade de Sobolev aguda para variedades ALE (Teorema 2.2), derivada do trabalho de Viaclovsky e Balogh-Kristaly. Esta desigualdade, com uma constante dependendo da ordem do grupo finito $\Gamma$ ($|\Gamma|$), permite a dedução de um teorema do gap elíptico (Teorema 2.4): qualquer conexão de Yang-Mills de energia finita com energia de curvatura autodual $\|F^+\|_{L^2}^2 < 8\pi^2/|\Gamma|$ deve ser anti-autodual ($F^+ \equiv 0$).

2. Estimativas de Energia e $\epsilon$-Regularidade: Os autores utilizam identidades básicas de energia (Lema 3.2) que mostram a natureza não decrescente do funcional de Yang-Mills e a conservação da carga topológica. Eles estabelecem um teorema de $\epsilon$-regularidade (Lema 3.3) para o fluxo, garantindo que pequenas normas $L^2$ da curvatura autodual impliquem limites $L^\infty$. Isso é crucial para controlar a curvatura perto de potenciais singularidades ou no infinito.

3. Análise de Blow-up e Contradição: Para provar taxas de decaimento quantitativas, os autores usam um argumento de contradição envolvendo técnicas de reescalonamento (blow-up) (Teorema 4.1). Assumindo que a taxa de decaimento falha, eles constroem uma sequência de soluções reescalonadas. Ao analisar os limites dessas sequências (compacidade de Uhlenbeck), eles mostram que o limite deve ser um instanton ASD ou na própria variedade ALE ou em $\mathbb{R}^4/\Gamma$. O teorema do gap elíptico força então a parte autodual da curvatura a desaparecer, contradizendo a suposição de que a taxa de decaimento falhou.

4. Decaimento Aprimorado via Estimativas $L^p$: Para dados iniciais com $F^+ \in L^p$ ($1 < p < 2$), os autores derivam taxas de decaimento aprimoradas (Teorema 1.1b). Isso envolve mostrar que, uma vez que a norma $L^2$ da curvatura autodual se torna pequena, a norma $L^p$ permanece limitada, o que por sua vez acelera a taxa de decaimento $L^\infty$ para $o(t^{-2/p})$.

5. Convergência para Instanton ASD: Finalmente, os autores combinam as estimativas de decaimento com iteração parabólica de Moser e estimativas de semigrupo de calor para provar que a conexão $A(t)$ converge em $C^\infty_{loc}$ e $L^q$ para um instanton ASD $A_\infty$ (Teorema 6.1).

Resultados Principais
O resultado principal é o Teorema 1.1, que estabelece o seguinte para um fibrado $SU(r)$ sobre um instanton gravitacional ALE $(M,g)$ assintótico a $(\mathbb{R}^4 \setminus \{0\})/\Gamma$:

• Condição de Limiar: Se a conexão inicial $A_0$ tiver energia de Yang-Mills finita e satisfizer a desigualdade estrita $\|F^+_{A_0}\|_{L^2}^2 < 8\pi^2/|\Gamma|$, o fluxo existe para todo o tempo.
• Decaimento da Curvatura Autodual:
  • Geralmente, $\|F^+(t)\|_{L^\infty} = o(1/t)$ e $\|F^+(t)\|_{L^2} \to 0$ quando $t \to \infty$.
  • Se adicionalmente $\|F^+_{A_0}\|_{L^p} < \infty$ para $1 < p < 2$, o decaimento melhora para $\|F^+(t)\|_{L^\infty} = o(t^{-2/p})$ e $\|F^+(t)\|_{L^p} \to 0$.
• Convergência: Sob essas condições, o fluxo $A(t)$ converge suavemente (em $C^\infty_{loc} \cap L^q$ para $q$ apropriado) para um instanton ASD $A_\infty$. Crucialmente, a carga topológica é preservada: $\kappa(A_\infty) = \kappa(A_0)$.

Significado e Alegações
Os autores posicionam este trabalho como uma extensão não compacta do seu anterior "teorema do gap parabólico" estabelecido para a 4-esfera. O significado dos resultados é delineado em quatro motivações específicas:

1. Superando Obstáculos Não Compactos: O artigo demonstra que a falha do gap parabólico em $\mathbb{R}^4$ (onde conexões próximas ao instanton podem não convergir) pode ser evitada em variedades ALE impondo uma hipótese de decaimento suave na curvatura autodual inicial.
2. Generalização de Oh-Tataru: O resultado generaliza o trabalho de Oh e Tataru em $\mathbb{R}^4$, que se limitava a carga topológica zero e energia abaixo de $8\pi^2$. Este artigo estende o resultado para cargas topológicas mais altas, mostrando convergência para um instanton ASD da mesma carga em vez da conexão plana. Os autores sugerem que isso pode facilitar generalizações da Conjectura de Limiar para equações de Yang-Mills hiperbólicas.
3. Hipóteses Mais Fracas que a Estabilidade do Fluxo de Ricci: A convergência é alcançada sob suposições significativamente mais fracas sobre os dados iniciais em comparação com resultados de estabilidade para o fluxo de Ricci em instantons gravitacionais. Especificamente, os autores não exigem que a conexão inicial esteja próxima de um instanton ASD específico, apenas que sua energia autodual esteja abaixo do limiar do gap.
4. Topologia do Espaço de Módulos: Os autores antecipam que esses resultados de convergência serão úteis para estudar a topologia dos espaços de módulos de instantons ASD em instantons gravitacionais ALE.

O artigo nota explicitamente que, embora a existência de curto prazo seja assumida (citando literatura existente), um tratamento detalhado da existência de curto prazo e da boa colocação para o fluxo em variedades completas permanece uma questão aberta a ser abordada separadamente.