The isolated point singularity problem for the coupled Yang-Mills equations in higher dimensions (Q796754)

An elementary proof of the removable point singularity theorem is given in dimensions \(n\geq 5\). A gradient estimate on curvature is obtained in the neighborhood of the possible singularity by making an appropriate choice of test function. Subelliptic theory and the Morrey-Moser iteration are used to show that the curvature is bounded. Standard elliptic theory then implies that the solution of the field equations is gauge equivalent to a smooth configuration.