Abstract
In this study, we provide some classifications for half-conformally flat gradient f-almost Ricci solitons, denoted by (M, g, f), in both Lorentzian and neutral signature. First, we prove that if \(||\nabla f||\) is a non-zero constant, then (M, g, f) is locally isometric to a warped product of the form \(I \times _{\varphi } N\), where \(I \subset \mathbb {R}\) and N is of constant sectional curvature. On the other hand, if \(||\nabla f|| = 0\), then it is locally a Walker manifold. Then, we construct an example of 4-dimensional steady gradient f-almost Ricci solitons in neutral signature. At the end, we give more physical applications of gradient Ricci solitons endowed with the standard static spacetime metric.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Hamilton introduced the concept of the Ricci flow to prove the Poincare Conjecture in the late of twentieth century [1]. Poincare Conjecture was one of the very deep unsolved problems which aims to classify all compact three-dimensional manifolds. In the 1900s, Poincare asked whether a simply connected closed three manifold is necessarily the three sphere \(\mathbb {S}^3\). For this purpose, Hamilton introduced the Ricci flow as a partial differential equation \(\frac{\partial g(t)}{\partial t}=-2\hbox {Ric}(g(t))\), which evolves the metric in a Riemannian manifold to make it rounder. By choosing harmonic coordinates, it can be seen that the Ricci flow is a heat-type equation, and the characteristic property of such equations is the maximum principle, which guarantees that this rounding metric happens in some specific case. Hence, as in the expectation of Hamilton, after the evaluation of the metric, the manifold will become of constant curvature. Moreover, Hamilton proved that for any smooth metric \(g_0\) on a compact Riemannian manifold \(M^n\), there exists a unique solution g(t) of Ricci flow defined on some interval \([0, \varepsilon )\), for some \(\varepsilon > 0\), with the initial condition \(g(0) = g_0\) [1]. Even in the non-compact case, a complete solution of Ricci flow exists when the sectional curvatures of \(g_0\) are bounded [2].
Let \((M^n, g(t))\) be a solution of the Ricci flow and suppose that \(\varphi _t : M^n \rightarrow M^n\) is a time-dependent family of diffeomorphisms satisfying \(\varphi _0 = Id\) and \(\sigma (t)\) is a time-dependent scale factor satisfying \(\sigma (0) = 1\). If \(g(t) = \sigma (t)\varphi _t^*g(0) \) holds, then the solution \((M^n, g(t))\) is called a Ricci soliton. Thus, one can regard the Ricci solitons as the fixed points of the Ricci flow, which change only by a diffeomorphism and a rescaling. If we take the derivative of the last relation at \(t=0\), by using the definition of the Lie derivative, the Ricci flow equation and the initial conditions for \(\varphi _t\) and \(\sigma (t)\), we obtain
where \(V=\frac{\mathrm{d}\varphi _t}{\mathrm{d}t}\), \(\mathcal {L}_{V}g\) is the Lie derivative of the metric g in the direction of V and \(\sigma ^{'}(0)=2\lambda \), for some real constant \(\lambda \). As a result, the triple (M, g, V) is said to be a Ricci soliton, where V is the potential field and \(\lambda \) is the soliton constant. Also, there is a terminology according to the sign of \(\lambda \): a Ricci soliton is steady if \(\lambda =0\), and expanding or shrinking if \(\lambda >0\) or \(\lambda <0\), respectively. If the potential vector field X is gradient, that is \(X=\nabla f\), for some smooth function f, then the equation (1) reduces to the form
Thus the triple (M, g, f) satisfying (2) is called a gradient Ricci soliton and f is called a potential field. Mostly, in a gradient Ricci soliton \(\lambda \) is a real constant. But, we are also interested in the general case in which \(\lambda \) is a smooth function on M. In that case, (M, g, f) is called a gradient almost Ricci soliton. In these regards, Ricci solitons and gradient Ricci solitons are natural generalizations of Einstein manifolds. In the literature, there are many other different generalizations of Einstein manifolds and gradient Ricci solitons, such as quasi Einstein manifolds [3,4,5], \((m,\rho )\)-quasi Einstein manifolds [6,7,8], generalized quasi Einstein manifolds [9,10,11] and etc.
In this paper, we will deal with another generalization of Ricci solitons, given as follows:
An h-almost Ricci soliton is a complete Riemannian manifold \((M^n, g)\) with a vector field \(X \in \chi (M)\) and two smooth real valued functions \(\lambda \) and h satisfying the equation [12]
For the sake of convenience, we denote an h-almost Ricci soliton by \((M^n, g,X, h, \lambda )\). If \(\lambda \) is constant, it is called an h-Ricci soliton. When \(X=\nabla f\) for some smooth function f, we call \((M^n, g, \nabla f, h, \lambda )\) a gradient h-almost Ricci soliton with potential function f. In this case, the fundamental equation (3) can be rewritten as [13]:
that constitutes the main theme of this work. This kind of manifolds are closely related to the warped products so we should mention about the warped products [14]: For two pseudo-Riemannian manifolds \((B,g_B)\) and \((F,g_F)\), the warped product \(B\times _{\varphi } F\) with respect to warping function \(\varphi \in \mathcal {C}_{>0}^{\infty }(B)\) is defined as the product manifold \(B\times F\) endowed with the metric \(g=g_B+\varphi ^2 g_F\). After some straightforward calculations, all components of the Ricci tensor of \((B\times _{\varphi }F, g)\) can be found as follows [14]
-
(1)
\({\hbox {Ric}}(X,Y)=\hbox {Ric}_B(X,Y)-\frac{m}{\varphi }\hbox {Hess}{\varphi }(X,Y)\),
-
(2)
\({\hbox {Ric}}(X,V)=0\),
-
(3)
\({\hbox {Ric}}(V,W)=\hbox {Ric}_F(V,W)-\Big [\frac{\Delta \varphi }{\varphi }+(m-1)\frac{||\hbox {grad} \varphi ||^2}{\varphi ^2}\Big ]{g}(V,W)\),
for all horizontal vectors X, Y and vertical vectors V, W where \(\hbox {Hess} \varphi =\nabla \mathrm{d}\varphi \) denote the Hessian of a smooth function \(\varphi \) on \((B, g_B)\), \(m > 1\) is the dimension of \((F, g_F)\). Einstein and quasi Einstein manifolds are closely related to the warped products. For example, if \(B\times _{\varphi }F\) is an Einstein warped product, then \((B,g,f,\alpha )\) is quasi Einstein, with \(f=-\hbox {dim}F (\hbox {log} \varphi )\) and \(\alpha =\frac{1}{\mathrm{dim}F}\). Moreover, if we have a suitable fiber, the converse of this statement is also true. Thus, this is a natural way to construct a quasi Einstein manifolds and warped product metrics.
Additionally, if \(B\times _{\varphi } F\) satisfies \(\hbox {Ric}(X,Y)=\lambda g(X,Y)\) for all \(X,Y \in \chi (B)\), then the base manifold \((B,g_B,\nabla \varphi , -\frac{m}{\varphi }, \lambda )\) is the gradient \((-\frac{m}{\varphi })\) almost Ricci soliton. Conversely, if fiber \((F, g_F)\) is Einstein with \(\hbox {Ric}_F=\mu g_F\), then the necessary and sufficient condition for \(B\times _{\varphi } F\) to be an Einstein with \(\hbox {Ric} =\lambda g\) is that the base \((B, g_B)\) is a gradient \((-\frac{m}{\varphi })\)-almost Ricci soliton with potential function \(\varphi \) and soliton function \(\lambda \) satisfying \(\mu = \varphi \Delta \varphi + (m- 1)||\nabla \varphi ||^2 + \lambda \varphi ^2\).
Motivated by these results, in this study first we analyze the half-conformally flat (i.e., self-dual or anti-self-dual) four-dimensional gradient f-almost Ricci solitons (that is, throughout this study the function h is identified by the potential function f). Indeed, we restrict ourselves to the particular case in which h equals to the potential function f. In [15], half-conformally flat gradient Ricci almost solitons are investigated, showing that they are locally conformally flat in a neighborhood of any point where the gradient of the potential function is non-null. In opposition, if the gradient of the potential function is null, then the soliton is a Walker manifold. The first case corresponds to non-degenerate level hypersurfaces, whereas the second case corresponds to degenerate level hypersurfaces and gives rise to the isotropic solitons [15]. From the inspiration of these results, we will extend this problem to the gradient f-almost Ricci solitons. In the last part, we also give more physical applications of gradient Ricci solitons by using the standard static spacetime metric. We provide the characterizations of certain manifolds satisfying Ricci–Hessian class-type equations endowed with standard static spacetime metric, with respect to their fundamental equations.
2 Preliminaries
Let (M, g) be a pseudo-Riemannian manifold with Levi–Civita connection \(\nabla \). The curvature operator is defined by \(R(X,Y)=[\nabla _X,\nabla _Y]-\nabla _{[X,Y]}\), for any \(X,Y\in \chi (M)\). Then the Ricci tensor \(\hbox {Ric}\) and the scalar curvature r are defined by \(\hbox {Ric}(X,Y)=\hbox {trace}\{Z \rightarrow R(X,Y)Z\}\) and \(r =\hbox {trace}\{\hbox {Ric}\}\), respectively, where Q denotes the Ricci operator defined by \(g(QX, Y)=\hbox {Ric}(X,Y)\). As we mentioned before, \(\hbox {Hess}f\) denotes the Hessian tensor defined by \(\hbox {Hess}f (X,Y)=(\nabla _X\hbox {d}f )(Y)=XY(f ) - (\nabla _XY)(f )\).
2.1 Some Key Lemmas About Gradient f-Almost Ricci Solitons
First we give the following which will help us to characterize the gradient f-almost Ricci solitons.
Lemma 1
Let \((M^n, g, \nabla f, f, \lambda )\) be a gradient f-almost Ricci soliton. Then the following identities hold:
-
(1)
\(r+f\Delta f=\lambda n\)
-
(2)
\(\nabla r=-2 (\nabla f)\Delta f+2f\hbox {Ric}(\nabla f)+2hes_f(\nabla f)+2(n-1)\nabla \lambda \)
-
(3)
\(fR(X,Y,Z,\nabla f)=\mathrm{d}\lambda (X)g(Y,Z)-\mathrm{d}\lambda (Y)g(X,Z) - [\hbox {d}f(X)\hbox {Hess}f(Y,Z)-\hbox {d}f(Y)\hbox {Hess}f(X,Z)]-[(\nabla _X\hbox {Ric})(Y,Z)-(\nabla _Y\hbox {Ric})(X,Z)]\)
for all vector fields X, Y, Z on M.
Proof
Contracting the fundamental equation of \((M^n, g, \nabla f, f, \lambda )\), the first assertion is directly obtained. If we combine (1) with the Ricci identity, the second assertion can be verified. Thus, (1)–(2) and the Ricci identity yield the last relation.
\(\square \)
The Weyl tensor \(\mathcal {W}\) and the Cotton tensor C are defined as follows:
for all vector fields X, Y, Z on M. Then by using Eqs. (5) and (6) and Lemma 1, we can immediately obtain the following result that will be given without proof:
Lemma 2
Let \((M^n, g, \nabla f, f, \lambda )\) be a gradient f-almost Ricci soliton. Then
for all vector fields X, Y, Z on M.
2.2 Half-Conformal Flatness of 4-Dimesional Manifolds
Let \((V, <.,.>)\) be an inner product vector space and let \(<<.,.>>\) be the induced inner product on the space of two forms \(\Lambda ^2(V)\). For a given orientation \(vol_V\), the Hodge star operator \(*:\Lambda ^2(V)\rightarrow \Lambda (V)\) given by \(\alpha \wedge *\beta =<<\alpha ,\beta>>vol_V\) satisfies \(*^2=Id\) and induces a decomposition \(\Lambda ^2=\Lambda _{+}^2 \oplus \Lambda _{-}^2\), where \(\Lambda _{+}^2=\{\alpha \in \Lambda ^2: *\alpha =\alpha \}\) and \(\Lambda _{-}^2=\{\alpha \in \Lambda ^2: *\alpha =-\alpha \}\). \(\Lambda _{+}^2\) denotes the space of self-dual and \(\Lambda _{-}^2\) denotes the space of anti-self-dual two forms. Let \(W:\Lambda ^2(V)\rightarrow \Lambda (V)\) be the corresponding endomorphism associated to the Weyl conformal tensor. Then W can be decomposed under the action of \(SO(V,<.,.>)\) as \(W=W^{+} \oplus W^-\), where \(W^{+}=\frac{W+*W}{2}\) is the self-dual and \(W^{-}=\frac{W-*W}{2}\) is the anti-self-dual Weyl conformal curvature tensor. Half-conformally flat metrics are known as self-dual or anti-self-dual if \(W^{-} = 0\) or \(W^{+} = 0\), respectively.
We will use the following characterization of self-dual algebraic curvature tensors in sequel:
Lemma 3
[15] Let \((V, <.,.>)\) be an oriented four-dimensional inner product space of neutral signature. Then the following holds:
-
(1)
An algebraic curvature tensor R is self-dual if and only if for any positively oriented orthonormal basis \(\{e_1,e_2,e_3,e_4\}\) ,
$$\begin{aligned} W(e_1,e_i,X,Y)=\sigma _{ijk}\varepsilon _j\varepsilon _kW(e_j,e_k,X,Y), \quad \forall X,Y \in V \end{aligned}$$(8)for \(i,j,k\in \{2,3,4\}\), where \(\sigma _{ijk}\) denotes the signature of the corresponding permutation.
-
(2)
An algebraic curvature tensor R is self-dual if and only if for any positively oriented pseudo-orthonormal basis \(\{T,U,V,W\}\) (i.e., the non-zero inner products are \(<T,V>=<U,W>=1\)) and for every \(X,Y\in V\),
$$\begin{aligned} W(T,V,X,Y)=W(U,W,X,Y), \ \ W(T,W,X,Y)=0, \ \ W(U,V,X,Y)=0 \end{aligned}$$(9)for \(i,j,k\in \{2,3,4\}\), where \(\sigma _{ijk}\) denotes the signature of the corresponding permutation.
3 Half-Conformally Flat Gradient f-Almost Ricci Solitons
The aim of this section is to analyze four-dimensional half-conformally flat (i.e., self-dual or anti-self-dual) gradient f-almost Ricci solitons. Since we work at the local sets, let \(p\in M\) and orient (M, g) on a neighborhood of p so that it is self-dual.
3.1 Non-isotropic Case
First, we consider non-isotropic half-conformally flat gradient f-almost Ricci solitons. That is, \(||\nabla f||\ne 0\) so the level sets of f are non-degenerate hypersurfaces. Here, we also assume that \(\nabla f\) is of constant length. Since Cotton tensor is a constant multiple of divergence of Weyl tensor, by virtue of (7) and (8), we can express the self-duality condition as follows:
for \(i,j,k \in \{2,3,4\}\), where \(\varepsilon _i=<e_i,e_i>\). Since \(||\nabla f||\ne 0\), we can normalize \(\nabla f\) to be a unit and complete it to an orthonormal frame \(\{E_i:i=1,2,3,4\}\), where \(E_1=\frac{\nabla f}{||\nabla f||}\). Then, normalizing (10) with respect to this orthonormal frame, we obtain
Now, first putting \(Z=E_1\) in (11) and using the fact that \(||\nabla f||\) is non-zero constant, we get
which means that \(\nabla f\) is an eigenvector of the Ricci operator.
Next, putting \(Z=E_j\) in (11), we get
That is, the Ricci operator can be diagonalizable on the basis \(\{E_1,E_2,E_3,E_4\}\).
Finally, setting \(Z=E_i\) in (11), we obtain
In view of (14), the fundamental equation of gradient f-almost Ricci soliton yields
As a consequence of the last two equations, we obtain
where \(\gamma =\frac{f}{3f^2+6}[\hbox {Ric}(E_1,E_1)+3\lambda -r-2\frac{\Delta f}{f}]\). On the other hand, when \(i\ne j\), \(\hbox {Ric}(E_iE_j)=\frac{2}{f}\hbox {Hess}f(E_i,E_j)=0\). Thus, the level hypersurface of f is totally umbilical. Moreover, for \(i\in \{2,3,4\}\), \(\hbox {Hess}f(E_i,E_1)=g(\hbox {hes}_f(E_1),E_i)=0\) and so \(\hbox {hes}_f(E_1)=0\). Thus, the 1-dimensional distribution \(\hbox {Span}\{E_1\}\) is totally geodesic. Then, by using the reference [16], we conclude that (M, g) can be locally decomposed as a twisted product \(I\times _{\varphi }F\). Also, as the Ricci operator is diagonalizable, the twisted product reduces to a warped product (see [17]). That is, (M, g) is a 4-dimensional self-dual warped product manifold. Thus, it becomes also anti-self-dual. Therefore, it is necessarily locally conformally flat and as a consequence of this result, the fiber F becomes an Einstein manifold. Hence we can state the following theorem:
Theorem 1
Let (M, g, f) be a four-dimensional half-conformally flat gradient f-almost Ricci soliton of neutral signature. Then, if \(||\nabla f||=\)constant \(\ne 0\), then (M, g) is locally isometric to a warped product of the form \(I \times _{\varphi } N\), where \(I \subset \mathbb {R}\) and N is an Einstein manifold. Furthermore, (M, g) is locally conformally flat.
3.2 Isotropic Case
In this case, the level hypersurfaces of the potential function are now degenerate. That is, in contrast to the non-isotropic case, we have \(||\nabla f||=0\). But, as \(\nabla f \ne 0\), we can complete it to a local pseudo-orthonormal frame \(\mathcal {B}=\{\nabla f, U,V, W\}\), i.e., the only non-zero components of the metric g are
Since \(||\nabla f||=g(\nabla f, \nabla f)=0\), taking covariant derivative, we get for all \(X\in TM\), \(\hbox {Hess}f(\nabla f, X)=g(\hbox {hes}_f(\nabla f), X)=0\), which yields \(\hbox {hes}_f(\nabla f)=0\). Combining this with the fundamental equation of gradient f-almost Ricci soliton, we have
where Q is the Ricci operator. Thus, \(\nabla f\) is an eigenvector of the Ricci operator corresponding to the eigenvalue \(\lambda \).
Now, since (M, g, f) is half-conformally flat, without lose of generality we can assume that it is self-dual. Then by Eqs. (3) and (9), for the pseudo-orthonormal frame \(\mathcal {B}=\{\nabla f, U,V, W\}\), we have
for all X, Y. Setting \(Y=\nabla f\) in the first equation of (19) and using Eqs. (7) and (18), we get
Putting \(Y=\nabla f\) in the second equation of (19) and using Eqs. (7) and (18), we get \(W(U,W,X,\nabla f)=0\). Combining the last relation with (20), we have either \(r=4\lambda -2\frac{\Delta f}{f}\) or for all X, \(g(\nabla f,X)=0\). But the last one gives rise to \(\nabla f=0\), which is a contradiction. Thus, we get \(r=4\lambda -2\frac{\Delta f}{f}\).
Similarly, putting \(Y=\nabla f\) in the third equation of (19) and using Eqs. (7), (18) and the fundamental equation of the gradient f-almost Ricci soliton, we get
which shows that U is an eigenvector of the Ricci operator corresponding to the eigenvalue \(\lambda \).
Finally, putting \(X=V\) in the second equation of (19) and using Eqs. (7) and (18), we get
Now, putting \(Y=W\) and \(Y=\nabla f\) in (22) and using the fundamental equation, respectively, we obtain
As a consequence of these obtained results, the Ricci operator can be written as in the following form:
for some non-zero functions \(\alpha \) and \(\beta \) on M. Now, we set \(\mathcal {D}=\{\nabla f, U\}\), which is 2-dimensional null-distribution. Since \(\mathcal {B}=\{\nabla f, U,V, W\}\) is pseudo-orthonormal basis in which the only non-zero components of the metric \(g(\nabla f, V)= g(U,W)=1\), we have
Also, by using the fundamental equation of gradient f-almost Ricci soliton and (21), we have \(hes_f(U)=0\). Thus, we obtain
Therefore, \(\nabla \mathcal {D} \subset \mathcal {D}\), i.e., the distribution \(\mathcal {D}\) is invariant under the Levi–Civita connection \(\nabla \). Thus, \(\mathcal {D}\) is a null-parallel distribution and so \((M,g,f,\lambda )\) is locally a Walker manifold. Hence, we can state that:
Theorem 2
Let (M, g, f) be a four-dimensional half-conformally flat gradient f-almost Ricci soliton of neutral signature. Then if \(||\nabla f|| = 0\), then (M, g) is locally a Walker manifold, where \(r=4\lambda -2 \frac{\Delta f}{f}\).
Remark 1
From [18], if \(\hbox {dim}M=4\) and \(\hbox {dim}D=2\), the metric g of the Walker manifold (M, g, D) has the neutral signature \((-,-,+,+)\) and in suitable coordinates it has the form
for some function a(x, y, z, t), b(x, y, z, t) and c(x, y, z, t), where \(D=<\frac{\partial }{\partial x}, \frac{\partial }{\partial y}>\).
Some geometric properties of four-dimensional Walker metrics satisfying \(c=0\) and \(c=\)constant were investigated in [19, 20], respectively. Here we are interested in the particular case by choosing \(a=c=0\) in the metric g(x, y, z, t) and we construct the following:
Example 1
Let \(\{t,x,y,z\}\) be the local coordinates with respect to the local frame fields \(\{\partial _t,\partial _x,\partial _y,\partial _z\}\) and we consider the metric given by
for some smooth function b. Then by long and straightforward calculations, the non-zero components of the Riemannian curvature tensor Ricci tensor are as follows:
To construct a gradient f-almost Ricci soliton structure on \((M,g_f)\), by using (4), (26) and (28), we need to find the potential function f and soliton function \(\lambda \) satisfying following system of differential equations:
where all indices denote the partial derivatives with respect to corresponding coordinates.
First, without lose of generality, we assume that f depends only on y. Then, by the system (29), we obtain \(\lambda =0\), \( f=\alpha y +\beta \); for any \(\alpha ,\beta \in \mathbb {R}\), and b is a differentiable function of only y satisfying the resulting system of (29). Hence \((M,g_b, \nabla f,0)\) is the steady gradient f-almost Ricci soliton, where f and b are defined as above.
Secondly, to construct another explicit example we may consider f as a separable function of x and z. In this case, we assume that \(f(x,z)=xz\) and by the system (29), we obtain \(\lambda =xz\) and \(b=xy^2z+c\), for any \(c \in \mathbb {R}\), which yields the non-steady gradient f-almost Ricci soliton \((M, g_b, \nabla f, \lambda )\).
4 More Physical Results: Standard Static Spacetimes
First, to fix the notation, we may give a formal definition of standard static spacetime:
Definition 1
Let \((F, \bar{g} )\) be an n-dimensional Riemannian manifold and \(h : F \rightarrow (0,\infty )\) be a smooth function. Then \((n+1)\)-dimensional product manifold \(M=I\times F\) furnished with the metric tensor \(\tilde{g}= -h^2\hbox {d}t^2 \oplus \bar{g}\) is called a standard static spacetime (briefly SSS-time) and it is denoted by \(M=I_h \times F\), where \(\mathrm{d}t^2\) is the Euclidean metric tensor on I.
Here throughout this section, each object denoted by “tilde” is assumed to be from the SSS-time and each object denoted by “bar” is assumed to be from the fiber F. This is just the warped product \(F\times _fI \) with time coordinate written first. Thus, by contrast with a Robertson-Walker spacetime, space remains the same but time is warped [14]. These type of metrics play an important role in the search of solutions of the Einstein field equations so they have been previously studied by many authors. Two of the most famous examples of standard static spacetimes are the Minkowski spacetime and the Einstein’s static universe [21]. Another well-known examples are the universal covering space of anti-de Sitter spacetime and the Exterior Schwarzschild spacetime (for more details [22]).
In the late of 1980s, Besse [23] posed an important question about the construction of Einstein manifolds that have warped product structures. More recently, some necessary and sufficient conditions are obtained to construct Einstein warped product manifold. If it is more clearly stated, \((M\times N,{g})\) endowed with the metric \({g}=g_M\oplus e^{\frac{-2f}{m}}{g_N} \) is Einstein if and only if the fiber manifold is Einstein and the m-Bakery–Emery Ricci tensor of the base manifold is proportional to its metric, i.e., it is quasi Einstein [24]. Thus, it would be a very interesting idea to extend these studies to the generalizations of Ricci solitons having the standard static spacetime metric structure. This will be the point of view of this section.
The next lemma includes some geometrical objects such as the Levi–Civita connection and the Ricci tensor of the standard static spacetime metric:
Lemma 4
[14] Under the above notations, on the h-associated SSS-time, for any vector fields \(X,Y\in \chi (I)\) and \(U,V\in \chi (F)\), one has:
-
(i)
the only non-vanishing components of the Levi–Civita connection of \(\tilde{\nabla }\) of M are given by:
-
(1)
\(\tilde{\nabla }_XY=\nabla _XY-\frac{\tilde{g}(X,Y)}{h}\nabla h\),
-
(2)
\(\tilde{\nabla }_XV=\tilde{\nabla }_VX=(\frac{Vh}{h})X\), (3) \(\tilde{\nabla }_UV=\bar{\nabla }_UV\),
-
(1)
-
(ii)
the only non-vanishing components of the Ricci tensor of \(\tilde{\hbox {Ric}}\) of M are given by:
-
(1)
\(\tilde{\hbox {Ric}}(X,Y)=-h\Delta hg(X,Y)\),
-
(2)
\(\tilde{\hbox {Ric}}(U,V)=\bar{S}(U,V)-\frac{\hbox {Hess} h(U,V)}{h}\);
where \(\hbox {Hess} h\) and \(\Delta h\) denote the Hessian and Laplacian of h on F, respectively.
-
(1)
Moreover, the scalar curvature of \(I_h\times F\) is given by \(\tilde{r}=\bar{r}-2\frac{\Delta h}{h}\).
It is known that a smooth manifold \((M^n,g)\)\((n>2)\) is said to be generalized quasi Einstein manifold [9] if there exist three smooth functions \(f, \alpha \) and \(\lambda \) such that
which is simply denoted by \((M^n,g,\nabla f, \lambda )\). If \(\alpha =\frac{1}{m}\), for positive integer \(0<m<\infty \) then M is called an m-generalized quasi Einstein manifold. If in addition, \(\lambda \in \mathbb {R}\), then M reduces to an m-quasi Einstein manifold. Moreover, defining a function \(\varphi =e^{\frac{-f}{m}}\), we get \(\frac{m}{\varphi }\hbox {Hess}\varphi =-\hbox {Hess}f+\frac{1}{m}\hbox {d}f \otimes \hbox {d}f\). By using this relation in the fundamental equation, we obtain
Thus, all m-generalized quasi Einstein manifold is a gradient \((\frac{-m}{\varphi })\)-almost Ricci soliton. After this transformation, we can prove the following:
Theorem 3
Let \((M=I_h\times F, \tilde{g}, f,\lambda ) \) be an m-generalized quasi Einstein standard static spacetime. Then, the potential function f depends only on the fiber \((F,\bar{g})\) which satisfies the Ricci–Hessian class-type equation
Proof
Since \((M=I_h\times F, \tilde{g}, f,\lambda ) \) is an m-generalized quasi Einstein SSS-time, by (31) its Ricci tensor satisfies
In view of Eq. (33), Lemma 4-(ii) and the definition of the SSS-time metric, for all \(X\in \chi (I)\) and \(V\in \chi (F)\) we have \( (\tilde{\hbox {Hess}}\varphi )(X,V)=0\). Then, again by using Lemma 4-(i) we get the following separation for the tangential and the normal parts of the vectors
From the last row, since \(h>0\), we have either \(\hbox {d}h(V)=0\), for any \(V\in \chi (F)\) or \(g(X,\hbox {tan}(\hbox {grad}_{\tilde{g}}\varphi ))=0\). But the first case implies h is a constant, which makes the SSS-time trivial. Thus, we have \(g(X,\hbox {tan}(\hbox {grad}_{\tilde{g}}\varphi ))=0\), for all X. Therefore, the function \(\varphi \) and so the potential function f depends only on fiber. That is, \(\hbox {nor}(\hbox {grad}_{\tilde{g}}\varphi )=\hbox {grad}_{\bar{g}}\varphi \). Since \(g=-(\mathrm{d}t)^2\), we may choose \(X=Y=\partial _t\). Then, by (33), we obtain
from which following relation holds:
Similarly, for all \(V,W\in \chi (F)\), we get
Again, by the definition of the metric \(\tilde{g}\) and Lemma 4-(ii), (37) yields
Note that the following relation holds for any smooth function h;
If we take \(\psi =-lnh\), then by virtue of (39), (38) yields the equation (32). Hence the proof is completed. \(\square \)
Then, we shall actually prove a slightly stronger theorem, which is the converse case of the above theorem. This also allows us to obtain sufficient conditions about in which conditions we can get standard static metric structure:
Theorem 4
Let \((F^n,\bar{g}, f,-\frac{2\Delta h+h \Delta \varphi }{h})\) be a non-steady m-generalized quasi Einstein manifold. Then the standard static spacetime \((I_h\times F, \tilde{g}, \nabla \varphi , -\frac{2\Delta h+h \Delta \varphi }{h})\) is a gradient almost Ricci soliton, where \(\varphi =\frac{f}{2}\) and \(h=e^{-\varphi }\).
Proof
We assume that \((F^n,\bar{g}, f,\lambda )\) be a non-steady m-generalized quasi Einstein metric. Thus, we have
Define \(\varphi =\frac{f}{2}\), \(h=e^{\frac{-\varphi }{\alpha }}\) and let \(m=4\alpha \). Then, we get
Then, in view of (41), (40) can be written as follows (when \(\alpha =1\));
By virtue of (42) and Lemma 4, for all \(V,W\in \chi (F)\) the relation
holds. Since for all \(X\in \chi (I)\) and \(V\in \chi (F)\), \(\tilde{g}(X,V)=0\) and \(\tilde{\hbox {Ric}}(X,V)=0\), the relation
trivially holds. Also, from Lemma 4 and Theorem 3, for all \(X,Y\in \chi (M)\), i.e., \(X=Y=\partial _t\),
As \(\Delta h=\hbox {div}(\nabla h)\), from assumptions, we have \(\Delta h+\nabla \varphi (h)=-h\Delta \varphi \). Thus, if we choose the soliton constant \(\lambda =-\frac{2\Delta h+h \Delta \varphi }{h}\), the relation
also holds. Therefore, in each case \((I_h\times F, \tilde{g}, \nabla \varphi , -\frac{2\Delta h+h \Delta \varphi }{h})\) satisfies the fundamental equation of a gradient almost Ricci soliton, which completes the proof. \(\square \)
On the other hand, if we assume that \((I_h\times F^n,\tilde{g}, f, \lambda )\) is an m-generalized quasi Einstein SSS-time, by virtue of (41), we have
Additionally, we assume that \((F^n,\bar{g}, f, \lambda )\) satisfies the relation
Contracting (47), the scalar curvature is obtained as follows:
and so its differential is
Notice that for all smooth function \(\varphi \) and (0, 2)-tensor T, the following general facts are well known:
Taking divergence of (47) and using Eqs. (48), (51), (52) and the contracted second Bianchi Identity, we get \(\hbox {d}[\lambda h^2+h\Delta h+(\alpha -1)||\nabla h||^2-h\nabla \varphi (h)]=0\) and so for some constant \(c_0\), we have
Now, we consider the elliptic operator of second order given by
Then by virtue of (53), (54) yields
If we assume that h is bounded function which has maximum and minimum values at some points p and q on \(F^n\), respectively, then we have
If we take \(\lambda \leqslant 0\) such that \(\lambda (p)\leqslant \lambda (q)\), then by (53) and (56), we get
Now, if \(\lambda (q)\ne 0\), then by (57), we have \(h^2(p)\leqslant h^2(q)\) which implies for all \(p,q\in F\), \(h(p)=h(q)\). Therefore, h is constant and so is \(\lambda \). If \(\lambda (p)=0\), then by (53), \(c_0=0\). In this case, from (53) and (54) we obtain \(\varepsilon (h)\geqslant 0\). It is known that the Strong Maximum Principle tells us that for a solution of an elliptic equation, extrema can be attained in the interior if and only if the function is a constant. Hence we conclude that h is constant and so \(\lambda =0\). As h is constant, the potential function f of \((M=I_h\times F^n, \tilde{g},f, \lambda )\) is also constant. Thus, M is trivial.
Hence together with this result, we have obtained an answer to the question posed by Besse in [23], for m-generalized quasi Einstein manifolds with \(\lambda \leqslant 0\), which also extends the results obtained for the warped product manifolds in [25] to the standard static spacetimes. Therefore, we can state the following:
Corollary 1
Let \((M=I_h\times F^n, \tilde{g},f, \lambda )\) be an m-generalized quasi Einstein standard static spacetime satisfying (48) with bounded warping function h and \(\lambda \leqslant 0\) such that \(\lambda (p)\leqslant \lambda (q)\), where p and q are maximum and minimum points of h, respectively. Then, \((M=I_h\times F^n, \tilde{g},f, \lambda )\) is trivial Lorentzian product manifold.
References
Hamilton, R.S.: Three-manifolds with positive Ricci curvature. J. Differ. Geom. 17(2), 255–306 (1982)
Shi, W.-X.: Deforming the metric on complete Riemannian manifolds. J. Differ. Geom. 30(1), 223–301 (1989)
Case, J.S., Shu, Y., Wei, G.: Rigidity of quasi Einstein metrics. Differ. Geom. Appl. 29, 93–100 (2011)
Case, J.S., Shu, Y., Wei, G.: The non-existence of quasi Einstein metrics. Pac. J. Math. 248(2), 277–284 (2010)
Bejan, C.-L., Güler, S.: Laplace, Einstein and related equations. Mediter. J. Math. 16, 19 (2019). https://doi.org/10.1007/s00009-018-1283-9
Altay Demirbag, S., Güler, S.: Rigidity of \((m,\rho )\)-quasi Einstein manifolds. Match. Nachr. 290(14–15), 2100–2110 (2017)
Huang, G., Wei, Y.: The classification of \((m,\rho )-\)quasi Einstein manifolds. Ann. Glob. Anal. Geom. 44, 269–282 (2013)
Ghosh, A.: (m, \(\rho \))-quasi Einstein metrics in the frame work of \(K\)-contact manifold. Math. Phys. Anal. Geom. 17, 369–376 (2014)
Catino, G.: Generalized quasi Einstein manifolds with harmonic Weyl tensor. Math. Z. 271, 751–756 (2012)
Güler, S., Altay Demirbag, S.: On warped product manifolds satisfying Ricci–Hessian class type equations. Publications de l’Institute Mathematique 103(117), 69–75 (2018)
Mirshafeazadeh, M.A., Bidabad, B.: On the Rigidity of Generalized Quasi-Einstein Manifolds. Bull. Malays. Math. Sci. Soc. (2019). https://doi.org/10.1007/s40840-019-00788-8
Gomes, J.N., Wang, Q., Xia, C.: On the \(h\)-almost Ricci soliton. J. Geom. Phys. 114, 216–222 (2017)
Yun, G., Co, J., Hwang, S.: Bach-flat \(h\)-almost gradient Ricci solitons. Pac. J. Math. 288(2), 475–488 (2017)
O’Neill, B.: Semi-Riemannian Geometry. Academic Press, London (1983)
Brozos-Vázquez, M., García-Río, E., Valle-Regueiro, X.: Half conformally flat gradient Ricci almost solitons. Proc. R. Soc. A 472, 20160043 (2016)
Ponge, R., Reckziegel, H.: Twisted products is pseudo-Riemannian geometry. Geom. Dedicata 48, 15–25 (1993)
Lopez, M.F., Garcio-Rio, E., Kupeli, D.N., Vazquez-Lorenzo, R.: A curvature condition for a twisted product to be a warped product. Manuscripta Math. 106, 213–217 (2001)
Brozos-Vazquez, M., Garcia-Rio, E., Gilkey, P., Nikcevic, S., Vazquez-Lorenzo, R.: The Geometry of Walker Manifolds. Synthesis Lectures on Mathematics and Statistics, vol. 5. Morgan and Claypool Publ, San Rafael (2009)
Batat, W., Calvaruso, G., de Leo, B.: On the geometry of four-dimensional Walker manifolds. Rendiconti di Matematica, Serie VII 29, 163–173 (2008)
Azimpour, S., Chaichi, M., Toomanian, M.: A note on 4-dimensional locally conformally flat Walker manifolds. J. Contemp. Math. Anal. 42(5), 270–277 (2007)
Beem, J.K., Ehrlich, P.E., Easley, K.L.: Global Lorentzian Geometry, 2nd edn. Marcel Dekker, New York (1996)
Dobarro, F., Ünal, B.: Special standard static spacetimes. Nonlinear Anal. Theory Methods Appl. 59(5), 759–770 (2004)
Besse, A.L.: Einstein manifolds. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) 10. Springer, Berlin (1987)
Kim, D.S., Kim, Y.H.: Compact Einstein warped product spaces with nonpositive scalar curvature. Proc. Am. Math. Soc. 131(8), 2573–2576 (2003)
Feitosa, F. E. S, Freitas, A. A., Gomes, J. N. V., Pina, R. S.: On the construction of gradient almost Ricci Soliton warped product (2015). arXiv:1507.03038v1 [math.DG]
Acknowledgements
The author would like to thank anonymous referees for all their useful remarks and comments. Also, the author is supported by The Scientific and Technological Research Council of Turkey (TÜBİTAK) BIDEB-2218 postdoctoral programme (Grant No. 1929B011800249).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Young Jin Suh.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Güler, S. On a Class of Gradient Almost Ricci Solitons. Bull. Malays. Math. Sci. Soc. 43, 3635–3650 (2020). https://doi.org/10.1007/s40840-020-00889-9
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-020-00889-9
Keywords
- Ricci soliton
- Gradient Ricci soliton
- Gradient h-almost Ricci soliton
- Half-conformally flat manifold
- Walker manifold
- Standard static spacetime metric