Regularity of minimizing harmonic maps into the sphere (Q760695)

Analysing their ''minimizing tangent map''-condition developed for the general regularity theory of energy minimizing harmonic maps, the authors introduce a number d(k), \(k\geq 2\), by \(d(2)=2\), \(d(3)=3\) and \(d(k)=entier (\min (k+1,6))\), \(k\geq 4\), and show that if \(n\leq d(k)\) then every minimizing map from an n-manifold M into \(S^ k\) is smooth in the interior of M. Moreover, if \(n=d(k)+1\), such a map has at most isolated singularities, and, in general, the singular set is closed and of Hausdorff dimension \(\leq n-d(k)-1\). As corollaries they obtain various Liouville-type theorems for minimizing maps \(R^ n\to S^ k\). In additon, the authors also derive a regularity theorem for minimizing maps into closed hemispheres.