Partial Regularity of Stable Stationary Harmonic Maps into Certain Lie Groups

Let $M$ be a compact Riemannian manifold, and let $G$ be a compact simple Lie group with bi-invariant metric that is not $\mathrm{Sp}(n)$ for $n\ge 8$, $E_8$, $F_4$, or $G_2$. We show that the singular set of any stable stationary harmonic map $u:M\to G$ has Hausdorff codimension at least four. We also find examples of maps into these manifolds with codimension four singularities to show that we cannot reduce the dimension of the singular set any further.