Turkish Journal of Mathematics 
Volume 38 Number 2 Article 16 
1-1-2014 
On generalized Robertson--Walker spacetimes satisfying some 
curvature condition 
KADRİ ARSLAN 
RYSZARD DESZCZ 
RIDVAN EZENTAŞ 
MARIAN HOTLOS 
CENGİZHAN MURATHAN 
Follow this and additional works at: https://journals.tubitak.gov.tr/math 
 Part of the Mathematics Commons 
Recommended Citation 
ARSLAN, KADRİ; DESZCZ, RYSZARD; EZENTAŞ, RIDVAN; HOTLOS, MARIAN; and MURATHAN, 
CENGİZHAN (2014) "On generalized Robertson--Walker spacetimes satisfying some curvature condition," 
Turkish Journal of Mathematics: Vol. 38: No. 2, Article 16. https://doi.org/10.3906/mat-1304-3 
Available at: https://journals.tubitak.gov.tr/math/vol38/iss2/16 
This Article is brought to you for free and open access by TÜBİTAK Academic Journals. It has been accepted for 
inclusion in Turkish Journal of Mathematics by an authorized editor of TÜBİTAK Academic Journals. For more 
information, please contact academic.publications@tubitak.gov.tr. 
Turkish Journal of Mathematics Turk J Math
(2014) 38: 353 – 373
http :// journa l s . tub i tak .gov . t r/math/
⃝c TÜBİTAK
Research Article doi:10.3906/mat-1304-3
On generalized Robertson–Walker spacetimes satisfying some curvature condition
Kadri ARSLAN1,∗, Ryszard DESZCZ2, Ridvan EZENTAS1 3. , Marian HOTLOŚ ,
Cengizhan MURATHAN1
1Department of Mathematics, Art and Science Faculty, Uludaǧ University, Bursa, Turkey
2Department of Mathematics, Wroc law University, of Environmental, and Life Sciences 50-357 Wroc law, Poland
3Institute of Mathematics, and Computer Science, Wroc law University, of Technology, 50-350 Wroc law, Poland
Received: 02.04.2013 • Accepted: 19.10.2013 • Published Online: 27.01.2014 • Printed: 24.02.2014
Abstract: We give necessary and sufficient conditions for warped product manifolds (M, g) , of dimension ⩾ 4, with
1-dimensional base, and in particular, for generalized Robertson–Walker spacetimes, to satisfy some generalized Einstein
metric condition. Namely, the difference tensor R·C−C ·R , formed from the curvature tensor R and the Weyl conformal
curvature tensor C , is expressed by the Tachibana tensor Q(S,R) formed from the Ricci tensor S and R . We also
construct suitable examples of such manifolds. They are quasi-Einstein, i.e. at every point of M rank (S−αg) ⩽ 1, for
some α ∈ R , or non-quasi-Einstein.
Key words: Warped product, generalized Robertson–Walker spacetime, Einstein manifold, quasi-Einstein manifold,
essentially conformally symmetric manifold, Tachibana tensor, generalized Einstein metric condition, pseudosymmetry
type curvature condition, Ricci-pseudosymmetric hypersurface
1. Introduction
A semi-Riemannian manifold (M, g), n = dimM ⩾ 3, is said to be an Einstein manifold if at every point its
Ricci tensor S is proportional to the metric tensor g , i.e. on M we have
κ
S = g , (1)
n
where κ is the scalar curvature of (M, g). In particular, if S vanishes identically on M then (M, g) is called
a Ricci flat manifold. If at every point of M its Ricci tensor satisfies rankS ⩽ 1 then (M, g) is called a
Ricci-simple manifold (see, e.g., [31, 41]).
Let (M, g), n ⩾ 3, be a semi-Riemannian manifold and let US be the set of all points of M at which
S ̸= κn g . The manifold (M, g), n ⩾ 3, is said to be quasi-Einstein (see, e.g., [56] and [22] and references
therein) if at every point of US ⊂ M we have rank (S − α g) = 1, for some α ∈ R .
For the curvature tensor R and the Weyl conformal curvature tensor C of (M, g), n ⩾ 4, we can define
on M the (0, 6)-tensors R ·C and C ·R . For precise definition of the symbols used, we refer to Sections 2 and
3 of this paper, as well as to [5, 22, 24, 32]. It is obvious that for any Ricci flat, as well as conformally flat,
semi-Riemannian manifold (M, g), n ⩾ 4, we have R ·C −C ·R = 0. For non-Ricci flat Einstein manifolds the
∗Correspondence: arslan@uludag.edu.tr
2010 AMS Mathematics Subject Classification: Primary 53B20, 53B30, 53B50; Secondary 53C25, 53C50, 53C80.
353
ARSLAN et al./Turk J Math
tensor R · C − C ·R is nonzero. Namely, any Einstein manifold (M, g), n ⩾ 4, satisfies ([32], Theorem 3.1)
· − · κ κR C C R = Q(g,R) = Q(g, C) , (2)
(n− 1)n (n− 1)n
i.e. at every point of M the difference tensor R · C − C · R and the Tachibana tensor Q(g,R), or Q(g, C),
are linearly dependent. We also mention that for any semi-Riemannian manifold (M, g), n ⩾ 4, we have
some identity (see Eq. (32)) that expresses the tensor R · C − C · R by some (0, 6)-tensors. In particular, by
making use of that identity we can express the difference tensor of some hypersurfaces in space forms by a linear
combination of the Tachibana tensors Q(g,R) and Q(S,R) ([24], Theorem 3.2; see also our Theorem 6.1(ii)
and Proposition 4.1).
We can also investigate semi-Riemannian manifolds (M, g), n ⩾ 4, for which the difference tensor
R · C − C · R is expressed by one of the following Tachibana tensors: Q(g,R), Q(g, C), Q(S,R), or Q(S,C).
In this way we obtain 4 curvature conditions. The first results related to those conditions are given in [32]. We
refer to [22] for a survey on this subject. Since these conditions are satisfied on any semi-Riemannian Einstein
manifold, they can be named generalized Einstein metric conditions (cf. [6], Chapter 16). In particular, (2) is
also a condition of this kind and in Section 2 we present results on manifolds satisfying
R · C − C ·R = L1 Q(g,R) . (3)
In this paper we restrict our investigations to non-Einstein and nonconformally flat semi-Riemannian manifolds
(M, g), n ⩾ 4, satisfying on U = {x ∈ M : Q(S,R) ̸= 0 at x} the condition
R · C − C ·R = LQ(S,R) , (4)
where L is some function on this set. We recall that at all points of a semi-Riemannian manifold (M, g), n ⩾ 3,
at which its Ricci tensor S is nonzero and Q(S,R) = 0, we have ([9], Theorem 4.1)
R ·R = 0 , (5)
i.e. such a manifold is semisymmetric. We also recall that if
R · S = 0 (6)
holds on a semi-Riemannian manifold then it is called Ricci-semisymmetric. The condition (4), under some
additional assumptions, was considered in [45] (see Theorem 2.2 of this paper).
Our main results are related to warped products M ×F Ñ with 1-dimensional base manifold (M, ḡ)
satisfying (4). Evidently, generalized Robertson–Walker spacetimes are warped products of this kind. We inves-
tigate separately 2 cases where the fiber (Ñ , g̃) is either non-Einstein or Einstein manifold. In the first case, in
Section 4, we prove that the associated function L satisfies L = 1n−2 and we show that the warping function F
is a polynomial of the second degree. Moreover, (Ñ , g̃) satisfies some curvature condition presented by (46) (see
Theorems 4.1 and 4.2). Furthermore, in the second case (see Section 5), i.e. when M ×F Ñ is a quasi-Einstein
manifold, we show that also L = 1n−2 and F is a polynomial of the second degree (see Theorem 5.1). Based
on these results, in Section 6 we give examples of warped products satisfying (4). In particular, we construct
354
ARSLAN et al./Turk J Math
an example of a warped product manifold satisfying (4) having non-Einstein fiber realizing (46). Finally, we
mention that recently hypersurfaces in space forms having the tensor R ·C−C ·R expressed by some Tachibana
tensors were investigated in [26].
2. Preliminaries
Throughout this paper all manifolds are assumed to be connected paracompact manifolds of class C∞ . Let
(M, g) be an n-dimensional semi-Riemannian manifold and let ∇ be its Levi-Civita connection and X(M) the
Lie algebra of vector fields on M . We define on M the endomorphisms X ∧A Y and R(X,Y ) of X(M) by
(X ∧A Y )Z = A(Y,Z)X −A(X,Z)Y ,
R(X,Y )Z = ∇X∇Y Z −∇Y ∇XZ −∇[X,Y ]Z ,
respectively, where A is a symmetric (0, 2)-tensor on M and X,Y, Z ∈ X(M). The Ricci tensor S , the
Ricci operator S , and the scalar curvature κ of (M, g) are defined by S(X,Y ) = tr{Z → R(Z,X)Y } ,
g(SX,Y ) = S(X,Y ), and κ = tr S , respectively. The endomorphism C(X,Y ) is defined by
C 1 κ(X,Y )Z = R(X,Y )Z − (X ∧g SY + SX ∧− g
Y − X ∧
− g
Y )Z ,
n 2 n 1
assuming that n ⩾ 3. Now the (0, 4)-tensor G , the Riemann-Christoffel curvature tensor R , and the Weyl
conformal curvature tensor C of (M, g) are defined by
G(X1, X2, X3, X4) = g((X1 ∧g X2)X3, X4) ,
R(X1, X2, X3, X4) = g(R(X1, X2)X3, X4) ,
C(X1, X2, X3, X4) = g(C(X1, X2)X3, X4) ,
respectively, where X1, X2, . . . ∈ X(M). Furthermore, we define the following sets: UR = {x ∈ M : R ̸=
κ
(n−1)nG at x} , US = {x ∈ M : S ̸=
κ
ng at x} , and UC = {x ∈ M : C ̸= 0 at x} . It is easy to see that
US ∪ UC = UR .
Let B(X,Y ) be a skew-symmetric endomorphism of X(M) and let B be a (0, 4)-tensor associated with
B(X,Y ) by
B(X1, X2, X3, X4) = g(B(X1, X2)X3, X4) . (7)
The tensor B is said to be a generalized curvature tensor if
B(X1, X2, X3, X4) +B(X2, X3, X1, X4) +B(X3, X1, X2, X4) = 0 ,
B(X1, X2, X3, X4) = B(X3, X4, X1, X2) .
Let B(X,Y ) be a skew-symmetric endomorphism of X(M) and let B be the tensor defined by (7). We
extend the endomorphism B(X,Y ) to derivation B(X,Y )· of the algebra of tensor fields on M , assuming that
it commutes with contractions and B(X,Y ) · f = 0, for any smooth function f on M . Now for a (0, k)-tensor
field T , k ⩾ 1, we can define the (0, k + 2)-tensor B · T by
(B · T )(X1, . . . , Xk;X,Y ) = (B(X,Y ) · T )(X1, . . . , Xk)
= −T (B(X,Y )X1, X2, . . . , Xk)− · · · − T (X1, . . . , Xk−1,B(X,Y )Xk) .
355
ARSLAN et al./Turk J Math
In addition, if A is a symmetric (0, 2)-tensor then we define the (0, k+2)-tensor Q(A, T ), named a Tachibana
tensor ([26]), by
Q(A, T )(X1, . . . , Xk;X,Y ) = (X ∧A Y · T )(X1, . . . , Xk)
= −T ((X ∧A Y )X1, X2, . . . , Xk)− · · · − T (X1, . . . , Xk−1, (X ∧A Y )Xk) .
In this manner we obtain the (0, 6)-tensors B ·B and Q(A,B). Setting in the above formulas B = R or B = C ,
T = R or T = C or T = S , A = g or A = S , we get the tensors R ·R , R ·C , C ·R , R ·S , Q(g,R), Q(S,R),
Q(g, C), and Q(g, S).
Let Bhijk , Thijk , and Aij be the local components of generalized curvature tensors B and T and a
symmetric (0, 2)-tensor A on M , respectively, where h, i, j, k, l,m, p, q ∈ {1, 2, . . . , n} . The local components
(B · T )hijklm and Q(A, T )hijklm of the tensors B · T and Q(A, T ) are the following:
(B · T ) pqhijklm = g (TpijkBqhlm + ThpjkBqilm + ThipkBqjlm + ThijpBqklm) ,
Q(A, T )hijklm = AhlTmijk +AilThmjk +AjlThimk +AklThijm
− AhmTlijk −AimThljk −AjmThilk −AkmThijl . (8)
For a symmetric (0, 2)-tensor E and a (0, k)-tensor T , k ⩾ 2, we define their Kulkarni–Nomizu product E∧T
by (see, e.g., [21])
(E ∧ T )(X1, X2, X3, X4;Y3, . . . , Yk)
= E(X1, X4)T (X2, X3, Y3, . . . , Yk) + E(X2, X3)T (X1, X4, Y3, . . . , Yk)
−E(X1, X3)T (X2, X4, Y3, . . . , Yk)− E(X2, X4)T (X1, X3, Y3, . . . , Yk) .
According to [26], the tensor E ∧ T is called a Kulkarni–Nomizu tensor. Clearly, the tensors R , C , G , and
E ∧ F , where E and F are symmetric (0, 2)-tensors, are generalized curvature tensors.
A semi-Riemannian manifold (M, g), n ⩾ 3, is said to be locally symmetric if ∇R = 0 holds on M .
It is obvious that the last condition leads immediately to the integrability condition (5). Manifolds satisfying
(5) are called semisymmetric ([58, 59]). Riemannian semisymmetric manifolds were classified in [58] and [59].
Non-Riemannian semi-Riemannian manifolds (M, g), n ≥ 4, with parallel Weyl tensor (∇C = 0), which are
in addition nonlocally symmetric (∇R ̸= 0) and nonconformally flat (C ̸= 0) are called essentially conformally
symmetric manifolds, e.c.s. manifolds, in short ([13]–[18]). E.c.s. manifolds are semisymmetric (see, e.g.,
[13, 14]). In Remark 6.1(v) we present more details related to those manifolds. Another important subclass
of semisymmetric manifolds, investigated recently, form second-order symmetric manifolds [7, 55], i.e. semi-
Riemannian manifolds satisfying ∇∇R = 0. As a weaker condition than (5) there is
R ·R = LRQ(g,R) , (9)
which is considered on UR ⊂ M , and hence LR is a function uniquely determined on this set. On M \ UR we
have R · R = Q(g,R) = 0. We note that Q(g,R) = 0 at a point if and only if R = κ(n−1)nG at this point. A
semi-Riemannian manifold (M, g), n ⩾ 3, is said to be pseudosymmetric if (9) holds on UR ⊂ M [5, 19, 28, 43].
356
ARSLAN et al./Turk J Math
A semi-Riemannian manifold (M, g), n ⩾ 3, is said to be Ricci-symmetric if ∇S = 0 holds on M . It
is obvious that the last condition leads immediately to the integrability condition (6). Manifolds satisfying (6)
are called Ricci-semisymmetric. As a weaker condition than (6) there is
R · S = LSQ(g, S) , (10)
which is considered on US ⊂ M , and hence LS is a function uniquely determined on this set. On M \ US we
have R · S = Q(g, S) = 0. We note that Q(g, S) = 0 at a point if and only if (1) holds at this point (cf. [9],
Lemma 2.1 (i)). A semi-Riemannian manifold (M, g), n ⩾ 3, is said to be Ricci-pseudosymmetric if (10) holds
on US ⊂ M [5, 19, 28, 46].
Every locally symmetric, resp. semisymmetric and pseudosymmetric, manifold is Ricci-symmetric, resp.
Ricci-semisymmetric and Ricci-pseudosymmetric. In all cases, the converse statements are not true. We refer
to [5, 22, 28, 44] for a wider presentation of results related to these classes of manifolds.
A geometric interpretation of (9), resp. (10), is given in [43], resp. in [46]. Semi-Riemannian manifolds
for which their curvature tensor R is expressed by a linear combination of the Kulkarni–Nomizu tensors S ∧S ,
g∧S , and G are called Roter-type manifolds; see, e.g., [36] and references therein. Precisely, a semi-Riemannian
manifold (M, g), n ⩾ 4, is said to be a Roter-type manifold if
ϕ
R = S ∧ S + µ g ∧ S + η G (11)
2
holds on the set U1 of all points of US ∩ UC ⊂ M at which rank (S − α g) ⩾ 2, for every α ∈ R . It is easy
to prove that the functions ϕ , µ , and η are uniquely determined on U1 . Using (11) and suitable definitions
we can verify that on U1 the condition (9) is satisfied (e.g., see [36], Eqs. (7) and (8); [22], Theorem 6.7)
with L −1R = ϕ ((n − 2)(µ2 − ϕη) − µ), and that the difference tensor R · C − C · R is expressed on U1 by a
linear combination of the tensors Q(S,R), Q(g,R), and Q(S,G) ([24], Eq. (47)), or, equivalently, by a linear
combination of the tensors Q(g,R) and Q(S,G) ([24], Eq. (48)).
Semi-Riemannian manifolds (M, g), n ⩾ 4, satisfying (3) on US ∩ UC ⊂ M were investigated in [31].
Among other results in that paper it was proven that: (i) R ·C = C ·R = 0 and rankS = 1 hold on US ∩UC ,
provided that (M, g) is a quasi-Einstein manifold; and (ii) (11), with some special coefficients ϕ, µ, η such that
R ·R = 0, and C ·R = −L1 Q(g,R) hold on US ∩ UC , provided that (M, g) is a non-quasi-Einstein manifold.
We also mention that manifolds satisfying
C ·R = LQ(g,R) (12)
were investigated in [50]. Furthermore, we have
Theorem 2.1 ([32], Theorem 4.1 and Corollary 4.1) Let (M, g) , n ≥ 4 , be a semi-Riemannian mani-
fold. If R ·C −C ·R = LQ(g, C) holds on US ∩ UC ⊂ M , for some function L , then R ·R = LQ(g,R) and
C ·R = 0 on this set. In particular, if R ·C = C ·R holds on US ∩ UC then R ·R = R ·C = C ·R = 0 on
this set.
As we remarked in Section 1, manifolds satisfying (4) were investigated in [45]. We have
357
ARSLAN et al./Turk J Math
Theorem 2.2 ([45], Theorem 3.1 and Proposition 3.1) (i) Let (M, g) , n ⩾ 4 , be a nonconformally flat
and non-Einstein Ricci-semisymmetric manifold satisfying (4). Then on the set consisting of all points of M
at which L is nonzero we have L = 1n−2 and
R(S κX, Y, Z,W ) = R(X,Y, Z,W ) . (13)
n− 1
(ii) Let (M, g) , n ⩾ 4 , be a semi-Riemannian manifold satisfying (13). Then (M, g) is a Ricci-semisymmetric
manifold fulfilling (4) with L = 1n−2 .
We mention that hypersurfaces isometrically immersed in spaces of constant curvature having the tensor
R · C expressed by a linear combination of the Tachibana tensors Q(g,R), Q(S,R), and Q(S,G) were
investigated in [40].
Quasi-Einstein hypersurfaces isometrically immersed in spaces of constant curvature were investigated in
[33, 41]; see also the references therein. In particular, in [33] an example of a quasi-Einstein hypersurface in a
semi-Riemannian space of constant curvature was found. More precisely, in that paper it was shown that some
warped product M ×F Ñ , with dimM = 1 and dim Ñ ⩾ 4, can be locally realized as a nonpseudosymmetric
Ricci-pseudosymmetric quasi-Einstein hypersurface in a semi-Riemannian space of constant curvature. The
difference tensor of that hypersurface is expressed by a linear combination of the tensors Q(g,R) and Q(S,R).
3. Warped product manifolds
Warped products play an important role in Riemannian geometry (see, e.g., [49, 51]) as well as in general
relativity theory (see, e.g., [3, 4, 34, 51]). Many well-known spacetimes of this theory, i.e. solutions of the
Einstein field equations, are warped products, e.g., the Schwarzschild, Kottler, Reissner–Nordström, Reissner–
Nordström–de Sitter, and Vaidya, as well as Robertson–Walker, spacetimes. We recall that a warped product
M ×F Ñ of a 1-dimensional manifold (M, ḡ), ḡ11 = −1, and a 3-dimensional Riemannian space of constant
curvature (Ñ , g̃), with a warping function F , is said to be a Robertson–Walker spacetime (see, e.g., [3, 4, 51, 57]).
It is well-known that the Robertson–Walker spacetimes are conformally flat quasi-Einstein manifolds. More
generally, one also considers warped products M ×F Ñ of (M, ḡ), dim M = 1, ḡ11 = −1, with a warping
function F and (n − 1)-dimensional Riemannian manifold (Ñ , g̃), n ⩾ 4. Such warped products are called
generalized Robertson–Walker spacetimes [1, 2, 38, 53, 54]. Curvature conditions of pseudosymmetry type on
such spacetimes have been considered among others in [8, 9, 10, 12, 35, 36, 37, 42, 48]. We also mention that
Einstein generalized Robertson–Walker spacetimes were classified in [2]. From (1) and (2) we immediately get
the following:
Theorem 3.1 On any Einstein manifold (M, g) , n ⩾ 4 we have
· − · 1R C C R = Q(S,R) . (14)
n− 1
In particular, (14) holds on any Einstein generalized Robertson–Walker spacetime.
Let now (M, ḡ) and (Ñ , g̃), dim M = p , dim Ñ = n − p , 1 ⩽ p < n , be semi-Riemannian manifolds.
Let F : M → R+ be a positive smooth function on M . The warped product manifold, or in short warped
358
ARSLAN et al./Turk J Math
product, M ×F Ñ of (M, ḡ) and (Ñ , g̃) is the product manifold M × Ñ with the metric g = ḡ×F g̃ defined by
ḡ ×F g̃ = π∗1 ḡ + (F ◦ π1)π∗2 g̃ , where π1 : M × Ñ −→ M and π2 : M × Ñ −→ Ñ are the natural projections on
M and Ñ , respectively. With respect to Corollary 3.1, in this paper we consider non-Einstein warped products
M ×F Ñ with 1-dimensional base manifold (M, ḡ) and an (n− 1)-dimensional fiber (Ñ , g̃), n ⩾ 4.
Let {U × Ṽ ;x1, x2 = y1, . . . , xn = yn−1} be a product chart for M × Ñ , where {U ;x1} and {Ṽ ; yα}
are systems of charts on (M, ḡ) and (Ñ , g̃), respectively. The local components of the metric g = ḡ ×F g̃ with
respect to this chart are the following: g11 = ḡ11 = ε = ±1, ghk = F g̃αβ if h = α and k = β , and ghk = 0
otherwise, α, β, γ, · · · ∈ {2, . . . , n} and h, i, j, k . . . ∈ {1, 2, . . . , n} . We will denote by bars (resp., by tildes)
tensors formed from ḡ (resp., g̃ ). It is known that the local components Γhij of the Levi-Civita connection ∇
of M ×F Ñ are the following (see, e.g., [49, 35]):
Γ1
ε
11 = 0 , Γ
α α 1 ′
βγ = Γ̃βγ , Γαβ = − F g̃αβ ,2
Γα
1 ′ α ∂F
aβ = F δβ , Γ
1
α1 = Γ
α
11 = 0 , F
′ = ∂1F = . (15)
2F ∂x1
The local components Rhijk of the curvature tensor R and the local components Shk of the Ricci tensor S of
M ×F Ñ , which may not vanish identically, are the following (see, e.g., [20, 35]):
1 tr T ∆1F
Rα11β = − T11 g̃αβ = − g11g̃αβ , Rαβγδ = F (R̃αβγδ − G̃αβγδ) , (16)
2 2 4F
n− 1 (− − tr T ∆1F )S11 = T11 , Sαβ = S̃αβ + (n− 2) g̃αβ , (17)
2F 2 4F
(F ′)2 ( ′ 2
T = F ′′
)
− , tr T = ḡ11 ′′ − (F )11 T11 = ε F ,
2F 2F
∆1F = ∆ F = ḡ
11(F ′)2 = ε(F ′1ḡ )
2 . (18)
The scalar curvature κ of M ×F Ñ satisfies the following relation:
1 ( ( ∆ F ))1
κ = κ̃− (n− 1) tr T + (n− 2) . (19)
F 4F
Using (8), (16), and (17) we can check that the local components Q(g,R)hijklm and Q(S,R)hijklm of
the Tachibana tensors Q(g,R) and Q(S,R), which may not vanish identically, are the following:
( tr T ∆1F )
Q(g,R)1βγδ1µ = Fg11 R̃µβγδ + ( − )G̃µβγδ , (20)
2 4F
Q(g,R) 2αβγδλµ = F Q(g̃, R̃)αβγδλµ , (21)
359
ARSLAN et al./Turk J Math
tr T (
Q(S,R)1βγδ1µ = − g11 (n− 1)R̃µβγδ − g̃βγ S̃δµ + g̃βδS̃γµ
2
tr T )
+ ( − ∆1F )G̃µβγδ , (22)
2 4F
− tr TQ(S,R)1β1δλµ = g11 Q(g̃, S̃)βδλµ , (23)
2
Q(S,R)αβγδλµ = F Q(S̃, R̃)αβγδλµ −
∆1F
Q(S̃, G̃)αβγδλµ
( 4
− tr T (n− 2)∆1F
)
F + Q(g̃, R̃)αβγδλµ . (24)
2 4F
Let V be the (0, 4)-tensor with the local components
V lm lhijk = g ShlRmijk = Sh Rlijk . (25)
Using (16) and (17) we can verify that the only nonzero components of this tensor are the following:
n− 1 n− 1
V1βγ1 = (tr T()T11g̃βγ = (tr T )
2 g11g̃βγ ,
4F 4F
tr T ( ) )
Vα11δ = − g11 S̃αδ −
tr T (n− 2)∆1F
+ g̃αδ ,
2F ( 2 4Ftr T (n− 2)∆1F ) ∆1F
Vαβγδ = S̃
ϵ
α R̃ϵβγδ − + R̃αβγδ − (g̃βγ S̃αδ − g̃βδS̃αγ)
( 2 4F 4Ftr T (n− 2)∆1F )∆1F
+ + G̃αβγδ . (26)
2 4F 4F
The last equality yields
Vαβγδ + Vβαγδ = S̃
ϵ
α R̃
ϵ
ϵβγδ + S̃β R̃ϵαγδ
−∆1F (g̃βγ S̃αδ − g̃βδS̃αγ + g̃αγ S̃βδ − g̃αδS̃βγ)
4F
· − ∆1F= (R̃ S̃)αβγδ Q(g̃, S̃)αβγδ . (27)
4F
Let P be a (0, 6)-tensor with local components
Phijklm = ghlVmijk − ghmVlijk − gilVmhjk + gimVlhjk + gjlVmkhi − gjmVlkhi
− gklVmjhi + gkmVljhi − gij(Vhklm + Vkhlm)− ghk(Vijlm + Vjilm)
+ gik(Vhjlm + Vjhlm) + ghj(Viklm + Vkilm) . (28)
360
ARSLAN et al./Turk J Math
The local components of P , which may not vanish identically, are the following:
( tr T ∆1F )
P1β1δλµ = g11((R̃ · S̃)βδλµ + ( − )Q(g̃, S̃)βδλµ , (29)( 2 4F
ϵ − tr T (n− 2)∆1F
)
P1βγδ1µ = g11 S̃µ R̃ϵβγδ + R̃µβγδ2 4F
tr T − ∆1F+ ( )(g̃βγ S̃δµ − g̃βδS̃γµ)
( 2 4F
− ∆1F 2 − (tr T )
2
− (n− 3)tr T ∆1F
) )
+ (n 2)( ) G̃µβγδ , (30)
4F 4 2 4F
(
Pαβγδλµ = F g̃αλVµβγδ − g̃αµVλβγδ − g̃βλVµαγδ + g̃βµVλαγδ + g̃γλVµδαβ
− g̃γµVλδαβ − g̃δλVµγαβ + g̃δµVλγαβ − g̃βγ(Vαδλµ + Vδαλµ) )
− g̃αδ(Vβγλµ + Vγβλµ) + g̃βδ(Vαγλµ + Vγαλµ) + g̃αγ(Vβδλµ + Vδβλµ) . (31)
4. Warped products with non-Einsteinian fiber
Since we investigate non-Einstein and nonconformally flat manifolds satisfying (4), we restrict our considerations
to the set U = U ∩ US ∩ UC .
We assume that the warped product M ×F Ñ satisfies (4) and the fiber (Ñ , g̃) is not Einsteinian. Now
we shall use the following identity, which holds on any semi-Riemannian manifold ([24], Section 4):
κ
(n− 2)(R · C − C ·R)hijklm = Q(S,R)hijklm − Q(g,R)hijklm + P− hijklm
. (32)
n 1
Thus, in view of (32) and the definition of the tensor P , condition (4) can be written in the following form:
( ) κ
(n− 2)L− 1 Q(S,R)hijklm = Phijklm − Q(g,R)− hijklm
. (33)
n 1
For h = 1, i = β, j = 1, k = δ, l = (λ, m = µ , in v)iew of (20)–(24), (33) yields
(n− 2)L− 1 Q(S,R)1β1δλµ = P1β1δλµ . (34)
Substituting (23) and (29) into (34) we obtain
(
· ∆1F − (n− 2)L
)
(R̃ S̃)βδλµ = tr T Q(g̃, S̃)βδλµ . (35)
4F 2
On the other hand, (4) implies
(R · C − C ·R)(X1, X2, X3, X4;X,Y ) + (R · C − C ·R)(X,Y,X1, X2;X3, X4)
+ (R · C − C ·R)(X3, X4, X, Y ;X1, X2) = 0 ,
which in virtue of Proposition 4.1 of [24] is equivalent to
(R · C)(X1, X2, X3, X4;X,Y ) + (R · C)(X,Y,X1, X2;X3, X4)
+ (R · C)(X3, X4, X, Y ;X1, X2) = 0 .
361
ARSLAN et al./Turk J Math
Furthermore, we have ([8], Section 3, eq. (3.19)):
· ∆1F tr T(R̃ S̃)βδλµ = ( − )Q(g̃, S̃)βδλµ . (36)
4F 2
Since (Ñ , g̃), dim Ñ ⩾ 3, is not Einsteinian, the tensor Q(g̃, S̃) is a nonzero tensor. Let Q(g̃, S̃) ̸= 0 at x ∈ U .
Thus, on a coordinate neighborhood V1 ⊂ U of x , in virtue of (35) and (36), we get
− 1(L ) tr T = 0 .
n− 2
We assert that tr T = 0. Supposing that tr T ̸= 0 at y ∈ V1 we have L = 1n−2 on some neighborhood U1 ⊂ V1
of y . Therefore, (33) reduces on U1 to
κ
P = Q(g,R) . (37)
n− 1
Evidently, on U1 we also have
∆1F − tr T = const. (38)
4F 2
Now (37) gives
κ
P1βγδ1µ = Q(g,R)− 1βγδ1µ
. (39)
n 1
Substituting into this equality (19), (22), and (30) we obtain
ϵ κ̃ − tr T ∆1F tr TS̃µ R̃ϵβγδ = ( ) R̃µβγδ + ( − )(g̃βγ S̃µδ − g̃βδS̃− µγ
)
n 1 2 4F 2
− κ̃ − tr T ∆1F − tr T( )( )G̃µβγδ . (40)
n− 1 2 4F 2
Using now (38) and (40) we see that tr T = const. and consequently also ∆1F4F = const. on U1 . Whence, after
standard calculations, we deduce that F must be of the form
F (x1) = (ax1 + b)2 , a, b ∈ R . (41)
For such F we have tr T = 0 on U1 , a contradiction. Therefore
tr T = 0 (42)
on V1 . Thus, (38) reduces on V1 to
∆1F
= const. = c1 . (43)
4F
Note that (42) and (43), in the same manner as above, imply (41) and we have
∆1F
tr T = 0 , = c 21 = εa . (44)
4F
We prove now that
1
L = (45)
n− 2
362
ARSLAN et al./Turk J Math
on V1 . Applying (19), (20), (21), (30), (42), and (43) to
( )
(n− 2)L− κ1 Q(S,R)1βγδ1µ = P1βγδ1µ − Q(g,R)− 1βγδ1µn 1
we get
κ̃ 2
S̃ ϵ 2µ R̃ϵβγδ = R̃ + εa (g̃ S̃ − g̃ S̃ )−
εκ̃a
G̃ . (46)
n− µβγδ βγ µδ βδ µγ − µβγδ1 n 1
On the other hand, (26), by (42) and (43), gives
V ϵαβγδ = S̃α R̃ϵβγδ − (n− 2)c1R̃αβγδ − c1(g̃βγ S̃αδ − g̃βδS̃αγ) + (n− 2)c21G̃αβγδ ,
which by (46) turns into
( κ̃ )
Vαβγδ = − (n− 2)c 21 R̃αβγδ + (n− 2)c1G̃− αβγδ
.
n 1
Substituting this into (31) we obtain
( κ̃ )
Pαβγδλµ = F − (n− 2)c1 Q(g̃, R̃)− αβγδλµ
. (47)
n 1
Now ( ) κ
(n− 2)L− 1 Q(S,R)αβγδλµ = Pαβγδλµ − Q(g,R)− αβγδλµ
,
n 1
by making use of (21), (47), and
κ 1 ( κ̃ )
= − (n− 2)c ,
n− 1 F n− 11
turns into ( )
(n− 2)L− 1 Q(S,R)αβγδλµ = 0 . (48)
Since V1 ⊂ U and in virtue of (22), (23), and (42) we have
Q(S,R)1βγδ1µ = Q(S,R)1β1δλµ = 0 ,
at least one of the local components of Q(S,R)αβγδλµ must be nonzero. Therefore, (48) implies (45). Thus we
have proven:
Theorem 4.1 Let M ×F Ñ be a warped product manifold with 1-dimensional base manifold (M, ḡ) and non-
Einstein (n − 1)-dimensional fiber (Ñ , g̃) , n ⩾ 4 . If (4) is satisfied on M ×F Ñ then on the set U we have
(46) and
1
L = , F (x1) = (ax1 + b)2 , a, b ∈ R . (49)
n− 2
Corollary 4.1 Let M ×F Ñ be a generalized Robertson–Walker spacetime with non-Einstein fiber (Ñ , g̃) ,
n ⩾ 4 . If (4) is satisfied on M ×F Ñ then (46) and (49) hold on U .
363
ARSLAN et al./Turk J Math
Proposition 4.1 Under assumptions of Theorem 4.1 the fiber manifold (Ñ , g̃) is a Ricci-pseudosymmetric
manifold of constant type (see, e.g., [41]), precisely
R̃ · S̃ = εa2 Q(g̃, S̃) . (50)
Moreover, if n ⩾ 5 then the difference tensor R̃ · C̃ − C̃ · R̃ of the fiber is expressed by the Tachibana tensors
Q(S̃, R̃) and Q(g̃, R̃) ; precisely, we have
(n− 3)(R̃ · C̃ − C̃ · R̃) = Q(S̃, R̃)− κ̃ Q(g̃, R̃) . (51)
(n− 1)(n− 2)
Proof First we observe that (46) implies (50). Applying the identity (32) to (Ñ , g̃) we have
− · − · − κ̃(n 3)(R̃ C̃ C̃ R̃) = Q(S̃, R̃) + P̃ Q(g̃, R̃) . (52)
n− 2
Using now (46) we get
Ṽαβγδ + Ṽ
2
βαγδ = εa Q(g̃, S̃)αβγδ
and
κ̃
P̃ = Q(g̃, R̃)− εa2Q(S̃, G̃)− εa2 g̃ ∧Q(g̃, S̃) ,
n− 1
which by making use of g̃ ∧ Q(g̃, S̃) = −Q(S̃, G̃) (see (28) of [24]) reduces to P̃ = κ̃n−1 Q(g̃, R̃). Substituting
this equality into (52) we obtain (51). 2
We have also the converse statement to Theorem 4.1.
Theorem 4.2 Let (M, ḡ) , ḡ11 = ε , be a 1-dimensional manifold and let (Ñ , g̃) be an (n − 1)-dimensional
non-Einstein manifold, n ⩾ 4 , satisfying (46). If F (x1) = (ax1 + b)2 , then the warped product M ×F Ñ fulfills
(4) with L = 1n−2 .
Proof As we have seen (cf. (33)), (4) for L = 1n−2 takes the form
κ
P = Q(g,R) . (53)
n− 1
Using now (27), (44), and (50) we have
Vαβγδ + Vβαγδ = 0 . (54)
Taking into account (26), (44), and (46), we obtain
Vαβγδ = ϕR̃αβγδ + ψ G̃αβγδ
for some ψ and ϕ = κ̃n−1 − ε(n− 2)a
2 . Substituting the above equality and (54) into (31) we get
Pαβγδλµ = FϕQ(g̃, R̃)αβγδλµ ,
364
ARSLAN et al./Turk J Math
which in view of (19) and (44) takes the form
κ
Pαβγδλµ = Q(g,R)αβγδλµ .
n− 1
Using (29), (44), and (50), we have P1β1δλµ = 0, which means that (34) is satisfied. Finally, in the same manner
we obtain (39). Thus we see that (53) is satisfied for all systems of indices. 2
Corollary 4.2 The equality (46) is satisfied on every Einstein manifold (Ñ , g̃) . Thus every warped product
M×F Ñ with 1-dimensional base (M, ḡ) , Einsteinian fiber (Ñ , g̃) , dim Ñ ⩾ 4 , which is not a space of constant
curvature, and the warping function F (x1) = (ax1 + b)2 , εa2 ≠ κ̃(n−2)(n−1) , satisfies (4) with L =
1
n−2 .
Remark 4.1. Let M ×F Ñ be the warped product manifold with 1-dimensional base (M, ḡ), Einsteinian fiber
(Ñ , g̃), dim Ñ ⩾ 4, and the warping function F (x1) = (ax1 + b)2 , εa2 = κ̃(n−2)(n−1) . Now (17) yields S = 0,
i.e. M ×F Ñ is a Ricci-flat manifold.
5. Warped products with Einsteinian fiber
In this section we consider non-Einstein warped products M ×F Ñ , dimM = 1, assuming that a fiber (Ñ , g̃)
is an Einstein manifold, i.e.
κ̃
S̃αβ = g̃αβ . (55)
n− 1
Using (17) we can easily show that such warped product is a quasi-Einstein manifold. It is worth noticing that
R̃ ≠ κ̃(n−1)(n−2) G̃ on U . Using (23), (29), and (55), we get
Q(S,R)1β1δλµ = P1β1δλµ = 0 . (56)
Analogously, in view of (22), (30), and (55), we have
tr T ( (− − κ̃ − tr T − ∆1F ) )Q(S,R)1αβγ1δ = g11 (n 1)R̃δαβγ + ( ) R̃δαβγ , (57)
2 n− 1 2 4F
(
P1βγδ1µ = g11 ηR̃µβγδ (58)
( tr T − ∆ 21F κ̃ ∆1F (tr T ) tr T ∆1F ) )+ ( ) + (n− 2)( )2 − − (n− 3) G̃µβγδ
2 4F n− 1 4F 4 2 4F
where
κ̃ − tr T − (n− 2)∆1Fη = .
n− 1 2 4F
Finally, making use of (26) and (55), we obtain
∆1F
Vαβγδ = η (R̃αβγδ − G̃αβγδ),
4F
365
ARSLAN et al./Turk J Math
and next, in virtue of (24) and (31), also
Q(S,R)αβγδλµ = FηQ(g̃, R̃)αβγδλµ , (59)
Pαβγδλµ = FηQ(g̃, R̃)αβγδλµ . (60)
Thus, taking into account (20), (21), and (56)–(60), we see that (33) is equivalent to the following 2 equalities:
( ) ( ( ) )
(n− 2)L− tr T κ̃1 −(n− 1)R̃+ − tr T − ∆1F( ) G̃
2 n− 1 2 4F
tr T ( tr T ∆1F )
= R̃+ ( − ) G̃ , (61)
2 2 4F
( ) tr T
(n− 2)L− 1 η Q(g̃, R̃) = Q(g̃, R̃) . (62)
2
We consider 2 cases: (i) tr T = 0 and (ii) tr T ̸= 0.
(i) tr T = 0. Since Q(g̃, R̃) ≠ 0 on U , (62) leads to
( )(
− κ̃ (n− 2)∆1F
)
(n 2)L− 1 − = 0 .
n− 1 4F
Supposing that κ̃ ∆1F(n−2)(n−1) = 4F and using (17) we obtain S = 0, a contradiction. Thus we get
κ̃
(n−2)(n−1) ̸=
∆1F 1
4F and L = n−2 . Moreover, solving the differential equation tr T = 0, one can see that the warping function
F must be of the form (41). Thus, we have the situation described in Corollary 4.2.
(ii) tr T ̸= 0. Now (61) leads to
( ) ( ( ) )
(n− 2) (n− 1)L− 1 R̃ = (n− κ̃ tr T ∆1F κ̃2)L − ( − ) − G̃ ,
n− 1 2 4F n− 1
whence L = 1n−1 and
∆1F − tr T κ̃= . (63)
4F 2 (n− 1)(n− 2)
It is worth noticing that under the above equalities (62) also holds. Applying (63) to (17), after standard
calculations, we get (1), a contradiction. Thus we have proven:
Theorem 5.1 Let M ×F Ñ be a non-Einstein warped product manifold with 1-dimensional base manifold
(M, ḡ) and Einsteinian (n− 1)-dimensional fiber (Ñ , g̃) . If (4) is satisfied on M ×F Ñ , then on the set U we
have:
1
L = , F (x1
κ̃
) = (ax1 + b)2 , a, b ∈ R , εa2 ≠ .
n− 2 (n− 2)(n− 1)
Remark 5.1. Let M ×F Ñ be the warped product manifold with 1-dimensional base (M, ḡ), Einsteinian fiber
(Ñ , g̃), dim Ñ ⩾ 4, and the warping function F .
366
ARSLAN et al./Turk J Math
(i) We assume that F satisfies (63). As we stated above, now M ×F Ñ is an Einstein manifold. Furthermore,
it is easy to check that (63), in view of (18), takes the form
κ̃
F F ′′ − (F ′)2 + 2εC1F = 0 , C1 = . (64)
(n− 1)(n− 2)
This is exactly equation (29) of [36]. We can check that the following functions are solutions of (64) (cf. [36],
Lemma 3.1):
εc
F (x1) = εC 11 (x + )
2 , εC1 > 0 ,
c ( C1b 2εC1 b )
F (x1
2
) = exp(± x1)− exp(∓ x1) , c > 0 , b ≠ 0 ,
2 ( 2 b2c 2
1 2εC1 ) εC1F (x ) = 1 + sin(cx1 + b) , > 0 ,
c c
where b and c are constants and x1 belongs to a suitable nonempty open interval of R .
(ii) As was mentioned in Section 3, Einstein generalized Robertson–Walker spacetimes were classified in [2]. As
was stated in [2], if M ×f Ñ is a generalized Robertson–Walker spacetime, with ε = −1, the warping function
f , and the Einsteinian fiber (Ñ , g̃) and ε = −1 is an Einstein manifold, then the differential equations given
in (3) of [2] must be satisfied. Those equations, adopted to our denotations, takes the form
κ κ
ff ′′ = f2 , f2
κ̃
= + (f ′)2 ,
(n− 1)n (n− 1)n (n− 2)(n− 1)
√
respectively. If now we set f = F then the equations presented above lead to (64).
6. Examples
Corollary 4.2 and Theorem 5.1 give rise to examples of warped products satisfying (4) with Einstein fiber. The
problem of finding of a warped product satisfying (4) with non-Einstein fiber reduces, via Theorem 4.2, to the
problem of finding an example of a semi-Riemannian manifold (Ñ , g̃), dim Ñ = n − 1 ⩾ 3, fulfilling (46). To
obtain a suitable example we will use results of [21, 24, 30]. First of all, we adopt results contained in Theorem
3.1 of [21] and in Theorem 3.2 of [24]. Those results we can present in the following:
Theorem 6.1 Let (Ñ , g̃) be a hypersurface isometrically immersed in a semi-Riemannian space of constant
curvature Nns (c) , n ⩾ 4 , with signature (s, n− s) , where c = τ(n−1)n , τ is the scalar curvature of the ambient
space and g̃ is the metric tensor induced on Ñ . Moreover, let the second fundamental tensor H of Ñ satisfy
on some nonempty connected set Ũ ⊂ Ñ the equation
H3 = tr(H)H2 + λH, (65)
where λ is some function on Ũ , and let the constant ε = ±1 be defined by the Gauss equation of Ñ in Nns (c) ,
i.e. by
ε ∧ τR̃ = H H + G̃ .
2 (n− 1)n
367
ARSLAN et al./Turk J Math
(i) (cf. [21], Theorem 3.1) On Ũ we have
(
ϵ τ ) τS̃µ R̃ϵβγδ = µ R̃µβγδ − G̃µβγδ + (g̃βγ S̃µδ − g̃βδS̃µγ), (66)(n− 1)n (n− 1)n
where µ = (n−2)τ(n−1)n − ε λ .
(ii) (cf. [24], Theorem 3.2) If n ⩾ 5 then on Ũ we have
( )
(n− 3) (R̃ · C̃ − C̃ · (n− 2)τ κ̃R̃) = Q(S̃, R̃) + − ε λ− Q(g̃, R̃) , (67)
(n− 1)n n− 2
where κ̃ is the scalar curvature of Ñ .
We note that (66) implies immediately that R̃ · S̃ = τ(n−1)n Q(g̃, S̃). In addition, if we assume that on Ũ
we have
λ = 0 and (n− 2)τ = nκ̃, (68)
then (46) holds on Ũ . The last remark suggests a solution of our problem. Namely, the last 2 conditions are
realized on the hypersurface presented in Example 5.1 of [30]. Let (M, g) be the manifold defined in Example
5.1 of [30]. We denote it by (Ñ , g̃). Clearly (Ñ , g̃) is a manifold of dimension ⩾ 4. However, it is easy to verify
that if we repeat the construction of (Ñ , g̃) for the 3-dimensional case then all curvature properties remain
true, excluding, of course, properties expressed by its Weyl conformal curvature tensor. Thus, without loss of
generality, we can assume that dim Ñ = n− 1 ⩾ 3. In Example 5.1 of [30], among other things, it was shown
that (Ñ , g̃) is locally isometric to a hypersurface in a semi-Riemannian space of nonzero constant curvature.
Since our considerations are local, we can assume that (Ñ , g̃) is a hypersurface isometrically immersed in that
space. Since (Ñ , g̃) fulfils (68), Theorem 4.2 finishes our construction. We note that by making use of (67) and
(68), we obtain (51).
Remark 6.1. (i) The Roter-type warped products M ×F Ñ with 1-dimensional base manifold (M, g) and
non-Einstein (n − 1)-dimensional fiber (Ñ , g̃), n ⩾ 4, were investigated in [36]. Among other results it was
proven that the curvature tensor R̃ of the fiber (Ñ , g̃) is expressed by the Kulkarni–Nomizu tensors S̃ ∧ S̃ ,
g̃∧ S̃ , and G̃ , i.e. the fiber also is a Roter-type manifold, provided that n ⩾ 5. Therefore, if we assume that the
fiber manifold (Ñ , g̃) considered in Theorem 6.1 is a nonpseudosymmetric Ricci-pseudosymmetric hypersurface
(for instance, the Cartan hypersurfaces of dimension 6, 12, or 24 have this property (see, e.g., [41])), then
fibers of both constructions are nonisometric.
(ii) From (12), by a suitable contraction, we get
C · S = LQ(g, S) . (69)
We refer to [47] and [50] for examples of warped products satisfying (69). The condition (69) holds on some
hypersurfaces in semi-Riemannian space forms, and, in particular, on the Cartan hypersurfaces ([21], Theorems
3.1 and 4.3). Hypersurfaces in semi-Euclidean space satisfying (69) were investigated in [52].
368
ARSLAN et al./Turk J Math
(iii) We also can investigate semi-Riemannian manifolds (M, g), n ⩾ 4, satisfying on UC ⊂ M the following
condition of pseudosymmetric type (see, e.g., [11, 29]):
R ·R−Q(S,R) = LQ(g, C) , (70)
where L is some function on this set. Warped products satisfying (70) were investigated in [11]. Among other
results, in [11] it was shown that this condition is satisfied on every 4-dimensional warped product M×F Ñ with
1-dimensional base. Thus, in particular, every 4-dimensional generalized Robertson–Walker spacetime satisfies
(70). We mention that (70) holds on every hypersurface in a semi-Riemannian space of constant curvature (see,
e.g., [22], eq. (4.4)).
(iv) In [23] (Example 4.1) a warped product M ×F Ñ of an (n − 1)-dimensional base (M, g), n ⩾ 4, and
an 1-dimensional fiber (Ñ , g̃) satisfying rankS = 1, κ = 0, R · R = 0, and C · S = 0 was constructed.
In addition, we can easily check that (4) with L = 1n−2 and Q(S,C) = Q(S,R) hold on M ×F Ñ ([25]).
Therefore, on M ×F Ñ we also have (n− 2) (R ·C −C ·R) = Q(S,C). Semi-Riemannian manifolds satisfying
R · C − C · R = LQ(S,C), for some function L , were investigated in [25]. An example of a quasi-Einstein
non-Ricci-simple manifold satisfying the last condition was given in Section 6 of [22].
(v) We recall that non-Riemannian semi-Riemannian manifolds (M, g), n ≥ 4, with parallel Weyl tensor
(∇C = 0), which are in addition nonlocally symmetric (∇R ̸= 0) and nonconformally flat (C ≠ 0), are called
essentially conformally symmetric manifolds, or e.c.s. manifolds, in short (see, e.g., [13, 14]). E.c.s. manifolds
are semisymmetric manifolds satisfying ([13], Theorems 7, 8 and 9): Q(S,C) = 0, C(SX,Y, Z,W ) = 0,
S(SX,Y ) = 0, κ = 0. In addition, on every e.c.s. manifold (M, g) we have [14]: rankS ⩽ 2 and
F C = (1/2)S ∧ S , where F is some function on M , called the fundamental function. The local structure
of e.c.s. manifolds is determined [15, 17]. Certain e.c.s. metrics are realized on compact manifolds [16, 18].
Let now (M, g), n ≥ 4, be an e.c.s. manifold satisfying rankS ⩽ 1. Now it is easy to check that at all
points of M at which rankS = 1 the conditions Q(S,C) = 0, C(SX,Y, Z,W ) = 0 turn into Q(S,R) = 0,
R(SX,Y, Z,W ) = 0, respectively. The last equality means that the tensor V , defined by (25), vanishes.
Therefore, (28) reduces to P = 0. Now we see that the identity (32) turns into R · C − C · R = 0, and, in
consequence, at all points of M at which rankS = 1 we have R ·C −C ·R = Q(S,R) = 0. Thus, we can state
that the last condition holds on any Ricci-simple e.c.s. manifold. Finally, we also remark that the last result is
an immediate consequence of Theorem 2.2.
7. Conclusions
Let M ×F Ñ be the warped product of an 1-dimensional manifold (M, g), g11 = ε = ±1, the warping function
F : M → R+ , and an (n− 1)-dimensional, n ⩾ 4, semi-Riemannian manifold (Ñ , g̃).
If (Ñ , g̃) is a semi-Riemannian space of constant curvature then M ×F Ñ is a quasi-Eintein conformally
flat pseudosymmetric manifold. Evidently, the Friedmann–Lemâıtre–Robertson–Walker spacetimes belong to
this class of manifolds. Furthermore, if the fiber (Ñ , g̃), n ⩾ 5, is an Einstein manifold, which is not of constant
curvature, then M ×F Ñ is a quasi-Einstein nonconformally flat nonpseudosymmetric Ricci-pseudosymmetric
manifold. In this case the difference tensor R ·C −C ·R is expressed by a linear combination of the Tachibana
tensors Q(g,R) and Q(S,R) ([8]).
369
ARSLAN et al./Turk J Math
If the fibre (Ñ , g̃), n ⩾ 4, is a conformally flat Ricci simple manifold such that its scalar curvature κ̃
vanishes then M ×F Ñ is a non-conformally flat pseudosymmetric manifold, provided that F = F (x1) = expx1
([10], Proposition 4.2 and Example 4.1). In addition we have (n− 1) (R · C − C ·R) = Q(S,C) [25].
If the fiber (Ñ , g̃), n ⩾ 4, is some Roter-type manifold and the warping function F satisfies (64), then
M ×F Ñ is a Roter-type manifold and in consequence a nonconformally flat pseudosymmetric manifold ([36],
Theorem 5.1). As was mentioned in Section 2, the tensor R ·C −C ·R is expressed by a linear combination of
some Tachibana tensors.
The above presented facts show that under some conditions imposed on the fiber or the fiber and the
warping function of a generalized Robertson–Walker spacetime, such spacetime is a pseudosymmetric or Ricci-
pseudosymmetric manifold and its difference tensor R ·C −C ·R is expressed by a linear combination of some
Tachibana tensors. In this paper we consider an inverse problem. Namely, if the tensors R·C−C ·R and Q(S,R)
are linearly dependent on a generalized Robertson–Walker spacetime then we determine the warping function,
as well as curvature properties of the fiber of such spacetime. In the case where the considered generalized
Robertson–Walker spacetimes are 4-dimensional manifolds, it is possible to apply the algebraic classification of
spacetimes satisfying some conditions of the pseudosymmetry type given in [27]; see also [39, 42].
Acknowledgments
The authors would like to express their deep gratitude to the referee for his or her valuable comments and
suggestions related to the paper.
The first, third, and fifth authors express their thanks to the Institute of Mathematics and Computer
Science of the Wroc law University of Technology as well as to the Department of Mathematics of the Wroc law
University of Environmental and Life Sciences for hospitality during their stay in Wroc law. The second and
fourth authors express their thanks to the Department of Mathematics of Uludaǧ University in Bursa for
hospitality during their stay in Bursa. The authors were supported by grant F-2003/98 of Uludaǧ University,
Bursa, Turkey.
References
[1] Aĺıas L, Romero A, Sánchez M. Compact spacelike hypersurfaces of constant mean curvature in generalized
Robertson-Walker spacetimes. In: Dillen F, editor. Geometry and Topology of Submanifolds VII. River Edge,
NJ, USA: World Scientic, 1995, pp. 67–70.
[2] Aĺıas L, Romero A, Sánchez M. Spacelike hypersurfaces of constant mean curvature and Calabi-Einstein type
problems, Tôhoku Math J 1997; 49: 337–345.
[3] Beem JK, Ehrlich PE. Global Lorentzian Geometry. New York, NY, USA: Marcel Dekker, 1981.
[4] Beem JK, Ehrlich PE, Powell TG. Warped product manifolds in relativity. In: Rassias TM, editor. Selected Studies:
Physics-Astrophysics, Mathematics, History of Sciences, A Volume Dedicated to the Memory of Albert Einstein.
Amsterdam, the Netherlands: North-Holland, 1982, pp. 41–56.
[5] Belkhelfa M, Deszcz R, G logowska M, Hotloś M, Kowalczyk D, Verstraelen L. On some type of curvature conditions.
Banach Center Publ Inst Math Polish Acad Sci 2002; 57: 179–194.
[6] Besse AL. Einstein Manifolds. Berlin, Germany; Springer-Verlag, 1987.
[7] Blanco OF, Sánchez M, Senovilla JMM. Structure of second-order symmetric Lorentzian manifolds. J Eur Math
Soc 2013; 15: 595–634.
370
ARSLAN et al./Turk J Math
[8] Chojnacka-Dulas J, Deszcz R, G logowska M, Prvanović M. On warped product manifolds satisfying some curvature
conditions. J Geom Phys 2013; 74: 328–341.
[9] Defever F, Deszcz R. On semi-Riemannian manifolds satisfying the condition R · R = Q(S,R) . In: Verstraelen L,
editor. Geometry and Topology of Submanifolds, III. Teaneck, NJ, USA: World Scientific, 1991, pp. 108–130.
[10] Defever F., Deszcz R., Hotloś M., Kucharski M. and S. entürk Z.: Generalisations of Robertson-Walker spaces. Ann.
Univ. Sci. Budapest. Eötvös Sect. Math. 43, 2000, 13-24.
[11] Defever F, Deszcz R, Prvanović M. On warped product manifolds satisfying some curvature condition of pseu-
dosymmetry type. Bull Greek Math Soc 1994; 36: 43–67.
[12] Defever F, Deszcz R, Verstraelen L, Vrancken L. On pseudosymmetric space-times. J Math Phys 1994; 35: 5908–
5921.
[13] Derdziński A, Roter W. Some theorems on conformally symmetric manifolds. Tensor (NS) 1978; 32: 11–23.
[14] Derdziński A, Roter W. Some properties of conformally symmetric manifolds which are not Ricci-recurrent . Tensor
(NS) 1980; 34: 11–20.
[15] Derdzinski A, Roter W. Projectively flat surfaces, null parallel distributions, and conformally symmetric manifolds.
Tohoku Math J 2007; 59: 565–602.
[16] Derdzinski A, Roter W. On compact manifolds admitting indefinite metrics with parallel Weyl tensor. J Geom Phys
2008; 58: 1137–1147.
[17] Derdzinski A, Roter W. The local structure of conformally symmetric manifolds. Bull Belg Math Soc Simon Stevin
2009; 16: 117–128.
[18] Derdzinski A, Roter W. Compact pseudo-Riemannian manifolds with parallel Weyl tensor. Ann Glob Anal Geom
2010; 37: 73–90.
[19] Deszcz R. On pseudosymmetric spaces. Bull Soc Belg Math Ser A 1992; 44: 1–34.
[20] Deszcz R. On pseudosymmetric warped product manifolds. In: Dillen F, editor. Geometry and Topology of
Submanifolds, V. River Edge, NJ, USA: World Scientific, 1993, pp. 132–146.
[21] Deszcz R, G logowska M. Some nonsemisymmetric Ricci-semisymmetric warped product hypersurfaces. Publ Inst
Math (Beograd) (NS) 2002; 72: 81–93.
[22] Deszcz R, G logowska M, Hotloś M, Sawicz K. A survey on generalized Einstein metric conditions. In: Yau ST,
editor. Advances in Lorentzian Geometry: Proceedings of the Lorentzian Geometry Conference in Berlin, AMS/IP
Studies in Advanced Mathematics, 2011; 49, 27–46.
[23] Deszcz R, G logowska M, Hotloś M, Şentürk Z. On certain quasi-Einstein semisymmetric hypersurfaces. Ann Univ
Sci Budapest Eötvös Sect Math 1998; 41: 151–164.
[24] Deszcz R, G logowska M, Hotloś M, Verstraelen L. On some generalized Einstein metric conditions on hypersurfaces
in semi-Riemannian space forms. Colloq Math 2003; 96: 149–166.
[25] Deszcz R, G logowska M, Hotloś M, Zafindratafa G. Hypersurfaces in spaces of constant curvature satisfying some
curvature conditions of pseudosymmetric type. In press.
[26] Deszcz R, G logowska M, Plaue M, Sawicz K, Scherfner M. On hypersurfaces in space forms satisfying particular
curvature conditions of Tachibana type. Kragujevac J Math 2011; 35: 223–247.
[27] Deszcz R, Haesen S, Verstraelen L. Classification of space-times satisfying some pseudo-symmetry type conditions.
Soochow J Math 2004; 30: 339–349.
[28] Deszcz R, Haesen S, Verstraelen L. On natural symmetries. In: Mihai A, Mihai I, Miron R, editors. Topics in
Differential Geometry. Bucharest, Romania: Romanian Academy, 2008, pp. 249–308.
[29] Deszcz R, Hotloś M. On a certain subclass of pseudosymmetric manifolds. Publ Math Debrecen 1998; 53: 29–48.
[30] Deszcz R, Hotloś M. On hypersurfaces with type number two in spaces of constant curvature, Ann Univ Sci Budapest
Eötvös Sect Math 2003; 46: 19–34.
371
ARSLAN et al./Turk J Math
[31] Deszcz R, Hotloś M. On some pseudosymmetry type curvature condition. Tsukuba J Math 2003; 27: 13–30.
[32] Deszcz R, Hotloś M, Şentürk Z. On some family of generalized Einstein metric conditions. Demonstratio Math 2001;
34: 943–954.
[33] Deszcz R, Hotloś M, Şentürk Z. On curvature properties of certain quasi-Einstein hypersurfaces. Int J Math 2012;
23: 1250073.
[34] Deszcz R, Kowalczyk D. On some class of pseudosymmetric warped products. Colloq Math 2003; 97: 7–22.
[35] Deszcz R, Kucharski M. On curvature properties of certain generalized Robertson-Walker spacetimes. Tsukuba J
Math 1999; 23: 113–130.
[36] Deszcz R, Scherfner M. On a particular class of warped products with fibres locally isometric to generalized Cartan
hypersurfaces. Colloq Math 2007; 109: 13–29.
[37] Deszcz R, Verstraelen L, Vrancken L. On the symmetry of warped product spacetimes. Gen Relativ Grav 1991; 23:
671–681.
[38] Ehrlich PE, Jung YT, Kim SB. Constant scalar curvatures on warped product manifolds. Tsukuba J Math 1996;
20: 239–256.
[39] Eriksson I, Senovilla JMM. Note on (conformally) semi-symmetric spacetimes. Class Quantum Grav 2010; 27:
027001.
[40] G logowska M. On a curvature characterization of Ricci-pseudosymmetric hypersurfaces. Acta Math Scientia 2004;
24 B: 361–375.
[41] G logowska M. On quasi-Einstein Cartan type hypersurfaces. J Geom Phys 2008; 58: 599–614.
[42] Haesen S, Verstraelen L. Classification of the pseudosymmetric space-times. J Math Phys 2004 45: 2343–2346.
[43] Haesen S, Verstraelen L. Properties of a scalar curvature invariant depending on two planes. Manuscripta Math
2007; 122: 59–72.
[44] Haesen S, Verstraelen L. Natural intrinsic geometrical symmetries. Symmetry Integrability Geom Meth Appl 2009;
5: 086.
[45] Hotloś M. On a certain curvature condition of pseudosymmetry type. To appear.
[46] Jahanara B, Haesen S, Şentürk Z, Verstraelen L. On the parallel transport of the Ricci curvatures. J Geom Phys
2007; 57: 1771–1777.
[47] Kowalczyk D. On some subclass of semisymmetric manifolds. Soochow J Math 2001; 27: 445–461.
[48] Kowalczyk D. On the Reissner-Nordström-de Sitter type spacetimes. Tsukuba J Math 2006; 30: 363–381.
[49] Kruchkovich GI. On some class of Riemannian spaces. Trudy Sem. po Vekt. i Tenz. Analizu 1961; 11: 103–120 (in
Russian).
[50] Murathan C, Arslan K, Deszcz R, Ezentaş R, Özgür C. On a certain class of hypersurfaces of semi-Euclidean spaces.
Publ Math Debrecen 2001; 58: 587–604.
[51] O’Neill B. Semi-Riemannian Geometry with Applications to Relativity. New York, NY, USA: Academic Press, 1983.
[52] Özgür C. Hypersurfaces satisfying some curvature conditions in the semi-Euclidean space. Chaos Solitons Fractals
2009; 39: 2457–2464.
[53] Sánchez M. On the geometry of generalized Robertson-Walker spacetimes: geodesics. Gen Relativ Grav 1998; 30:
915–932.
[54] Sánchez M. On the geometry of generalized Robertson-Walker spacetimes: curvature and Killing fields. J Geom
Phys 1999; 31: 1–15.
[55] Senovilla JMM. Second-order symmetric Lorentzian manifolds: I. Characterization and general results. Class
Quantum Grav 2008; 25: 245011.
[56] Shaikh AA, Kim YH, Hui SK. On Lorentzian quasi-Einstein manifolds. J Korean Math Soc 2011; 48: 669–689.
372
ARSLAN et al./Turk J Math
[57] Stephani H, Kramer D, MacCallum M, Hoenselaers C, Herlt E. Exact Solutions of the Einstein’s Field Equations.
Cambridge Monographs on Mathematical Physics. 2nd ed. Cambridge, UK: Cambridge University Press, 2003.
[58] Szabó ZI. Structure theorems on Riemannian spaces satisfying R(X,Y ) ·R = 0. I. The local version. J Differential
Geom 1982; 17: 531–582.
[59] Szabó ZI. Structure theorems on Riemannian spaces satisfying R(X,Y ) · R = 0. II. The global version. Geom
Dedicata 1985; 19: 65–108.
373