The singular set of an energy minimizing map fromB4 toS2

The singular set of an energy minimizing map from a four dimensional domain toS2 consists locally of a finite set and a finite union of Hölder continuous curves.