Uhlenbeck compactness for ASD equations on cylinders

Intuition Beginner

Compactness means that a sequence of solutions cannot escape in unlimited ways. For instantons on a cylinder, escape has only two standard forms. A trajectory can stretch into several shorter trajectories, or a small packet of curvature can concentrate into a bubble.

The cylinder is $\mathbb{R}\times Y$: time runs along the first factor, and each slice is the three-manifold $Y$. An ASD connection on this cylinder is a gradient-flow line for the Chern-Simons functional. A long flow line can break at an intermediate flat connection, just like a long downhill path can pause at a saddle point.

Bubbles are different. They are tiny four-dimensional instantons that form where curvature concentrates. Each bubble carries a fixed energy packet of size $8{\pi }^2$.

Visual Beginner

The limit is not lost. It becomes a broken trajectory plus finitely many bubbles. Compactness says these are the only ways a bounded-energy sequence can degenerate.

Worked example Beginner

Suppose a sequence of cylinder instantons all has energy less than $25{\pi }^2$. Since each bubble costs $8{\pi }^2$, at most three bubbles can appear. Four bubbles would cost $32{\pi }^2$, which exceeds the energy budget.

The remaining energy stays in the cylinder trajectories. If the sequence stretches longer and longer near an intermediate flat connection, the limit is recorded as two trajectories: one from the first flat connection to the intermediate one, and another from the intermediate one to the final flat connection.

What this tells us: bounded energy gives a finite bookkeeping rule. Only finitely many bubbles and finitely many broken levels can occur in a compactness limit.

Check your understanding Beginner

Formal definition Intermediate+

Let $Y$ be a closed oriented Riemannian three-manifold and consider the product cylinder $\mathbb{R}\times Y$. In temporal gauge, a connection on the cylinder is a path $A(s)$ of connections on $Y$. Its curvature is $$ F_{\mathcal A}=ds\wedge \dot A(s)+F_{A(s)}. $$ The ASD equation $F_{\mathcal{A}}^{+}=0$ becomes $$ \dot A(s)=-*YF{A(s)} $$ up to the fixed orientation convention, so $\mathcal{A}$ is the negative gradient flow of Chern-Simons 03.07.17.

The energy of a cylinder connection is $$ E(\mathcal A)=\frac12\int_{\mathbb R\times Y}|F_{\mathcal A}|^2,d\operatorname{vol}. $$ For an ASD trajectory converging to flat connections $\alpha$ and $\beta$ at the two ends, this energy equals the Chern-Simons drop $$ E(\mathcal A)=\operatorname{CS}(\alpha)-\operatorname{CS}(\beta) $$ after choosing compatible real lifts.

A sequence ${\mathcal{A}}_n$ of finite-energy ASD connections converges modulo gauge to a broken trajectory with bubbles if, after gauge transformations and translations in the cylinder direction, it converges smoothly on compact subsets away from finitely many points to a finite chain of ASD trajectories $$ \alpha=\alpha_0\to\alpha_1\to\cdots\to\alpha_r=\beta, $$ and at each excluded point a rescaling limit produces a finite-action ASD instanton on ${\mathbb{R}}^4$, equivalently a smooth instanton on $S^4$ by 03.07.08.

Key theorem with proof Intermediate+

Theorem (Uhlenbeck compactness for ASD cylinder trajectories). Let ${\mathcal{A}}_n$ be a sequence of finite-energy ASD connections on $\mathbb{R}\times Y$ with fixed nondegenerate flat limits $\alpha$ and $\beta$ and with a uniform energy bound. Then, after passing to a subsequence, applying gauge transformations, and translating levels, ${\mathcal{A}}_n$ converges to a broken ASD trajectory from $\alpha$ to $\beta$ together with finitely many $S^4$ instanton bubbles. Each bubble carries energy $8{\pi }^{2}k$ for a positive integer $k$.

Proof. Cover compact subsets of $\mathbb{R}\times Y$ by small balls. On every ball where the $L^2$ curvature is below Uhlenbeck's small-energy threshold, Uhlenbeck gauge fixing gives a Coulomb gauge with a uniform Sobolev bound on the local connection form ^{[Uhlenbeck Lp 1982]}. The ASD equation is elliptic in such gauges, so elliptic regularity gives uniform higher bounds. By Rellich compactness and diagonal extraction, a subsequence converges smoothly on compact subsets away from the points where the small-energy threshold fails.

The total energy is uniformly bounded, and every failed small-energy ball consumes at least a fixed positive amount of curvature energy. Hence only finitely many concentration points occur on each compact region. Rescaling around such a point gives a nonzero finite-action ASD connection on ${\mathbb{R}}^4$. The removable-singularity theorem compactifies it to an instanton on $S^4$ 03.07.08. The Chern-Weil energy identity gives energy $8{\pi }^{2}k$ for some positive integer $k$.

It remains to control escape along the noncompact cylinder direction. Finite-energy ASD trajectories have limits at the ends, and nondegeneracy of the limiting flat connections gives exponential decay. If a sequence spends longer and longer near an intermediate flat connection, translate the cylinder coordinate to isolate each transition region. Repeating this extraction yields a finite chain of trajectories. Finiteness follows from energy quantization and the positive minimum energy gap between distinct nondegenerate critical levels in the perturbed setup. Thus the limit is a broken trajectory with finitely many bubbles. $\square$

Bridge. Uhlenbeck compactness builds toward 03.07.23 because the proof that the Floer differential squares to zero requires compactifying one-dimensional families of trajectories, and it appears again in 03.07.21 as the degeneration that gluing reverses. The foundational reason is that bounded curvature energy can fail to converge only by breaking or bubbling; this is exactly what identifies the compactification boundary with algebraic compositions of trajectories. Putting these together, compactness generalises ordinary compactness of gradient-flow lines, and the bridge is dual to the removable-singularity theorem in 03.07.08.

Exercises Intermediate+

Advanced results Master

The local analytic input is Uhlenbeck's small-energy gauge theorem. If $\Vert F_A{\Vert }_{L^2(B^4)}$ is below a universal threshold, then after gauge transformation the connection form $a$ satisfies a Coulomb condition $d^{\ast }a=0$ and an estimate $$ |a|{W^{1,2}(B^4)}\leq C|F_A|{L^2(B^4)}. $$ For ASD connections the equation becomes elliptic in this gauge, so the initial Sobolev bound bootstraps to smooth bounds on smaller balls.

On a cylinder, energy controls both curvature concentration and translation escape. Concentration produces bubbles modeled on $S^4$ instantons. Translation escape produces broken trajectories. A sequence from $\alpha$ to $\beta$ may converge to $$ \alpha=\alpha_0\to\alpha_1\to\cdots\to\alpha_r=\beta, $$ where every arrow is a finite-energy ASD trajectory and each intermediate ${\alpha }_i$ is a flat connection. The total energy is the sum of the energies of the levels plus the bubble energies.

Exponential decay at the ends uses nondegeneracy of the limiting critical points. Linearizing the gradient-flow equation near a flat connection gives an equation controlled by the Chern-Simons Hessian from 03.07.19. If the Hessian has no zero modes transverse to gauge, solutions approaching the flat connection decay exponentially in the cylinder coordinate. This decay is what makes weighted Sobolev Fredholm theory and gluing possible.

For one-dimensional compactified moduli spaces, the boundary consists of once-broken trajectories. This is the geometric origin of the algebraic identity ${\partial }^2=0$ in instanton Floer homology. Higher-codimension bubbling is either excluded in the low-dimensional moduli spaces used for the differential after generic choices, or it is controlled by the same energy quantization and index estimates in deeper Donaldson theory.

Synthesis. The foundational reason Uhlenbeck compactness has the right form is that gauge fixing converts curvature bounds into elliptic estimates. This is exactly what separates analytic loss of compactness into finite bubble points and gradient-flow breaking. The central insight identifies curvature concentration with compactified $S^4$ instantons, while cylinder translation is dual to Morse breaking at flat connections. Putting these together, compactness supplies the bridge from analytic ASD sequences to the algebraic boundary terms of Floer homology.

Full proof set Master

Proposition 1 (energy decreases along ASD flow). In temporal gauge, if $\mathcal{A}$ is ASD on $\mathbb{R}\times Y$, then $$ \frac{d}{ds}\operatorname{CS}(A(s))=-|F_{A(s)}|_{L^2(Y)}^2 $$ up to the fixed normalization convention.

Proof. The first variation of Chern-Simons is pairing with curvature: $$ d\operatorname{CS}_{A}(a)=\langle YF_A,a\rangle{L^2(Y)} $$ after absorbing the universal normalization into the metric convention. In temporal gauge, the ASD equation is $\dot A=-YF_A$. Substituting gives $$ \frac{d}{ds}\operatorname{CS}(A(s)) =d\operatorname{CS}{A(s)}(\dot A(s)) =\langle _YF_A,-_YF_A\rangle =-|F_A|^2. $$ This proves the formula. $\square$

Proposition 2 (finite bubble count). A sequence of ASD connections with energy bounded by $E$ has at most $\lfloor E/(8{\pi }^2)\rfloor$ charge-one bubble energies in any Uhlenbeck limit.

Proof. Every bubble is obtained by rescaling near a curvature concentration point. The rescaled limit is a finite-action ASD instanton on ${\mathbb{R}}^4$, hence extends over $S^4$ by 03.07.08. For an $\mathrm{SU}(2)$ instanton on $S^4$, the Chern-Weil identity gives $$ \operatorname{YM}(A)=8\pi^2 k $$ for an integer $k\ge 1$. Therefore every bubble consumes at least $8{\pi }^2$ of the original sequence's energy. Since total energy is at most $E$, the number of charge-one bubble energies is bounded by $\lfloor E/(8{\pi }^2)\rfloor$. $\square$

Proposition 3 (broken-limit energy identity). If a sequence from $\alpha$ to $\beta$ converges to a broken trajectory through ${\alpha }_1,\dots ,{\alpha }_{r-1}$ and bubbles of charges $k_j$, then $$ E_{\mathrm{lim}}=\sum_{i=0}^{r-1}E(\alpha_i\to\alpha_{i+1})+\sum_j 8\pi^2k_j. $$

Proof. Away from concentration points and breaking necks, smooth convergence gives convergence of the curvature-energy density on compact subsets. Around each bubble point, rescaling captures exactly the energy lost in the original scale, and the removable-singularity theorem identifies that loss with $8{\pi }^2{k}_j$. Along the cylinder direction, translating each transition region isolates a finite-energy trajectory between consecutive limiting flat connections. The neck regions between levels converge to flat connections and carry vanishing energy in the limit by exponential decay. Summing the contributions gives the stated identity. $\square$

Connections Master

• Conformal compactification and finite-action instantons 03.07.08. Bubble limits are finite-action instantons on ${\mathbb{R}}^4$, and removable singularities compactify them to smooth instantons on $S^4$.

• Configuration space and slice theorem 03.07.18. Uhlenbeck compactness is a modulo-gauge compactness statement, so local slices and Coulomb gauges supply the analytic coordinates for convergence.

• Spectral flow and Floer grading 03.07.19. Exponential decay and dimension counts use the nondegenerate Hessian at the flat limits, the same operator whose spectral flow grades the Floer complex.

• Gluing theorem for instanton trajectories 03.07.21. Compactness describes how sequences degenerate; gluing reverses the broken-trajectory degeneration near boundary strata.

Historical & philosophical context Master

Uhlenbeck's 1982 compactness and gauge-fixing theorems supplied the analytic foundation for four-dimensional Yang-Mills theory ^{[Uhlenbeck Lp 1982]}. Her removable-singularity theorem made curvature concentration compatible with smooth instantons on compactified four-manifolds ^{[Uhlenbeck removable 1982]}.

Donaldson used this compactness technology to define four-manifold invariants and, in the Floer setting, to compactify trajectory spaces on cylinders ^{[Donaldson 2002]}. The same compactness-plus-gluing structure is the analytic backbone of the identity ${\partial }^2=0$ in instanton Floer homology.

Bibliography Master

@article{Uhlenbeck1982LpCompactness,
  author = {Uhlenbeck, Karen K.},
  title = {Connections with {$L^p$} bounds on curvature},
  journal = {Communications in Mathematical Physics},
  volume = {83},
  pages = {31--42},
  year = {1982}
}

@article{Uhlenbeck1982RemovableCompactness,
  author = {Uhlenbeck, Karen K.},
  title = {Removable singularities in Yang-Mills fields},
  journal = {Communications in Mathematical Physics},
  volume = {83},
  pages = {11--29},
  year = {1982}
}

@book{Donaldson2002FloerCompactness,
  author = {Donaldson, Simon K.},
  title = {Floer Homology Groups in Yang-Mills Theory},
  series = {Cambridge Tracts in Mathematics},
  volume = {147},
  publisher = {Cambridge University Press},
  year = {2002}
}

@book{DonaldsonKronheimer1990Compactness,
  author = {Donaldson, Simon K. and Kronheimer, Peter B.},
  title = {The Geometry of Four-Manifolds},
  publisher = {Oxford University Press},
  year = {1990}
}