Convergence of the Yang-Mills flow on ALE gravitational instantons

Enunciato del Problema
Questo lavoro affronta il comportamento di convergenza a lungo termine del flusso di Yang-Mills (1.1) su 4-varietà non compatte, in particolare gli istantoni gravitazionali ALE (Asintoticamente Localmente Euclidei). Mentre la convergenza del flusso è ben compresa nel caso compatto, l'impostazione non compatta presenta sfide analitiche significative. Lavori precedenti di Gustaffson, Nakanishi e Tsai hanno dimostrato che su $\mathbb{R}^4$, il teorema del gap parabolico fallisce: esistono connessioni iniziali arbitrariamente vicine all'istantone standard che non convergono a un istantone sotto l'azione del flusso. Gli autori mirano a stabilire un "teorema del gap parabolico" per gli istantoni gravitazionali ALE, dimostrando che se l'energia iniziale è sufficientemente piccola (in particolare, se l'energia della curvatura autoduale è al di sotto di una specifica soglia), il flusso converge liscia a un istantone anti-autoduale (ASD).

Metodologia
Gli autori impiegano una combinazione di tecniche di analisi ellittica e parabolica adattate alla geometria non compatta e a curvatura di Ricci nulla delle varietà ALE.

1. Teorema del Gap Ellittico e Costanti di Sobolev: La dimostrazione si basa su una disuguaglianza di Sobolev precisa per le varietà ALE (Teorema 2.2), derivata dal lavoro di Viaclovsky e Balogh-Kristaly. Questa disuguaglianza, con una costante dipendente dall'ordine del gruppo finito $\Gamma$ ($|\Gamma|$), permette di dedurre un teorema del gap ellittico (Teorema 2.4): ogni connessione di Yang-Mills a energia finita con energia della curvatura autoduale $\|F^+\|_{L^2}^2 < 8\pi^2/|\Gamma|$ deve essere anti-autoduale ($F^+ \equiv 0$).

2. Stime Energetiche e $\epsilon$-Regolarità: Gli autori utilizzano identità energetiche di base (Lemma 3.2) che mostrano la natura non crescente del funzionale di Yang-Mills e la conservazione della carica topologica. Stabiliscono un teorema di $\epsilon$-regolarità (Lemma 3.3) per il flusso, garantendo che piccole norme $L^2$ della curvatura autoduale implicano limiti $L^\infty$. Ciò è cruciale per controllare la curvatura vicino a potenziali singolarità o all'infinito.

3. Analisi di Esplosione (Blow-up) e Contraddizione: Per dimostrare tassi di decadimento quantitativi, gli autori utilizzano un argomento per assurdo che coinvolge tecniche di riscalamento (blow-up) (Teorema 4.1). Assumendo che il tasso di decadimento fallisca, costruiscono una sequenza di soluzioni riscalate. Analizzando i limiti di queste sequenze (compattezza di Uhlenbeck), mostrano che il limite deve essere un istantone ASD sulla varietà ALE stessa o su $\mathbb{R}^4/\Gamma$. Il teorema del gap ellittico forza quindi la parte autoduale della curvatura a annullarsi, contraddicendo l'assunzione che il tasso di decadimento fosse fallito.

4. Decadimento Migliorato tramite Stime $L^p$: Per dati iniziali con $F^+ \in L^p$ ($1 < p < 2$), gli autori derivano tassi di decadimento migliorati (Teorema 1.1b). Ciò comporta dimostrare che, una volta che la norma $L^2$ della curvatura autoduale diventa piccola, la norma $L^p$ rimane limitata, il che a sua volta accelera il tasso di decadimento $L^\infty$ a $o(t^{-2/p})$.

5. Convergenza all'Istantone ASD: Infine, gli autori combinano le stime di decadimento con l'iterazione parabolica di Moser e stime del semigruppo del calore per dimostrare che la connessione $A(t)$ converge in $C^\infty_{loc}$ e $L^q$ a un istantone ASD $A_\infty$ (Teorema 6.1).

Risultati Chiave
Il risultato principale è il Teorema 1.1, che stabilisce quanto segue per un fibrato $SU(r)$ su un istantone gravitazionale ALE $(M,g)$ asintotico a $(\mathbb{R}^4 \setminus \{0\})/\Gamma$:

• Condizione di Soglia: Se la connessione iniziale $A_0$ ha energia di Yang-Mills finita e soddisfa la disuguaglianza stretta $\|F^+_{A_0}\|_{L^2}^2 < 8\pi^2/|\Gamma|$, il flusso esiste per tutto il tempo.
• Decadimento della Curvatura Autoduale:
  • In generale, $\|F^+(t)\|_{L^\infty} = o(1/t)$ e $\|F^+(t)\|_{L^2} \to 0$ per $t \to \infty$.
  • Se inoltre $\|F^+_{A_0}\|_{L^p} < \infty$ per $1 < p < 2$, il decadimento migliora a $\|F^+(t)\|_{L^\infty} = o(t^{-2/p})$ e $\|F^+(t)\|_{L^p} \to 0$.
• Convergenza: Sotto queste condizioni, il flusso $A(t)$ converge liscia (in $C^\infty_{loc} \cap L^q$ per opportuni $q$) a un istantone ASD $A_\infty$. Crucialmente, la carica topologica è preservata: $\kappa(A_\infty) = \kappa(A_0)$.

Significato e Affermazioni
Gli autori collocano questo lavoro come un'estensione non compatta del loro precedente "teorema del gap parabolico" stabilito per la 4-sfera. Il significato dei risultati è delineato in quattro motivazioni specifiche:

1. Superamento degli Ostacoli Non Compatti: Il lavoro dimostra che il fallimento del gap parabolico su $\mathbb{R}^4$ (dove connessioni vicine all'istantone potrebbero non convergere) può essere evitato sulle varietà ALE imponendo un'ipotesi di decadimento lieve sulla curvatura autoduale iniziale.
2. Generalizzazione di Oh-Tataru: Il risultato generalizza il lavoro di Oh e Tataru su $\mathbb{R}^4$, che era limitato alla carica topologica zero e a energie inferiori a $8\pi^2$. Questo lavoro estende il risultato a cariche topologiche più elevate, mostrando la convergenza a un istantone ASD della stessa carica piuttosto che alla connessione piatta. Gli autori suggeriscono che ciò potrebbe facilitare generalizzazioni della Congettura di Soglia per le equazioni di Yang-Mills iperboliche.
3. Ipotesi più Deboli rispetto alla Stabilità del Flusso di Ricci: La convergenza è ottenuta sotto ipotesi significativamente più deboli sui dati iniziali rispetto ai risultati di stabilità per il flusso di Ricci su istantoni gravitazionali. In particolare, gli autori non richiedono che la connessione iniziale sia vicina a un specifico istantone ASD, ma solo che la sua energia autoduale sia al di sotto della soglia del gap.
4. Topologia dello Spazio dei Moduli: Gli autori prevedono che questi risultati di convergenza saranno utili per studiare la topologia degli spazi dei moduli degli istantoni ASD su istantoni gravitazionali ALE.

Il lavoro nota esplicitamente che, sebbene l'esistenza a breve termine sia assunta (citando letteratura esistente), un trattamento dettagliato dell'esistenza a breve termine e della ben-postezza per il flusso su varietà complete rimane una questione aperta da affrontare separatamente.