We study the partial regularity theorem for stationary harmonic maps from a
Riemannian manifold into a Lorentzian manifold. For a weakly stationary harmonic map
from a smooth
bounded open domain
to a Lorentzian manifold with Dirichlet boundary condition,
we prove that it is smooth outside a closed set whose
-dimensional
Hausdorff measure is zero. Moreover, if the target manifold
does not admit any
harmonic spheres
,
, we
show
is
smooth.