Non-existence of stationary,axisymmetric dust solutions of Einstein's equations on spatially compact manifolds

By using a theorem on the classifacation of SO(2)-actions on three-dimensional manifolds, it is shown that axisymmetric, stationary solutions of Einstein's equations do not exist on spacetimes with compact, space-like hypersurfaces, provided that the energy-momentum tensor is trace-free in the two-dimensional space of trajectories.