🔢 mathematics

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

This paper establishes that instantons are the only solutions to the SU(2) Yang-Mills equation on $\mathbb{R}^4$ with energy below a specific threshold and proves the discreteness of the energy spectrum in the range $[0, 16\pi^2)$ by demonstrating an obstruction to non-instanton sequences converging to bubbling configurations of opposite charge.

Original authors: Alex Waldron, Hao Yin

Published 2026-04-17

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Alex Waldron, Hao Yin

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master architect trying to build a perfect, smooth skyscraper (a "Yang-Mills connection") out of a very specific, rigid material. In the world of mathematics and physics, these skyscrapers represent the fundamental forces of nature, like electromagnetism or the strong nuclear force.

Usually, when you try to build these structures, you run into a problem: the material wants to crumble or "bubble" at certain points. Sometimes, instead of a smooth building, you end up with a main tower and several tiny, perfect bubbles floating around it. These bubbles are called Instantons. They are the "perfect" shapes in this mathematical world—like tiny, flawless spheres of energy.

For a long time, mathematicians knew that if you had a sequence of buildings that were almost perfect, they would eventually settle into a shape made of a main tower and some of these perfect bubbles. This is the "Uhlenbeck limit."

The Big Question:
The authors of this paper, Alex Waldron and Hao Yin, asked a "reverse" question:

"If I give you a main tower and a bunch of perfect bubbles, can you actually build a single, smooth skyscraper that looks like that combination?"

In most cases, the answer is yes. You can glue them together. But the authors discovered a specific, tricky situation where the answer is a hard NO.

The "Opposite Charge" Problem

Think of these bubbles and towers as having a "charge," like positive and negative electricity.

Instantons are the perfect bubbles.
Anti-instantons are their opposites.

The paper focuses on a scenario where you have a main tower that is "Anti-Self-Dual" (let's call it an Anti-Tower) and you try to glue on a bubble that is "Self-Dual" (a Positive Bubble). They are opposites.

The authors found that if you try to glue a Positive Bubble onto an Anti-Tower, the universe (or the math) says, "Nope, that won't work." There is a hidden obstruction.

The Creative Analogy: The Magnetic Lock

Imagine the Anti-Tower is a giant magnet with its North pole facing up. The Positive Bubble is another magnet, but it's a tiny North pole trying to stick to the top.

In the real world, two North poles repel each other. They can't just sit there and merge into one smooth object. They push away.

In this mathematical world, the "pushing away" isn't just a force; it's a fundamental rule of geometry. The authors proved that if you try to force these opposite charges to merge into a smooth solution, the "deformations" (the ways the tower can wiggle or bend) create a conflict. It's like trying to zip up a jacket where the teeth on the left side are shaped for a zipper on the right side. They just don't mesh.

The "Ghost" Bubbles

The paper gets even more interesting when they look at the space between the tower and the bubble. They call the empty space a "neck."

When they zoomed in on this neck, they found that the energy doesn't just disappear; it flows through a series of "Ghost Bubbles." These are like phantom bubbles that appear and disappear in the math, acting as intermediaries. The authors showed that even with these ghosts, the fundamental mismatch between the Anti-Tower and the Positive Bubble remains. The "lock" still won't turn.

Why Does This Matter? (The Real-World Impact)

You might ask, "Who cares about math bubbles?"

Energy Limits: The paper proves a strict rule about energy. It says that if a structure has less than a certain amount of energy (specifically, less than $4\pi^2(|\kappa| + 2)$ ), it must be a perfect Instanton. It cannot be a messy mix of a tower and a bubble. It's like saying, "If your car is light enough, it must be a sports car; it can't be a truck with a trailer attached."
Discrete Energy: They also proved that the energy levels of these structures are "discrete." Think of a piano. You can only play specific notes (C, D, E), not the sounds in between. This paper proves that for these mathematical structures, energy comes in specific "notes," not a continuous slide.

The "Gluing" Metaphor

Imagine you are trying to glue a piece of a puzzle from a picture of a Sun (the Positive Bubble) onto a puzzle piece from a picture of the Moon (the Anti-Tower).

Taubes (a famous mathematician) previously showed that if you glue a Sun to a Sun, or a Moon to a Moon, it works perfectly.
This paper shows that if you try to glue a Sun to a Moon, the glue fails. The shapes are fundamentally incompatible in this specific way.

Summary

Waldron and Yin discovered a "No-Go Zone" in the landscape of mathematical physics. They proved that you cannot smoothly combine certain types of perfect energy bubbles (Instantons) with their opposites (Anti-Instantons) to create a new, smooth structure.

This is a big deal because it helps physicists and mathematicians understand exactly what shapes are possible in the universe. It's like finding a new law of physics that says, "You can't build a house with a square roof and a round floor," which helps us understand the fundamental rules of how the universe is constructed.

1. Problem Statement

The paper addresses a fundamental "converse" question to Uhlenbeck's compactness theory for Yang-Mills (YM) connections on 4-manifolds.

Context: Uhlenbeck's theory states that a sequence of YM connections with bounded energy converges (after gauge fixing) to a limiting connection $A_\infty$ plus a "bubble tree" of instantons $\{B_{i,j}\}$ at a finite set of singular points $S$ .
The Question: Given a specific limiting configuration $(A_\infty, \{B_{i,j}\})$ , does there exist a smooth sequence of YM connections $A_k$ that converges to this configuration?
Specific Focus: The authors investigate configurations where the limit $A_\infty$ and the bubbles have opposite charges (e.g., $A_\infty$ is Anti-Self-Dual (ASD) while a bubble is Self-Dual (SD), or vice versa). While gluing theory (Taubes) often guarantees existence when all components share the same chirality (all ASD), the case of mixed chirality is less understood and suspected to have obstructions.

2. Methodology

The authors employ a combination of refined asymptotic analysis, geometric analysis on cylinders, and topological obstructions derived from the linearized Yang-Mills operator.

A. Refined Curvature Estimates on Cylinders (Section 2)

To analyze the "neck regions" between the limit and the bubbles, the authors work on a cylinder $C = [-T, T] \times S^3$ .

Metric: They consider metrics conformally close to the round metric on $S^3$ .
Decomposition: They decompose the self-dual curvature $F^+$ into eigenmodes of the operator $\ast_\theta d_\theta$ on coclosed 1-forms. The spectrum of this operator on $S^3$ starts at $\pm 2$ .
Key Result (Theorem 2.2): They derive precise asymptotic expansions for the curvature in the neck region. They show that the leading-order term of the self-dual curvature $F^+$ in a neck connecting an ASD limit to an SD bubble behaves like a specific harmonic form decaying as $r^{-4}$ (or $e^{-2t}$ in cylindrical coordinates).
Removal of Assumptions: Unlike previous works (e.g., Yin [Yin23]), they remove the assumption that the background metric must be conformally flat, providing a more general proof.

B. The Obstruction Formula (Theorem 1.1)

The core of the paper is the derivation of an obstruction to the existence of such a sequence.

Setup: Let $A_\infty$ be an ASD limit with $H^{2,+}_{A_\infty} = \{0\}$ (unobstructed). Let $B_{1,1}$ be an SD bubble at $z_1$ .
Attaching Map: They define an "attaching map" $\hat{\rho}_1$ which relates the fiber of the bubble at infinity to the fiber of the limit at $z_1$ .
The Obstruction: For any $a \in \text{Ker}(D^+_{A_\infty})$ (an infinitesimal deformation of the ASD limit), the following orthogonality condition must hold:
$\langle \hat{\rho}_1(F^+_{B_{1,1}}(\infty)), (D^-_{A_\infty}a)(z_1) \rangle = 0$
Mechanism: The proof uses a Stokes' theorem argument (Lemma 1.6) on a domain excluding the bubbles. The integral of the leading-order term (which scales as $\lambda_k^2$ ) against the deformation $a$ must vanish. If the leading term does not vanish, the sequence cannot exist.

C. Application to $S^4$ and ADHM Construction (Section 6)

To apply the obstruction to the specific case of $S^4$ , the authors:

Analyze the Bubble Tree: They handle complex bubble trees involving "ghost bubbles" (trivial limits in intermediate scales).
Standard Curvature Tensors: They define "standard curvature tensors" arising from the ADHM construction of instantons. They prove that the limiting curvature coefficients in the necks are non-vanishing standard tensors.
Linear Algebra Lemma: They prove that for any non-vanishing standard tensor $\xi$ and any ASD connection $A$ , there exists a deformation $a \in \text{Ker}(D^+_{A})$ such that the pairing $\langle \xi, D^-_A a \rangle \neq 0$ . This ensures the obstruction is non-trivial.

3. Key Contributions and Results

Main Theorem 1.1 (The Obstruction)

Establishes a necessary condition for a sequence of YM connections to converge to a configuration with mixed chirality (ASD limit + SD bubble). If the deformation space of the limit is non-trivial, the curvature of the bubble must be orthogonal to the variation of the limit's curvature.

Main Theorem 1.2 (Non-existence on $S^4$ )

Result: On the 4-sphere $S^4$ , it is impossible to have a sequence of $SU(2)$-Yang-Mills connections converging to a bubble tree containing exactly one SD instanton of unit charge and all other connections being ASD (including the limit).

Significance: This generalizes previous results (Yin [Yin23]) which only ruled out a 1-instanton and 1-anti-instanton. It rules out complex trees with a single "wrong-chirality" component.

Corollary 1.3 (Energy Gap Improvement)

Result: On an $SU(2)$-bundle of charge $\kappa$ on $S^4$ , there exists $\epsilon_\kappa > 0$ such that any YM connection with energy:
$\text{YM}(A) < 4\pi^2(|\kappa| + 2) + \epsilon_\kappa$
must be an instanton (purely ASD or purely SD).

Context: Previous work (GKS [GKS18]) established the gap at $4\pi^2(|\kappa| + 2)$ . This paper proves the gap is strictly larger by an $\epsilon$ margin, ruling out "near-instanton" non-instanton solutions.

Corollary 1.4 (Discreteness of Spectrum)

Result: On the trivial $SU(2)$-bundle over $S^4$ , the set of critical values (energy levels) of the Yang-Mills functional strictly less than $16\pi^2$ is discrete.

Context: The discreteness of the YM energy spectrum is a major open problem. This paper resolves it for the range $[0, 16\pi^2)$ on the trivial bundle. It implies that no continuous family of non-instanton solutions exists in this energy range.

4. Significance and Impact

Resolution of Gluing Obstructions: The paper provides a definitive obstruction for gluing instantons and anti-instantons with opposite charges on $S^4$ . It clarifies that such configurations cannot arise as limits of smooth solutions, unlike same-chirality configurations which are generically gluable.
Energy Gap Rigidity: By proving Corollary 1.3, the authors show that the energy gap between instantons and the next possible critical points is robust. This strengthens the understanding of the stability of instantons.
Spectral Discreteness: Corollary 1.4 is a significant step toward the general discreteness conjecture. It eliminates the possibility of "bubbling" creating a continuous spectrum of energies below $16\pi^2$ on the trivial bundle.
Technical Advancement: The refined curvature estimates on cylinders (Section 2) and the removal of the conformally flat assumption provide a more robust toolkit for analyzing neck regions in geometric PDEs, applicable beyond just Yang-Mills theory.
Connection to Einstein Metrics: The authors draw parallels between their obstruction and recent work on the non-existence of smooth bubbling sequences for 4D Einstein metrics (Ozuch, LeBrun-Ozuch), suggesting a deep structural similarity between the moduli spaces of YM connections and Einstein metrics.

In summary, Waldron and Yin demonstrate that the topology of the bubble tree (specifically the presence of a single "opposite charge" instanton) creates a geometric obstruction that prevents the existence of smooth approximating sequences, leading to strong rigidity results for the Yang-Mills functional on $S^4$ .