2
$\begingroup$

Let $(M,g)=(N,\ddot{g})\times f(B,\bar{g})$ be an Einstein warped-product manifold Ricci flat (i.e. $Ric=\lambda g$ with $\lambda=0$) where $f:N \rightarrow (0, \infty)$ (positive scalar function) and with $g= \ddot{g}+f^2 \bar{g}$.

If $(B, \bar{g})$ is Ricci flat, being $(M, g)$ Ricci flat, this means that $(N, \ddot {g})$ must be only Ricci flat or not?

$\endgroup$
2
  • 1
    $\begingroup$ Corollary 7.43 of O'Neill books.google.at/… shows how the Ricci curvature of the warped product looks like. Note that he uses $f$ instead of $f^2$ as warping factor. $\endgroup$ Commented Nov 14, 2018 at 6:42
  • $\begingroup$ @Clemens Sämann - Thank you for the reply, then for what I see in the Corollary 7.43, even if the Einstein warped product manifold and Fiber manifold are both Ricci flat, not necessarily the Base manifold must be Ricci flat $\endgroup$
    – MathDG
    Commented Nov 14, 2018 at 8:03

2 Answers 2

1
$\begingroup$

Let $\bar M=M_1\times_f M_2$ be a warped product manifold, $X_1, Y_1$ be two lifts of two vector fields on $M_1$ to slides $M_1\times p_2$ and $X_2, Y_2$ be two lifts of two vector fields on $M_2$ to slides $p_1 \times M_2$. Then
$$\bar Ric(X_1,Y_1)= Ric^1(X_1,Y_1)-\frac{dimM_2}{f}Hess^f(X_1,Y_1)$$
$$\bar Ric(X_2,Y_2)= Ric^1(X_2,Y_2)-f^*g_2(X_2,Y_2)$$
where $f^*=f\Delta f-(dimM_2-1)g_1(grad f, grad f)$, $Ric^i$ is the lift of the Ricci curvatire tensor to $M_i$ and $\bar Ric$ is the Ricci curvature of $\bar M$. Now assume that $\bar M$ and $M_1$ are Ricci flat, then
$$0= -\frac{dimM_2}{f}Hess^f(X_1,Y_1)$$
$$0= Ric^2(X_2,Y_2)-f^*g_2(X_2,Y_2)$$
The first equation implies that $Hess^f$ is zero i.e. the gradient of $f$ is a constant say $c$ and consequently
$$f^*=f\Delta f-(dimM_2-1)g_1(grad f, grad f)=-(dimM_2-1)c^2$$
Thus the second factor is Einstein. Now assume that $\bar M$ and $M_2$ are Ricci flat, then
$$0= Ric^1(X_1,Y_1)-\frac{dimM_2}{f}Hess^f(X_1,Y_1)$$
$$0= -f^*g_2(X_2,Y_2)$$
Then the first equation yields by tracing $$r_1=\frac{dimM_2}{f}\Delta f$$ and consequently the second equation implies
$$ f^*=f\Delta f-(dimM_2-1)g_1(grad f, grad f)=0$$
i.e. $$r_1f^2=dimM_2(dimM_2-1)g_1(grad f, grad f)$$

$\endgroup$
4
  • $\begingroup$ thank you for the reply, but in my question I have $M_2$ and $\bar {M}$ both Ricci flat, not $M_1$ $\endgroup$
    – MathDG
    Commented Nov 14, 2018 at 13:01
  • $\begingroup$ OK. Noted I will add this case. $\endgroup$
    – Semsem
    Commented Nov 14, 2018 at 13:07
  • $\begingroup$ Then the Base manifold not necessarily Ricci flat $\endgroup$
    – MathDG
    Commented Nov 14, 2018 at 13:22
  • $\begingroup$ I think yes..... $\endgroup$
    – Semsem
    Commented Nov 14, 2018 at 13:23
3
$\begingroup$

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.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .