Partial Regularity of Stable Stationary Harmonic Maps into Compact Lie Groups

Let $M$ be a compact Riemannian manifold, and let $G$ be a compact Lie group with bi-invariant metric. We show that the singular set of any stable stationary harmonic map $u:M\to G$ has Hausdorff codimension at least four. This is sharp.