Non-compact Einstein manifolds with unimodular isometry group

We show that a negative Einstein manifold admitting a proper isometric action of a connected unimodular Lie group with compact, possibly singular, orbit space splits isometrically as a product of a symmetric space and a compact negative Einstein manifold. The proof involves the theory of polar actions, Lie-theoretic arguments and maximum principles.
Comment: 26 pages