If you also assume that $(N,\ddot g)$ is complete, then your assumptions imply that $(N,\ddot g)$ is Ricci flat. I proved this in my article The nonexistence of quasi-Einstein metrics.
Jeffrey Case
- 1.7k
- 9
- 9