Mathematics 11 01440
Mathematics 11 01440
Article
A Note on the Geometry of RW Space-Times
Sameh Shenawy 1,† , Uday Chand De 2,† and Nasser Bin Turki 3, *,†
1 Basic Science Department, Modern Academy for Engineering and Technology, Maadi 11585, Egypt;
[email protected]
2 Department of Pure Mathematics, University of Calcutta 35, Ballygaunge Circular Road,
Kolkata 700019, West Bengal, India; [email protected]
3 Department of Mathematics, College of Science, King Saud University, P.O. Box 2455,
Riyadh 11451, Saudi Arabia
* Correspondence: [email protected]
† These authors contributed equally to this work.
Abstract: A conformally flat GRW space-time is a perfect fluid RW space-time. In this note, we
investigated the influence of many differential curvature conditions, such as the existence of recurrent
and semi-symmetric curvature tensors. In each case, the form of the Ricci curvature tensor, the
energy–momentum tensor, the energy density, the pressure of the fluid, and the equation of state
are determined and interpreted. For example, it is demonstrated that a Ricci semi-symmetric RW
space-time reduces to Einstein space-time or a Ricci recurrent RW space-time, and the perfect fluid
space-time is referred to as Yang pure space-time or dark matter era.
1. Introduction
One of the most significant areas of research in both mathematics and physics is the
geometry of generalized Robertson–Walker (or GRW) space-times. A warped product
Citation: Shenawy, S.; De, U.C.; Bin manifold with a one-dimensional base manifold serves as the representation of a GRW
Turki, N. A Note on the Geometry of space-time. The term Friedmann–Lemaitre–Robertson–Walker metrics, which accurately
RW Space-Times. Mathematics 2023, captures the contributions of different scientists to this issue, is currently used in physics
11, 1440. https://doi.org/10.3390/ for Robertson–Walker-type metrics. There are many exciting decomposition theorems on
math11061440 Lorentzian manifolds. The author of [1] described a particularly remarkable decomposition
Academic Editor: Christos G.
of a Lorentzian manifold to a GRW space-time. The existence of a time-like concircular
Massouros
vector field is sufficient for a Lorentzian manifold to be a GRW space-time. This condition
becomes weaker as follows in the presence of another condition [2]. If a unit time-like torse-
Received: 19 February 2023 forming vector field ω i that is an eigenvector of the Ricci tensor Sij exists on a Lorentzian
Revised: 12 March 2023 manifold M, then M is a GRW space-time. By a unit time-like torse-forming, we mean that
Accepted: 14 March 2023 there is a scalar function ϕ on M such that
Published: 16 March 2023
∇k ω j = ϕ ωk ω j + gkj , (1)
ω i ωi = −1. (2)
Copyright: © 2023 by the authors.
Licensee MDPI, Basel, Switzerland. The factor ϕ coincides with the Hubble’s parameter H on a GRW space-time M. How
This article is an open access article
rapidly the universe is expanding is determined by Hubble’s parameter H (for a description
distributed under the terms and
of H and further information, see [3]). This torse-forming vector field is also an eigenvector
conditions of the Creative Commons
of the Ricci tensor Sij , that is, ω i Sij = ψω j where ψ is the corresponding eigenvalue of
Attribution (CC BY) license (https://
ω j [1,2,4]. In [5], a GRW space-time Ricci tensor has been established to be
creativecommons.org/licenses/by/
4.0/).
S−ψ S − nψ
Sij = g + ω ω + (n − 2)ω k ω l Ckijl (3)
n − 1 ij n−1 i j
where Ckijl is the Weyl conformal curvature tensor and S is the scalar curvature. The
classical Robertson–Walker (or RW) space-time is a conformally flat GRW space-time,
which allows the Ricci curvature form to change as
S−ψ S − nψ
Sij = gij + ωω. (4)
n−1 n−1 i j
On the other hand, the Ricci tensor of a perfect fluid space-time has the form
S−ψ S − nψ
α= ,β = , τ = ωi . (6)
n−1 n−1 i
For further information about perfect fluid space-times and characterization of GRW
space-times and RW space-times, the reader is recommended to read [2,4–7]. An algebraic
curvature condition is that a space-time is a perfect fluid space-time [8]. Manifolds having
this algebraic curvature criterion are known as quasi-Einstein manifolds in differential
geometry [9]. However, there are additional types of differential curvature conditions that
can be used, such as the existence of recurrent and semi-symmetric curvature tensors. Many
alternative differential curvature conditions are examined in this article by using Riemann
and Ricci curvature tensors. In each case, the form of the Ricci tensor, energy–momentum
tensor, pressure, energy density and equation of state of the perfect fluid is given.
2. Notes on RW Space-Times
It is easy to obtain the scalar curvature of RW space-time, the eigenvalue of the Ricci
tensor corresponding to ω and the divergence of the one form ω as
S = nα − β, ψ = α − β (7)
j
∇ ωj = ( n − 1) ϕ (8)
It should be observed that the form (5) on an RW space-time has a perfect fluid
structure that is unique up to a sign. For this, we assume that there exists a vector field υ
that is time-like and
Sij = ᾱgij + β̄υi υ j .
Then,
ω i Sij = ᾱω j + β̄ ω i υi υ j
(ψ − ᾱ)ω j = β̄ ω i υi υ j .
Since any two time-like vectors can not be orthogonal to each other, ψ − ᾱ = β̄ = 0;
that is, M is Einstein, or ω j = ±υ j .
Einstein’s field equations without cosmological constant are
S
Sij − g = kTij
2 ij
where Tij is the energy–momentum tensor, and k is the gravitational constant. Thus,
S
αgij + βωi ω j − gij = kTij
2
S
α− g + βωi ω j = kTij . (9)
2 ij
Mathematics 2023, 11, 1440 3 of 13
However, the energy–momentum tensor for a perfect fluid space-time with velocity
vector field ω is given by
Tij = pgij + ( p + µ)ωi ω j (10)
where p and µ are pressure and energy density, respectively [10]. Equations (9) and (10)
show that
S S−ψ S (3 − n)S − 2ψ
kp = α− = − = (11)
2 n−1 2 2( n − 1)
S − nψ
k( p + µ) = β= (12)
n−1
S − nψ (3 − n)S − 2ψ S − 2ψ
kµ = − = . (13)
n−1 2( n − 1) 2
∇l ∇k Sij − ∇k ∇l Sij = 0.
S
g = αgij + (nα − S)ωi ω j ,
n ij
S
ω = (α − nα + S)ω j ,
n j
S
= α − nα + S,
n
h = 0.
Theorem 1. An RW space-time M is Ricci semi-symmetric if and only if M is Einstein or ωh Silk
S
Sij = g (15)
n ij
Tij = pgij + ( p + µ)ωi ω j (16)
where
S
α=ψ= . (17)
n
Mathematics 2023, 11, 1440 4 of 13
k( p + µ) = 0, (18)
n−2
= −
kp S, (19)
2n
n−2
kµ = S. (20)
2n
n−2
kTij = − Sgij . (21)
2n
That is, the perfect fluid is referred to as the dark energy. On the other hand, if
∇l ∇k ω j = ∇k ∇l ω j , then
h
ωh Silk = 0.
This equation yields
ωh Skh = 0.
Using Equation (5), it is
0 = (α − β)ω j
and consequently ψ = 0, α = β, and in this case, it is
S
Sij = gij + ωi ω j . (22)
n−1
Equations (9) and (10) show that
( n − 3) S
kTij = − Sg + ωω, (23)
2(n − 1) ij n − 1 i j
( n − 3)
kp = − S, (24)
2( n − 1)
S
kµ = , (25)
2
S
k( p + µ) = . (26)
n−1
Theorem 2. Let M be a Ricci semi-symmetric RW space-time. Then, M satisfies one of the following:
1. (β = 0) M is Einstein. The Ricci tensor and the equation of state take the form of Equation
(15) and Equations (18)–(21). The perfect fluid is referred to as dark matter era.
2. (α = β) The Ricci tensor, the energy–momentum tensor, and the equation of state take the
form of Equations (22)–(26).
Remark 1. Notably, an RW space-time is a perfect fluid space-time. Dark matter era refers to
perfect fluid space with the equation of state p + µ = 0 [12]. However, so far, according to [13], a
four-dimensional perfect fluid space-time with p + µ 6= 0 is RW space-time if and only if it is a Yang
pure space-time. These space-times are identified by a Ricci tensor, which is a Codazzi tensor [13].
∇l ψω j − Sij ∇l ω i = (ψal + bl )ω j .
(33)
(ψ − α)∇l ω j = 0. (38)
S
Sij = gij + ωi ω j ,
n−1
S
kTij = −(n − 3) gij + 2ωi ω j ,
2n − 2
S
k( p + µ) = ,
n−1
( n − 3) S
kp = − ,
2( n − 1)
S
kµ = .
2
Mathematics 2023, 11, 1440 6 of 13
∇l S
∇l Sij = g + ωi ω j .
n − 1 ij
Using the defining property of the generalized Ricci recurrent tensor, it is
∇l S
al Sij + bl gij = gij + ωi ω j .
n−1
Now, the definition of the Ricci tensor yields
S ∇l S
al gij + ωi ω j + bl gij = gij + ωi ω j .
n−1 n−1
One may simplify this equation as
∇l S ∇l S
S S
0 = − al − bl gij + − al ωi ω j
n−1 n−1 n−1 n−1
0 = (∇l S − Sal − (n − 1)bl ) gij + (∇l S − Sal )ωi ω j .
bl = 0,
0 = ∇l S − Sal − nbl .
Sal = ∇l S
∇l Sij = al Sij
(∇ X S)(Y, Z ) = a( X )S(Y, Z )
where X, Y, Z are vector fields on M and a is called the recurrence 1−form. In local
coordinates, one may write
∇l Sij = al Sij .
Mathematics 2023, 11, 1440 7 of 13
(∇ X S)(Y, Z ) = 0
∇l Sij = 0.
Corollary 2. Let M be a Ricci symmetric RW space-times. Then M reduces to be Einstein, and the
Ricci tensor and the equation of state take the form of Equations (15) and (18)–(21).
and
ω i ω k ∇i Skj = ω i ∇i ω k Skj − ω i Skj ∇i ω k
= ω i ∇i ψω j − ω i Skj ∇i ω k
= ψ̇ω j + ψω̇ j − ω i ϕSkj δik + ωi ω k
= ψ̇ω j + ψω̇ j − ω i ϕ Sij + ψωi ω j
= ψ̇ω j + ψω̇ j − ω i ϕ ψω j − ψω j
S 3S
kTij= − gij − ωi ω j , (44)
2 2
S
kp = − , (45)
2
kµ = −S, (46)
3S
k( p + µ) = − . (47)
2
The second condition implies that the fluid acceleration is zero and the velocity vector
field is geodesic.
Theorem 4. Let M be an RW space-time admitting a Codazzi type of Ricci tensor. Then, the
velocity vector field is geodesic or M is Ricci simple and
0 = C jklm
1 h i
= S jklm + g jm Skl − gkm S jl + gkl S jm − g jl Skm
n−2
S h i
− g jm gkl − gkm g jl . (53)
(n − 1)(n − 2)
S h i
S jklm = g jm gkl − gkm g jl
(n − 1)(n − 2)
1 h i
− g jm Skl − gkm S jl + gkl S jm − g jl Skm (54)
n−2
Using the form of the Ricci curvature tensor, one obtains
S − 2( n − 1) α h i
S jklm = g jm gkl − gkm g jl
(n − 1)(n − 2)
β h i
− g jm ωk ωl − gkm ω j ωl + gkl ω j ωm − g jl ωk ωm . (55)
n−2
Mathematics 2023, 11, 1440 9 of 13
It is clear that
∇r ( ωk ωl ) = ∇r ( ωk ) ωl + ωk ∇r ( ωl )
= ϕ( grk + ωr ωk )ωl + ϕ( grl + ωr ωl )ωk
= ϕ( grk ωl + grl ωk + 2ωr ωk ωl )
After lengthy computations using this equation, the covariant derivative of the Rie-
mann curvature tensor may be finally rewritten as
∇r S − 2(n − 1)∇r α h i
∇r S jklm = g jm gkl − gkm g jl
(n − 1)(n − 2)
∇r β h i
− g jm ωk ωl − gkm ω j ωl + gkl ω j ωm − g jl ωk ωm
n−2
ϕβ
− g jm grk ωl + g jm grl ωk + 2g jm ωr ωk ωl − gkm grj ωl
n−2
ϕβ
− − gkm grl ω j − 2gkm ωr ω j ωl + gkl grj ωm + gkl grm ω j
n−2
ϕβ h i
− 2gkl ωr ω j ωm − g jl grk ωm − g jl grm ωk − 2g jl ωr ωk ωm (56)
n−2
−2∇r α h i
0 = g jm gkl − gkm g jl
( n − 2)
n ∇r α h i
− g jm ωk ωl − gkm ω j ωl + gkl ω j ωm − g jl ωk ωm
n−2
ϕβ
− g g ω + g jm grl ωk + 2g jm ωr ωk ωl − gkm grj ωl
n − 2 jm rk l
ϕβ
− − gkm grl ω j − 2gkm ωr ω j ωl + gkl grj ωm + gkl grm ω j
n−2
ϕβ h i
− 2gkl ωr ω j ωm − g jl grk ωm − g jl grm ωk − 2g jl ωr ωk ωm .
n−2
From this equation, it is easy to show that either β = 0 or ∇r ωm = 0. The first case
implies that the space-time is Einstein, and the second case infers the space-time is static.
In the first case, the Riemann curvature tensor becomes
S − 2( n − 1) α h i
S jklm = g jm gkl − gkm g jl (61)
(n − 1)(n − 2)
S h i
= gkm g jl − g jm gkl . (62)
n ( n − 1)
Mathematics 2023, 11, 1440 10 of 13
S h i
S jklm = gkm g jl − g jm gkl .
n ( n − 1)
S
Sij = g ,
n ij
n−2
kTij = − Sgij ,
2n
n−2
kp = −kµ = − S,
2n
k( p + µ) = 0.
2. M is a static space-time.
In local coordinates, it is
∇r S jklm = ar S jklm .
Thus, an RW space-time is recurrent if
ar S jklm = ∇r S jklm
∇r S − (n − 1)∇r α h i
= g jm gkl − gkm g jl
(n − 1)(n − 2)
∇r β h i
− g jm ωk ωl − gkm ω j ωl + gkl ω j ωm − g jl ωk ωm
n−2
ϕβ
− g g ω + g jm grl ωk + 2g jm ωr ωk ωl − gkm grj ωl (63)
n − 2 jm rk l
ϕβ
− − gkm grl ω j − 2gkm ωr ω j ωl + gkl grj ωm + gkl grm ω j
n−2
ϕβ h i
− 2gkl ωr ω j ωm − g jl grk ωm − g jl grm ωk − 2g jl ωr ωk ωm
n−2
Using the calculations in the above subsection, one obtains
∇r α
ar Skm = − g + ∇r βωk ωm + ϕβ[ grk ωm + grm ωk + 2ωr ωk ωm ].
n − 2 km
n ∇r α
ar S = − − ∇r β
n−2
∇r α
ar ψωk = − ω − ∇r βωk + ϕβ[− grk − ωr ωk ]
n−2 k
∇r α
ar ψ = − − ∇r β
n−2
Mathematics 2023, 11, 1440 11 of 13
n−1
ar ( S − ψ ) = − ∇r α
n−2
n−1
ar ( n − 1) α = − ∇r α
n−2
1
ar α = − ∇r α.
n−2
Theorem 6. Let M be a recurrent RW space-time. Then, M is Ricci simple or the recurrence form
is given by
1 1
ar = − ∇r α.
n−2α
∇m S − (n − 1)∇m α ∇ S − (n − 1)∇l α
∇ j S jklm = gkl − l g
( n − 1 )( n − 2 ) (n − 1)(n − 2) km
∇m β β̇ β̇ ∇β
− ωk ωl + gkm ωl − gkl ωm + l ωk ωm
n−2 n−2 n−2 n−2
ϕβ
− [ g ω + glm ωk + 2ωm ωk ωl − ngkm ωl ] (64)
n − 2 km l
ϕβ
− [− gkm ωl + 2gkm ωl + ngkl ωm + gkl ωm ]
n−2
ϕβ
− [−2gkl ωm − glk ωm − glm ωk − 2ωl ωk ωm ]
n−2
Thus, the divergence of the Riemann tensor is give by
1
∇ j S jklm = ((∇m ψ) gkl − (∇l ψ) gkm )
(n − 1)(n − 2)
β̇
+ + ϕβ ( gkm ωl − gkl ωm ) (65)
n−2
1
− ((∇m β)ωk ωl − (∇l β)ωk ωm ).
n−2
Assume that M is harmonic, that is,
0 = ∇ j S jklm
1
= ((∇m ψ) gkl − (∇l ψ) gkm )
(n − 1)(n − 2)
β̇
+ + ϕβ ( gkm ωl − gkl ωm ) (66)
n−2
1
− ((∇m β)ωk ωl − (∇l β)ωk ωm ).
n−2
Mathematics 2023, 11, 1440 12 of 13
1
0 = (∇m ψ + ∇m β) + − β̇ + ϕβ(1 − n) ωm
n−2
n∇m α
0 = − β̇ + (n − 1) ϕβ ωm
n−2
nα̇
0 = + β̇ + (n − 1) ϕβ (67)
n−2
0 = nα̇ + (n − 2) β̇ + (n − 1) ϕβ
However, a harmonic RW space-time has a divergence free Ricci tensor, that is,
0 = ∇ j S jk
0 = ω k ∇ j S jk = ∇ j ω k S jk − S jk ∇ j ω k
= ∇ j ψω j − ϕS jk g jk + ω j ω k
= ψ∇ j ω j + ω j ∇ j (ψ) − ϕ(S − ψ)
(68)
= ψϕ(n − 1) + ψ̇ − ϕ(nα − β − α + β)
= ψ̇ − (n − 1) ϕα + ψϕ(n − 1)
= ψ̇ − (n − 1) ϕβ.
1
0 = ((∇m ψ) gkl − (∇l ψ) gkm )
( n − 1)
1
− ϕβ( gkm ωl − gkl ωm ) (69)
n−2
−((∇m β)ωk ωl − (∇l β)ωk ωm ).
n−1
0 = ∇m ψ + ϕβωm + ∇m β + β̇ωm
n−2
1
= ∇m α + 1 − β̇ωm (70)
n−2
n−3
= ∇m α + β̇ωm
n−2
Again, transfecting this equation by ω m yields
5. Conclusions
A conformally flat GRW space-time satisfies an algebraic curvature condition; namely,
it is a perfect fluid RW space-time. The existence of one of the differential curvature
Mathematics 2023, 11, 1440 13 of 13
Author Contributions: Conceptualization and methodology, S.S., U.C.D. and N.B.T.; formal analysis,
S.S., U.C.D. and N.B.T.; writing—original draft preparation, S.S. and U.C.D.; writing—review and
editing, S.S. and N.B.T.; supervision, S.S.; project administration, S.S.; and funding acquisition, N.B.T.
All authors have read and agreed to the published version of the manuscript.
Funding: This project was supported by the Researchers Supporting Project number (RSP2023R413),
King Saud University, Riyadh, Saudi Arabia.
Data Availability Statement: Not applicable.
Conflicts of Interest: The authors declare no conflict of interest.
References
1. Chen, B.-Y. A simple characterization of generalized Robertson–Walker spacetimes. Gen. Relativ. Gravit. 2014, 46, 1833. [CrossRef]
2. Mantica, C.A.; Molinari, L.G. Generalized Robertson—Walker spacetimes—A survey. Int. Geom. Methods Mod. Phys. 2017,
14, 1730001. [CrossRef]
3. Griffiths, J.B.; Podolsky, J. Exact Space-Times in Einstein’s General Relativity; Cambridge University Press: Cambridge, UK, 2009.
4. Mantica, C.A.; Molinari, L.G.; Suh, Y.; Shenawy, S. Perfect-Fluid, Generalized Robertson-Walker Space-times, and Gray’s
Decomposition. J. Math. Phys. 2019, 60, 052506. [CrossRef]
5. Mantica, C.A.; Molinari, L.G. On the Weyl and Ricci tensors of Generalized Robertson-Walker space-times. J. Math. Phys. 2016,
57, 102502. [CrossRef]
6. Mantica, C.A.; De, U.C.; Jin Suh, Y.; Molinari, L.G. Perfect fluid spacetimes with harmonic generalized curvature tensor. Osaka J.
Math. 2019, 56, 173–182.
7. Sanchez, M. On the geometry of generalized Robertson-Walker spacetimes: Geodesics. Gen. Relativ. Gravit. 1998, 30, 915–932.
[CrossRef]
8. Capozziello, S.; Mantica, C.A.; Molinari, L. Cosmological perfect-fluids in f(R) gravity. Int. J. Geom. Methods Mod. Phys. 2019,
16, 1950008. [CrossRef]
9. Chaki, M.C. On generalized quasi Einstein manifolds. Publ. Math. Debr. 2001, 58, 683–691. [CrossRef]
10. Ehlers, J.; Geren, P.; Sachs, R.K. Isotropic Solutions of the Einstein-Liouville Equations. J. Math. Phys. 1968, 9, 1344–1349.
[CrossRef]
11. De, U.C.; Suh, Y.J.; Chaubey, S.K. Semi-Symmetric Curvature Properties of Robertson–Walker Spacetimes. J. Math. Phys. Anal.
Geom. 2022, 18, 368–381.
12. Chavanis, P.-H. Cosmology with a stiff matter era. Phys. Rev. D 2015, 92, 103004. [CrossRef]
13. Guilfoyle, B.S.; Nolan, B.C. Yang’s Gravitational Theory. Gen. Relativ. Gravit. 1998, 30, 473–495. [CrossRef]
14. Guler, S.; Demirbag, S.A. On Ricci symmetric generalized quasi Einstein spacetimes. Miskolc Math. Notes 2015, 16, 853–868.
[CrossRef]
15. Mantica, C.A.; Suh, Y.J.; De, U. A note on generalized Robertson—Walker space-times. Int. J. Geom. Methods Mod. Phys. 2016,
13, 1650079. [CrossRef]
16. Eriksson, I.; Senovilla, J.M.M. Note on (conformally) semi-symmetric spacetimes. Class. Quantum Gravity 2010, 27, 027001.
[CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual
author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to
people or property resulting from any ideas, methods, instructions or products referred to in the content.