We show that a
compact warped product Einstein manifold with vanishing Bach tensor of
dimension n ≥ 4 is either Einstein or a finite quotient of a warped product with
an (n−1)-dimensional Einstein fiber. The fiber has constant curvature if
n = 4.
Keywords
warped product metric, Einstein manifold, Bach flat,
Bakry–Emery tensor