The Yang-Mills equation near instanton-anti-instanton configurations

Titolo: L'Equazione di Yang-Mills vicino a Configurazioni di Istantone-Anti-Istantone

1. Il Problema e il Contesto

Il lavoro si colloca nel quadro della teoria della compattezza di Uhlenbeck per le connessioni di Yang-Mills su varietà Riemanniane di dimensione 4.

• Contesto: La teoria di Uhlenbeck descrive il comportamento limite di una successione di connessioni di Yang-Mills con energia limitata. Tale successione converge, a meno di un passaggio a sottomissione e cambio di gauge, a una connessione limite $A_\infty$ più un "albero di bolle" (bubble tree) $\{B_{i,j}\}$ che assorbe l'energia concentrata in punti singolari.
• La Domanda Inversa: Il paper affronta la domanda inversa: data una configurazione limite composta da una connessione $A_\infty$ e un insieme di bolle $\{B_{i,j}\}$, esiste una successione di soluzioni lisce dell'equazione di Yang-Mills che converge a tale configurazione?
• Focus Specifico: Mentre per le equazioni ASD (Anti-Self-Dual) il problema di "incollamento" (gluing) è stato ampiamente studiato (lavori di Taubes, Donaldson), il caso dell'equazione di Yang-Mills completa (non necessariamente ASD) è meno compreso. Gli autori si concentrano su configurazioni in cui la connessione limite e le bolle hanno cariche opposte (ad esempio, $A_\infty$ è ASD e una bolla è SD, o viceversa).

2. Metodologia e Strumenti Tecnici

Gli autori sviluppano una serie di strumenti analitici sofisticati per studiare il comportamento delle curvature nelle regioni di "collo" (neck regions) tra la connessione limite e le bolle.

• Stime di Curvatura Raffinate su Cilindri (Sezione 2):

  • Viene presentata una nuova dimostrazione delle stime di decadimento per la curvatura su cilindri conformi, rimuovendo l'ipotesi tecnica che la metrica sia conformemente piatta.
  • Viene analizzata l'equazione lineare inhomogenea $\ast d\omega = \eta$ su un cilindro $C = [-T, T] \times S^3$.
  • Si sfrutta la decomposizione spettrale dell'operatore $\ast_\theta d_\theta$ sulle forme 1 su $S^3$. Gli autovalori sono $\pm m$ con $m \ge 2$. Questo permette di isolare i termini dominanti (autovalori $\pm 2$) e di ottenere espansioni asintotiche precise per la curvatura auto-duale ($F^+$) e anti-auto-duale ($F^-$).

• Analisi dell'Albero di Bolle (Sezione 3):

  • Si definisce rigorosamente la mappa di "attacco" (attaching map) $\hat{\rho}_i$, che collega il fibrato della bolla all'infinito con il fibrato della connessione limite nel punto di bubbling.
  • Si utilizza l'inversione $\iota$ sulla sfera unitaria per mappare il comportamento all'infinito della bolla al comportamento vicino al punto di singolarità della connessione limite.

• Espansione Asintotica nella Regione di Collo (Teorema 1.5):

  • Il risultato chiave è un'espansione precisa della curvatura auto-duale $F^+_{A_k}$ nella regione di collo. Il termine dominante è proporzionale a $\lambda_k^2 / r^4$, dove $\lambda_k$ è la scala della bolla e $r$ la distanza dal punto di bubbling.
  • Il termine principale è legato alla curvatura della bolla all'infinito, trasportata tramite la mappa di attacco e l'inversione: $\iota^* \hat{\rho}_i (F^+_{B_{i,1}}(\infty))$.

3. Risultati Principali

A. Ostruzione alla Esistenza di Configurazioni Miste (Teorema 1.1)

Il risultato centrale è un'obstruzione necessaria affinché una successione di soluzioni lisce possa convergere a una configurazione mista (limite ASD + bolla SD, o viceversa).

• Enunciato: Se il limite di Uhlenbeck $A_\infty$ è ASD e non ostruito ($H^{2,+}_{A_\infty} = \{0\}$), e tutte le bolle sono ASD tranne una ($B_{1,1}$) che è SD, allora per ogni $a \in \text{Ker} D^+_{A_\infty}$ (campo di deformazione infinitesima) deve valere:
  $$\langle \hat{\rho}_1 (F^+_{B_{1,1}}(\infty)), (D^-_{A_\infty} a)(z_1) \rangle = 0$$
• Significato: Questo prodotto scalare deve annullarsi. Se non si annulla, tale configurazione di bubbling non può essere il limite di una successione di soluzioni lisce. Questo generalizza risultati precedenti ottenuti da Yin [Yin23] per il caso specifico di una singola bolla.

B. Applicazione alle Configurazioni su $S^4$ (Teorema 1.2)

Applicando l'ostruzione sopra, gli autori dimostrano un risultato di non-esistenza per il gruppo di struttura $SU(2)$ sulla sfera $S^4$:

• Risultato: Non esiste una successione di connessioni di Yang-Mills $SU(2)$ su $S^4$ che converga a una configurazione contenente esattamente una bolla istantone SD di carica unitaria, mentre tutte le altre componenti (limite e altre bolle) sono ASD.
• Implicazione: Le configurazioni "Istantone-Anti-Istantone" con una sola bolla SD non possono formarsi come limiti di soluzioni lisce.

C. Gap Energetico e Spettro Discreto (Corollari 1.3 e 1.4)

• Corollario 1.3 (Miglioramento del Gap): Si dimostra che su un fibrato $SU(2)$ di carica $\kappa$ su $S^4$, esiste un $\epsilon_\kappa > 0$ tale che qualsiasi connessione di Yang-Mills con energia $E < 4\pi^2(|\kappa| + 2) + \epsilon_\kappa$ è necessariamente un istantone (cioè è ASD o SD). Questo rafforza il teorema del gap di GKS [GKS18].
• Corollario 1.4 (Discretezza dello Spettro): Sul fibrato banale $SU(2)$ su $S^4$, l'insieme dei valori critici (energie) dell' funzionale di Yang-Mills nell'intervallo $[0, 16\pi^2)$ è discreto.
  • Questo risolve parzialmente un problema aperto sulla discrezza dello spettro energetico.
  • Si nota che la connessione costruita da Sibner, Sibner e Uhlenbeck ha energia tra $8\pi^2$ e $16\pi^2$, e si ipotizza che sia l'unico valore critico non nullo sotto $16\pi^2$ sul fibrato banale.

4. Contributi Chiave e Innovazioni

1. Rimozione di Ipotesi Tecniche: La dimostrazione delle stime di curvatura (Sezione 2) non richiede che la metrica sia conformemente piatta, rendendo i risultati più generali.
2. Analisi delle Bolle "Fantasma" (Ghost Bubbles): La prova del Teorema 1.2 gestisce alberi di bolle complessi che includono "bolle fantasma" (bolle con curvatura nulla ma che trasportano informazioni geometriche tra i livelli dell'albero), utilizzando una struttura induttiva basata su trasformazioni conformi.
3. Connessione con la Costruzione ADHM: Per dimostrare l'ostruzione nel caso specifico di $SU(2)$, gli autori utilizzano la costruzione ADHM per mostrare esplicitamente che le deformazioni dello spazio dei moduli degli istantoni generano un insieme di tensori di curvatura sufficientemente ricco da violare la condizione di ortogonalità richiesta dall'ostruzione, a meno che la configurazione non sia impossibile.
4. Generalizzazione delle Ostruzioni: Il Teorema 1.1 unifica e generalizza le ostruzioni note per le equazioni ASD, mostrando come le deformazioni del limite (conformi, di gauge, o del modulo) impongano vincoli specifici sulla geometria delle bolle.

5. Significato e Impatto

Questo lavoro fornisce un passo fondamentale verso la comprensione della struttura globale delle soluzioni dell'equazione di Yang-Mills in dimensione 4.

• Dimostra che non tutte le configurazioni topologicamente ammissibili (come un istantone e un anti-istantone) sono realizzabili dinamicamente come limiti di soluzioni lisce.
• Stabilisce nuovi limiti energetici rigorosi per l'esistenza di soluzioni non-istantoniche, contribuendo alla classificazione delle soluzioni critiche del funzionale di Yang-Mills.
• Offre un quadro metodologico robusto per analizzare le interazioni tra scale diverse (bolle) in problemi geometrici non lineari, con potenziali applicazioni anche in altri contesti di geometria Riemanniana (es. metriche di Einstein).

In sintesi, Waldron e Yin dimostrano che la "chimica" delle bolle di Yang-Mills è più restrittiva di quanto si pensasse: la semplice somma di cariche e energie non garantisce l'esistenza di una soluzione liscia che le unisca, a causa di sottili interazioni geometriche tra la curvatura del limite e quella delle bolle.