Partial regularity for harmonic maps, revisited

Via gauge theory, we give a new proof of partial regularity for stationary harmonic maps into arbitrary targets. This proof avoids the use of adapted frames and permits to consider targets of "minimal" $C2$ regularity. The proof we present extends to a large class of elliptic systems of quadratic growth.