Uhlenbeck removable singularity theorem for ASD connections
= Uhlenbeck removable singularity theorem for ASD connections
{c}
A smooth <anti-self-dual connection> with compact structure group on a punctured four-ball and finite $L^2$ curvature extends smoothly over the puncture after changing gauge and extending the bundle. The gauge on the punctured ball can carry nontrivial clutching degree; the extended bundle need not agree globally with the original one in a bubbling sequence.
// Destination: geometry-and-topology.bigb